Marco Gavanelli

ORCID

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 37

Top Venues

CILC

CoRR

Fundam. Informaticae

Theory Pract. Log. Program.

Publications

Jonathan Franceschi, Lorenzo Pareschi, Elena Bellodi, Marco Gavanelli, Marco Bresadola
Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy. CoRR (2023)
Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. CoRR (2023)
Alessandro Bertagnon, Marco Gavanelli
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. ICLP Workshops (2023)
Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming. J. Log. Comput. 33 (8) (2023)
Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. Theory Pract. Log. Program. 23 (4) (2023)
Alessandro Bertagnon, Marco Gavanelli, Fabio Zanotti
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. CILC (2023)
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts. NL4AI@AI*IA (2022)
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory Pract. Log. Program. 21 (5) (2021)
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. CoRR (2021)
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
Branching interval algebra: An almost complete picture. Inf. Comput. 281 (2021)
Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. 95 (2020)
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. AI*IA (2020)
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
The Horn Fragment of Branching Algebra. TIME (2020)
Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani
On (Maximal, Tractable) Fragments of the Branching Algebra. CILC (2020)
Alessandro Bertagnon, Marco Gavanelli
Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD). AAAI (2020)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
CIFF Framework. Fundam. Informaticae 176 (3-4) (2020)
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. IPS-RCRA@AI*IA (2020)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Accountable Protocols in Abductive Logic Programming. CILC (2019)
Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159 (1-2) (2018)
Marco Gavanelli, Alessandro Passantino, Guido Sciavicco
Deciding the Consistency of Branching Time Interval Networks. TIME (2018)
Davide Bertozzi, Marco Gavanelli, Maddalena Nonato
Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures. ACM Great Lakes Symposium on VLSI (2018)
Maddalena Nonato, Davide Bertozzi, Marco Gavanelli, Andrea Peano
A network model for routing-fault-free wavelength selection in WRONoCs design. Electron. Notes Discret. Math. 64 (2018)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Ontologies with Abductive Logic Programming. Fundam. Informaticae 159 (1-2) (2018)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. 18 (4) (2018)
Marco Gavanelli
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX. Intelligenza Artificiale 11 (1) (2017)
Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper). Theory Pract. Log. Program. 17 (5-6) (2017)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR (2017)
Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi
Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper). CoRR (2017)
Andrea Peano, Luca Ramini, Marco Gavanelli, Maddalena Nonato, Davide Bertozzi
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip. ICCAD (2016)
Marco Gavanelli, Maddalena Nonato, Andrea Peano
An ASP approach for the valves positioning optimization in a water distribution system. J. Log. Comput. 25 (6) (2015)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Abductive Logic Programming for Normative Reasoning and Ontologies. JSAI-isAI Workshops (2015)
Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini
Scheduling countermeasures to contamination events by genetic algorithms. AI Commun. 28 (2) (2015)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
An Abductive Framework for Datalog± Ontologies. ICLP (Technical Communications) (2015)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Abductive logic programming for Datalog +/- ontologies. CILC (2015)
Marco Gavanelli, Maddalena Nonato, Andrea Peano
The Isolation System Design in Hydraulic Networks. AIDE@AI*IA (2015)
Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Evaluating compliance: from LTL to abductive logic programming. CILC (2015)
Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli
An application of constraint solving for home health care. AI Commun. 28 (2) (2015)
Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli
Multi-Criteria Optimal Planning for Energy Policies in CLP. CILC (2014)
Michela Milano, Barry O'Sullivan, Marco Gavanelli
Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. AI Mag. 35 (3) (2014)
Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli
Multi-Criteria Optimal Planning for Energy Policies in CLP. CoRR (2014)
Andrea Borghesi, Michela Milano, Marco Gavanelli, Tony Woods
Simulation Of Incentive Mechanisms For Renewable Energy Policies. ECMS (2013)
Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
Optimal Valve Placement in Water Distribution Networks with CLP(FD). IJCAI (2013)
Marco Gavanelli, Martin Gebser
The ICLP 2013 Doctoral Consortium. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Marco Gavanelli, Toni Mancini
Automated reasoning. Intelligenza Artificiale 7 (2) (2013)
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Constraint and Optimization techniques for supporting Policy Making. CILC (2013)
Marco Alberti, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae 124 (4) (2013)
Andrea Peano, Marco Gavanelli
An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System. DC@AI*IA (2012)
Andrea Peano, Maddalena Nonato, Marco Gavanelli, Stefano Alvisi, Marco Franchini
A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems. SCOR (2012)
Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. ICLP (Technical Communications) (2012)
Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan
What-If Analysis Through Simulation-Optimization Hybrids. ECMS (2012)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action (2012)
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Constraint and Optimization techniques for supporting Policy Making. ISAIM (2012)
Marco Gavanelli, Toni Mancini
18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". AI Commun. 25 (2) (2012)
Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events. EvoCOP (2012)
Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini
An ASP Approach for the Valves Positioning Optimization in a Water Distribution System. CILC (2012)
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. 8 (3) (2011)
Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
Optimal Placement of Valves in a Water Distribution Network with CLP(FD) CoRR (2011)
Marco Gavanelli, Toni Mancini
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Ann. Math. Artif. Intell. 62 (3-4) (2011)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5 (1) (2011)
Marco Gavanelli, Toni Mancini, Alberto Pettorossi
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Fundam. Informaticae 107 (2-3) (2011)
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli
An Application of Fuzzy Logic to Strategic Environmental Assessment. AI*IA (2011)
Marco Alberti, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of the SCIFF Abductive System. CILC (2011)
Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
Optimal placement of valves in a water distribution network with CLP(FD). Theory Pract. Log. Program. 11 (4-5) (2011)
Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Sustainable biomass power plant location in the Italian Emilia-Romagna region. ACM Trans. Intell. Syst. Technol. 2 (4) (2011)
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Logic-based decision support for strategic environmental assessment. Theory Pract. Log. Program. 10 (4-6) (2010)
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Logic-Based Decision Support for Strategic Environmental Assessment CoRR (2010)
Marco Gavanelli, Toni Mancini
Preface. Fundam. Informaticae 102 (3-4) (2010)
Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi
Preface. Fundam. Informaticae 105 (1-2) (2010)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Runtime Addition of Integrity Constraints in SCIFF. CILC (2010)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) (2010)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP (2009)
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS (2009)
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Verification from Declarative Specifications Using Logic Programming. ICLP (2008)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12 (4) (2008)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI (2008)
Marco Gavanelli, Toni Mancini
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms 63 (1-3) (2008)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9 (4) (2008)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione (2008)
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma
Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP (2008)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC (2007)
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8 (1) (2007)
Marco Gavanelli
The Log-Support Encoding of CSP into SAT. CP (2007)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR (2007)
Paolo Torroni, Marco Gavanelli, Federico Chesani
Argumentation in the Semantic Web. IEEE Intell. Syst. 22 (6) (2007)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems (2007)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
A Verifiable Logic-Based Agent Architecture. ISMIS (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
An abductive framework for a-priori verification of web services. PPDP (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20 (2-4) (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory 12 (2-3) (2006)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
Tool. WS-FM (2006)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Policy-based Reasoning for Smart Web Service Interaction. SWAP (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. 5 (4-5) (2005)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP (2005)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Abduction with Hypotheses Confirmation. IJCAI (2005)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
Mapping of Deontic Operators to Abductive Expectations. NORMAS (2005)
Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP (2005)
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
) variable domains. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW (2005)
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2 (1) (2005)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
CIFF Abductive Proof-Procedure. AI*IA (2005)

Marco Gavanelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Gavanelli