Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract).

John P. Gallagher

Published in: LOPSTR (2011)

Keyphrases

logic programs
extended abstract
logic programming
background knowledge
answer sets
answer set programming
stable models
inductive logic programming
fixpoint
prolog programs
knowledge base
domain knowledge
knowledge representation
partial deduction
term rewriting systems