Ilkka Niemelä  Home/Search
Context
Related
| tcs.hut.fi/pub/reports/A24.ps.Z saturn.hut.fi/pub/reports/A24.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: saturn.hut.fi/html/logic (more) From: tcs.hut.fi/pub/ini/.inipapers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Autoepistemic logic is investigated in a general setting where autoepistemic reasoning based on a given classical logic is studied. The possible sets of autoepistemic conclusions from a set of premises are defined in terms of expansions of the premises. First Moore style expansions defined by a fixed point equation are considered and a simple finitary characterization of expansions is developed. An alternative definition is proposed where autoepistemic reasoning is formalized as a sequence of... (Update)
Similar documents (at the sentence level):
78.2%: Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
5.6%: Autoepistemic Logic as a Basis for Automating Nonmonotonic.. - Niemelä (1995) (Correct)
Active bibliography (related documents): More All
4.7: Proof Systems for Nonmonotonic Logics - Niemelä, Schwind (1994) (Correct)
1.4: Weakened Negative Introspection in Autoepistemic Reasoning - Janhunen (1993) (Correct)
1.3: An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993) (Correct)
Similar documents based on text: More All
0.7: A Decision Method for Nonmonotonic Reasoning Based on.. - Niemelä (1994) (Correct)
0.6: A Scheme for Weakened Negative Introspection in.. - Janhunen, Niemelä (1993) (Correct)
0.5: Investigations on Cautious Autoepistemic Reasoning - Janhunen (Correct)
BibTeX entry: (Update)
@misc{ niemel-autoepistemic,
author = "Ilkka Niemelä",
title = "Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning",
url = "citeseer.ist.psu.edu/72182.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 DBLP
850 A logic for default reasoning (context) - Reiter - 1980 ACM DBLP
759 Negation as failure (context) - Clark - 1978 ACM DBLP
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
458 A theory of diagnosis from first principles (context) - Reiter - 1987 ACM DBLP
451 Circumscription---a form of non-monotonic reasoning (context) - McCarthy - 1980
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
343 Modal Logic: an Introduction (context) - Chellas - 1980
334 A truth maintenance system (context) - Doyle - 1979
316 Freeman and Company (context) - Garey, Johnson et al. - 1979
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991 ACM DBLP
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1983 ACM DBLP
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985 ACM DBLP
304 A framework for representing knowledge (context) - Minsky - 1981 ACM
297 Applications of circumscription to formalizing commonsense k.. - McCarthy - 1986
295 On closed world data bases (context) - Reiter - 1978 ACM DBLP
274 A catalog of complexity classes (context) - Johnson - 1990 ACM DBLP
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990 ACM DBLP
253 A logical framework for default reasoning (context) - Poole - 1988 ACM DBLP
191 Linear-time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984 DBLP
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987 ACM DBLP
167 Structural Complexity (context) - Balc'azar, D'iaz et al. - 1988
166 Computing circumscription (context) - Lifschitz - 1985 ACM DBLP
161 Complexity results for nonmonotonic logics (context) - Gottlob - 1992
151 Autoepistemic logic (context) - Marek, Truszczy'nski - 1991 ACM DBLP
132 An assumption-based TMS (context) - de Kleer - 1986
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991 ACM DBLP
123 A Companion to Modal Logic (context) - Hughes, Cresswell - 1984
119 All I know: a study in autoepistemic logic (context) - Levesque - 1990 ACM DBLP
118 Unfounded sets and the well-founded semantics for general lo.. (context) - Van Gelder, Ross et al. - 1988
118 Non-monotonic logic (context) - McDermott, Doyle - 1980
107 The Mathematics of Inheritance Systems (context) - Touretzky - 1986 ACM
102 Readings in Nonmonotonic Reasoning (context) - Ginsberg - 1987 ACM
99 Formal theories of action (context) - Lifschitz - 1987 ACM
96 the relationship between circumscription and negation as fai.. (context) - Gelfond, Przymusinska et al. - 1989
94 the relation between default and autoepistemic logic (context) - Konolige - 1988
91 Propositional circumscription and extended closed world reas.. - Eiter, Gottlob - 1991
90 Horn clause queries and generalizations (context) - Chandra, Harel - 1985
88 Generalized stable models: a semantics for abduction (context) - Kakas, Mancarella - 1990 DBLP
88 Hard problems for simple default logics - Kautz, Selman - 1991 ACM DBLP
88 Hard problems for simple default logics - Kautz, Selman - 1989 ACM DBLP
87 Abductive and default reasoning: A computational core (context) - Selman, Levesque - 1990 DBLP
87 Nonmonotonic Reasoning: Logical Foundations of Commonsense (context) - Brewka - 1991
86 Epistemological problems of artificial intelligence (context) - McCarthy - 1977 ACM DBLP
86 Foundations of a functional approach to knowledge representa.. (context) - Levesque - 1984 DBLP
83 The logic of persistence (context) - Kautz - 1986 DBLP
82 Reasoning with Incomplete Information (context) - Etherington - 1988 ACM
79 On stratified autoepistemic theories (context) - Gelfond - 1987 DBLP
73 A clash of intuitions: the current state of nonmonotonic mul.. (context) - Touretzky, Horty et al. - 1987 DBLP
67 A circumscriptive theorem prover - Ginsberg - 1989 ACM DBLP
67 Negation as failure using tight derivations for general logi.. (context) - Van Gelder - 1988 ACM DBLP
66 A knowledge-level account of abduction (context) - Levesque - 1989 DBLP
63 Pointwise circumscription (context) - Lifschitz - 1987 ACM
63 An Introduction to Default Logic (context) - Besnard - 1989
59 Disjunctive defaults - Gelfond, Lifschitz et al. - 1991
56 An algorithm to compute circumscription (context) - Przymusinski - 1989 ACM DBLP
55 Possible-world semantics for autoepistemic logic (context) - Moore - 1984 ACM DBLP
48 The complexity of propositional default logics (context) - Stillman - 1992 DBLP
47 Relating autoepistemic and default logics (context) - Marek, Truszczy'nski - 1989 ACM DBLP
46 Modal nonmonotonic logics: Ranges (context) - Marek, Shvarts et al. - 1991
44 Chronological ignorance: Experiments in nonmonotonic tempora.. (context) - Shoham - 1988 ACM DBLP
42 Towards a theory of knowledge and ignorance: Preliminary rep.. - Halpern, Moses - 1984 ACM DBLP
42 Hierarchic autoepistemic theories for nonmonotonic reasoning.. (context) - Konolige - 1988
38 A rational reconstruction of nonmonotonic truth maintenance .. (context) - Elkan - 1990 DBLP
37 General logical databases and programs: Default logic semant.. (context) - Bidoit, Froidevaux - 1991 DBLP
36 Formalizing nonmonotonic reasoning systems (context) - Etherington - 1987
35 Nonmonotonic databases and epistemic queries (context) - Lifschitz - 1991 DBLP
34 default and autoepistemic semantics for general logic progra.. (context) - Marek, Subrahmanian et al. - 1992
33 Autoepistemic logic and formalization of commonsense reasoni.. (context) - Gelfond - 1988 ACM
33 the decidability and complexity of autoepistemic reasoning (context) - Niemela - 1992
33 Computing intersection of autoepistemic expansions (context) - Marek, Truszczy'nski - 1991
32 Computing the extensions of autoepistemic and default logics.. (context) - Junker, Konolige - 1990 DBLP
32 Computing the extensions of autoepistemic and default logics.. (context) - Junker, Konolige - 1990 DBLP
31 It's not my default: the complexity of membership problems i.. (context) - Stillman - 1990 DBLP
30 On asking what a database knows (context) - Reiter - 1990
30 Autoepistemic logics of closed beliefs and logic programming - Przymusinski - 1991 DBLP
28 Epistemic semantics for fixed-point nonmonotonic logics (context) - Lin, Shoham - 1990
26 Negation in rule-based database languages: a survey (context) - Bidoit - 1991 DBLP
25 Autoepistemic modal logics (context) - Shvarts - 1990 ACM DBLP
25 The relationship between logic program semantics and non-mon.. (context) - Marek, Subrahmanian - 1989 DBLP
25 Three-valued nonmonotonic formalisms and semantics of logic .. - Przymusinski - 1991
24 Annals of Mathematics and Artificial Intelligence (context) - Marek, Truszczy'nski et al. - 1990
24 Minimal model semantics for nonmonotonic modal logics (context) - Schwarz - 1992 DBLP
23 Semantic issues in deductive databases and logic programs (context) - Przymusinska, Przymusinski - 1990
23 Between circumscription and autoepistemic logic (context) - Lifschitz - 1989 ACM DBLP
23 The complexity of closed world reasoning and circumscription (context) - Cadoli, Lenzerini - 1990
22 the relation between autoepistemic logic and circumscription (context) - Konolige - 1989
22 Argument systems: a uniform basis for nonmonotonic reasoning (context) - Lin, Shoham - 1989 DBLP
21 propositional logic and constraints (context) - Ben-Eliyahu, Dechter - 1991
21 Non-monotonic logic II (context) - McDermott - 1982
20 Relating default logic and circumscription (context) - Etherington - 1987 DBLP
20 Autoepistemic logics as a unifying framework for the semanti.. (context) - Bonatti - 1992 DBLP
20 Results on translating defaults to circumscription (context) - Imielinski - 1987 ACM DBLP
20 Formalization of inheritance reasoning in autoepistemic logi.. (context) - Gelfond, Przymusinska - 1990 ACM
19 Nonmonotonic default modal logics (context) - Tiomkin, Kaminski - 1991 ACM DBLP
19 Three-valued formalizations of non-monotonic reasoning and l.. (context) - Przymusinski - 1989 ACM DBLP
19 Nonmonotonic default modal logics (context) - Tiomkin, Kaminski - 1990 ACM DBLP
19 Modal interpretations of default logic (context) - Truszczy'nski - 1991 DBLP
18 A note on non-monotonic modal logic (context) - Stalnaker - 1980 ACM DBLP
18 A logic of knowledge and justified assumptions (context) - Lin, Shoham - 1992 ACM DBLP
18 Reasoning with parsimonious and moderately grounded expansio.. (context) - Eiter, Gottlob - 1992
18 Autoepistemic logic of knowledge (context) - Schwarz - 1991 DBLP
17 The power of beliefs or translating default logic into stand.. (context) - Gottlob - 1992 ACM DBLP
17 Modal logic for default reasoning (context) - Marek, Truszczy'nski - 1990
17 Strong introspection (context) - Gelfond - 1991 DBLP
15 Autoepistemic logic (context) - Moore - 1988 ACM DBLP
14 Decision procedure for autoepistemic logic (context) - Niemela - 1988 ACM DBLP
13 The mathematics of non-monotonic reasoning (context) - Davis - 1980 DBLP
12 Bounding introspection in nonmonotonic logic (context) - Schwarz - 1992 DBLP
12 A correct non-monotonic ATMS (context) - Junker - 1989 DBLP
11 Embedding default logic into modal nonmonotonic logics (context) - Truszczy'nski - 1991 DBLP
11 A tableaux-based theorem prover for a decidable subset of de.. (context) - Schwind - 1990 ACM
11 Stable theories in autoepistemic logic (context) - Marek - 1989
10 Towards automatic autoepistemic reasoning (context) - Niemela - 1990 ACM DBLP
10 Modal logic SF and minimal knowledge paradigm (context) - Truszczy, logic et al. - 1992
10 Query answering in circumscription (context) - Helft, Inoue et al. - 1991 DBLP
10 Relating TMS to autoepistemic logic (context) - Fujiwara - 1989
10 More on modal aspects of default logic (context) - Marek, Truszczy'nski - 1992 ACM
9 the relation between truth maintenance and autoepistemic log.. (context) - Reinfrank, Dressler et al. - 1989
8 Embedding a default system into nonmonotonic logic (context) - Kaminski - 1991
8 the classification and existence of structures in default lo.. (context) - Zhang, Marek - 1990
8 the impact of stratification on the complexity of nonmonoton.. - Niemela, Rintanen - 1992
8 All I know: Abridged report (context) - Levesque - 1987
8 Ideal introspective belief (context) - Konolige - 1992 DBLP
7 Quantification in autoepistemic logic (context) - Konolige - 1991 ACM
6 Presented at the European Workshop on Theoretical Foundation.. (context) - Kalinski, reasoning - 1992
6 the existence of fixpoints in Moore's autoepistemic logic an.. - Stark - 1990
6 Propositional semantics for default logic (context) - Ben-Eliyahu, Dechter - 1992
6 Autoepistemic stable closure and contradiction resolution (context) - Morris - 1988
5 An approach to the frame problem and its implementation (context) - Sandewall - 1972
5 Autoepistemic expansions with incomplete belief introspectio.. (context) - Kalinski - 1990 ACM DBLP
5 Negation as stable hypothesis (context) - Kakas, Mancarella - 1991
5 Negation by default and unstratified logic programs (context) - Bidoit, Froidevaux - 1991
5 Christian Doppler Laboratory for Expert Systems (context) - Gottlob, for et al. - 1991
5 How uncomputable is general circumscription (context) - Schlipf - 1986
5 Department of Computer Science (context) - Marek, Truszczy'nski et al. - 1988
5 Constructive tightly grounded autoepistemic reasoning (context) - Niemela - 1991 DBLP
4 Modal nonmonotonic logic with restricted application of the .. (context) - Truszczy'nski - 1991 ACM DBLP
4 The interaction with incomplete knowledge bases: a formal tr.. (context) - Levesque - 1981 DBLP
3 A new characterization of autoepistemic reasoning (context) - Niemela - 1990
3 Christian Doppler Labor fur Expertensysteme (context) - Eiter, Gottlob et al. - 1992
3 Reflexive autoepistemic logic (context) - Schwarz - 1992 ACM
3 Decision problem in autoepistemic logic (context) - Niemela - 1989
3 Autoepistemic logic as a basis for automating nonmonotonic r.. - Niemela - 1992 ACM
3 A unifying framework for nonmonotonic reasoning (context) - Niemela - 1992 ACM DBLP
3 Circumscribing equality (context) - Rathmann, Winslett - 1989 DBLP
2 the complexity of the decision problem in propositional nonm.. (context) - Niemela - 1988
2 Planner: a language for manipulating models and proving theo.. (context) - Hewitt - 1968
Documents on the same site (http://saturn.hut.fi/html/logic.html):
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning - Janhunen (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC