Logic Programs, Compatibility and Forward Chaining Construction.

Yisong Wang Mingyi Zhang Jia-Huai You

Published in: J. Comput. Sci. Technol. (2009)

Keyphrases

logic programs
forward chaining
horn clauses
logic programming
fixpoint
stable models
defeasible logic
answer set programming
background knowledge
answer sets
inductive logic programming
theorem proving
planning systems
partial deduction
normal logic programs
fixed point
blocks world
strong equivalence