| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6122850 | 2024-03-01 | Paper |
| Limited reasoning in first-order knowledge bases with full introspection | 2022-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999280 | 2021-07-06 | Paper |
| Situation calculus meets description logics | 2020-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583956 | 2018-08-29 | Paper |
| Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. | 2018-07-12 | Paper |
| Belief revision and projection in the epistemic situation calculus | 2017-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283042 | 2017-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740436 | 2016-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740449 | 2016-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455568 | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457208 | 2015-12-11 | Paper |
| Semantical considerations on multiagent only knowing | 2015-11-18 | Paper |
| SLAP: specification logic of actions with probability | 2014-04-24 | Paper |
| A Logic for Specifying Stochastic Actions and Observations | 2014-03-31 | Paper |
| Multiagent Only Knowing in Dynamic Systems | 2014-03-24 | Paper |
| A Rational and Efficient Algorithm for View Revision in Databases | 2013-06-12 | Paper |
| Reinforcement learning for Golog programs with first-order state-abstraction | 2012-10-19 | Paper |
| The Truth about Defaults | 2012-07-23 | Paper |
| A semantic characterization of a useful fragment of the situation calculus with knowledge | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999222 | 2011-05-11 | Paper |
| The situation calculus: a case for modal logic | 2011-01-07 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| A Semantical Account of Progression in the Presence of Defaults | 2009-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624117 | 2009-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045460 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460675 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4797429 | 2003-03-13 | Paper |
| Levesque's axiomatization of only knowing is incomplete | 2003-02-04 | Paper |
| cc-Golog - An Action Language with Continuous Change | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530467 | 2002-06-03 | Paper |
| Multi-agent Only Knowing | 2002-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756788 | 2001-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934649 | 2000-07-20 | Paper |
| Experiences with an interactive museum tour-guide robot | 2000-06-04 | Paper |
| Relevance from an epistemic perspective | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867031 | 1996-06-19 | Paper |
| Limited reasoning in first-order knowledge bases | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287505 | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028810 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4022224 | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012248 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203721 | 1988-01-01 | Paper |
