Karl Schlechta

FLAP, 2023

New Remarks on Yablo Like Structures.

[BibT_eX]

[DOI]

CoRR, 2023

2021

Truth and Knowledge.

[BibT_eX]

[DOI]

CoRR, 2021

2019

A Short Remark on Analogical Reasoning.

[BibT_eX]

[DOI]

CoRR, 2019

Homogenousness and Specificity.

[BibT_eX]

[DOI]

CoRR, 2019

KI, Philosophie, Logik.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Operations on Partial Orders.

[BibT_eX]

[DOI]

CoRR, 2018

Remarks on an article by Rabern et al.

[BibT_eX]

[DOI]

CoRR, 2018

A Reliability Theory of Truth.

[BibT_eX]

[DOI]

CoRR, 2018

Formal Methods for Nonmonotonic and Related Logics - Vol II: Theory Revision, Inheritance, and Various Abstract Properties

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-89649-6, 2018

Formal Methods for Nonmonotonic and Related Logics - Vol I: Preference and Size

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-89652-6, 2018

2017

A pre-semantics for counterfactual conditionals and similar logics.

[BibT_eX]

[DOI]

CoRR, 2017

2016

A Comment on Argumentation.

[BibT_eX]

[DOI]

CoRR, 2016

A New Perspective on Nonmonotonic Logics

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-46817-4, 2016

2011

Conditionals and Modularity in General Logics

[BibT_eX]

[DOI]

Cognitive Technologies, Springer, ISBN: 978-3-642-19067-4, 2011

Equilibria und weiteres Heiteres II

[BibT_eX]

[DOI]

CoRR, 2011

2010

A Comment on Work by Booth and Co-authors.

[BibT_eX]

[DOI]

Stud Logica, 2010

A Theory of Hierarchical Consequence and Conditionals.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2010

Semantic interpolation.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

Logical Tools for Handling Change in Agent-Based Systems.

[BibT_eX]

[DOI]

Cognitive Technologies, Springer, ISBN: 978-3-642-04406-9, 2010

2009

Independence - Revision and Defaults.

[BibT_eX]

[DOI]

Stud Logica, 2009

Reactive Preferential Structures and Nonmonotonic Consequence.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2009

Size and Logic.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2009

Roadmap for preferential logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

Defeasible inheritance systems and reactive diagrams.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

2008

Cumulativity without Closure of the Domain under Finite Unions.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2008

2007

Nonmonotonic logics: a preferential approach.

[BibT_eX]

[DOI]

Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

2006

Remarks on Inheritance Systems

[BibT_eX]

[DOI]

CoRR, 2006

2001

Explaining updates by minimal sums.

[BibT_eX]

[DOI]

Jürgen Dix

Theor. Comput. Sci., 2001

Distance Semantics for Belief Revision.

[BibT_eX]

[DOI]

Daniel Lehmann

Menachem Magidor

J. Symb. Log., 2001

2000

Unrestricted preferential structures.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

New Techniques and Completeness Results for Preferential Structures.

[BibT_eX]

[DOI]

J. Symb. Log., 2000

A New Approach to Preferential Structures.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

1999

A Topological Construction of a Non-smooth Model of Cumulativity.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Preferred History Semantics for Iterated Updates.

[BibT_eX]

[DOI]

Shai Berger

Daniel Lehmann

J. Log. Comput., 1999

Results on infinite extensions.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1999

Distance Based Revision of Preferential Logics.

[BibT_eX]

[DOI]

Laurent Audibert

Cédric Lhoussaine

Log. J. IGPL, 1999

1997

Filters and Partial Orders.

[BibT_eX]

[DOI]

Log. J. IGPL, 1997

A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.

[BibT_eX]

[DOI]

Log. J. IGPL, 1997

Nonmonotonic Logics, Basic Concepts, Results, and Techniques

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 1187, Springer, ISBN: 3-540-62482-1, 1997

1996

Some Completeness Results for Stoppered and Ranked Classical Preferential Models.

[BibT_eX]

[DOI]

J. Log. Comput., 1996

Completeness and Incompleteness for Plausibility Logic.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1996

A Two-Stage Approach to First Order Default Reasoning.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

Some Completeness Results for Classical Preferential Models.

[BibT_eX]

Proceedings of the Logic, Action, and Information, 1996

1995

Preferential Choice Representation Theorems for Branching Time Structures.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

Defaults as Generalized Quantifiers.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

Logic, Topology, and Integration.

[BibT_eX]

[DOI]

J. Autom. Reason., 1995

Some Completeness Results for Propositional Conditional Logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 1995

1994

Local and Global Metrics for the Semantics of Counterfactual Conditionals.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1994

1993

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

A Semantics for Open Normal Defaults via a Modified Preferential Approach.

[BibT_eX]

[DOI]

Franz Baader

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992

Results on Non-Monotonic Logics.

[BibT_eX]

IWBS Report, 1992

Some Results on Classical Preferential Models.

[BibT_eX]

[DOI]

J. Log. Comput., 1992

1991

Theory Revision and Probability.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1991

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

[BibT_eX]

[DOI]

Artif. Intell., 1991

JTMS and Logic Programming.

[BibT_eX]

Gerhard Brewka

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

1990

Results on the Generic Kurepa Hypothesis.

[BibT_eX]

[DOI]

Ronald B. Jensen

Arch. Math. Log., 1990

Cumulative Inference Relations for JTMS and Logic Programming.

[BibT_eX]

[DOI]

Gerhard Brewka

Proceedings of the Nonmonotonic and Inductive Logic, 1990

Semantics for Defeasible Inheritance.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

Some results on theory revision.

[BibT_eX]

[DOI]

Proceedings of the Logic of Theory Change, 1989

1988

Remarks on Consistency and Completeness of Circumscription.

[BibT_eX]

[DOI]

Proceedings of the Künstliche Intelligenz, 1988

Remarks to Shoham's Temporal Logic.

[BibT_eX]

[DOI]