Domains as First Class Objects in CLP(FD). - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (ICLP, 1999)

Constraint Propagation and Value Acquisition: Why we should do it Interactively. - Evelina Lamma; Paola Mello; Michela Milano; Rita Cucchiara; Marco Gavanelli; Massimo Piccardi (IJCAI, 1999)

On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. - Marco Gavanelli; Michela Milano (WOID@ICLP, 1999)

Partially Ordered Constraint Optimization Problems. - Marco Gavanelli (CP, 2001)

From Eager to Lazy Constrained Data Acquisition: A General Framework. - Paola Mello; Michela Milano; Marco Gavanelli; Evelina Lamma; Massimo Piccardi; Rita Cucchiara (New Gener. Comput., 2001)

An Algorithm for Multi-Criteria Optimization in CSPs. - Marco Gavanelli (ECAI, 2002)

Exploiting Constraints for Domain Managing in CLP(FD). - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (FroCoS, 2002)

Interpreting Abduction in CLP. - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano; Paolo Torroni (APPIA-GULP-PRODE, 2003)

An Abductive Interpretation for Open Agent Societies. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (AI*IA, 2003)

A Social ACL Semantics by Deontic Constraints. - Marco Alberti 001; Anna Ciampolini; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (CEEMAS, 2003)

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (DALT, 2003)

Specification and Verification of Agent Interaction using Social Integrity Constraints. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (LCMAS, 2003)

An Abductive Framework for Information Exchange in Multi-agent Systems. - Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (CLIMA, 2004)

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (Global Computing, 2004)

Specification and verification of agent interaction protocols in a logic-based system. - Marco Alberti 001; Davide Daolio; Paolo Torroni; Marco Gavanelli; Evelina Lamma; Paola Mello (SAC, 2004)

A Logic based Approach to Interaction Design in Open Multi-Agent Systems. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Paolo Torroni (WETICE, 2004)

The SCIFF Abductive Proof-Procedure. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (AI*IA, 2005)

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). - Federico Chesani; Marco Gavanelli; Marco Alberti 001; Evelina Lamma; Paola Mello; Paolo Torroni (CLIMA, 2005)

Security Protocols Verification in Abductive Logic Programming: A Case Study. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (ESAW, 2005)

Abduction with Hypotheses Confirmation. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (IJCAI, 2005)

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. - Marco Alberti 001; Federico Chesani; Alessio Guerri; Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano; Paolo Torroni (W(C)LP, 2005)

The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma (W(C)LP, 2005)

Expressing interaction in combinatorial auction through social integrity constraints. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Alessio Guerri; Evelina Lamma; Paola Mello; Paolo Torroni (Intelligenza Artificiale, 2005)

Dealing with incomplete knowledge on CLP(FD) variable domains. - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (ACM Trans. Program. Lang. Syst., 2005)

A CHR-based implementation of known arc-consistency. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (Theory Pract. Log. Program., 2005)

A Verifiable Logic-Based Agent Architecture. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (ISMIS, 2006)

An abductive framework for a-priori verification of web services. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Marco Montali (PPDP, 2006)

Policy-based Reasoning for Smart Web Service Interaction. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (SWAP, 2006)

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Sergio Storari; Paolo Torroni (WS-FM, 2006)

Compliance verification of agent interaction: a logic-based software tool. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Paolo Torroni (Appl. Artif. Intell., 2006)

Mapping deontic operators to abductive expectations. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni; Giovanni Sartor (Comput. Math. Organ. Theory, 2006)

The Log-Support Encoding of CSP into SAT. - Marco Gavanelli (CP, 2007)

Web Service Contracting: Specification and Reasoning with SCIFF. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (ESWC, 2007)

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (RR, 2007)

Argumentation in the Semantic Web. - Paolo Torroni; Marco Gavanelli; Federico Chesani (IEEE Intell. Syst., 2007)

Specification and Verification of Agent Interaction Protocols in a Logic-based System. - Marco Alberti 001; Federico Chesani; Davide Daolio; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (Scalable Comput. Pract. Exp., 2007)

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Il Milione, 2008)

