Skip to content
cs-conference-ranking.org

Christoph Schwering

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

4

Active years

2012–2018

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2018IJCAIThe Complexity of Limited Belief Reasoning - The Quantifier-Free Case.Yijia Chen, Abdallah Saffidine, Christoph Schwering
2017IJCAIA Reasoning System for a First-Order Logic of Limited Belief.Christoph Schwering
2017IJCAILimbo: A Reasoning System for Limited Belief.Christoph Schwering
2016ECAIDecidable Reasoning in a First-Order Logic of Limited Conditional Belief.Christoph Schwering, Gerhard Lakemeyer
2015AAAIProjection in the Epistemic Situation Calculus with Belief Conditionals.Christoph Schwering, Gerhard Lakemeyer
2015IJCAIBelief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus.Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
2014ECAIA Semantic Account of Iterated Belief Revision in the Situation Calculus.Christoph Schwering, Gerhard Lakemeyer
2012AAAIPlan Recognition by Program Execution in Continuous Temporal Domains.Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
2012KIPlan Recognition by Program Execution in Continuous Temporal Domains.Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer