Christoph Schwering

4 papers · 2015–2018 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (12)

Conferences

IJCAI (4)

Top co-authors

Abdallah Saffidine (1) Maurice Pagnucco (1) Gerhard Lakemeyer (1) Yijia Chen (1)

Keywords

limited belief (2) automated reasoning (1) first-order quantification (1) first-order logic (1) parameterized complexity (1) propositional logic (1) epistemic logic (1) unit propagation (1) belief modality (1) belief reasoning (1) decidable reasoning (1) tractable reasoning (1) logical omniscience (1) computational complexity (1) clause subsumption (1)

Papers

The Complexity of Limited Belief Reasoning—The Quantifier-Free Case IJCAI 2018

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

Limbo: A Reasoning System for Limited Belief IJCAI 2017

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