Restricted Four-Valued Semantics for Answer Set Programming.

Chen Chen Zuoquan Lin

Published in: PRICAI (2016)

Keyphrases

answer set programming
valued semantics
logic programming
default logic
logic programs
answer sets
consistent query answering
reasoning tasks
stable model semantics
stable models
knowledge base
general purpose
nonmonotonic reasoning
database
search space
special case
artificial intelligence
default reasoning