Karl Schlechta

According to our database1, Karl Schlechta authored at least 59 papers between 1988 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


A Short Remark on Analogical Reasoning.
CoRR, 2019

Homogenousness and Specificity.
CoRR, 2019

KI, Philosophie, Logik.
CoRR, 2019

Operations on Partial Orders.
CoRR, 2018

Remarks on an article by Rabern et al.
CoRR, 2018

A Reliability Theory of Truth.
CoRR, 2018

Formal Methods for Nonmonotonic and Related Logics - Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Springer, ISBN: 978-3-319-89649-6, 2018

Formal Methods for Nonmonotonic and Related Logics - Vol I: Preference and Size
Springer, ISBN: 978-3-319-89652-6, 2018

A pre-semantics for counterfactual conditionals and similar logics.
CoRR, 2017

A Comment on Argumentation.
CoRR, 2016

A New Perspective on Nonmonotonic Logics
Springer, ISBN: 978-3-319-46817-4, 2016

Conditionals and Modularity in General Logics
Cognitive Technologies, Springer, ISBN: 978-3-642-19067-4, 2011

Equilibria und weiteres Heiteres II
CoRR, 2011

A Comment on Work by Booth and Co-authors.
Studia Logica, 2010

A Theory of Hierarchical Consequence and Conditionals.
Journal of Logic, Language and Information, 2010

Semantic interpolation.
J. Appl. Non Class. Logics, 2010

Logical Tools for Handling Change in Agent-Based Systems.
Cognitive Technologies, Springer, ISBN: 978-3-642-04406-9, 2010

Independence - Revision and Defaults.
Studia Logica, 2009

Reactive Preferential Structures and Nonmonotonic Consequence.
Rev. Symb. Log., 2009

Size and Logic.
Rev. Symb. Log., 2009

Roadmap for preferential logics.
J. Appl. Non Class. Logics, 2009

Defeasible inheritance systems and reactive diagrams.
Log. J. IGPL, 2009

Cumulativity without Closure of the Domain under Finite Unions.
Rev. Symb. Log., 2008

Nonmonotonic logics: a preferential approach.
Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

Remarks on Inheritance Systems
CoRR, 2006

Explaining updates by minimal sums.
Theor. Comput. Sci., 2001

Distance Semantics for Belief Revision.
J. Symb. Log., 2001

Unrestricted preferential structures.
J. Log. Comput., 2000

New Techniques and Completeness Results for Preferential Structures.
J. Symb. Log., 2000

A New Approach to Preferential Structures.
Fundam. Inform., 2000

A Topological Construction of a Non-smooth Model of Cumulativity.
J. Log. Comput., 1999

Preferred History Semantics for Iterated Updates.
J. Log. Comput., 1999

Results on infinite extensions.
J. Appl. Non Class. Logics, 1999

Distance Based Revision of Preferential Logics.
Log. J. IGPL, 1999

Filters and Partial Orders.
Log. J. IGPL, 1997

A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
Log. J. IGPL, 1997

Nonmonotonic Logics, Basic Concepts, Results, and Techniques
Lecture Notes in Computer Science 1187, Springer, ISBN: 3-540-62482-1, 1997

Some Completeness Results for Stoppered and Ranked Classical Preferential Models.
J. Log. Comput., 1996

Completeness and Incompleteness for Plausibility Logic.
Journal of Logic, Language and Information, 1996

A Two-Stage Approach to First Order Default Reasoning.
Fundam. Inform., 1996

Some Completeness Results for Classical Preferential Models.
Proceedings of the Logic, Action, and Information, 1996

Preferential Choice Representation Theorems for Branching Time Structures.
J. Log. Comput., 1995

Defaults as Generalized Quantifiers.
J. Log. Comput., 1995

Logic, Topology, and Integration.
J. Autom. Reasoning, 1995

Some Completeness Results for Propositional Conditional Logics.
Log. J. IGPL, 1995

Local and Global Metrics for the Semantics of Counterfactual Conditionals.
J. Appl. Non Class. Logics, 1994

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions.
J. Log. Comput., 1993

A Semantics for Open Normal Defaults via a Modified Preferential Approach.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Results on Non-Monotonic Logics.
IWBS Report, 1992

Some Results on Classical Preferential Models.
J. Log. Comput., 1992

Theory Revision and Probability.
Notre Dame J. Formal Log., 1991

Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets.
Artif. Intell., 1991

JTMS and Logic Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Results on the Generic Kurepa Hypothesis.
Arch. Math. Log., 1990

Cumulative Inference Relations for JTMS and Logic Programming.
Proceedings of the Nonmonotonic and Inductive Logic, 1990

Semantics for Defeasible Inheritance.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Some results on theory revision.
Proceedings of the Logic of Theory Change, 1989

Remarks on Consistency and Completeness of Circumscription.
Proceedings of the Künstliche Intelligenz, 1988

Remarks to Shoham's Temporal Logic.
Proceedings of the Künstliche Intelligenz, 1988