The process allocation in parallel interpretation of logic programs (abstract only).

Wen-Kai Chung William B. Day

Published in: ACM Conference on Computer Science (1987)

Keyphrases

logic programs
logic programming
answer sets
background knowledge
answer set programming
inductive logic programming
fixpoint
stable models
partial deduction
stable model semantics
normal logic programs
term rewriting systems
high level
computational properties
autoepistemic logic
prolog programs
loop formulas