Michael Freund, Daniel Lehmann  Home/Search
Context Related
| cs.huji.ac.il/%7Elehman...fullStudia.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: cs.huji.ac.il/~lehmann/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families ... (Update)
Context of citations to this paper: More
.... they are closely related to the property previously discussed under the name of Deductivity or Infinite Conditionalization in [11, 12, 9, 13, 25, 18]. The first one, termed Conditional Monotonicity, expresses the requirement that C behave monotonically if one replaces, in the...
Cited by: More
Nonmonotonic Logics and Semantics - Lehmann (2000) (Correct)
Similar documents (at the sentence level):
27.6%: Nonmonotonic Inference Operations - Freund, Lehmann (1993) (Correct)
Active bibliography (related documents): More All
0.6: A Formula-Preferential Base for Paraconsistent and Plausible.. - Avron, Lev (Correct)
0.5: What Could a Natural Deductive System for Nonmonotonic Reasoning.. - Zhang (Correct)
0.4: What Does a Conditional Knowledge Base Entail? - Lehmann, Magidor (1989) (Correct)
Similar documents based on text: More All
0.4: Cumulative Higher-Order Logic as a Foundation for Set Theory - Degen, Johannsen (Correct)
0.4: Generalized Fractal Dimensions: Equivalences and Basic Properties - Barbaroux, al. (2000) (Correct)
0.4: Fractal dimensions and the Phenomenon of Intermittency in.. - Barbaroux (Correct)
Related documents from co-citation: More All
2: Plausibility measures and default reasoning - Friedman, Halpern - 1996
BibTeX entry: (Update)
Michael Freund and Daniel Lehmann. Nonmonotonic reasoning: from finitary relations to infinitary inference operations. Studia Logica, 53(2):161--201, 1994. http://citeseer.ist.psu.edu/freund94nonmonotonic.html More
@article{ freund94nonmonotonic,
author = "Michael Freund and Daniel Lehmann",
title = "Nonmonotonic Reasoning: from Finitary Relations to Infinitary Inference Operations",
journal = "Studia Logica",
volume = "53",
number = "2",
pages = "161--201",
year = "1994",
url = "citeseer.ist.psu.edu/freund94nonmonotonic.html" }
Citations (may not include all citations):253 A logical framework for default reasoning (context) - Poole - 1988
105 Theoretical foundations for non-monotonic reasoning in exper.. (context) - Gabbay - 1985
94 General patterns in nonmonotonic reasoning (context) - Makinson - 1993
87 General theory of cumulative inference (context) - Makinson - 1988
33 The Collected Papers of Gerhard Gentzen (context) - Gentzen - 1969
21 What does a conditional knowledge base entail (context) - Lehmann, Magidor - 1992
21 What does a conditional knowledge base entail (context) - Lehmann - 1989
18 Arti cial Intelligence (context) - Kraus, Lehmann et al. - 1990
11 Supracompact inference operations (context) - Freund - 1992
11 Supracompact inference operations (context) - Freund - 1990
9 Plausibility logic (context) - Lehmann - 1991
8 Preferential logics: the predicate calculus case (context) - Lehmann, Magidor - 1990
7 Arti cial Intelligence (context) - Ginsberg - 1986
7 The relationship between klm and mak models for nonmonotonic.. (context) - urgen, David - 1992
6 Some results on classical preferential models (context) - Schlechta - 1992
4 Deductive inference operations (context) - Freund, Lehmann - 1990
4 Papers from (context) - Tarski, Semantics - 1923
3 Arti cial Intelligence (context) - Freund, Lehmann et al. - 1991
3 Canonical extensions to the in nite case of nitary nonmonoto.. (context) - Freund, Lehmann et al. - 1989
2 Nonmonotonic inference operations - Freund, Lehmann - 1993
1 Lattice Theory (context) - Gr - 1971
1 Results on in nite extensions (context) - Schlechta - 1991
Documents on the same site (http://www.cs.huji.ac.il/~lehmann/): More
Another perspective on Default Reasoning - Lehmann (1992) (Correct)
Optimal Solutions for Multi-Unit Combinatorial Auctions.. - Gonen, Lehmann (2000) (Correct)
Preferred History Semantics for Iterated Updates - Berger, Lehmann, Schlechta (1999) (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