Marco Gavanelli

Fabio Zanotti

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts.

[BibT_eX]

[DOI]

Elena Bellodi

Proceedings of the Sixth Workshop on Natural Language for Artificial Intelligence (NL4AI 2022) co-located with 21th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022), 2022

2021

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Branching interval algebra: An almost complete picture.

[BibT_eX]

[DOI]

Alessandro Passantino

Guido Sciavicco

Stefano Trevisani

Inf. Comput., 2021

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Dischargeable Obligations in the 𝒮CIFF Framework.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2020

The Horn Fragment of Branching Algebra.

[BibT_eX]

[DOI]

Alessandro Passantino

Guido Sciavicco

Stefano Trevisani

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

On (Maximal, Tractable) Fragments of the Branching Algebra.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Accountable Protocols in Abductive Logic Programming.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

Reasoning on Datalog± Ontologies with Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Evaluating Compliance: From LTL to Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

A network model for routing-fault-free wavelength selection in WRONoCs design.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2018

Deciding the Consistency of Branching Time Interval Networks.

[BibT_eX]

[DOI]

Alessandro Passantino

Guido Sciavicco

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures.

[BibT_eX]

[DOI]

Davide Bertozzi

Maddalena Nonato

Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018

2017

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2017

Dischargeable Obligations in Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

2016

Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015

An ASP approach for the valves positioning optimization in a water distribution system.

[BibT_eX]

[DOI]

Maddalena Nonato

Andrea Peano

J. Log. Comput., 2015

Scheduling countermeasures to contamination events by genetic algorithms.

[BibT_eX]

[DOI]

AI Commun., 2015

An application of constraint solving for home health care.

[BibT_eX]

[DOI]

AI Commun., 2015

Abductive Logic Programming for Normative Reasoning and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2015

An Abductive Framework for Datalog± Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Abductive logic programming for Datalog +/- ontologies.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

The Isolation System Design in Hydraulic Networks.

[BibT_eX]

[DOI]

Maddalena Nonato

Andrea Peano

Proceedings of the 1st Workshop on Artificial Intelligence and Design, 2015

2014

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence.

[BibT_eX]

[DOI]

Michela Milano

Barry O'Sullivan

AI Mag., 2014

Multi-Criteria Optimal Planning for Energy Policies in CLP.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

The ICLP 2013 Doctoral Consortium.

[BibT_eX]

[DOI]

Martin Gebser

Theory Pract. Log. Program., 2013

Automated reasoning.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

The CHR-based Implementation of the SCIFF Abductive System.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Optimal Valve Placement in Water Distribution Networks with CLP(FD).

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Simulation Of Incentive Mechanisms For Renewable Energy Policies.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

Constraint and Optimization techniques for supporting Policy Making.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012

18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

AI Commun., 2012

A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd Student Conference on Operational Research, 2012

Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2012

What-If Analysis Through Simulation-Optimization Hybrids.

[BibT_eX]

[DOI]

Proceedings of the 26th European Conference on Modelling and Simulation, 2012

An ASP Approach for the Valves Positioning Optimization in a Water Distribution System.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

Deon + : Abduction and Constraints for Normative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System.

[BibT_eX]

[DOI]

Andrea Peano

Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

2011

Optimal placement of valves in a water distribution network with CLP(FD).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Sustainable biomass power plant location in the Italian Emilia-Romagna region.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2011

A Computational Logic Application Framework for Service Discovery and Contracting.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2011

Learning specifications of interaction protocols and business processes and proving their properties.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.

[BibT_eX]

[DOI]

Alberto Pettorossi

Fundam. Informaticae, 2011

17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

An Application of Fuzzy Logic to Strategic Environmental Assessment.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Logic-based decision support for strategic environmental assessment.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Preface.

[BibT_eX]

[DOI]

Fabrizio Riguzzi

Alberto Pettorossi

Fundam. Informaticae, 2010

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Runtime Addition of Integrity Constraints in SCIFF.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Constraint Logic Programming.

[BibT_eX]

[DOI]

Francesca Rossi

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Integration of Abductive Reasoning and Constraint Optimization in SCIFF.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Arguing on the Semantic Grid.

[BibT_eX]

[DOI]

Paolo Torroni

Federico Chesani

Proceedings of the Argumentation in Artificial Intelligence, 2009

Modelling Interactions via Commitments and Expectations.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Greedy and Exact Algorithms for Invitation Planning in Cancer Screening.

[BibT_eX]

[DOI]

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Verifiable agent interaction in abductive logic programming: The SCIFF framework.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion.

[BibT_eX]

[DOI]

J. Algorithms, 2008

Expressing and Verifying Business Contracts with Abductive Logic Programming.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2008

Exploiting Semantic Technology in Computational Logic-based Service Contracting.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Verification from Declarative Specifications Using Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Integrating Abduction and Constraint Optimization in Constraint Handling Rules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

2007

Specification and Verification of Agent Interaction Protocols in a Logic-based System.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2007

Argumentation in the Semantic Web.

[BibT_eX]

[DOI]

Paolo Torroni

Federico Chesani

IEEE Intell. Syst., 2007

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Web Service Contracting: Specification and Reasoning with SCIFF.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2007

The Log-Support Encoding of CSP into SAT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Mapping deontic operators to abductive expectations.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2006

Compliance verification of agent interaction: a logic-based software tool.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2006

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Policy-based Reasoning for Smart Web Service Interaction.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2006, 2006

An abductive framework for a-priori verification of web services.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Verifiable Logic-Based Agent Architecture.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

2005

A CHR-based implementation of known arc-consistency.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

Dealing with incomplete knowledge on CLP(FD) variable domains.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Expressing interaction in combinatorial auction through social integrity constraints.

[BibT_eX]

Intelligenza Artificiale, 2005

The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Abduction with Hypotheses Confirmation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Security Protocols Verification in Abductive Logic Programming: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VI, 2005

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

The SCIFF Abductive Proof-Procedure.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

A Logic based Approach to Interaction Design in Open Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Specification and verification of agent interaction protocols in a logic-based system.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

An Abductive Framework for Information Exchange in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003

Specification and Verification of Agent Interaction using Social Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

A Social ACL Semantics by Deontic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

An Abductive Interpretation for Open Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Interpreting Abduction in CLP.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Exploiting Constraints for Domain Managing in CLP(FD).

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

An Algorithm for Multi-Criteria Optimization in CSPs.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

From Eager to Lazy Constrained Data Acquisition: A General Framework.

[BibT_eX]

[DOI]

New Gener. Comput., 2001

Partially Ordered Constraint Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

1999

On the Need for a Different Backtracking Rule when Dealing with Late Evaluation.

[BibT_eX]

[DOI]