On Uniform Equivalence of Epistemic Logic Programs.

Saved in:
Bibliographic Details
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!
You must be logged in first