| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6182226 | 2024-01-23 | Paper |
| An abductive framework for extended logic programming | 2022-08-30 | Paper |
| Dischargeable Obligations in Abductive Logic Programming | 2022-07-01 | Paper |
| Symbolic DNN-tuner | 2022-04-20 | Paper |
| Learning hierarchical probabilistic logic programs | 2022-01-28 | Paper |
| Nonground Abductive Logic Programming with Probabilistic Integrity Constraints | 2022-01-10 | Paper |
| Probabilistic inductive constraint logic | 2021-11-24 | Paper |
| A semantics for hybrid probabilistic logic programs with function symbols | 2021-11-02 | Paper |
| Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach | 2021-09-03 | Paper |
| Dischargeable Obligations in the đźCIFF Framework | 2021-05-20 | Paper |
| Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics | 2020-02-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631194 | 2019-04-24 | Paper |
| Tableau reasoning for description logics and its extension to probabilities | 2018-08-06 | Paper |
| Reasoning on Datalog± Ontologies with Abductive Logic Programming | 2018-05-03 | Paper |
| Evaluating Compliance: From LTL to Abductive Logic Programming | 2018-05-03 | Paper |
| Verifiable agent interaction in abductive logic programming | 2017-07-12 | Paper |
| A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics | 2016-12-15 | Paper |
| Distributed Parameter Learning for Probabilistic Ontologies | 2016-10-19 | Paper |
| Lifted Variable Elimination for Probabilistic Logic Programming | 2014-11-25 | Paper |
| Editorial: 29th International Conference on Logic Programming special issue | 2014-02-27 | Paper |
| Specification and verification of agent interaction using social integrity constraints | 2013-08-27 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3005894 | 2011-06-10 | 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 |
| Applying Inductive Logic Programming to Process Mining | 2008-03-28 | Paper |
| Advances in Intelligent Data Analysis VI | 2006-11-01 | 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 |
| Belief revision via Lamarckian evolution | 2004-09-07 | 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/Q2770540 | 2002-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729720 | 2001-10-23 | Paper |
| Strategies in combined learning via logic programs | 2001-05-20 | 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 |
