Explaining Inconsistency in Answer Set Programs and Extensions.

Published in: LPNMR (2017)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
default theories
logic programming
stable models
default logic
classical logic
general purpose
programming language
artificial intelligence
semantic web
decision theory