A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Fifteen years of work on nonmonotonic logic has certainly increased our understanding of the area. However, given a problem in which nonmonotonic reasoning is called for, it is far from clear how one should go about modeling the problem using the various approaches. We explore this issue in the context on two of the best-known approaches, Reiter's default logic 1980] and Moore's autoepistemic logic 1985], as well as two related notions of \only knowing", due to Halpern and Moses 1984] anddoi:10.1007/bfb0022551 dblp:conf/kgc/Halpern93 fatcat:mbozsg5okreflkyuxipz5tawse