| Publication | Date of Publication | Type |
|---|
| Decomposition approaches for scheduling chronic outpatientsâ clinical pathways in Answer Set Programming | 2024-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6060092 | 2023-11-02 | Paper |
| Dischargeable Obligations in Abductive Logic Programming | 2022-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079779 | 2022-05-28 | Paper |
| Nonground Abductive Logic Programming with Probabilistic Integrity Constraints | 2022-01-10 | Paper |
| Branching interval algebra: an almost complete picture | 2021-11-25 | Paper |
| Dischargeable Obligations in the đźCIFF Framework | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631194 | 2019-04-24 | Paper |
| Evaluating Compliance: From LTL to Abductive Logic Programming | 2018-05-03 | Paper |
| Reasoning on Datalog± Ontologies with Abductive Logic Programming | 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 | 2017-11-07 | Paper |
| Verifiable agent interaction in abductive logic programming | 2017-07-12 | Paper |
| An ASP approach for the valves positioning optimization in a water distribution system | 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 |
| https://portal.mardi4nfdi.de/entity/Q2844044 | 2013-08-27 | Paper |
| Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events | 2012-10-18 | Paper |
| Deon â+â: Abduction and Constraints for Normative Reasoning | 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) | 2011-08-16 | Paper |
| Logicâbased decision support for strategic environmental assessment | 2010-08-19 | Paper |
| Constraint Logic Programming | 2010-07-20 | Paper |
| AI*IA 2003: Advances in Artificial Intelligence | 2010-03-05 | Paper |
| Integration of Abductive Reasoning and Constraint Optimization in SCIFF | 2009-07-24 | Paper |
| Specification and Verification of Agent Interaction Using Abductive Reasoning | 2009-04-28 | Paper |
| Verification from Declarative Specifications Using Logic Programming | 2009-01-22 | Paper |
| The Log-Support Encoding of CSP into SAT | 2008-09-02 | Paper |
| Mapping deontic operators to abductive expectations | 2006-10-16 | Paper |
| AI*IA 2005: Advances in Artificial Intelligence | 2006-06-27 | Paper |
| A CHR-based implementation of known arc-consistency | 2005-10-18 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-08-19 | Paper |
| Global Computing | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813443 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737133 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475693 | 2004-08-09 | Paper |
| From eager or lazy constrained data acquisition: A general framework | 2002-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499253 | 2001-03-05 | Paper |
