Abduction and Abductive Logic Programming.

Antonis C. Kakas Paolo Mancarella

Published in: ICLP (1994)

Keyphrases

abductive logic programming
logic programs
proof procedure
theorem proving
domain knowledge
logic programming
propositional logic
high level
fixpoint