The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system.

Marco Alberti Federico Chesani

Published in: Intelligenza Artificiale (2005)

Keyphrases

proof procedure
abductive logic programming
theorem proving
propositional logic
first order logic
predicate calculus
logic programs
automated reasoning
decision procedures
inference rules
natural language
np hard
constraint satisfaction
theorem prover
propositional satisfiability