Login / Signup
Normal logic programs as open positive programs.
Antonio Brogi
Evelina Lamma
Paolo Mancarella
Paola Mello
Published in:
CNKBS (1992)
Keyphrases
</>
normal logic programs
logic programs
stable models
answer sets
logic programming
default reasoning
answer set semantics
stable model semantics
fixpoint
answer set programming
belief revision
deductive databases
loop formulas
semantics for logic programs