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

Coherent systems

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

Completeness and incompleteness for plausibility logic

E-Article
6

Defaults as Generalized Quantifiers

E-Article
7

Preferential Choice Representation Theorems for Branching Time Structures

E-Article
8

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions

E-Article
9

Some Results on Classical Preferential Models

E-Article
10

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
11

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
12

Conditionals and modularity in general logics

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