On Uniform Equivalence of Epistemic Logic Programs
FABER, WOLFGANG, MORAK, MICHAEL, WOLTRAN, STEFANVolume:
19
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/s1471068419000218
Date:
September, 2019
File:
PDF, 270 KB
english, 2019