On the Complexity of Dataflow Analysis of Logic Programs.

Saumya K. Debray

Published in: ACM Trans. Program. Lang. Syst. (1995)

Keyphrases

logic programs
logic programming
background knowledge
answer sets
answer set programming
fixpoint
stable models
inductive logic programming
computational properties
prolog programs
computational complexity
expert systems