Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Felicidad Aguado, Pedro Cabalar, Brais Muñiz, Gilberto Pérez 0001, Concepción Vidal. Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming. TPLP, 25(4):402-416, 2025. [doi]

Abstract

Abstract is missing.