Path dependent analysis of logic programs.

Published in: PEPM (2002)

Keyphrases

logic programs
logic programming
computational properties
answer sets
background knowledge
inductive logic programming
answer set programming
stable models
normal logic programs
recursive programs
fixpoint
stable model semantics