On the Complexity of Dataflow Analysis of Logic Programs.

Saumya K. Debray

Published in: ICALP (1992)

Keyphrases

logic programs
logic programming
inductive logic programming
normal logic programs
background knowledge
stable models
answer set programming
fixpoint
computational complexity
answer sets
computational properties
monotonicity constraints