Login / Signup
Domain Construction for Mode Analysis of Typed Logic Programs.
Jan-Georg Smaus
Patricia M. Hill
Andy King
Published in:
ICLP (1997)
Keyphrases
</>
logic programs
logic programming
answer set programming
background knowledge
answer sets
fixpoint
stable models
logic program updates
artificial intelligence
semantic web
prolog programs
strong equivalence
term rewriting systems