A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux.

Gwen Kerdiles Eric Salvat

Published in: ICCS (1997)

Keyphrases

proof procedure
theorem proving
propositional logic
first order logic
predicate calculus
abductive logic programming
proof procedures
model theoretic
orders of magnitude
formal model
theorem prover
propositional satisfiability
artificial intelligence
programming language