On Uniform Equivalence of Epistemic Logic Programs.
Saved in:
| Title: | On Uniform Equivalence of Epistemic Logic Programs. |
|---|---|
| Authors: | FABER, WOLFGANG1 (AUTHOR) wolfgang.faber@aau.at, MORAK, MICHAEL1 (AUTHOR) michael.morak@aau.at, WOLTRAN, STEFAN2 (AUTHOR) woltran@dbai.tuwien.ac.at |
| Source: | Theory & Practice of Logic Programming. Sep2019, Vol. 19 Issue 5/6, p826-840. 15p. |
| Database: | Mathematics Source |
Be the first to leave a comment!