Integrating Abduction and Constraint Optimization in Constraint Handling Rules. - Marco Gavanelli; Marco Alberti 001; Evelina Lamma (ECAI, 2008)

Verification from Declarative Specifications Using Logic Programming. - Marco Montali; Paolo Torroni; Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (ICLP, 2008)

Exploiting Semantic Technology in Computational Logic-based Service Contracting. - Marco Alberti 001; Massimiliano Cattafi; Marco Gavanelli; Evelina Lamma (SWAP, 2008)

Expressing and Verifying Business Contracts with Abductive Logic Programming. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (Int. J. Electron. Commer., 2008)

RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. - Marco Gavanelli; Toni Mancini (J. Algorithms, 2008)

Verifiable agent interaction in abductive logic programming: The SCIFF framework. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (ACM Trans. Comput. Log., 2008)

Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. - Marco Gavanelli; Michela Milano; Sergio Storari; Luca Tagliavini; Paola Baldazzi; Marilena Manfredi; Gianfranco Valastro (New Challenges in Applied Intelligence Technologies, 2008)

Modelling Interactions via Commitments and Expectations. - Paolo Torroni; Pinar Yolum; Munindar P. Singh; Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (Handbook of Research on Multi-Agent Systems, 2009)

Arguing on the Semantic Grid. - Paolo Torroni; Marco Gavanelli; Federico Chesani (Argumentation in Artificial Intelligence, 2009)

Integration of Abductive Reasoning and Constraint Optimization in SCIFF. - Marco Gavanelli; Marco Alberti 001; Evelina Lamma (ICLP, 2009)

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Marco Montali; Paola Mello; Paolo Torroni (ICWS, 2009)

Constraint Logic Programming. - Marco Gavanelli; Francesca Rossi 001 (25 Years GULP, 2010)

Runtime Addition of Integrity Constraints in SCIFF. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (CILC, 2010)

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (ICLP (Technical Communications), 2010)

Preface. - Marco Gavanelli; Toni Mancini (Fundam. Informaticae, 2010)

Preface. - Marco Gavanelli; Fabrizio Riguzzi; Alberto Pettorossi (Fundam. Informaticae, 2010)

Logic-based decision support for strategic environmental assessment. - Marco Gavanelli; Fabrizio Riguzzi; Michela Milano; Paolo Cagnoli (Theory Pract. Log. Program., 2010)

An Application of Fuzzy Logic to Strategic Environmental Assessment. - Marco Gavanelli; Fabrizio Riguzzi; Michela Milano; Davide Sottara; Alessandro Cangini; Paolo Cagnoli (AI*IA, 2011)

17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Marco Gavanelli; Toni Mancini (Ann. Math. Artif. Intell., 2011)

RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. - Marco Gavanelli; Toni Mancini; Alberto Pettorossi (Fundam. Informaticae, 2011)

Learning specifications of interaction protocols and business processes and proving their properties. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Intelligenza Artificiale, 2011)

A Computational Logic Application Framework for Service Discovery and Contracting. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (Int. J. Web Serv. Res., 2011)

Sustainable biomass power plant location in the Italian Emilia-Romagna region. - Massimiliano Cattafi; Marco Gavanelli; Michela Milano; Paolo Cagnoli (ACM Trans. Intell. Syst. Technol., 2011)

Optimal placement of valves in a water distribution network with CLP(FD). - Massimiliano Cattafi; Marco Gavanelli; Maddalena Nonato; Stefano Alvisi; Marco Franchini (Theory Pract. Log. Program., 2011)

An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System. - Andrea Peano; Marco Gavanelli (DC@AI*IA, 2012)

Deon + : Abduction and Constraints for Normative Reasoning. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (Logic Programs, Norms and Action, 2012)

An ASP Approach for the Valves Positioning Optimization in a Water Distribution System. - Marco Gavanelli; Maddalena Nonato; Andrea Peano; Stefano Alvisi; Marco Franchini (CILC, 2012)

