Logic Programs, Well-Orderings, and Forward Chaining.

V. Wiktor Marek Anil Nerode Jeffrey B. Remmel

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

forward chaining
logic programs
horn clauses
logic programming
answer sets
fixpoint
defeasible logic
background knowledge
stable models
normal logic programs
answer set programming
inductive logic programming
planning systems
blocks world
nonmonotonic reasoning
planning graph