| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6122850 | 2024-03-01 | Paper |
| Support set selection for abductive and default reasoning | 2022-09-22 | Paper |
| Generating hard satisfiability problems | 2022-09-22 | Paper |
| Some pitfalls for experimenters with random SAT | 2022-09-22 | Paper |
| Indexical knowledge and robot action -- a logical account | 2022-09-21 | Paper |
| Regression and progression in stochastic domains | 2020-03-04 | Paper |
| An epistemic approach to nondeterminism: believing in the simplest course of events | 2019-11-29 | Paper |
| Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems | 2019-01-18 | Paper |
| Incremental execution of guarded theories | 2017-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2967800 | 2017-03-02 | Paper |
| A logical theory of localization | 2016-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740435 | 2016-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740443 | 2016-07-26 | Paper |
| Robot location estimation in the situation calculus | 2015-12-23 | Paper |
| Incorporating Action Models into the Situation Calculus | 2015-05-11 | Paper |
| On our best behaviour | 2014-06-10 | Paper |
| How to progress a database. III | 2013-08-26 | Paper |
| The Truth about Defaults | 2012-07-23 | Paper |
| Iterated belief change in the situation calculus | 2011-06-17 | Paper |
| A semantic characterization of a useful fragment of the situation calculus with knowledge | 2011-06-17 | Paper |
| The Cognitive Agents Specification Language and Verification Environment | 2010-11-11 | Paper |
| A Semantical Account of Progression in the Presence of Defaults | 2009-07-09 | Paper |
| Goal Change in the Situation Calculus | 2007-12-10 | Paper |
| Knowledge, action, and the frame problem | 2006-02-07 | Paper |
| On the semantics of deliberation in IndiGolog -- from theory to implementation | 2004-08-10 | Paper |
| Reasoning about noisy sensors and effectors in the situation calculus | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530467 | 2002-06-03 | Paper |
| Two approaches to efficient open-world reasoning | 2002-02-19 | Paper |
| The logic of knowledge bases | 2001-11-19 | Paper |
| Ability and knowing how in the situation calculus | 2001-02-11 | Paper |
| ConGolog, a concurrent programming language based on the situation calculus | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934644 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252264 | 1999-09-23 | Paper |
| What robots can do: robot programs and effective achievability | 1999-01-12 | Paper |
| GOLOG: A logic programming language for dynamic domains | 1997-10-23 | Paper |
| The complexity of path-based defeasible inheritance | 1994-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016554 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013791 | 1992-09-27 | Paper |
| Intention is choice with commitment | 1990-01-01 | Paper |
| All I know: A study in autoepistemic logic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3200595 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3198885 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203721 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203716 | 1988-01-01 | Paper |
| Foundations of a functional approach to knowledge representation | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343472 | 1983-01-01 | Paper |
