conftrace_

limited belief

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

decidable reasoning (1) tractable reasoning (1) clause subsumption (1) belief modality (1) unit propagation (1) propositional logic (1) first-order logic (1) first-order quantification (1) automated reasoning (1)

Papers

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