SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

GAVANELLI, Marco

GAVANELLI, Marco  

Dipartimento di Ingegneria  

Mostra records
Risultati 1 - 20 di 154 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 2011 Gavanelli, Marco; Mancini, Toni file con accesso da definire
17th RCRA international workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 2011 Gavanelli, Marco; Toni, Mancini file con accesso da definire
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 2012 Gavanelli, Marco; Toni, Mancini file con accesso da definire
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 2012 Gavanelli, Marco; Mancini, Toni
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems 2012 Peano, Andrea; Nonato, Maddalena; Gavanelli, Marco; Alvisi, Stefano; Franchini, Marco
A CHR-based implementation of known arc-consistency 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
A Computational Logic Application Framework for Service Discovery and Contracting 2011 Alberti, Marco; Cattafi, Massimiliano; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello; ...M., Montali; P., Torroni file con accesso da definire
A computational logic-based approach to verification of IT systems 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Serg...io; Torroni, P. file con accesso da definire
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities 2022 Cappanera, Paola; Gavanelli, Marco; Nonato, Maddalena; Roma, Marco
A logic-based approach to interaction design in open multi-agent systems 2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training 2023 Proto, Antonino.; Cavalieri, A.; Gadda, G.; Taibi, A.; Astolfi, L.; Bonfe', M.; Bertagnon, A.; No...nato, M.; Gavanelli, M.; Cristofori, G.; D'Antona, A.; Farsoni, S.
A network model for routing-fault-free wavelength selection in WRONoCs design 2018 Nonato, Maddalena; Bertozzi, Davide; Gavanelli, Marco; Peano, Andrea
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P. file con accesso da definire
A Social ACL Semantics by Deontic Constraints 2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A Verifiable Logic-Based Agent Architecture 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P. file con accesso da definire
Abduction for specifying and verifying web service choreographies 2006 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, S...ergio file con accesso da definire
Abduction in the context of a reasoning process: the SCIFF framework 2008 Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello file con accesso da definire
Abduction with hypotheses confirmation 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Abductive logic programming for Datalog+/- ontologies 2015 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
Abductive Logic Programming for Normative Reasoning and Ontologies 2017 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe