Searching for "On Stable Autoepistemic Theories." – sorted by Relevance.
-
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

