 | 2009 |
|---|
| 41 |       | Dov M. Gabbay,
Karl Schlechta:
Defeasible inheritance systems and reactive diagrams.
Logic Journal of the IGPL 17(1): 1-54 (2009) |
| 2006 |
|---|
| 40 | | Karl Schlechta:
Remarks on Inheritance Systems
CoRR abs/math/0611937: (2006) |
| 2002 |
|---|
| 39 | | Daniel J. Lehmann,
Menachem Magidor,
Karl Schlechta:
Distance Semantics for Belief Revision
CoRR cs.AI/0202025: (2002) |
| 38 | | Shai 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) |
| 36 | | Karl 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 |
|---|
| 32 | | Jürgen Dix,
Karl Schlechta:
Explaining Updates by Minimal Sums.
FSTTCS 1999: 142-154 |
| 31 | | Karl Schlechta:
A Topological Construction of a Non-smooth Model of Cumulativity.
J. Log. Comput. 9(4): 457-462 (1999) |
| 30 | | Shai 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) |
| 28 | | Laurent 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 |
| 26 | | Karl Schlechta:
A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
Logic Journal of the IGPL 5(1): (1997) |
| 25 | | Karl 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) |
| 14 | | Karl 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 |
|---|
| 3 | | Karl 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 |
