On Uniform Equivalence of Epistemic Logic Programs

DOI10.1017/S1471068419000218zbMath1434.68073arXiv1907.10925MaRDI QIDQ5108505

Stefan Woltran, Wolfgang Faber, Michael Morak

Publication date: 4 May 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.10925

zbMATH Keywords

non-monotonic reasoning; logic programming; epistemic negation; uniform equivalence

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68N17: Logic programming

Uses Software

• selp