1

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 :, [di...
Book
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 :, [di...
Book
3
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
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

Completeness and Incompleteness for Plausibility Logic

E-Article
14

Defaults as Generalized Quantifiers

E-Article
15

Preferential Choice Representation Theorems for Branching Time Structures

E-Article
16
18

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions

E-Article
19

Some Results on Classical Preferential Models

E-Article
20

Theory revision and probability.

E-Article