Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.
Saved in:
| Title: | Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. |
|---|---|
| Authors: | CHARALAMBIDIS, ANGELOS1 (AUTHOR) acharal@iit.demokritos.gr, NOMIKOS, CHRISTOS2 (AUTHOR) a.charalambidis@di.uoa.gr, RONDOGIANNIS, PANOS1 (AUTHOR) prondo@di.uoa.gr |
| Source: | Theory & Practice of Logic Programming. Sep2022, Vol. 22 Issue 5, p708-722. 15p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068422000242 |
