Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective

Logic Programs with Ordered Disjunction (LPODs) extend classical logic programs with the capability of expressing preferential disjunctions in the heads of program rules. The initial semantics of LPODs, although simple and quite intuitive, is not purely model-theoretic. As a result, certain properti...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2022-09, Vol.22 (5), p.708-722
Hauptverfasser:	CHARALAMBIDIS, ANGELOS, NOMIKOS, CHRISTOS, RONDOGIANNIS, PANOS
Format:	Artikel
Sprache:	eng
Schlagworte:	Equivalence Logic programming Logic programs Original Article Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!