Comparing Non-minimal Semantics for Disjunction in Answer Set Programming

Felicidad Aguado, Pedro Cabalar, Brais Muñiz +2

In this paper, we compare four different semantics for disjunction in Answer Set Programming that, unlike stable models, do not adhere to the principle of model minimality. Two of…