Marco Gavanelli

139 papers A* 4A 6B 6C 9Misc 2Journal 54Unranked 49

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic. J. Log. Comput. Alessandro Bertagnon, Marco Gavanelli
2025	C	`conf`	AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence. DSD 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
2025	J	`jnl`	Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming. Theory Pract. Log. Program. Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
2025	J	`jnl`	Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming. CoRR Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
2024	J	`jnl`	ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. J. Log. Comput. Alessandro Bertagnon, Marco Gavanelli
2024	J	`jnl`	An efficient propositional system for Abductive Logic Programming. Artif. Intell. Rev. Marco Gavanelli, Pascual Julián Iranzo, Fernando Sáenz-Pérez
2024	J	`jnl`	Geometric reasoning on the euclidean traveling salesperson problem in answer set programming Intelligenza Artificiale Alessandro Bertagnon, Marco Gavanelli
2024	—	`conf`	Probabilistic Traces in Declarative Process Mining. AI*IA Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese
2024	—	`conf`	Recent Answer Set Programming Applications to Scheduling Problems in Digital Health. AI4CC-IPS-RCRA-SPIRIT@AI*IA Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma
2024	—	`conf`	Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem. AI4CC-IPS-RCRA-SPIRIT@AI*IA Alessandro Bertagnon, Marco Gavanelli
2023	—	`conf`	ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. CILC Alessandro Bertagnon, Marco Gavanelli, Fabio Zanotti
2023	J	`jnl`	Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming. J. Log. Comput. Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma
2023	—	`conf`	Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. ICLP Workshops Alessandro Bertagnon, Marco Gavanelli
2023	J	`jnl`	Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. CoRR Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma
2023	J	`jnl`	Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. Theory Pract. Log. Program. Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma
2023	J	`jnl`	Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy. CoRR Jonathan Franceschi, Lorenzo Pareschi, Elena Bellodi, Marco Gavanelli, Marco Bresadola
2022	—	`conf`	Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts. NL4AI@AI*IA Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli
2021	J	`jnl`	Branching interval algebra: An almost complete picture. Inf. Comput. Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
2021	J	`jnl`	Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. CoRR Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2021	J	`jnl`	Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory Pract. Log. Program. Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2020	J	`jnl`	Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2020	J	`jnl`	Dischargeable Obligations in the Fundam. Informaticae Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
2020	A*	`conf`	Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD). AAAI Alessandro Bertagnon, Marco Gavanelli
2020	—	`conf`	Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. IPS-RCRA@AI*IA Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
2020	—	`conf`	Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. AI*IA Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
2020	—	`conf`	On (Maximal, Tractable) Fragments of the Branching Algebra. CILC Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani
2020	C	`conf`	The Horn Fragment of Branching Algebra. TIME Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
2019	—	`conf`	Accountable Protocols in Abductive Logic Programming. CILC Marco Gavanelli, Marco Alberti, Evelina Lamma
2018	J	`jnl`	A network model for routing-fault-free wavelength selection in WRONoCs design. Electron. Notes Discret. Math. Maddalena Nonato, Davide Bertozzi, Marco Gavanelli, Andrea Peano
2018	J	`jnl`	Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. Marco Gavanelli, Marco Alberti, Evelina Lamma
2018	C	`conf`	Deciding the Consistency of Branching Time Interval Networks. TIME Marco Gavanelli, Alessandro Passantino, Guido Sciavicco
2018	J	`jnl`	Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali
2018	J	`jnl`	Reasoning on Datalog Fundam. Informaticae Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2018	—	`conf`	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 Davide Bertozzi, Marco Gavanelli, Maddalena Nonato
2017	B	`conf`	Dischargeable Obligations in Abductive Logic Programming. RuleML+RR Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017	J	`jnl`	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper). CoRR Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi
2017	J	`jnl`	Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper). Theory Pract. Log. Program. Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi
2017	J	`jnl`	SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX. Intelligenza Artificiale Marco Gavanelli
2016	A	`conf`	Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip. ICCAD Andrea Peano, Luca Ramini, Marco Gavanelli, Maddalena Nonato, Davide Bertozzi
2016	C	`ed.`	Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings PADL Marco Gavanelli, John H. Reppy
2015	—	`ed.`	AIIA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings AIIA Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi
2015	—	`conf`	Abductive Logic Programming for Normative Reasoning and Ontologies. JSAI-isAI Workshops Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015	—	`conf`	Abductive logic programming for Datalog +/- ontologies. CILC Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015	J	`jnl`	An ASP approach for the valves positioning optimization in a water distribution system. J. Log. Comput. Marco Gavanelli, Maddalena Nonato, Andrea Peano
2015	—	`conf`	An Abductive Framework for Datalog± Ontologies. ICLP (Technical Communications) Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015	J	`jnl`	An application of constraint solving for home health care. AI Commun. Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli
2015	—	`conf`	Evaluating compliance: from LTL to abductive logic programming. CILC Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2015	J	`jnl`	Scheduling countermeasures to contamination events by genetic algorithms. AI Commun. Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini
2015	—	`conf`	The Isolation System Design in Hydraulic Networks. AIDE@AI*IA Marco Gavanelli, Maddalena Nonato, Andrea Peano
2014	—	`conf`	Multi-Criteria Optimal Planning for Energy Policies in CLP. CILC Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli
2014	J	`jnl`	Multi-Criteria Optimal Planning for Energy Policies in CLP. CoRR Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli
2014	J	`jnl`	Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. AI Mag. Michela Milano, Barry O'Sullivan, Marco Gavanelli
2013	J	`jnl`	Automated reasoning. Intelligenza Artificiale Marco Gavanelli, Toni Mancini
2013	—	`ch.`	Constraint and Optimization Techniques for Supporting Policy Making. Computational Intelligent Data Analysis for Sustainable Development Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Gagnoli
2013	—	`conf`	Constraint and Optimization techniques for supporting Policy Making. CILC Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2013	A*	`conf`	Optimal Valve Placement in Water Distribution Networks with CLP(FD). IJCAI Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
2013	C	`conf`	Simulation Of Incentive Mechanisms For Renewable Energy Policies. ECMS Andrea Borghesi, Michela Milano, Marco Gavanelli, Tony Woods
2013	J	`jnl`	The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae Marco Alberti, Marco Gavanelli, Evelina Lamma
2013	J	`jnl`	The ICLP 2013 Doctoral Consortium. Theory Pract. Log. Program. Marco Gavanelli, Martin Gebser
2012	J	`jnl`	18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". AI Commun. Marco Gavanelli, Toni Mancini
2012	—	`conf`	A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems. SCOR Andrea Peano, Maddalena Nonato, Marco Gavanelli, Stefano Alvisi, Marco Franchini
2012	—	`conf`	An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System. DC@AI*IA Andrea Peano, Marco Gavanelli
2012	—	`conf`	An ASP Approach for the Valves Positioning Optimization in a Water Distribution System. CILC Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini
2012	Misc	`conf`	Constraint and Optimization techniques for supporting Policy Making. ISAIM Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2012	—	`conf`	Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action Marco Alberti, Marco Gavanelli, Evelina Lamma
2012	B	`conf`	Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events. EvoCOP Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini
2012	—	`conf`	Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. ICLP (Technical Communications) Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli
2012	C	`conf`	What-If Analysis Through Simulation-Optimization Hybrids. ECMS Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan
2011	J	`jnl`	17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Ann. Math. Artif. Intell. Marco Gavanelli, Toni Mancini
2011	J	`jnl`	A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011	—	`conf`	An Application of Fuzzy Logic to Strategic Environmental Assessment. AI*IA Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli
2011	J	`jnl`	Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2011	J	`jnl`	Optimal Placement of Valves in a Water Distribution Network with CLP(FD) CoRR Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
2011	J	`jnl`	Optimal placement of valves in a water distribution network with CLP(FD). Theory Pract. Log. Program. Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
2011	J	`jnl`	RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Fundam. Informaticae Marco Gavanelli, Toni Mancini, Alberto Pettorossi
2011	J	`jnl`	Sustainable biomass power plant location in the Italian Emilia-Romagna region. ACM Trans. Intell. Syst. Technol. Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
2011	—	`conf`	The CHR-based Implementation of the SCIFF Abductive System. CILC Marco Alberti, Marco Gavanelli, Evelina Lamma
2010	—	`ch.`	Constraint Logic Programming. 25 Years GULP Marco Gavanelli, Francesca Rossi
2010	J	`jnl`	Logic-Based Decision Support for Strategic Environmental Assessment CoRR Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2010	J	`jnl`	Logic-based decision support for strategic environmental assessment. Theory Pract. Log. Program. Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
2010	J	`jnl`	Preface. Fundam. Informaticae Marco Gavanelli, Toni Mancini
2010	J	`jnl`	Preface. Fundam. Informaticae Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi
2010	—	`ed.`	Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AIIA 2009, Reggio Emilia, Italy, December 11-12, 2009 RCRA@AIIA Marco Gavanelli, Toni Mancini
2010	—	`ed.`	Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010 RCRA@CPAIOR Marco Gavanelli, Toni Mancini
2010	—	`conf`	Runtime Addition of Integrity Constraints in SCIFF. CILC Marco Alberti, Marco Gavanelli, Evelina Lamma
2010	—	`conf`	Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) Marco Alberti, Marco Gavanelli, Evelina Lamma
2009	—	`ch.`	Arguing on the Semantic Grid. Argumentation in Artificial Intelligence Paolo Torroni, Marco Gavanelli, Federico Chesani
2009	A	`conf`	Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
2009	B	`conf`	Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP Marco Gavanelli, Marco Alberti, Evelina Lamma
2009	—	`ch.`	Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2008	—	`conf`	Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma
2008	J	`jnl`	Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2008	—	`ch.`	Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. New Challenges in Applied Intelligence Technologies Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro
2008	—	`conf`	Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2008	A	`conf`	Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI Marco Gavanelli, Marco Alberti, Evelina Lamma
2008	—	`ed.`	Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. RCRA Marco Gavanelli, Toni Mancini
2008	J	`jnl`	RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms Marco Gavanelli, Toni Mancini
2008	J	`jnl`	Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2008	B	`conf`	Verification from Declarative Specifications Using Logic Programming. ICLP Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2007	—	`conf`	A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007	J	`jnl`	Argumentation in the Semantic Web. IEEE Intell. Syst. Paolo Torroni, Marco Gavanelli, Federico Chesani
2007	—	`conf`	Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007	J	`jnl`	Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2007	A	`conf`	The Log-Support Encoding of CSP into SAT. CP Marco Gavanelli
2007	B	`conf`	Web Service Contracting: Specification and Reasoning with SCIFF. ESWC Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2006	C	`conf`	A Verifiable Logic-Based Agent Architecture. ISMIS Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2006	C	`conf`	An abductive framework for a-priori verification of web services. PPDP Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
2006	J	`jnl`	Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2006	—	`conf`	Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the WS-FM Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006	J	`jnl`	Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2006	—	`conf`	Policy-based Reasoning for Smart Web Service Interaction. SWAP Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2005	J	`jnl`	A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2005	A*	`conf`	Abduction with Hypotheses Confirmation. IJCAI Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	J	`jnl`	Dealing with incomplete knowledge on CLP( ACM Trans. Program. Lang. Syst. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2005	—	`conf`	Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2005	J	`jnl`	Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	Mapping of Deontic Operators to Abductive Expectations. NORMAS Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2005	—	`conf`	Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	The AI*IA Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
2004	J	`jnl`	A CHR-based Implementation of Known Arc-Consistency CoRR Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2004	C	`conf`	A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2004	—	`conf`	An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2004	Misc	`conf`	Specification and verification of agent interaction protocols in a logic-based system. SAC Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
2004	—	`conf`	The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	A Social ACL Semantics by Deontic Constraints. CEEMAS Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	An Abductive Interpretation for Open Agent Societies. AI*IA Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	Interpreting Abduction in CLP. APPIA-GULP-PRODE Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2003	—	`conf`	Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	Specification and Verification of Agent Interaction using Social Integrity Constraints. LCMAS Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2002	A	`conf`	An Algorithm for Multi-Criteria Optimization in CSPs. ECAI Marco Gavanelli
2002	—	`conf`	Exploiting Constraints for Domain Managing in CLP(FD). FroCoS Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2001	J	`jnl`	From Eager to Lazy Constrained Data Acquisition: A General Framework. New Gener. Comput. Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara
2001	A	`conf`	Partially Ordered Constraint Optimization Problems. CP Marco Gavanelli
1999	A*	`conf`	Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi
1999	—	`conf`	Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello
1999	B	`conf`	Domains as First Class Objects in CLP(FD). ICLP Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
1999	—	`conf`	On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. WOID@ICLP Marco Gavanelli, Michela Milano