GAVANELLI, Marco
GAVANELLI, Marco
Dipartimento di Ingegneria
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"
file con accesso da definire2011 Gavanelli, Marco; Mancini, Toni
17th RCRA international workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
file con accesso da definire2011 Gavanelli, Marco; Toni, Mancini
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion"
2012 Gavanelli, Marco; Mancini, Toni
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion"
file con accesso da definire2012 Gavanelli, Marco; Toni, Mancini
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
file con accesso da definire2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.
A Computational Logic Application Framework for Service Discovery and Contracting
file con accesso da definire2011 Alberti, Marco; Cattafi, Massimiliano; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello; M., Montali; P., Torroni
A computational logic-based approach to verification of IT systems
file con accesso da definire2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Sergio; Torroni, P.
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities
file con accesso da definire2022 Cappanera, Paola; Gavanelli, Marco; Nonato, Maddalena; Roma, Marco
A logic-based approach to interaction design in open multi-agent systems
file con accesso da definire2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
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.; Nonato, 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
file con accesso da definire2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P.
A Social ACL Semantics by Deontic Constraints
file con accesso da definire2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
A Verifiable Logic-Based Agent Architecture
file con accesso da definire2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P.
Abduction for specifying and verifying web service choreographies
file con accesso da definire2006 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, Sergio
Abduction in the context of a reasoning process: the SCIFF framework
file con accesso da definire2008 Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello
Abduction with hypotheses confirmation
file con accesso da definire2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
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
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; Mancini, Toni | |
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 |
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 | file con accesso da definire |
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 |