A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.

Saved in:
Bibliographic Details
Title: A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.
Authors: CHARALAMBIDIS, ANGELOS1 (AUTHOR) a.charalambidis@di.uoa.gr, RONDOGIANNIS, PANOS1 (AUTHOR), TROUMPOUKIS, ANTONIS1 (AUTHOR)
Source: Theory & Practice of Logic Programming. Sep2021, Vol. 21 Issue 5, p629-645. 17p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068421000235