| Publication | Date of Publication | Type |
|---|
| Optimising business process discovery using answer set programming | 2023-04-04 | Paper |
| An abductive framework for extended logic programming | 2022-08-30 | Paper |
| Model agnostic solution of CSPs via deep learning: a preliminary study | 2018-11-21 | Paper |
| Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning* | 2018-10-02 | Paper |
| Evaluating Compliance: From LTL to Abductive Logic Programming | 2018-05-03 | Paper |
| Verifiable agent interaction in abductive logic programming | 2017-07-12 | Paper |
| Specification and verification of agent interaction using social integrity constraints | 2013-08-27 | Paper |
| Reactive Event Calculus for Monitoring Global Computing Applications | 2012-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005894 | 2011-06-10 | Paper |
| A Logic-Based, Reactive Calculus of Events | 2011-03-28 | Paper |
| On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework | 2010-09-14 | Paper |
| AI*IA 2003: Advances in Artificial Intelligence | 2010-03-05 | Paper |
| Social Commitments in Time: Satisfied or Compensated | 2010-02-02 | Paper |
| Specification and Verification of Agent Interaction Using Abductive Reasoning | 2009-04-28 | Paper |
| ${\cal B}$ -Tropos | 2009-02-12 | Paper |
| Verification from Declarative Specifications Using Logic Programming | 2009-01-22 | Paper |
| Applying Inductive Logic Programming to Process Mining | 2008-03-28 | 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/Q4817796 | 2004-09-21 | 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/Q4530883 | 2004-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4446493 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708903 | 2003-06-20 | Paper |
| Cooperation and competition in ALIAS: A logic framework for agents that negotiate | 2003-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537120 | 2002-11-06 | Paper |
| From eager or lazy constrained data acquisition: A general framework | 2002-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529648 | 2002-05-05 | Paper |
| LAILA: a language for coordinating abductive reasoning among logic agents | 2002-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729720 | 2001-10-23 | Paper |
| Extending constraint logic programming for temporal reasoning | 2000-09-10 | Paper |
| Integrating induction and abduction in logic programming | 2000-01-04 | Paper |
| Reasoning on constraints in CLP(FD) | 1999-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222855 | 1998-12-20 | Paper |
| A unifying view for logic programming with non-monotonic reasoning | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365371 | 1998-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385448 | 1998-04-13 | Paper |
| An abstract interpretation framework for optimizing dynamic modular logic languages | 1997-02-27 | Paper |
| An assumption-based truth maintenance system dealing with non-ground justifications | 1996-06-09 | Paper |
| Composing Open Logic Programs | 1994-03-22 | Paper |
| Partial deduction for structured logic programming | 1993-11-17 | Paper |
| Compositional model-theoretic semantics for logic programs | 1993-04-01 | Paper |
| The implementation of a distributed model for logic programming based on multiple-headed clauses | 1993-01-16 | Paper |
| Hypothetical reasoning in logic programming: A semantic approach | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713567 | 1986-01-01 | Paper |
