Login / Signup
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.
Paolo Mancarella
Giacomo Terreni
Fariba Sadri
Francesca Toni
Ulle Endriss
Published in:
Theory Pract. Log. Program. (2009)
Keyphrases
</>
abductive logic programming
proof procedure
theorem proving
logic programs
propositional logic
first order logic
model theoretic
predicate calculus
constraint satisfaction
constraint programming
inference rules
natural language processing