| 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 \(\mathbf {S5}\)-theories | 2015-01-14 | Paper |
| Answering why and how questions with respect to a frame-based knowledge base: a preliminary report | 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 |
| Answer set programming and planning with knowledge and world-altering actions in multiple agent domains | 2012-07-23 | 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 |
| 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/Q4798013 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798009 | 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 |
| Reasoning agents in dynamic domains | 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 |
