Search
Skip to Search Results
Filter
Author / Creator / Contributor
Subject / Keyword
Languages
Year
Collections
Item type
-
Autoepistemic Circumscription and Logic Programming
1992
Technical report TR92-18. We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic inference mechanism and by specifying a belief constraint. While the latter makes the approach flexible in meeting possibly different...
1 - 1 of 1