On Well-Founded Set-Inductions and Locally Monotone Operators


In the past, compelling arguments in favour of the well-founded semantics for autoepistemic logic have been presented. In this article, we show that for certain classes of theories, this semantics fails to identify the unique intended model. We solve this problem by refining the well-founded semantics. We develop our work in approximation fixpoint theory… (More)
DOI: 10.1145/2963096


3 Figures and Tables

Slides referencing similar topics