Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning

Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning (1995)

Cached

Download Links

[saturn.hut.fi]

by Ilkka Niemelä

Citations:

1 - 1 self

BibTeX

@MISC{Niemelä95autoepistemiclogic,
    author = {Ilkka Niemelä},
    title = {Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning},
    year = {1995}
}

Bookmark

OpenURL

Abstract

Citations

1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1247	A logic for default reasoning - Reiter - 1980
627	A companion to modal logic - Hughes, Cresswell - 1984
552	Modal Logic: an Introduction - Chellas - 1980
505	A Computational Logic - Boyer, Moore - 1979
348	A logical framework for default reasoning - Poole� - 1988
310	Logic programs with classical negation - Gelfond, Lifschitz - 1990
307	A catalog of complexity classes - Johnson - 1990
300	Circumscription - Lifschitz - 1991
171	Autoepistemic Logic - Marek, Truszczynski - 1991
165	Complexity results for nonmonotonic logics - Gottlob - 1992
133	The complexity of logic-based abduction - Eiter, Gottlob - 1995
132	On the relationship between default and autoepistemic logic - Konolige - 1988
94	Propositional Circumscription and Extended Closed World Reasoning areP2-complete - Eiter, Gottlob - 1993
75	Abductive and Default Reasoning: A Computational Core - Selman, Levesque - 1990
54	Nonmonotonic databases and epistemic queries - LIFSCHITZ - 1991
53	Logic and the complexity of reasoning - Levesque - 1989
52	Relating autoepistemic and default logics - Marek, Truszczyński - 1989
44	The Complexity of Propositional Default Logic - Stillman - 1992
42	Modal nonmonotonic logics: ranges, characterization, computation - Marek, Schwarz, et al. - 1993
41	A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems - Elkan - 1990
37	Epistemic semantics for fixed-points nonmonotonic logics - Lin, Shoham - 1990
30	Selman B.: Hard Problems for Simple Default Logic - Kautz - 1989
28	Minimal model semantics for nonmonotonic modal logics - Schwarz - 1992
28	Modal interpretations of default logic - Truszczyński - 1991
26	Reasoning with parsimonious and moderately grounded expansions. Fundamenta Informaticae 17(1,2):31–54 - Eiter, Gottlob - 1992
25	Computing Intersection of Autoepistemic Expansions - Marek, Truszczyński - 1991
25	Autoepistemic modal logics - Shvarts - 1990
24	Computing the extensions of autoepistemic and default logics with a TMS - Junker - 1990
24	It’s not my default: The complexity of membership problems in restricted propositional default logic - Stillman - 1990
23	Towards efficient default reasoning, in - Niemelä - 1995
22	Default logic, propositional logic and constraints - Ben-Eliyahu, Dechter - 1991
22	On asking what a database knows - Reiter - 1990
21	Autoepistemic logic of closed beliefs and logic programming - Przymusinski - 1991
20	On the relation between autoepistemic logic and circumscription - Konolige - 1989
20	Non-monotonic logic II - McDermott - 1982
20	Stationary default extensions - Przymusinska, Przymusinski - 1994
19	The power of beliefs or translating default logic into standard autoepistemic logic - Gottlob - 1993
17	Autoepistemic logics as a unifying framework for the semantics of logic programs - Bonatti - 1995
16	A decision method for nonmonotonic reasoning based on autoepistemic reasoning - Niemelä - 1994
16	Embedding default logic into modal nonmonotonic logics - Truszczyński - 1991
15	Nonmonotonic default modal logics - Tiomkin, Kaminski - 1990
13	Decision procedure for autoepistemic logic - Niemelä - 1988
13	Towards automatic autoepistemic reasoning - Niemelä - 1990
8	Ideal introspective belief - Konolige - 1992
8	Modal nonmonotonic logic with restricted application of the negation as failure to prove rule - Truszczyński - 1991
5	Constructive tightly grounded autoepistemic reasoning - Niemela - 1991
4	A scheme for weakened negative introspection in autoepistemic reasoning - Janhunen, Niemel - 1993
4	A unifying framework for nonmonotonic reasoning - Niemela - 1992
3	Formalization of Inheritance Reasoning - Gelfond, Przymusi'nska - 1990