| Publication | Date of Publication | Type |
|---|
| Revision and updates in possibly action-occurrence-incomplete narratives | 2022-11-02 | Paper |
| A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems | 2022-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020965 | 2022-01-11 | Paper |
| Planning with Incomplete Information in Quantified Answer Set Programming | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020568 | 2022-01-06 | Paper |
| An action language for multi-agent domains | 2021-12-13 | Paper |
| Model reconciliation in logic programs | 2021-12-01 | Paper |
| Epistemic Argumentation Framework: Theory and Computation | 2020-12-09 | Paper |
| Argumentation-Based Semantics for Logic Programs with First-Order Formulae | 2018-07-06 | Paper |
| Multi-Context Systems with Preferences | 2018-05-03 | Paper |
| Solving distributed constraint optimization problems using logic programming | 2017-11-09 | Paper |
| Answer set programming and its applications in planning and multi-agent systems | 2017-09-05 | Paper |
| A generic approach to planning in the presence of incomplete information: theory and implementation | 2015-12-21 | 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 |
| Formalizing Negotiations Using Logic Programming | 2014-07-17 | 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 |
| Logic Programming for Multiagent Planning with Negotiation | 2012-11-13 | Paper |
| Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning | 2012-09-21 | Paper |
| CDAOstore: a phylogenetic repository using logic programming and web services | 2012-08-29 | Paper |
| Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains | 2012-07-23 | Paper |
| Approximation of action theories and its application to conformant planning | 2011-06-17 | Paper |
| Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System | 2011-05-19 | Paper |
| Planning for Multiagent Using ASP-Prolog | 2010-11-09 | Paper |
| Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study | 2010-11-09 | Paper |
| Interacting Answer Sets | 2010-11-09 | Paper |
| Logic programming for finding models in the logics of knowledge and its applications: A case study | 2010-08-19 | Paper |
| Logic programs with abstract constraint atoms: the role of computations | 2010-05-07 | Paper |
| Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming | 2010-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624081 | 2009-04-28 | Paper |
| Justifications for logic programs under answer set semantics | 2009-03-10 | Paper |
| Logic Programs with Abstract Constraint Atoms: The Role of Computations | 2009-03-05 | Paper |
| Justifications for Logic Programs Under Answer Set Semantics | 2008-03-11 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | 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 |
| A Constructive semantic characterization of aggregates in answer set programming | 2007-04-19 | Paper |
| Planning with preferences using logic programming | 2006-08-28 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Reasoning about sensing actions in domains with multi-valued fluents | 2005-12-02 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046855 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708932 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798013 | 2003-03-18 | Paper |
| An argument-based approach to reasoning with specificity | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728926 | 2001-10-23 | Paper |
| Formalizing sensing actions -- a transition function based approach | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940940 | 2000-09-27 | Paper |
