Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri  Home/Search
Context
Related
| dcs.gla.ac.uk/~gia...MathWareACP.ps.gz dcs.glasgow.ac.uk/...MathWareACP.ps.gz dis.uniroma1.it/~pirr...MathWare396.ps 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: dcs.gla.ac.uk/~gianni/more (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Commonsense reasoning is the reasoning of agents interacting with the real world. Non monotonic reasoning is a well developed research area gathering the logical formalisms that treat commonsense reasoning. One of the best known of such formalisms is Default logic. In this paper we discuss Default logic at both the proof-theoretic and semantics levels and show that Default logic provides a clear and formal framework to understand the logical nature of commonsense reasoning. Fondazione Ugo... (Update)
Similar documents (at the sentence level):
11.1%: Default Logic and Purity of Reasoning - Amati, Aiello, Pirri (Correct)
Active bibliography (related documents): More All
1.4: A proof theoretical approach to default reasoning I.. - Amati, Aiello.. (1995) (Correct)
1.1: Is There a Logic of Provability for Nonmonotonic Reasoning? - Amati, Pirri (1996) (Correct)
0.9: Definability and Commonsense Reasoning - Amati, Aiello, al. (1996) (Correct)
Similar documents based on text: More All
1.1: Defaults as restrictions on classical Hilbert-style proofs - Amati, Aiello, Pirri (1995) (Correct)
0.8: Modal Non Monotonic Reasoning Via Boxed Fixed Points - Gianni Amati Luigia (1996) (Correct)
0.7: A Structural Property on Modal Frames Characterizing Default.. - Amati, Aiello (1996) (Correct)
BibTeX entry: (Update)
@article{ amati96default,
author = "G. Amati and L. {Carlucci Aiello} and F. Pirri",
title = "Default Logic as a formalisms for understanding Commonsense reasoning",
journal = "Mathware \& Soft Computing",
volume = "3",
pages = "33--46",
year = "1996",
url = "citeseer.ist.psu.edu/amati96default.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980
451 Circumscription -- a form of nonmonotonic reasoning (context) - McCarthy - 1980
311 Semantical considerations on nonmonotonic logics (context) - Moore - 1985
114 Logics of time and computation (context) - Goldblatt - 1987 ACM
94 the relation between default and autoepistemic logic (context) - Konolige - 1988
82 Reasoning with incomplete information (context) - Etherington - 1988 ACM
62 Non-monotonic logic II: non-monotonic modal theories (context) - McDermott - 1982
59 Disjunctive defaults - Gelfond, Lifschitz et al. - 1991
55 Possible-world semantics for autoepistemic logic (context) - Moore - 1987 ACM DBLP
46 Modal nonmonotonic logics: ranges (context) - Marek, Schwarz et al. - 1993
42 Toward a theory of knowledge and ignorance: preliminary repo.. - Halpern, Moses - 1988
30 Provability interpretations of modal logic (context) - Solovay - 1976
28 Circumscription implies predicate completion (context) - Reiter - 1982
28 Epistemic semantics for fixed-points non-monotonic logics (context) - Lin, Shoham - 1990 ACM DBLP
24 Minimal model semantics for nonmonotonic modal logics (context) - Schwarz - 1991 DBLP
21 Default logic revisited (context) - Delgrande, Jackson - 1991 DBLP
17 Modal logic for default reasoning (context) - Marek, Truszczynski - 1990 DBLP
16 Modal interpretations of default logic (context) - Truszczynski - 1991 DBLP
12 Possible world semantics for default logic (context) - Besnard, Schaub - 1992
10 More on modal aspects of default logic (context) - Marek, Truszczynski - 1992 ACM
9 Default logics: a unified view (context) - Froidevaux, Mengin - 1994 DBLP
8 On commitment and cumulativity in default logic (context) - Schaub - 1991
7 a non-monotonic logic with explicit default (context) - Doherty, Lukaszewicz - 1992
6 Syntactical treatments of modality (context) - Montague - 1963
6 A structural property on modal frames characterizing default.. - Amati, Carlucci et al. - 1996
6 Cumulative default logic: in defence of nonmonotonic inferen.. (context) - Brewka - 1991
6 Autoepistemic modal logics (context) - Schwarz - 1990
5 On cumulative default reasoning (context) - Giordano, Martelli - 1994
4 Some variations on default logic (context) - Rychlik - 1991
4 Contribution to a proof theory for generic defaults (context) - Guerreiro, Casanova et al. - 1990
4 Default as restrictions on classical Hilbert-style proofs - Amati, Carlucci et al. - 1995
3 Considerations on default logic: an alternative approach (context) - Lukaszewics - 1988 DBLP
2 Non-monotonic logic (context) - the, -- et al. - 1980
2 Computing circumscription (context) - Journal, Lifschitz - 1985
2 Considerations on default logic (context) - Lukaszewics - 1984
1 Deafult Logic (context) - Besnard - 1989
1 Minimal knowledge problem: a new approach (context) - Schwarz, Truszczynski - 1994 DBLP
1 Non-Monotonic Reasoning; Formalization of Commonsense Reason.. (context) - Intelligence, Lukaszewicz - 1991
1 contextdependent reasoning (context) - Informaticae, Marek et al. - 1993
Documents on the same site (http://www.dcs.gla.ac.uk/~gianni/more.html): More
Is There a Logic of Provability for Nonmonotonic Reasoning? - Amati, Pirri (1996) (Correct)
Probabilistic Learning for Information Filtering - Amati, Crestani, Ubaldini, al. (Correct)
A Learning System for Selective Dissemination of Information - Amati (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