Wolfgang Nejdl  Home/Search
Context
Related
| kbs.unihannover.de/Arb...nejdl92_tr.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: kbs.unihannover.de/...nejdl92_tr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the last years many logics of nonmonotonicity have been developed using various different formalisms and axiomatizations which makes them very difficult to compare. We develop a classification scheme for these logics using only a few simple concepts and axioms based on conditional logics, properties of partial pre-orders of possible worlds and centering assumptions. Our framework (the P-Systems) allows us to discuss the similarities, main differences and possible extensions of these... (Update)
Active bibliography (related documents): More All
0.7: Nonmonotonic Inference Operations - Freund, Lehmann (1993) (Correct)
0.6: Asking about Possibilities - Revision and Update Semantics for .. - Nejdl, Banagl (1994) (Correct)
0.5: Counterfactuals and Updates as Inverse Modalities - Ryan, al. (1997) (Correct)
Similar documents based on text: More All
0.1: New Directions in Debugging Hardware Designs - Wotawa (1999) (Correct)
0.1: MBD Research Activities at Vienna University of Technology - Stumptner, Wotawa (1998) (Correct)
0.1: Disjunctive Logic Programs with Inheritance - Buccafurri, al. (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ nejdl91psystems,
author = "Wolfgang Nejdl",
title = "The P-Systems: A Systematic Classification of Logics of Nonmonotonicity",
booktitle = "National Conference on Artificial Intelligence",
pages = "366-372",
year = "1991",
url = "citeseer.ist.psu.edu/nejdl92psystems.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980
458 A theory of diagnosis from first principles (context) - Reiter - 1987
224 preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
199 Reasoning about action using a possible models approach (context) - Winslett - 1988
189 Diagnosing multiple faults (context) - de Kleer, Williams - 1987
144 Knowledge in Flux (context) - Gardenfors - 1988
94 the relation between default and autoepistemic logic (context) - Konolige - 1987
91 Artificial Intelligence (context) - Ginsberg - 1986
87 General theory of cumulative inference (context) - Makinson - 1989
46 An approach to default reasoning based on a firstorder condi.. (context) - Delgrande - 1988
45 Correspondence theory (context) - van Benthem - 1984
38 Updates and counterfactuals - Grahne - 1991
34 Diagnosis with behavioral modes (context) - de Kleer, Williams - 1989
33 A theory of conditionals (context) - Stalnaker - 1968
27 Conditional logic (context) - Nute - 1984
25 Quick completeness proofs for some logics of conditionals (context) - Burgess - 1981
21 What does a conditional knowledge base entail (context) - Lehmann, Magidor - 1992
21 What does a conditional knowledge base entail (context) - Lehmann - 1989
14 Modal Logic -- An Introduction (context) - Chellas - 1980
14 The Logic of Time (context) - van Benthem - 1982
12 A logic for hypothetical reasoning - Bonner - 1988
11 Conditional logics of normality as modal systems (context) - Boutilier - 1990
11 belief revision and conditional logic (context) - Katsuno, Satoh et al. - 1991
8 A first-order logic for prototypical properties (context) - Delgrande - 1987
7 Pragmatic logics (context) - Bell - 1991
7 Inaccessible worlds and irrelevance: Preliminary report (context) - Boutilier - 1991
5 A refined theory of counterfactuals (context) - Pollock - 1981
5 Artificial Intelligence (context) - Bell, of - 1990
5 the semantics of counterfactuals (context) - Jackson - 1989
5 Asking about possibilities --- revision and update semantics.. - Nejdl, Banagl - 1991
4 Conditional entailment: Bridging two approaches to default r.. (context) - Geffner, Pearl - 1992
3 A general theory of the conditional in terms of a ternary op.. (context) - Gabbay - 1984
3 Investigations into a theory of knowledge base revision: Pre.. (context) - Dalal - 1988
2 and Paul Morris (context) - Freund, Lehmann - 1991
1 A note on the relationship between KLM and MAK models for no.. (context) - Dix, Makinson - 1992
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