Schwering, Christoph

5 publications

IJCAI 2018 The Complexity of Limited Belief Reasoning - The Quantifier-Free Case Yijia Chen, Abdallah Saffidine, Christoph Schwering

IJCAI 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 2015 Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

AAAI 2015 Projection in the Epistemic Situation Calculus with Belief Conditionals Christoph Schwering, Gerhard Lakemeyer