What-If Analysis Through Simulation-Optimization Hybrids. - Marco Gavanelli; Michela Milano; Alan Holland; Barry O'Sullivan (ECMS, 2012)

Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events. - Marco Gavanelli; Maddalena Nonato; Andrea Peano; Stefano Alvisi; Marco Franchini (EvoCOP, 2012)

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 (ICLP (Technical Communications), 2012)

A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems. - Andrea Peano; Maddalena Nonato; Marco Gavanelli; Stefano Alvisi; Marco Franchini (SCOR, 2012)

18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Marco Gavanelli; Toni Mancini (AI Commun., 2012)

Constraint and Optimization techniques for supporting Policy Making. - Marco Gavanelli; Fabrizio Riguzzi; Michela Milano; Paolo Cagnoli (CILC, 2013)

Simulation Of Incentive Mechanisms For Renewable Energy Policies. - Andrea Borghesi; Michela Milano; Marco Gavanelli; Tony Woods (ECMS, 2013)

Optimal Valve Placement in Water Distribution Networks with CLP(FD). - Massimiliano Cattafi; Marco Gavanelli; Maddalena Nonato; Stefano Alvisi; Marco Franchini (IJCAI, 2013)

The CHR-based Implementation of the SCIFF Abductive System. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (Fundam. Informaticae, 2013)

Automated reasoning. - Marco Gavanelli; Toni Mancini (Intelligenza Artificiale, 2013)

The ICLP 2013 Doctoral Consortium. - Marco Gavanelli; Martin Gebser (Theory Pract. Log. Program., 2013)

Multi-Criteria Optimal Planning for Energy Policies in CLP. - Marco Gavanelli; Michela Milano; Stefano Bragaglia; Federico Chesani; Elisa Marengo; Paolo Cagnoli (CILC, 2014)

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. - Michela Milano; Barry O'Sullivan; Marco Gavanelli (AI Mag., 2014)

The Isolation System Design in Hydraulic Networks. - Marco Gavanelli; Maddalena Nonato; Andrea Peano (AIDE@AI*IA, 2015)

Abductive logic programming for Datalog +/- ontologies. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (CILC, 2015)

An Abductive Framework for Datalog± Ontologies. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (ICLP (Technical Communications), 2015)

Abductive Logic Programming for Normative Reasoning and Ontologies. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (JSAI-isAI Workshops, 2015)

An application of constraint solving for home health care. - Massimiliano Cattafi; Rosa Herrero; Marco Gavanelli; Maddalena Nonato; Federico Malucelli (AI Commun., 2015)

Scheduling countermeasures to contamination events by genetic algorithms. - Marco Gavanelli; Maddalena Nonato; Andrea Peano; Stefano Alvisi; Marco Franchini (AI Commun., 2015)

An ASP approach for the valves positioning optimization in a water distribution system. - Marco Gavanelli; Maddalena Nonato; Andrea Peano (J. Log. Comput., 2015)

Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip. - Andrea Peano; Luca Ramini; Marco Gavanelli; Maddalena Nonato; Davide Bertozzi (ICCAD, 2016)

Dischargeable Obligations in Abductive Logic Programming. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese (RuleML+RR, 2017)

SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX. - Marco Gavanelli (Intelligenza Artificiale, 2017)

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper). - Marco Gavanelli; Maddalena Nonato; Andrea Peano; Davide Bertozzi (Theory Pract. Log. Program., 2017)

Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures. - Davide Bertozzi; Marco Gavanelli; Maddalena Nonato (ACM Great Lakes Symposium on VLSI, 2018)

Deciding the Consistency of Branching Time Interval Networks. - Marco Gavanelli; Alessandro Passantino; Guido Sciavicco (TIME, 2018)

A network model for routing-fault-free wavelength selection in WRONoCs design. - Maddalena Nonato; Davide Bertozzi; Marco Gavanelli; Andrea Peano (Electron. Notes Discret. Math., 2018)

