Karl Schlechta

According to our database1, Karl Schlechta authored at least 51 papers between 1988 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

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

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

2010
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.
Journal of Applied Non-Classical Logics, 2010

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

2009
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.
Journal of Applied Non-Classical Logics, 2009

Defeasible inheritance systems and reactive diagrams.
Logic Journal of the IGPL, 2009

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

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

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

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

2000
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

1999
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.
Journal of Applied Non-Classical Logics, 1999

Distance Based Revision of Preferential Logics.
Logic Journal of the IGPL, 1999

Explaining Updates by Minimal Sums.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1997
Filters and Partial Orders.
Logic Journal of the IGPL, 1997

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

1996
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

Distance Semantics for Belief Revision.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

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

1995
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.
Logic Journal of the IGPL, 1995

A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

A Two-Stage Approach to First Order Default Reasoning.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
Local and Global Metrics for the Semantics of Counterfactual Conditionals.
Journal of Applied Non-Classical Logics, 1994

1993
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

1992
Results on Non-Monotonic Logics.
IWBS Report, 1992

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

1991
Theory Revision and Probability.
Notre Dame Journal of Formal Logic, 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

1990
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

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

1988
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


  Loading...