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

Completeness and incompleteness for plausibility logic

E-Article
7

Defaults as Generalized Quantifiers

E-Article
8

Preferential Choice Representation Theorems for Branching Time Structures

E-Article
9

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions

E-Article
10

Some Results on Classical Preferential Models

E-Article
11

A new perspective on nonmonotonic logics

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

Conditionals and modularity in general logics

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

Logical tools for handling change in agent-based systems

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

Conditionals and modularity in general logics

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

Logical tools for handling change in agent-based systems

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

A semantics for open normal defaults via a modified preferential approach

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

On principles and problems of defeasible inheritance

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

Explaining updates by minimal sums

E-Article