Karl Schlechta
https://sites.google.com/site/schlechtakarl/home
Karl Schlechta
On Yablo's Construction.
851-907
2023
10
FLAP
5
https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf
db/journals/flap/flap10.html#Schlechta23
Karl Schlechta
New Remarks on Yablo Like Structures.
2023
abs/2305.18772
CoRR
https://doi.org/10.48550/arXiv.2305.18772
db/journals/corr/corr2305.html#abs-2305-18772
Karl Schlechta
Truth and Knowledge.
2021
abs/2104.13573
CoRR
https://arxiv.org/abs/2104.13573
db/journals/corr/corr2104.html#abs-2104-13573
Karl Schlechta
KI, Philosophie, Logik.
2019
abs/1901.00365
CoRR
http://arxiv.org/abs/1901.00365
db/journals/corr/corr1901.html#abs-1901-00365
Karl Schlechta
Homogenousness and Specificity.
2019
abs/1902.09214
CoRR
http://arxiv.org/abs/1902.09214
db/journals/corr/corr1902.html#abs-1902-09214
Karl Schlechta
A Short Remark on Analogical Reasoning.
2019
abs/1910.02453
CoRR
http://arxiv.org/abs/1910.02453
db/journals/corr/corr1910.html#abs-1910-02453
Karl Schlechta
Formal Methods for Nonmonotonic and Related Logics - Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Springer
2018
1-817
978-3-319-89649-6
https://doi.org/10.1007/978-3-319-89650-2
Karl Schlechta
Formal Methods for Nonmonotonic and Related Logics - Vol I: Preference and Size
Springer
2018
3-335
978-3-319-89652-6
https://doi.org/10.1007/978-3-319-89653-3
Karl Schlechta
A Reliability Theory of Truth.
2018
abs/1801.01788
CoRR
http://arxiv.org/abs/1801.01788
db/journals/corr/corr1801.html#abs-1801-01788
Karl Schlechta
Remarks on an article by Rabern et al.
2018
abs/1808.01239
CoRR
http://arxiv.org/abs/1808.01239
db/journals/corr/corr1808.html#abs-1808-01239
Karl Schlechta
Operations on Partial Orders.
2018
abs/1809.10620
CoRR
http://arxiv.org/abs/1809.10620
db/journals/corr/corr1809.html#abs-1809-10620
Karl Schlechta
A pre-semantics for counterfactual conditionals and similar logics.
2017
abs/1701.00696
CoRR
http://arxiv.org/abs/1701.00696
db/journals/corr/corr1701.html#Schlechta17
Dov M. Gabbay
Karl Schlechta
A New Perspective on Nonmonotonic Logics
2016
1-365
Springer
978-3-319-46815-0
978-3-319-46817-4
https://doi.org/10.1007/978-3-319-46817-4
Karl Schlechta
A Comment on Argumentation.
2016
abs/1612.05756
CoRR
http://arxiv.org/abs/1612.05756
db/journals/corr/corr1612.html#Schlechta16
Dov M. Gabbay
Karl Schlechta
Conditionals and Modularity in General Logics
2011
1-221
Springer
Cognitive Technologies
https://doi.org/10.1007/978-3-642-19068-1
978-3-642-19067-4
db/series/cogtech/index.html#GabbayS11
Dov M. Gabbay
Karl Schlechta
Equilibria und weiteres Heiteres II
http://arxiv.org/abs/1108.3033
2011
CoRR
abs/1108.3033
db/journals/corr/corr1108.html#abs-1108-3033
Dov M. Gabbay
Karl Schlechta
Logical Tools for Handling Change in Agent-Based Systems.
I-X, 1-305
Springer
2010
Cognitive Technologies
db/series/cogtech/index.html#0023988
978-3-642-04406-9
https://doi.org/10.1007/978-3-642-04407-6
Dov M. Gabbay
Karl Schlechta
Semantic interpolation.
345-371
2010
20
J. Appl. Non Class. Logics
4
https://doi.org/10.3166/jancl.20.345-371
db/journals/jancl/jancl20.html#GabbayS10
Dov M. Gabbay
Karl Schlechta
A Theory of Hierarchical Consequence and Conditionals.
3-32
2010
19
J. Log. Lang. Inf.
1
https://doi.org/10.1007/s10849-009-9096-7
db/journals/jolli/jolli19.html#GabbayS10
Dov M. Gabbay
Karl Schlechta
A Comment on Work by Booth and Co-authors.
403-432
2010
94
Stud Logica
3
https://doi.org/10.1007/s11225-010-9237-7
db/journals/sLogica/sLogica94.html#GabbayS10
Dov M. Gabbay
Karl Schlechta
Defeasible inheritance systems and reactive diagrams.
1-54
2009
17
Log. J. IGPL
1
https://doi.org/10.1093/jigpal/jzn021
db/journals/igpl/igpl17.html#GabbayS09
Dov M. Gabbay
Karl Schlechta
Roadmap for preferential logics.
43-95
2009
19
J. Appl. Non Class. Logics
1
https://doi.org/10.3166/jancl.19.43-95
db/journals/jancl/jancl19.html#GabbayS09
Dov M. Gabbay
Karl Schlechta
Size and Logic.
396-413
2009
2
Rev. Symb. Log.
2
https://doi.org/10.1017/S1755020309090224
db/journals/rsl/rsl2.html#GabbayS09
Dov M. Gabbay
Karl Schlechta
Reactive Preferential Structures and Nonmonotonic Consequence.
414-450
2009
2
Rev. Symb. Log.
2
https://doi.org/10.1017/S1755020309090248
db/journals/rsl/rsl2.html#GabbayS09a
Dov M. Gabbay
Karl Schlechta
Independence - Revision and Defaults.
381-394
2009
92
Stud Logica
3
https://doi.org/10.1007/s11225-009-9199-9
db/journals/sLogica/sLogica92.html#GabbayS09a
Dov M. Gabbay
Karl Schlechta
Cumulativity without Closure of the Domain under Finite Unions.
372-392
2008
1
Rev. Symb. Log.
3
https://doi.org/10.1017/S1755020308080258
db/journals/rsl/rsl1.html#GabbayS08
Karl Schlechta
Nonmonotonic logics: a preferential approach.
451-516
2007
The Many Valued and Nonmonotonic Turn in Logic
https://doi.org/10.1016/S1874-5857(07)80010-0
series/hhl/8
db/series/hhl/hhl8.html#Schlechta07
Karl Schlechta
Remarks on Inheritance Systems
http://arxiv.org/abs/math/0611937
2006
CoRR
abs/math/0611937
db/journals/corr/corr0611.html#abs-math-0611937
Daniel Lehmann 0001
Menachem Magidor
Karl Schlechta
Distance Semantics for Belief Revision
https://arxiv.org/abs/cs/0202025
2002
CoRR
cs.AI/0202025
db/journals/corr/corr0202.html#cs-AI-0202025
Shai Berger
Daniel Lehmann 0001
Karl Schlechta
Preferred History Semantics for Iterated Updates
https://arxiv.org/abs/cs/0202026
2002
CoRR
cs.AI/0202026
db/journals/corr/corr0202.html#cs-AI-0202026
Daniel Lehmann 0001
Menachem Magidor
Karl Schlechta
Distance Semantics for Belief Revision.
295-317
2001
66
J. Symb. Log.
1
db/journals/jsyml/jsyml66.html#LehmannMS01
https://doi.org/10.2307/2694923
http://projecteuclid.org/euclid.jsl/1183746372
Karl Schlechta
Jürgen Dix
Explaining updates by minimal sums.
819-838
2001
266
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs266.html#SchlechtaD01
https://doi.org/10.1016/S0304-3975(00)00377-7
Karl Schlechta
Laurent Gourmelen
Stéphanie Motré
Olivier Rolland
Bensalah Tahar
A New Approach to Preferential Structures.
391-410
2000
42
Fundam. Informaticae
3-4
db/journals/fuin/fuin42.html#SchlechtaGMRT00
https://doi.org/10.3233/FI-2000-423407
Karl Schlechta
New Techniques and Completeness Results for Preferential Structures.
719-746
2000
65
J. Symb. Log.
2
db/journals/jsyml/jsyml65.html#Schlechta00
https://doi.org/10.2307/2586565
http://projecteuclid.org/euclid.jsl/1183746073
Karl Schlechta
Unrestricted preferential structures.
573-581
2000
10
J. Log. Comput.
4
db/journals/logcom/logcom10.html#Schlechta00
https://doi.org/10.1093/logcom/10.4.573
Laurent Audibert
Cédric Lhoussaine
Karl Schlechta
Distance Based Revision of Preferential Logics.
429-446
1999
7
Log. J. IGPL
4
https://doi.org/10.1093/jigpal/7.4.429
db/journals/igpl/igpl7.html#AudibertLS99
Karl Schlechta
Results on infinite extensions.
1999
1
J. Appl. Non Class. Logics
1
db/journals/jancl/jancl1.html#Schlechta99
https://doi.org/10.1080/11663081.1991.10510771
65-72
Karl Schlechta
A Topological Construction of a Non-smooth Model of Cumulativity.
457-462
1999
9
J. Log. Comput.
4
https://doi.org/10.1093/logcom/9.4.457
db/journals/logcom/logcom9.html#Schlechta99
Shai Berger
Daniel Lehmann 0001
Karl Schlechta
Preferred History Semantics for Iterated Updates.
817-833
1999
9
J. Log. Comput.
6
https://doi.org/10.1093/logcom/9.6.817
db/journals/logcom/logcom9.html#BergerLS99
Jürgen Dix
Karl Schlechta
Explaining Updates by Minimal Sums.
142-154
https://doi.org/10.1007/3-540-46691-6_11
1999
conf/fsttcs/1999
FSTTCS
db/conf/fsttcs/fsttcs99.html#DixS99
Karl Schlechta
Nonmonotonic Logics, Basic Concepts, Results, and Techniques
Lecture Notes in Computer Science
1187
Springer
1997
3-540-62482-1
https://doi.org/10.1007/BFb0021104
Karl Schlechta
A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
1997
5
Log. J. IGPL
1
https://doi.org/10.1093/jigpal/5.1.49
db/journals/igpl/igpl5.html#Schlechta97
49-64
Karl Schlechta
Filters and Partial Orders.
1997
5
Log. J. IGPL
5
https://doi.org/10.1093/jigpal/5.5.753
db/journals/igpl/igpl5.html#Schlechta97a
753-772
Karl Schlechta
A Two-Stage Approach to First Order Default Reasoning.
377-402
1996
28
Fundam. Informaticae
3-4
db/journals/fuin/fuin28.html#Schlechta96
https://doi.org/10.3233/FI-1996-283412
Karl Schlechta
Completeness and Incompleteness for Plausibility Logic.
177-192
1996
5
J. Log. Lang. Inf.
2
db/journals/jolli/jolli5.html#Schlechta96
https://doi.org/10.1007/BF00173699
Karl Schlechta
Some Completeness Results for Stoppered and Ranked Classical Preferential Models.
599-622
1996
6
J. Log. Comput.
4
db/journals/logcom/logcom6.html#Schlechta96
https://doi.org/10.1093/logcom/6.4.599
Karl Schlechta
Daniel Lehmann 0001
Menachem Magidor
Distance Semantics for Belief Revision.
137-145
1996
conf/tark/1996
TARK
db/conf/tark/tark1996.html#SchlechtaLM96
Karl Schlechta
Some Completeness Results for Classical Preferential Models.
229-240
1996
conf/lai/FR1996
Logic, Action, and Information
db/conf/lai/lai1996.html#Schlechta96
Karl Schlechta
Some Completeness Results for Propositional Conditional Logics.
111-115
1995
3
Log. J. IGPL
1
https://doi.org/10.1093/jigpal/3.1.111
db/journals/igpl/igpl3.html#Schlechta95
Karl Schlechta
Logic, Topology, and Integration.
353-381
1995
14
J. Autom. Reason.
3
db/journals/jar/jar14.html#Schlechta95
https://doi.org/10.1007/BF00881713
Karl Schlechta
Defaults as Generalized Quantifiers.
473-494
1995
5
J. Log. Comput.
4
db/journals/logcom/logcom5.html#Schlechta95
https://doi.org/10.1093/logcom/5.4.473
Karl Schlechta
Preferential Choice Representation Theorems for Branching Time Structures.
783-800
1995
5
J. Log. Comput.
6
db/journals/logcom/logcom5.html#Schlechta95a
https://doi.org/10.1093/logcom/5.6.783
Karl Schlechta
A Two-Stage Approach to First Order Default Reasoning.
379-386
1995
conf/ecsqaru/1995
ECSQARU
db/conf/ecsqaru/ecsqaru1995.html#Schlechta95
https://doi.org/10.1007/3-540-60112-0_43
Karl Schlechta
A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
387-394
1995
conf/ecsqaru/1995
ECSQARU
db/conf/ecsqaru/ecsqaru1995.html#Schlechta95a
https://doi.org/10.1007/3-540-60112-0_44
Karl Schlechta
David Makinson
Local and Global Metrics for the Semantics of Counterfactual Conditionals.
1994
4
J. Appl. Non Class. Logics
2
db/journals/jancl/jancl4.html#SchlechtaM94
https://doi.org/10.1080/11663081.1994.10510829
129-140
Karl Schlechta
Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions.
455-467
1993
3
J. Log. Comput.
5
db/journals/logcom/logcom3.html#Schlechta93
https://doi.org/10.1093/logcom/3.5.455
Franz Baader
Karl Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach.
9-16
1993
conf/ecsqaru/1993
ECSQARU
db/conf/ecsqaru/ecsqaru1993.html#BaaderS93
https://doi.org/10.1007/BFb0028176
Karl Schlechta
Some Results on Classical Preferential Models.
675-686
1992
2
J. Log. Comput.
6
db/journals/logcom/logcom2.html#Schlechta92
https://doi.org/10.1093/logcom/2.6.675
Karl Schlechta
Results on Non-Monotonic Logics.
IWBS Report
204
1992
IBM Germany Science Center, Institute for Knowledge Based Systems
David Makinson
Karl Schlechta
Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets.
199-209
1991
48
Artif. Intell.
2
db/journals/ai/ai48.html#MakinsonS91
https://doi.org/10.1016/0004-3702(91)90061-N
Karl Schlechta
Theory Revision and Probability.
307-319
1991
32
Notre Dame J. Formal Log.
2
db/journals/ndjfl/ndjfl32.html#Schlechta91
https://doi.org/10.1305/ndjfl/1093635755
Gerhard Brewka
David Makinson
Karl Schlechta
JTMS and Logic Programming.
199-210
1991
conf/lpnmr/1991
LPNMR
db/conf/lpnmr/lpnmr91.html#BrewkaMS91
Ronald B. Jensen
Karl Schlechta
Results on the Generic Kurepa Hypothesis.
13-27
1990
30
Arch. Math. Log.
1
https://doi.org/10.1007/BF01793783
db/journals/aml/aml30.html#JensenS90
Karl Schlechta
Semantics for Defeasible Inheritance.
594-597
1990
conf/ecai/1990
ECAI
db/conf/ecai/ecai90.html#Schlechta90
Gerhard Brewka
David Makinson
Karl Schlechta
Cumulative Inference Relations for JTMS and Logic Programming.
1-12
1990
conf/nil/1990
Nonmonotonic and Inductive Logic
db/conf/nil/nil1990.html#BrewkaMS90
https://doi.org/10.1007/BFb0023314
Karl Schlechta
Some results on theory revision.
72-92
1989
conf/ltc/1989
The Logic of Theory Change
db/conf/ltc/ltc1989.html#Schlechta89
https://doi.org/10.1007/BFb0018417
Karl Schlechta
Remarks to Shoham's Temporal Logic.
88-95
1988
conf/ki/1988
GWAI
db/conf/ki/gwai88.html#Schlechta88
https://doi.org/10.1007/978-3-642-74064-0_9
Karl Schlechta
Remarks on Consistency and Completeness of Circumscription.
96-103
1988
conf/ki/1988
GWAI
db/conf/ki/gwai88.html#Schlechta88a
https://doi.org/10.1007/978-3-642-74064-0_10
Laurent Audibert
Franz Baader
Shai Berger
Gerhard Brewka
Jürgen Dix
Dov M. Gabbay
Laurent Gourmelen
Ronald B. Jensen
Daniel Lehmann 0001
Cédric Lhoussaine
Menachem Magidor
David Makinson
Stéphanie Motré
Olivier Rolland
Bensalah Tahar