Precise and Efficient Groundness Analysis for Logic Programs.

Kim Marriott Harald Søndergaard

Published in: LOPLAS (1993)

Keyphrases

logic programs
logic programming
answer set programming
prolog programs
answer sets
inductive logic programming
fixpoint
stable models
background knowledge
term rewriting systems
stable model semantics
horn clauses
search space
expert systems
normal logic programs
high level
artificial intelligence