The Iff Proof Procedure for Abductive Logic Programming.

Tze Ho Fung Robert A. Kowalski

Published in: J. Log. Program. (1997)

Keyphrases

abductive logic programming
proof procedure
theorem proving
propositional logic
first order logic
predicate calculus
logic programs
model theoretic
natural language processing
inference rules
expert systems
theorem prover
decision procedures