MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Stratified Autoepistemic Theories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

On the impact of stratification on the complexity of nonmonotonic reasoning
by Ilkka Niemelä, Jussi Rintanen — 1992 — PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
… autoepistemic theories the complexity of which is dominated by required classical reasoning. Thus e…
Cited by 11 (1 self) – Add To MetaCart

Multi-Valued Autoepistemic Logic
by Robert F. Stärk — 1996 — Annals of Mathematics and Artificial Intelligence
… that stratified theories have exactly one autoepistemic extension in every multi-valued logic. Finally we…
Cited by 1 (0 self) – Add To MetaCart

Fixpoint 3-Valued Semantics for Autoepistemic Logic
by Marc Denecker Department, Marc Denecker — 1998
… of T . Consistent stratified autoepistemic theories (Gelfond 1987) have a unique autoepistemic model (stable…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB