| Publication | Date of Publication | Type |
|---|
| Generalized well-founded semantics for logic programs | 2023-04-28 | Paper |
| Revision and updates in possibly action-occurrence-incomplete narratives | 2022-11-02 | Paper |
| An action language for multi-agent domains | 2021-12-13 | Paper |
| Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples | 2018-12-04 | Paper |
| Joint learning of logic relationships for studying protein function using phylogenetic profiles and the rosetta stone method | 2017-10-30 | Paper |
| “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis | 2015-11-04 | Paper |
| A Non-monotonic Goal Specification Language for Planning with Preferences | 2015-02-04 | Paper |
| Finitary S5-Theories | 2015-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5398040 | 2014-02-25 | Paper |
| Encoding Higher Level Extensions of Petri Nets in Answer Set Programming | 2013-10-10 | Paper |
| Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information | 2013-10-10 | Paper |
| Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL | 2013-10-04 | Paper |
| Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them | 2013-03-13 | Paper |
| The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL | 2012-07-23 | Paper |
| Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains | 2012-07-23 | Paper |
| On Representing Actions in Multi-agent Domains | 2011-05-19 | Paper |
| Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study | 2010-11-09 | Paper |
| Logic programming for finding models in the logics of knowledge and its applications: A case study | 2010-08-19 | Paper |
| Knowledge Representation, Reasoning and Declarative Problem Solving | 2010-07-08 | Paper |
| Maintenance goals of agents in a dynamic environment: formulation and policy construction | 2009-07-17 | Paper |
| Probabilistic reasoning with answer sets | 2009-03-10 | Paper |
| Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs | 2009-03-05 | Paper |
| Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming | 2008-03-11 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Knowledge updates: Semantics and complexity issues | 2007-10-23 | Paper |
| A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information | 2007-10-11 | Paper |
| Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming | 2007-07-12 | Paper |
| Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems | 2007-02-02 | Paper |
| Alan: An action language for modelling non-Markovian domains | 2005-12-02 | Paper |
| Knowledge Representation, Reasoning and Declarative Problem Solving | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798009 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798013 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767113 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767140 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728926 | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734940 | 2001-08-30 | Paper |
| Formalizing sensing actions -- a transition function based approach | 2001-08-20 | Paper |
| Computational complexity of planning and approximate planning in the presence of incompleteness | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940940 | 2000-09-27 | Paper |
| Abductive reasoning through filtering | 2000-08-21 | Paper |
| Formalizing narratives using nested circumscription | 1999-01-12 | Paper |
| Value minimization in circumscription | 1999-01-12 | Paper |
| Expanding queries to incomplete databases by interpolating general logic programs | 1998-10-04 | Paper |
| Relating logic programming theories of actions and partial order planning | 1998-06-23 | Paper |
| Embedding revision programs in logic programming situation calculus | 1997-11-13 | Paper |
| Reasoning about effects of concurrent actions | 1997-09-04 | Paper |
| Representing actions: Laws, observations and hypotheses | 1997-09-04 | Paper |
| Generalized disjunctive well-founded semantics for logic programs. | 1997-05-13 | Paper |
| Logic programming and knowledge representation | 1995-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4318637 | 1995-01-09 | Paper |
| Dualities between alternative semantics for logic programming and nonmonotonic reasoning | 1994-03-13 | Paper |
| Stable and extension class theory for logic programs and default logics | 1993-01-16 | Paper |
