Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs.

Teodor C. Przymusinski

Published in: Artif. Intell. (1991)

Keyphrases

semantics of logic programs
deductive databases
logic programs
logic programming
answer sets
nonmonotonic logics
fixpoint
answer set semantics
nonmonotonic reasoning
truth values
answer set programming
inference rules
integrity constraints
databases
programming language
stable models
knowledge representation