Mode Analysis Domains for Typed Logic Programs.

Jan-Georg Smaus Patricia M. Hill Andy King

Published in: LOPSTR (1999)

Keyphrases

logic programs
logic programming
answer set programming
answer sets
fixpoint
inductive logic programming
stable models
computational properties
partial deduction
term rewriting systems
orders of magnitude
logic program updates