Logic Programming with Graded Introspection

DOI10.3233/FI-2016-1400zbMath1375.68038MaRDI QIDQ4589190

Bin Wang, Zhizheng Zhang, Shu Tao Zhang

Publication date: 9 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

logic programmingepistemic specificationgraded introspection

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (3)

selp: A Single-Shot Epistemic Logic Program Solver ⋮ GI-log ⋮ A parallel memory-efficient epistemic logic program solver: harder, better, faster

This page was built for publication: Logic Programming with Graded Introspection