Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles.

Susumu Yamasaki Yoshinori Kurose

Published in: Theor. Comput. Sci. (1998)

Keyphrases

proof procedure
theorem proving
abductive logic programming
propositional logic
first order logic
predicate calculus
logic programs
automated reasoning
model theoretic
inference rules
propositional satisfiability
proof procedures
theorem prover
decision procedures