Christoph Schwering

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