Parameterizing a Groundness Analysis of Logic Programs.

Published in: SAS (2001)

Keyphrases

logic programs
logic programming
answer set programming
answer sets
background knowledge
term rewriting systems
computational properties
normal logic programs
fixpoint
stable models
natural language
data model
normal form
prolog programs
strong equivalence
partial deduction