On Unit-Refutation Complete Formulae with Existentially Quantified Variables.

Lucas Bordeaux Mikolás Janota João P. Marques Silva Pierre Marquis

Published in: KR (2012)

Keyphrases

existentially quantified
universally quantified
logic programs
logic programming
predicate invention
theorem proving
horn clauses
theorem prover
quantified boolean formulas
higher order
classical logic