Login / Signup
Stable-unstable semantics: Beyond NP with normal logic programs.
Bart Bogaerts
Tomi Janhunen
Shahab Tasharrofi
Published in:
Theory Pract. Log. Program. (2016)
Keyphrases
</>
normal logic programs
logic programs
stable models
logic programming
default reasoning
answer sets
stable model semantics
answer set semantics
computational complexity
hybrid probabilistic logic programs
semantics for logic programs
deductive databases
answer set programming
fixpoint
knowledge representation and reasoning
default logic
nonmonotonic reasoning
artificial intelligence
belief revision
np hard
formal semantics
model checking
natural language