conftrace_

clause subsumption

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

limited belief (1) belief modality (1) unit propagation (1) first-order quantification (1) automated reasoning (1)

Papers

Limbo: A Reasoning System for Limited Belief IJCAI 2017