Login / Signup
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
Ulrich Endriss
Paolo Mancarella
Fariba Sadri
Giacomo Terreni
Francesca Toni
Published in:
JELIA (2004)
Keyphrases
</>
abductive logic programming
proof procedure
theorem proving
propositional logic
logic programs
first order logic
predicate calculus
propositional satisfiability
logic programming
constraint programming
probabilistic inference
model theoretic
belief revision
theorem prover