Lifschitz' Realizability.

Jaap van Oosten

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

Keyphrases

nonmonotonic reasoning
normal logic programs
stable models
stable model semantics
formal semantics
answer set programming
answer sets
logic programs
semantics of logic programs
logic programming
default logic
general purpose
default reasoning
domain specific
keywords
decision making
databases