Login / Signup
Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs.
Teodor C. Przymusinski
Published in:
LPNMR (1990)
Keyphrases
</>
semantics of logic programs
deductive databases
logic programs
answer sets
logic programming
fixpoint
truth values
inference rules
answer set semantics
integrity constraints
answer set programming
knowledge base
default logic
normal logic programs
programming language
general purpose
database
nonmonotonic logics