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

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
3
4

Coherent systems

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

Completeness and incompleteness for plausibility logic

E-Article
6

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
7

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
8

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
9

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
10

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
11

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