Plan Recognition by Program Execution in Continuous Temporal Domains. - Christoph Schwering; Daniel Beck; Stefan Schiffer 002; Gerhard Lakemeyer (KI, 2012)

A Semantic Account of Iterated Belief Revision in the Situation Calculus. - Christoph Schwering; Gerhard Lakemeyer (ECAI, 2014)

Projection in the Epistemic Situation Calculus with Belief Conditionals. - Christoph Schwering; Gerhard Lakemeyer (AAAI, 2015)

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. - Christoph Schwering; Gerhard Lakemeyer; Maurice Pagnucco (IJCAI, 2015)

Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. - Christoph Schwering; Gerhard Lakemeyer (ECAI, 2016)

Sensor fusion in the epistemic situation calculus. - Christoph Schwering; Tim Niemueller; Gerhard Lakemeyer; Nichola Abdo; Wolfram Burgard (J. Exp. Theor. Artif. Intell., 2016)

Conditional beliefs in action. - Christoph Schwering (2016)

Reasoning about Conditional Beliefs for the Winograd Schema Challenge. - Denis Golovin; Jens Claßen; Christoph Schwering (COMMONSENSE, 2017)

Reasoning in the Situation Calculus with Limited Belief. - Christoph Schwering (COMMONSENSE, 2017)

A Reasoning System for a First-Order Logic of Limited Belief. - Christoph Schwering (IJCAI, 2017)

Limbo: A Reasoning System for Limited Belief. - Christoph Schwering (IJCAI, 2017)

Belief revision and projection in the epistemic situation calculus. - Christoph Schwering; Gerhard Lakemeyer; Maurice Pagnucco (Artif. Intell., 2017)

The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. - Yijia Chen 001; Abdallah Saffidine; Christoph Schwering (IJCAI, 2018)

A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases. - Christoph Schwering; Maurice Pagnucco (AAMAS, 2019)