References of "Schlechta, Karl"
     in
Bookmark and Share    
See detailA New Perspective on Nonmonotonic Logics
Gabbay, Dov M. UL; Schlechta, Karl

Book published by Springer (2016)

Detailed reference viewed: 57 (0 UL)
See detailConditionals and Modularity in General Logics
Gabbay, Dov M. UL; Schlechta, Karl

Book published by Springer (2011)

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailA Theory of Hierarchical Consequence and Conditionals
Gabbay, Dov M. UL; Schlechta, Karl

in Journal of Logic, Language and Information (2010), 19(1), 332

We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between sim- ple preferential structures and ranked ... [more ▼]

We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between sim- ple preferential structures and ranked structures. The additional accessibility relation allows us to consider only parts of the overall A-ranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures where we have a hierarchy of situations, and maybe not all are accessible to all possible worlds. Representation results are proved. [less ▲]

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailA Comment on Work by Booth and Co-authors
Gabbay, Dov M. UL; Schlechta, Karl

in Studia Logica (2010), 94(3), 403432

Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K) can be represented by two relations, < and, where < is the usual ranked relation, and is a sub ... [more ▼]

Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K) can be represented by two relations, < and, where < is the usual ranked relation, and is a sub-relation of <. They have, however, left open a characterization of the infinite case, which we treat here. [less ▲]

Detailed reference viewed: 52 (0 UL)
Full Text
Peer Reviewed
See detailA Theory of Hierarchical Conditionals
Gabbay, Dov M. UL; Schlechta, Karl

in Journal of Logic, Language and Information (2009)

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailRoadmap for Preferential Logics
Gabbay, Dov M. UL; Schlechta, Karl

in Journal of Applied Non-Classical Logics (2009), 19(1), 4395

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailIndependence-Revision and Defaults
Gabbay, Dov M. UL; Schlechta, Karl

in Studia Logica (2009), 92(3), 381394

We investigate different aspects of independence here, in th e context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of prefere ntial reasoning

Detailed reference viewed: 45 (0 UL)
Full Text
Peer Reviewed
See detailReactive Preferential Structures and Nonmonotonic consequence
Gabbay, Dov M. UL; Schlechta, Karl

in Review of Symbolic Logic (The) (2009), 2(2), 414450

We introduce Information Bearing Relation Systems (IBRS) a s an abstraction of many logical systems. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very ... [more ▼]

We introduce Information Bearing Relation Systems (IBRS) a s an abstraction of many logical systems. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can ”break” the strong coher ence properties of preferential structures by higher arrows, i.e. arrows, which do not go to points, but t o arrows themselves [less ▲]

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailAn Analysis of Defeasible Inheritance Systems
Gabbay, Dov M. UL; Schlechta, Karl

in Logic Journal of the IGPL (2009)

Detailed reference viewed: 39 (0 UL)
Full Text
Peer Reviewed
See detailSize and Logic
Gabbay, Dov M. UL; Schlechta, Karl

in Review of Symbolic Logic (The) (2009), 2(2), 396404

Detailed reference viewed: 7 (0 UL)
See detailLogical Tools for Handling Change in Agent-based Systems
Gabbay, Dov M. UL; Schlechta, Karl

Book published by Springer (2009)

Detailed reference viewed: 30 (0 UL)