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

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

A new perspective on nonmonotonic logics

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

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
14

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
15

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
16

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
17

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
18

On principles and problems of defeasible inheritance

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

Explaining updates by minimal sums

E-Article