Christoph Schwering

According to our database, Christoph Schwering authored at least 14 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases.

Christoph Schwering, Maurice Pagnucco

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

The Complexity of Limited Belief Reasoning - The Quantifier-Free Case.

Yijia Chen, Abdallah Saffidine, Christoph Schwering

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Belief revision and projection in the epistemic situation calculus.

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Artif. Intell., 2017

Limbo: A Reasoning System for Limited Belief.

Christoph Schwering

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Reasoning System for a First-Order Logic of Limited Belief.

Christoph Schwering

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reasoning in the Situation Calculus with Limited Belief.

Christoph Schwering

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

Reasoning about Conditional Beliefs for the Winograd Schema Challenge.

Denis Golovin, Jens Claßen, Christoph Schwering

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

2016

Conditional beliefs in action.

Christoph Schwering

PhD thesis, 2016

Sensor fusion in the epistemic situation calculus.

Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard

J. Exp. Theor. Artif. Intell., 2016

Decidable Reasoning in a First-Order Logic of Limited Conditional Belief.

Christoph Schwering, Gerhard Lakemeyer

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus.

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Projection in the Epistemic Situation Calculus with Belief Conditionals.

Christoph Schwering, Gerhard Lakemeyer

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A Semantic Account of Iterated Belief Revision in the Situation Calculus.

Christoph Schwering, Gerhard Lakemeyer

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2012

Plan Recognition by Program Execution in Continuous Temporal Domains.

Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012