Author Search Results

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

Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set): Vol. I: Preference and Size / Vol. II: Theory Revision, Inheritance, and Various Abstract Properties

by: Schlechta, Karl.

Cham : Springer Nature Switzerland AG : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018.

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

Non-prioritized belief revision based on distances between models

by: SCHLECHTA, KARL
In: Theoria (2008)

E-Article

7

The Many Valued and Nonmonotonic Turn in Logic: Nonmonotonic Logics: a Preferential Approach

by: Schlechta, Karl
In: The Many Valued and Nonmonotonic Turn in Logic (2007)

E-Chapter

8

New techniques and completeness results for preferential structures

by: Schlechta, Karl
In: Journal of Symbolic Logic (2000)

E-Article

9

New Techniques and Completeness Results for Preferential Structures

by: Schlechta, Karl
In: The Journal of Symbolic Logic (2000)

E-Article

10

Completeness and incompleteness for plausibility logic

by: Schlechta, Karl
In: Journal of Logic, Language and Information (1996)

E-Article

11

Completeness and Incompleteness for Plausibility Logic

by: Schlechta, Karl
In: Journal of Logic, Language, and Information (1996)

E-Article

12

Defaults as Generalized Quantifiers

by: SCHLECHTA, KARL
In: Journal of Logic and Computation (1995)

E-Article

13

Preferential Choice Representation Theorems for Branching Time Structures

by: SCHLECHTA, KARL
In: Journal of Logic and Computation (1995)

E-Article

14

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: A two-stage approach to first order default reasoning

by: Schlechta, Karl
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (1995)

E-Chapter

15

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: A reduction of the theory of confirmation to the notions of distance and measure

by: Schlechta, Karl
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (1995)

E-Chapter

16

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions

by: SCHLECHTA, KARL
In: Journal of Logic and Computation (1993)

E-Article

17

Some Results on Classical Preferential Models

by: SCHLECHTA, KARL
In: Journal of Logic and Computation (1992)

E-Article

18

Theory revision and probability.

by: Schlechta, Karl
In: Notre Dame J. Formal Logic (1991)

E-Article

19

Results on infinite extensions

by: Schlechta, Karl
In: Journal of Applied Non-Classical Logics (1991)

E-Article

20

Sind Physik und Philosophie am Ende?

by: Schlechta, Karl
In: dialectica (1970)

E-Article

Refine my Results