Schedule Analysis of Concurrent Logic programs.

Andy King Paul Soper

Published in: JICSLP (1992)

Keyphrases

logic programs
logic programming
answer sets
partial deduction
answer set programming
computational properties
normal logic programs
stable models
knowledge base
background knowledge
inductive logic programming
fixpoint
autoepistemic logic