Termination of Logic Programs: Transformational Methods Revisited.

Published in: Appl. Algebra Eng. Commun. Comput. (2001)

Keyphrases

logic programs
logic programming
inductive logic programming
answer sets
data model
knowledge representation
object oriented
background knowledge
answer set programming
fixpoint
counter examples
inside outside algorithm