Linearity Analysis of Concurrent Logic Programs.

Published in: APLAS (2000)

Keyphrases

logic programs
logic programming
answer set programming
computational properties
background knowledge
answer sets
term rewriting systems
artificial intelligence
stable model semantics
prolog programs
decision problems
inductive logic programming
fixpoint
strong equivalence