Christoph Schwering
4 papers · 2015–2018 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(12)
Conferences
IJCAI (4)
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