Research

From 2012 to 2019 I was at the Computer Science departments of RWTH Aachen and then at UNSW Sydney (thanks to Gerhard Lakemeyer and Maurice Pagnucco!).

My research was on reasoning about what agents know and do.

Reasoning about Beliefs and Actions

• Limbo, a limited-belief reasoning system written in C++, 2014–now code, demos, papers

• C. Schwering, M. Pagnucco A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases AAMAS, 2019 pdf, bib, slides, poster
• Y. Chen, A. Saffidine, C. Schwering The Complexity of Limited Belief Reasoning — The Quantifier-Free Case IJCAI, 2018 pdf, proofs, bib, slides
• C. Schwering Reasoning in the Situation Calculus with Limited Belief Commonsense, 2017 pdf, bib, slides
• C. Schwering, G. Lakemeyer, M. Pagnucco Belief revision and projection in the epistemic situation calculus Artificial Intelligence, vol. 251, 2017 pdf, bib
• C. Schwering A Reasoning System for a First-Order Logic of Limited Belief IJCAI, 2017 pdf, proofs, bib, slides, poster
• C. Schwering Limbo: A Reasoning System for Limited Belief IJCAI, 2017 pdf, bib, video
• C. Schwering Conditional Beliefs in Action, doctoral thesis RWTH Aachen University, 2016 pdf, bib, slides
• C. Schwering, G. Lakemeyer Decidable Reasoning in a First-Order Logic of Limited Conditional Belief ECAI, 2016 pdf, bib, slides
• C. Schwering, G. Lakemeyer, M. Pagnucco Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus IJCAI, 2015 pdf, bib, slides, poster
• C. Schwering, G. Lakemeyer Projection in the Epistemic Situation Calculus with Belief Conditionals AAAI, 2015 pdf, bib, slides
• C. Schwering, G. Lakemeyer A Semantic Account of Iterated Belief Revision in the Situation Calculus ECAI, 2014 pdf, bib, slides

Plan Recognition for Traffic

• prGolog, a plan recognition system written in Haskell, 2010–2013 code, papers

• C. Schwering, G. Lakemeyer Spatio-Temporal Reasoning about Traffic Scenarios Commonsense, 2013 pdf, bib, slides
• C. Schwering, D. Beck, S. Schiffer, G. Lakemeyer Plan Recognition by Program Execution in Continuous Temporal Domains KI, 2012 pdf, bib, slides
• C. Schwering, D. Beck, S. Schiffer, G. Lakemeyer Plan Recognition by Program Execution in Continuous Temporal Domains CogRob, 2012 pdf, bib, slides
• C. Schwering Situation Calculus-based Online Plan Recognition in Continuous Domains, diploma thesis RWTH Aachen University, 2011 pdf, bib, slides

Miscellaneous

• D. Golovin, J. Claßen, C. Schwering Reasoning about Conditional Beliefs for the Winograd Schema Challenge Commonsense, 2017 pdf, bib
• C. Schwering, T. Niemueller, G. Lakemeyer, N. Abdo, W. Burgard Sensor Fusion in the Epistemic Situation Calculus JETAI, vol. 28, 2016 pdf, bib
• C. Schwering, T. Niemueller, G. Lakemeyer, N. Abdo, W. Burgard Sensor Fusion in the Epistemic Situation Calculus CogRob, 2014 pdf, bib, slides
• S. Schiffer, T. Baumgartner, D. Beck, B. Maleki-Fard, T. Niemueller, G. Lakemeyer, C. Schwering robOCD: Robotic Order Cups Demo — An Interactive Domestic Service Robotics Demo KI, 2012 pdf, bib