1
2

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

by: Schlechta, Karl.
Cham : Springer International Publishing AG : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distr...
Book
3

Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

by: Schlechta, Karl.
Cham : Springer International Publishing AG : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distr...
Book
4

Defaults, preorder semantics and circumscription

by: Schlechta, Karl
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
E-Book
5

Coherent systems

by: Schlechta, Karl.
Amsterdam ; Boston : Elsevier, 2004.
E-Book
6

Ein Modell von CH ohne Souslin-Bäume und ohne Kurepa-Bäume in ccc-Erweiterungen

by: Schlechta, Karl
Berlin, 1987
Book Thesis
7

Leibniz als Lehrer und Erzieher: [Ansprache, gehalten am 4. Juli 1946 in d. Univ. zum Gedächtnis an d. dreihundertsten Geburtstag von Leibniz]

by: Schlechta, Karl; Leibniz, Gottfried Wilhelm (Honoree)
Mainz: Kupferberg, 1946
Commemorative Publication Book
8

Non-prioritized belief revision based on distances between models

by: SCHLECHTA, KARL
In: Theoria (2008)
E-Article
9
10

New techniques and completeness results for preferential structures

E-Article
11

New Techniques and Completeness Results for Preferential Structures

E-Article
12

Completeness and incompleteness for plausibility logic

E-Article
13

Defaults as Generalized Quantifiers

E-Article
14

Preferential Choice Representation Theorems for Branching Time Structures

E-Article
15
17

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions

E-Article
18

Some Results on Classical Preferential Models

E-Article
19

Theory revision and probability.

E-Article
20

Results on infinite extensions

E-Article