Two Remarks on the Lifschitz Realizability Topos.

Jaap van Oosten

Published in: J. Symb. Log. (1996)

Keyphrases

nonmonotonic reasoning
stable models
normal logic programs
logic programs
stable model semantics
formal semantics
answer sets
semantics of logic programs
answer set programming
default reasoning
software engineering
databases
belief revision
multi dimensional
fuzzy logic
pairwise
case study