Christoph Schwering

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 11

Top Venues

IJCAI

CoRR

COMMONSENSE

ECAI

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Christoph Schwering, Maurice Pagnucco
A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases. AAMAS (2019)
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. CoRR (2018)
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. IJCAI (2018)
Christoph Schwering
A Reasoning System for a First-Order Logic of Limited Belief. CoRR (2017)
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
Belief revision and projection in the epistemic situation calculus. Artif. Intell. 251 (2017)
Christoph Schwering
A Reasoning System for a First-Order Logic of Limited Belief. IJCAI (2017)
Christoph Schwering
Limbo: A Reasoning System for Limited Belief. IJCAI (2017)
Christoph Schwering
Reasoning in the Situation Calculus with Limited Belief. COMMONSENSE (2017)
Denis Golovin, Jens Claßen, Christoph Schwering
Reasoning about Conditional Beliefs for the Winograd Schema Challenge. COMMONSENSE (2017)
Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard
Sensor fusion in the epistemic situation calculus. J. Exp. Theor. Artif. Intell. 28 (5) (2016)
Christoph Schwering, Gerhard Lakemeyer
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. ECAI (2016)
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. IJCAI (2015)
Christoph Schwering, Gerhard Lakemeyer
Projection in the Epistemic Situation Calculus with Belief Conditionals. AAAI (2015)
Christoph Schwering, Gerhard Lakemeyer
A Semantic Account of Iterated Belief Revision in the Situation Calculus. ECAI (2014)
Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
Plan Recognition by Program Execution in Continuous Temporal Domains. KI (2012)
Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
Plan Recognition by Program Execution in Continuous Temporal Domains. CogRob@AAAI (2012)

Christoph Schwering.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Schwering