Evaluating Compliance: From LTL to Abductive Logic Programming. - Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali (Fundam. Informaticae, 2018)

Reasoning on Datalog± Ontologies with Abductive Logic Programming. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (Fundam. Informaticae, 2018)

Accountable Protocols in Abductive Logic Programming. - Marco Gavanelli; Marco Alberti 001; Evelina Lamma (ACM Trans. Internet Techn., 2018)

Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD). - Alessandro Bertagnon; Marco Gavanelli (AAAI, 2020)

Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. - Elena Bellodi; Alessandro Bertagnon; Marco Gavanelli; Riccardo Zese (IPS-RCRA@AI*IA, 2020)

On (Maximal, Tractable) Fragments of the Branching Algebra. - Alessandro Bertagnon; Marco Gavanelli; Guido Sciavicco; Stefano Trevisani (CILC, 2020)

The Horn Fragment of Branching Algebra. - Alessandro Bertagnon; Marco Gavanelli; Alessandro Passantino; Guido Sciavicco; Stefano Trevisani (TIME, 2020)

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. - Federico Chesani; Giuseppe Cota; Marco Gavanelli; Evelina Lamma; Paola Mello; Fabrizio Riguzzi (Eng. Appl. Artif. Intell., 2020)

Dischargeable Obligations in the 𝒮CIFF Framework. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Ken Satoh; Riccardo Zese (Fundam. Informaticae, 2020)

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. - Elena Bellodi; Marco Gavanelli; Riccardo Zese; Evelina Lamma; Fabrizio Riguzzi (CoRR, 2021)

Branching interval algebra: An almost complete picture. - Alessandro Bertagnon; Marco Gavanelli; Alessandro Passantino; Guido Sciavicco; Stefano Trevisani (Inf. Comput., 2021)

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. - Elena Bellodi; Marco Gavanelli; Riccardo Zese; Evelina Lamma; Fabrizio Riguzzi (Theory Pract. Log. Program., 2021)

Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts. - Elena Bellodi; Alessandro Bertagnon; Marco Gavanelli (NL4AI@AI*IA, 2022)

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. - Alessandro Bertagnon; Marco Gavanelli; Fabio Zanotti (CILC, 2023)

Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. - Alessandro Bertagnon; Marco Gavanelli (ICLP Workshops, 2023)

Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy. - Jonathan Franceschi; Lorenzo Pareschi; Elena Bellodi; Marco Gavanelli; Marco Bresadola (CoRR, 2023)

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. - Paola Cappanera; Marco Gavanelli; Maddalena Nonato; Marco Roma (Theory Pract. Log. Program., 2023)

Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming. - Paola Cappanera; Marco Gavanelli; Maddalena Nonato; Marco Roma (J. Log. Comput., 2023)

Probabilistic Traces in Declarative Process Mining. - Michela Vespa; Elena Bellodi; Federico Chesani; Daniela Loreti; Paola Mello; Evelina Lamma; Anna Ciampolini; Marco Gavanelli; Riccardo Zese (AI*IA, 2024)

Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem. - Alessandro Bertagnon; Marco Gavanelli (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Recent Answer Set Programming Applications to Scheduling Problems in Digital Health. - Paola Cappanera; Simone Caruso; Carmine Dodaro; Giuseppe Galatà; Marco Gavanelli; Marco Maratea; Cinzia Marte; Marco Mochi; Maddalena Nonato; Marco Roma (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Geometric reasoning on the euclidean traveling salesperson problem in answer set programming1. - Alessandro Bertagnon; Marco Gavanelli (Intelligenza Artificiale, 2024)

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. - Alessandro Bertagnon; Marco Gavanelli (J. Log. Comput., 2024)

An efficient propositional system for Abductive Logic Programming. - Marco Gavanelli; Pascual Julián Iranzo; Fernando Sáenz-Pérez (Artif. Intell. Rev., 2024)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming. - Alessandro Bertagnon; Marcello Dalpasso; Michele Favalli; Marco Gavanelli (CoRR, 2025)