| Publication | Date of Publication | Type |
|---|
New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic
Journal of Logic and Computation | 2026-03-05 | Paper |
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming
Journal Of Logic And Computation | 2024-02-13 | Paper |
| scientific article; zbMATH DE number 7760475 (Why is no real title available?) | 2023-11-02 | Paper |
Dischargeable obligations in abductive logic programming
Rules and Reasoning | 2022-07-01 | Paper |
| Deciding the consistency of branching time interval networks | 2022-05-28 | Paper |
Nonground abductive logic programming with probabilistic integrity constraints
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Branching interval algebra: an almost complete picture
Information and Computation | 2021-11-25 | Paper |
Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
Fundamenta Informaticae | 2021-05-20 | Paper |
| An abductive framework for Datalog\(^\pm\) ontologies | 2019-04-24 | Paper |
Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming
Fundamenta Informaticae | 2018-05-03 | Paper |
Evaluating compliance: from LTL to abductive logic programming
Fundamenta Informaticae | 2018-05-03 | Paper |
| A network model for routing-fault-free wavelength selection in WRONoCs design | 2018-04-11 | Paper |
Scheduling countermeasures to contamination events by genetic algorithms
AI Communications | 2017-11-07 | Paper |
Verifiable agent interaction in abductive logic programming: the SCIFF framework
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
An ASP approach for the valves positioning optimization in a water distribution system
Journal Of Logic And Computation | 2015-12-28 | Paper |
| Improving quality and efficiency in home health care: an application of constraint logic programming for the Ferrara NHS unit | 2014-02-25 | Paper |
| Specification and verification of agent interaction using social integrity constraints | 2013-08-27 | Paper |
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events
Evolutionary Computation in Combinatorial Optimization | 2012-10-18 | Paper |
\(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning
Logic Programs, Norms and Action | 2012-07-23 | Paper |
| Runtime addition of integrity constraints in an abductive proof procedure | 2012-05-11 | Paper |
Optimal placement of valves in a water distribution network with CLP(FD)
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Logic-based decision support for strategic environmental assessment
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Constraint logic programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
An abductive interpretation for open agent societies
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Logic Programming | 2009-07-24 | Paper |
Specification and Verification of Agent Interaction Using Abductive Reasoning
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Verification from Declarative Specifications Using Logic Programming
Logic Programming | 2009-01-22 | Paper |
The Log-Support Encoding of CSP into SAT
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory | 2006-10-16 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
A CHR-based implementation of known arc-consistency
Theory and Practice of Logic Programming | 2005-10-18 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2090883 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2086599 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084756 (Why is no real title available?) | 2004-08-09 | Paper |
From eager or lazy constrained data acquisition: A general framework
New Generation Computing | 2002-10-22 | Paper |
| scientific article; zbMATH DE number 1497830 (Why is no real title available?) | 2001-03-05 | Paper |
