Searching for "On Stable Autoepistemic Theories." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Stable theories in autoepistemic logic
- …STABLE THEORIES IN AUTOEPISTEMIC LOGIC W.Marek Department of Computer Science University…
- Cited by 11 (3 self) – Add To MetaCart
-
Default Logic and Autoepistemic Logic: Fixed Points and Common Semantic Framework
- … consequences of A[fLff : ff 2 Tg[f:Lff : ff 62 Tg. Definition 4 An autoepistemic theory T is stable [Stalnaker…
- Add To MetaCart
-
Combining Default Logic and Autoepistemic Logic
- … consequences of A[fLff : ff 2 Tg[f:Lff : ff 62 Tg. Definition 4 An autoepistemic theory T is stable [Sta80] iff…
- Cited by 1 (0 self) – Add To MetaCart
-
Autocircumscription
- … of circumscription. 14 Note the similarity to the notion of a stable autoepistemic theory (see Moore [15…
- Cited by 1 (0 self) – Add To MetaCart
-
Possible World Partition Sequences: A Unifying Framework for Uncertain Reasoning
- … of stability is that each stable autoepistemic theory is uniquely determined by its kernel , the set of non…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 5.
