1

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

New techniques and completeness results for preferential structures

E-Article
4

Defaults as Generalized Quantifiers

E-Article
5

Preferential Choice Representation Theorems for Branching Time Structures

E-Article
6

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions

E-Article
7

Some Results on Classical Preferential Models

E-Article
8

Theory revision and probability.

E-Article
9

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
10

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
11

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
12

Distance semantics for belief revision

E-Article