Marco Gavanelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
15
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSD | AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence. | Marko S. Andjelkovic, Rizwan Tariq Syed, Alessandro Veronesi, Fabian Vargas, Markus Ulbricht, Leticia Bolzani Poehls, Milos Krstic, Davide Bertozzi, Edward G. Jones, Oliver Rhodes, Riccardo Zese, Michele Favalli, Alice Bizzarri, Evelina Lamma, Marco Gavanelli, Elena Bellodi, Zoran Peric, Jelena Nikolic, Milan R. Dincic, Aleksandra Jovanovic, Dejan Ciric, Nikola Vucic, Sofija Peric, Jelena Jovanovic, Milica Stojanovic, Tatjana R. Nikolic, Goran Nikolic, Jelena Nedeljkovic, Danijel Dankovic, Emilija Zivanovic, Milos Marjanovic, Sandra Veljkovic, Nikola Mitrovic, Bratislav Predic, Tamara Milovanovic |
| 2023 | ICLP | Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. | Alessandro Bertagnon, Marco Gavanelli |
| 2020 | AAAI | Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD). | Alessandro Bertagnon, Marco Gavanelli |
| 2020 | TIME | The Horn Fragment of Branching Algebra. | Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani |
| 2018 | TIME | Deciding the Consistency of Branching Time Interval Networks. | Marco Gavanelli, Alessandro Passantino, Guido Sciavicco |
| 2016 | ICCAD | Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip. | Andrea Peano, Luca Ramini, Marco Gavanelli, Maddalena Nonato, Davide Bertozzi |
| 2015 | ICLP | An Abductive Framework for Datalog± Ontologies. | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
| 2013 | ECMS | Simulation Of Incentive Mechanisms For Renewable Energy Policies. | Andrea Borghesi, Michela Milano, Marco Gavanelli, Tony Woods |
| 2013 | IJCAI | Optimal Valve Placement in Water Distribution Networks with CLP(FD). | Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini |
| 2012 | ECMS | What-If Analysis Through Simulation-Optimization Hybrids. | Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan |
| 2012 | ICLP | Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. | Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli |
| 2012 | ISAIM | Constraint and Optimization techniques for supporting Policy Making. | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
| 2010 | ICLP | Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. | Marco Alberti, Marco Gavanelli, Evelina Lamma |
| 2009 | ICLP | Integration of Abductive Reasoning and Constraint Optimization in SCIFF. | Marco Gavanelli, Marco Alberti, Evelina Lamma |
| 2009 | ICWS | Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. | Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni |
| 2008 | ECAI | Integrating Abduction and Constraint Optimization in Constraint Handling Rules. | Marco Gavanelli, Marco Alberti, Evelina Lamma |
| 2008 | ICLP | Verification from Declarative Specifications Using Logic Programming. | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2007 | CP | The Log-Support Encoding of CSP into SAT. | Marco Gavanelli |
| 2006 | ISMIS | A Verifiable Logic-Based Agent Architecture. | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2006 | PPDP | An abductive framework for a-priori verification of web services. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
| 2005 | IJCAI | Abduction with Hypotheses Confirmation. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
| 2004 | SAC | Specification and verification of agent interaction protocols in a logic-based system. | Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2004 | WETICE | A Logic based Approach to Interaction Design in Open Multi-Agent Systems. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni |
| 2002 | ECAI | An Algorithm for Multi-Criteria Optimization in CSPs. | Marco Gavanelli |
| 2001 | CP | Partially Ordered Constraint Optimization Problems. | Marco Gavanelli |
| 1999 | ICLP | Domains as First Class Objects in CLP(FD). | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
| 1999 | IJCAI | Constraint Propagation and Value Acquisition: Why we should do it Interactively. | Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi |