1

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
2

Defaults, preorder semantics and circumscription

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

Coherent systems

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

Completeness and incompleteness for plausibility logic

E-Article
5

A new perspective on nonmonotonic logics

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

Logical tools for handling change in agent-based systems

by: Gabbay, Dov M.,; Schlechta, Karl.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
7

Logical tools for handling change in agent-based systems

by: Gabbay, Dov M.,; Schlechta, Karl.
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH &...
Book
8

A semantics for open normal defaults via a modified preferential approach

by: Baader, Franz; Schlechta, Karl (Author)
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
E-Book
9

On principles and problems of defeasible inheritance

by: Schlechta, Karl; Makinson, David (Author)
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
E-Book
10

Explaining updates by minimal sums

E-Article