dblp.uni-trier.dewww.uni-trier.de

Karl Schlechta Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
41EEDov M. Gabbay, Karl Schlechta: Defeasible inheritance systems and reactive diagrams. Logic Journal of the IGPL 17(1): 1-54 (2009)
2006
40EEKarl Schlechta: Remarks on Inheritance Systems CoRR abs/math/0611937: (2006)
2002
39EEDaniel J. Lehmann, Menachem Magidor, Karl Schlechta: Distance Semantics for Belief Revision CoRR cs.AI/0202025: (2002)
38EEShai Berger, Daniel J. Lehmann, Karl Schlechta: Preferred History Semantics for Iterated Updates CoRR cs.AI/0202026: (2002)
2001
37 Daniel J. Lehmann, Menachem Magidor, Karl Schlechta: Distance Semantics for Belief Revision. J. Symb. Log. 66(1): 295-317 (2001)
36EEKarl Schlechta, Jürgen Dix: Explaining updates by minimal sums. Theor. Comput. Sci. 266(1-2): 819-838 (2001)
2000
35 Karl Schlechta, Laurent Gourmelen, Stéphanie Motré, Olivier Rolland, Bensalah Tahar: A New Approach to Preferential Structures. Fundam. Inform. 42(3-4): 391-410 (2000)
34 Karl Schlechta: Unrestricted preferential structures. J. Log. Comput. 10(4): 573-581 (2000)
33 Karl Schlechta: New Techniques and Completeness Results for Preferential Structures. J. Symb. Log. 65(2): 719-746 (2000)
1999
32EEJürgen Dix, Karl Schlechta: Explaining Updates by Minimal Sums. FSTTCS 1999: 142-154
31EEKarl Schlechta: A Topological Construction of a Non-smooth Model of Cumulativity. J. Log. Comput. 9(4): 457-462 (1999)
30EEShai Berger, Daniel J. Lehmann, Karl Schlechta: Preferred History Semantics for Iterated Updates. J. Log. Comput. 9(6): 817-833 (1999)
29 Karl Schlechta: Results on infinite extensions. Journal of Applied Non-Classical Logics 1(1): (1999)
28EELaurent Audibert, Cédric Lhoussaine, Karl Schlechta: Distance Based Revision of Preferential Logics. Logic Journal of the IGPL 7(4): 429-446 (1999)
1997
27 Karl Schlechta: Nonmonotonic Logics, Basic Concepts, Results, and Techniques Springer 1997
26EEKarl Schlechta: A Reduction of the Theory of Confirmation to the Notions of Distance and Measure. Logic Journal of the IGPL 5(1): (1997)
25EEKarl Schlechta: Filters and Partial Orders. Logic Journal of the IGPL 5(5): (1997)
1996
24 Karl Schlechta: Some Completeness Results for Classical Preferential Models. Logic, Action, and Information 1996: 229-240
23 Karl Schlechta, Daniel J. Lehmann, Menachem Magidor: Distance Semantics for Belief Revision. TARK 1996: 137-145
22 Karl Schlechta: A Two-Stage Approach to First Order Default Reasoning. Fundam. Inform. 28(3-4): 377-402 (1996)
21 Karl Schlechta: Some Completeness Results for Stoppered and Ranked Classical Preferential Models. J. Log. Comput. 6(4): 599-622 (1996)
20 Karl Schlechta: Completeness and Incompleteness for Plausibility Logic. Journal of Logic, Language and Information 5(2): 177-192 (1996)
1995
19 Karl Schlechta: A Two-Stage Approach to First Order Default Reasoning. ECSQARU 1995: 379-386
18 Karl Schlechta: A Reduction of the Theory of Confirmation to the Notions of Distance and Measure. ECSQARU 1995: 387-394
17 Karl Schlechta: Logic, Topology, and Integration. J. Autom. Reasoning 14(3): 353-381 (1995)
16 Karl Schlechta: Defaults as Generalized Quantifiers. J. Log. Comput. 5(4): 473-494 (1995)
15 Karl Schlechta: Preferential Choice Representation Theorems for Branching Time Structures. J. Log. Comput. 5(6): 783-800 (1995)
14EEKarl Schlechta: Some Completeness Results for Propositional Conditional Logics. Logic Journal of the IGPL 3(1): 111-115 (1995)
1994
13 Karl Schlechta, David Makinson: Local and Global Metrics for the Semantics of Counterfactual Conditionals. Journal of Applied Non-Classical Logics 4(2): (1994)
1993
12 Franz Baader, Karl Schlechta: A Semantics for Open Normal Defaults via a Modified Preferential Approach. ECSQARU 1993: 9-16
11 Karl Schlechta: Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions. J. Log. Comput. 3(5): 455-467 (1993)
1992
10 Karl Schlechta: Results on Non-Monotonic Logics. IWBS Report 204: (1992)
9 Karl Schlechta: Some Results on Classical Preferential Models. J. Log. Comput. 2(6): 675-686 (1992)
1991
8 Gerhard Brewka, David Makinson, Karl Schlechta: JTMS and Logic Programming. LPNMR 1991: 199-210
7 David Makinson, Karl Schlechta: Floating Conclusions and Zombie Paths: Two Deep Difficulties in the ``Directly Skeptical'' Approach to Defeasible Inheritance Nets. Artif. Intell. 48(2): 199-209 (1991)
6 Karl Schlechta: Theory Revision and Probability. Notre Dame Journal of Formal Logic 32(2): 307-319 (1991)
1990
5 Karl Schlechta: Semantics for Defeasible Inheritance. ECAI 1990: 594-597
4 Gerhard Brewka, David Makinson, Karl Schlechta: Cumulative Inference Relations for JTMS and Logic Programming. Nonmonotonic and Inductive Logic 1990: 1-12
1989
3EEKarl Schlechta: Some results on theory revision. The Logic of Theory Change 1989: 72-92
1988
2 Karl Schlechta: Remarks to Shoham's Temporal Logic. GWAI 1988: 88-95
1 Karl Schlechta: Remarks on Consistency and Completeness of Circumscription. GWAI 1988: 96-103

Coauthor Index

1Laurent Audibert [28]
2Franz Baader [12]
3Shai Berger [30] [38]
4Gerhard Brewka [4] [8]
5Jürgen Dix [32] [36]
6Dov M. Gabbay [41]
7Laurent Gourmelen [35]
8Daniel J. Lehmann [23] [30] [37] [38] [39]
9Cédric Lhoussaine [28]
10Menachem Magidor [23] [37] [39]
11David Makinson [4] [7] [8] [13]
12Stéphanie Motré [35]
13Olivier Rolland [35]
14Bensalah Tahar [35]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)