A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.
Saved in:
| 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 |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068421000235 |