| Publication | Date of Publication | Type |
|---|
| Game description language and dynamic epistemic logic compared | 2021-11-02 | Paper |
| Perceptual context in cognitive hierarchies | 2020-06-04 | Paper |
| General Game Playing with Imperfect Information | 2020-01-03 | Paper |
| Skeptical query-answering in Constrained Default Logic | 2019-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282973 | 2017-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455601 | 2015-12-11 | Paper |
| Representing and reasoning about game strategies | 2015-04-23 | Paper |
| Simulation of Action Theories and an Application to General Game-Playing Robots | 2015-02-04 | Paper |
| Logical-epistemic foundations of general game descriptions | 2014-06-19 | Paper |
| General Game Playing | 2014-05-15 | Paper |
| A general first-order solution to the ramification problem with cycles | 2014-04-17 | Paper |
| Representing and Reasoning About the Rules of General Games With Imperfect Information | 2014-03-24 | Paper |
| Evaluating Answer Set Clause Learning for General Game Playing | 2013-10-10 | Paper |
| Implementing Belief Change in the Situation Calculus and an Application | 2013-10-10 | Paper |
| Automated verification of state sequence invariants in general game playing | 2012-11-15 | Paper |
| A Language for Default Reasoning about Actions | 2012-07-23 | Paper |
| ALPprolog – A new logic programming method for dynamic domains | 2011-08-16 | Paper |
| A unifying action calculus | 2011-06-17 | Paper |
| Translating General Game Descriptions into an Action Language | 2011-05-19 | Paper |
| A Multiagent Semantics for the Game Description Language | 2010-10-06 | Paper |
| Action Programming Languages | 2010-07-28 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| Putting ABox updates into action | 2010-01-07 | Paper |
| A declarative agent programming language based on action theories | 2010-01-07 | Paper |
| Answer Set Programming for Single-Player Games in General Game Playing | 2009-07-24 | Paper |
| Iterated belief revision, revised | 2009-07-09 | Paper |
| Multi-Agent FLUX for the Gold Mining Domain (System Description) | 2009-01-20 | Paper |
| A Fluent Calculus Semantics for ADL with Plan Constraints | 2008-10-27 | Paper |
| Reinforcement Belief Revision | 2008-10-09 | Paper |
| Handling Implication and Universal Quantification Constraints in FLUX | 2008-09-09 | Paper |
| Logic-based agents and the frame problem: a case for progression | 2006-01-24 | Paper |
| FLUX: A logic programming method for reasoning agents | 2005-10-18 | Paper |
| Reasoning robots. The art and science of programming robotic agents | 2005-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809156 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475185 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470527 | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460684 | 2004-03-29 | Paper |
| Ramification and causality | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4797434 | 2003-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4797441 | 2003-03-13 | Paper |
| From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem | 2002-07-24 | Paper |
| The qualification problem: A solution to the problem of anomalous models | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767100 | 2002-01-28 | Paper |
| The concurrent, continuous fluent calculus | 2001-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494328 | 2001-03-22 | Paper |
| Challenges for action theories | 2000-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530473 | 2000-01-01 | Paper |
| Agents in proactive environments | 1999-06-28 | Paper |
| Reasoning about actions: steady versus stabilizing state constraints | 1999-01-12 | Paper |
| Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems | 1997-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893671 | 1997-02-03 | Paper |
| On the completeness of SLDENF-resolution | 1997-01-27 | Paper |
| Default reasoning by deductive planning | 1996-07-14 | Paper |
| On prediction in Theorist | 1994-01-13 | Paper |
