Technical Report: Inconsistency in Answer Set Programs and Extensions.

Published in: CoRR (2018)

Keyphrases

technical report
answer set programs
answer set programming
answer sets
logic programs
stable models
default theories
logic programming
update operators
database
general purpose
event calculus