2 papers
cs.AI2018
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and m…
cs.AI2017
A Reasoning System for a First-Order Logic of Limited Belief
Christoph Schwering
Logics of limited belief aim at enabling computationally feasible reasoning in highly expressive representation languages. These languages are often dialects of first-order logic w…