Login / Signup
Models of Clark's completion for some classes of logic programs.
Stefano Baratella
Published in:
Fundam. Informaticae (1991)
Keyphrases
</>
logic programs
logic programming
answer sets
answer set programming
stable models
background knowledge
normal logic programs
computational properties
semantics for logic programs
term rewriting systems
fixpoint
loop formulas
knowledge base
software engineering
integrity constraints
inductive logic programming