2006 |
40 | EE | Karl Schlechta:
Remarks on Inheritance Systems
CoRR abs/math/0611937: (2006) |
2002 |
39 | EE | Daniel J. Lehmann,
Menachem Magidor,
Karl Schlechta:
Distance Semantics for Belief Revision
CoRR cs.AI/0202025: (2002) |
38 | EE | 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 | EE | 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 | EE | Jürgen Dix,
Karl Schlechta:
Explaining Updates by Minimal Sums.
FSTTCS 1999: 142-154 |
31 | EE | Karl Schlechta:
A Topological Construction of a Non-smooth Model of Cumulativity.
J. Log. Comput. 9(4): 457-462 (1999) |
30 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |