Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Karl Schlechta
@article{DBLP:journals/flap/Schlechta23,
author = {Karl Schlechta},
title = {On Yablo's Construction},
journal = {{FLAP}},
volume = {10},
number = {5},
pages = {851--907},
year = {2023},
url = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Schlechta23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18772,
author = {Karl Schlechta},
title = {New Remarks on Yablo Like Structures},
journal = {CoRR},
volume = {abs/2305.18772},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18772},
doi = {10.48550/ARXIV.2305.18772},
eprinttype = {arXiv},
eprint = {2305.18772},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13573,
author = {Karl Schlechta},
title = {Truth and Knowledge},
journal = {CoRR},
volume = {abs/2104.13573},
year = {2021},
url = {https://arxiv.org/abs/2104.13573},
eprinttype = {arXiv},
eprint = {2104.13573},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-00365,
author = {Karl Schlechta},
title = {KI, Philosophie, Logik},
journal = {CoRR},
volume = {abs/1901.00365},
year = {2019},
url = {http://arxiv.org/abs/1901.00365},
eprinttype = {arXiv},
eprint = {1901.00365},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-00365.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09214,
author = {Karl Schlechta},
title = {Homogenousness and Specificity},
journal = {CoRR},
volume = {abs/1902.09214},
year = {2019},
url = {http://arxiv.org/abs/1902.09214},
eprinttype = {arXiv},
eprint = {1902.09214},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-02453,
author = {Karl Schlechta},
title = {A Short Remark on Analogical Reasoning},
journal = {CoRR},
volume = {abs/1910.02453},
year = {2019},
url = {http://arxiv.org/abs/1910.02453},
eprinttype = {arXiv},
eprint = {1910.02453},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-02453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Schlechta18a,
author = {Karl Schlechta},
title = {Formal Methods for Nonmonotonic and Related Logics - Vol {II:} Theory
Revision, Inheritance, and Various Abstract Properties},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89650-2},
doi = {10.1007/978-3-319-89650-2},
isbn = {978-3-319-89649-6},
timestamp = {Fri, 09 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Schlechta18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Schlechta18,
author = {Karl Schlechta},
title = {Formal Methods for Nonmonotonic and Related Logics - Vol {I:} Preference
and Size},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89653-3},
doi = {10.1007/978-3-319-89653-3},
isbn = {978-3-319-89652-6},
timestamp = {Fri, 09 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Schlechta18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01788,
author = {Karl Schlechta},
title = {A Reliability Theory of Truth},
journal = {CoRR},
volume = {abs/1801.01788},
year = {2018},
url = {http://arxiv.org/abs/1801.01788},
eprinttype = {arXiv},
eprint = {1801.01788},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-01788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-01239,
author = {Karl Schlechta},
title = {Remarks on an article by Rabern et al},
journal = {CoRR},
volume = {abs/1808.01239},
year = {2018},
url = {http://arxiv.org/abs/1808.01239},
eprinttype = {arXiv},
eprint = {1808.01239},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-01239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10620,
author = {Karl Schlechta},
title = {Operations on Partial Orders},
journal = {CoRR},
volume = {abs/1809.10620},
year = {2018},
url = {http://arxiv.org/abs/1809.10620},
eprinttype = {arXiv},
eprint = {1809.10620},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Schlechta17,
author = {Karl Schlechta},
title = {A pre-semantics for counterfactual conditionals and similar logics},
journal = {CoRR},
volume = {abs/1701.00696},
year = {2017},
url = {http://arxiv.org/abs/1701.00696},
eprinttype = {arXiv},
eprint = {1701.00696},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Schlechta17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/GabbayS16,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {A New Perspective on Nonmonotonic Logics},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46817-4},
doi = {10.1007/978-3-319-46817-4},
isbn = {978-3-319-46815-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/GabbayS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Schlechta16,
author = {Karl Schlechta},
title = {A Comment on Argumentation},
journal = {CoRR},
volume = {abs/1612.05756},
year = {2016},
url = {http://arxiv.org/abs/1612.05756},
eprinttype = {arXiv},
eprint = {1612.05756},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Schlechta16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/cogtech/GabbayS11,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Conditionals and Modularity in General Logics},
series = {Cognitive Technologies},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19068-1},
doi = {10.1007/978-3-642-19068-1},
isbn = {978-3-642-19067-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cogtech/GabbayS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3033,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Equilibria und weiteres Heiteres {II}},
journal = {CoRR},
volume = {abs/1108.3033},
year = {2011},
url = {http://arxiv.org/abs/1108.3033},
eprinttype = {arXiv},
eprint = {1108.3033},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023988,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Logical Tools for Handling Change in Agent-Based Systems},
series = {Cognitive Technologies},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-04407-6},
doi = {10.1007/978-3-642-04407-6},
isbn = {978-3-642-04406-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GabbayS10,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Semantic interpolation},
journal = {J. Appl. Non Class. Logics},
volume = {20},
number = {4},
pages = {345--371},
year = {2010},
url = {https://doi.org/10.3166/jancl.20.345-371},
doi = {10.3166/JANCL.20.345-371},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GabbayS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/GabbayS10,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {A Theory of Hierarchical Consequence and Conditionals},
journal = {J. Log. Lang. Inf.},
volume = {19},
number = {1},
pages = {3--32},
year = {2010},
url = {https://doi.org/10.1007/s10849-009-9096-7},
doi = {10.1007/S10849-009-9096-7},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/GabbayS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GabbayS10,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {A Comment on Work by Booth and Co-authors},
journal = {Stud Logica},
volume = {94},
number = {3},
pages = {403--432},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9237-7},
doi = {10.1007/S11225-010-9237-7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GabbayS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayS09,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Defeasible inheritance systems and reactive diagrams},
journal = {Log. J. {IGPL}},
volume = {17},
number = {1},
pages = {1--54},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzn021},
doi = {10.1093/JIGPAL/JZN021},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GabbayS09,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Roadmap for preferential logics},
journal = {J. Appl. Non Class. Logics},
volume = {19},
number = {1},
pages = {43--95},
year = {2009},
url = {https://doi.org/10.3166/jancl.19.43-95},
doi = {10.3166/JANCL.19.43-95},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GabbayS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayS09,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Size and Logic},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {396--413},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090224},
doi = {10.1017/S1755020309090224},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GabbayS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayS09a,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Reactive Preferential Structures and Nonmonotonic Consequence},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {414--450},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090248},
doi = {10.1017/S1755020309090248},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GabbayS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GabbayS09a,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Independence - Revision and Defaults},
journal = {Stud Logica},
volume = {92},
number = {3},
pages = {381--394},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9199-9},
doi = {10.1007/S11225-009-9199-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GabbayS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayS08,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Cumulativity without Closure of the Domain under Finite Unions},
journal = {Rev. Symb. Log.},
volume = {1},
number = {3},
pages = {372--392},
year = {2008},
url = {https://doi.org/10.1017/S1755020308080258},
doi = {10.1017/S1755020308080258},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GabbayS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Schlechta07,
author = {Karl Schlechta},
editor = {Dov M. Gabbay and
John Woods},
title = {Nonmonotonic logics: a preferential approach},
booktitle = {The Many Valued and Nonmonotonic Turn in Logic},
series = {Handbook of the History of Logic},
volume = {8},
pages = {451--516},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/S1874-5857(07)80010-0},
doi = {10.1016/S1874-5857(07)80010-0},
timestamp = {Thu, 09 Jul 2020 09:13:37 +0200},
biburl = {https://dblp.org/rec/series/hhl/Schlechta07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0611937,
author = {Karl Schlechta},
title = {Remarks on Inheritance Systems},
journal = {CoRR},
volume = {abs/math/0611937},
year = {2006},
url = {http://arxiv.org/abs/math/0611937},
eprinttype = {arXiv},
eprint = {math/0611937},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-math-0611937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0202025,
author = {Daniel Lehmann and
Menachem Magidor and
Karl Schlechta},
title = {Distance Semantics for Belief Revision},
journal = {CoRR},
volume = {cs.AI/0202025},
year = {2002},
url = {https://arxiv.org/abs/cs/0202025},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0202025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0202026,
author = {Shai Berger and
Daniel Lehmann and
Karl Schlechta},
title = {Preferred History Semantics for Iterated Updates},
journal = {CoRR},
volume = {cs.AI/0202026},
year = {2002},
url = {https://arxiv.org/abs/cs/0202026},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0202026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LehmannMS01,
author = {Daniel Lehmann and
Menachem Magidor and
Karl Schlechta},
title = {Distance Semantics for Belief Revision},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {295--317},
year = {2001},
url = {https://doi.org/10.2307/2694923},
doi = {10.2307/2694923},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LehmannMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SchlechtaD01,
author = {Karl Schlechta and
J{\"{u}}rgen Dix},
title = {Explaining updates by minimal sums},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {819--838},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00377-7},
doi = {10.1016/S0304-3975(00)00377-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SchlechtaD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SchlechtaGMRT00,
author = {Karl Schlechta and
Laurent Gourmelen and
St{\'{e}}phanie Motr{\'{e}} and
Olivier Rolland and
Bensalah Tahar},
title = {A New Approach to Preferential Structures},
journal = {Fundam. Informaticae},
volume = {42},
number = {3-4},
pages = {391--410},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-423407},
doi = {10.3233/FI-2000-423407},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SchlechtaGMRT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schlechta00,
author = {Karl Schlechta},
title = {New Techniques and Completeness Results for Preferential Structures},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {719--746},
year = {2000},
url = {https://doi.org/10.2307/2586565},
doi = {10.2307/2586565},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schlechta00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta00,
author = {Karl Schlechta},
title = {Unrestricted preferential structures},
journal = {J. Log. Comput.},
volume = {10},
number = {4},
pages = {573--581},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.4.573},
doi = {10.1093/LOGCOM/10.4.573},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AudibertLS99,
author = {Laurent Audibert and
C{\'{e}}dric Lhoussaine and
Karl Schlechta},
title = {Distance Based Revision of Preferential Logics},
journal = {Log. J. {IGPL}},
volume = {7},
number = {4},
pages = {429--446},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.4.429},
doi = {10.1093/JIGPAL/7.4.429},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AudibertLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Schlechta99,
author = {Karl Schlechta},
title = {Results on infinite extensions},
journal = {J. Appl. Non Class. Logics},
volume = {1},
number = {1},
pages = {65--72},
year = {1999},
url = {https://doi.org/10.1080/11663081.1991.10510771},
doi = {10.1080/11663081.1991.10510771},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Schlechta99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta99,
author = {Karl Schlechta},
title = {A Topological Construction of a Non-smooth Model of Cumulativity},
journal = {J. Log. Comput.},
volume = {9},
number = {4},
pages = {457--462},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.4.457},
doi = {10.1093/LOGCOM/9.4.457},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BergerLS99,
author = {Shai Berger and
Daniel Lehmann and
Karl Schlechta},
title = {Preferred History Semantics for Iterated Updates},
journal = {J. Log. Comput.},
volume = {9},
number = {6},
pages = {817--833},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.6.817},
doi = {10.1093/LOGCOM/9.6.817},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BergerLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DixS99,
author = {J{\"{u}}rgen Dix and
Karl Schlechta},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Explaining Updates by Minimal Sums},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {142--154},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_11},
doi = {10.1007/3-540-46691-6\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DixS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Schlechta97,
author = {Karl Schlechta},
title = {Nonmonotonic Logics, Basic Concepts, Results, and Techniques},
series = {Lecture Notes in Computer Science},
volume = {1187},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0021104},
doi = {10.1007/BFB0021104},
isbn = {3-540-62482-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Schlechta97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Schlechta97,
author = {Karl Schlechta},
title = {A Reduction of the Theory of Confirmation to the Notions of Distance
and Measure},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {49--64},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.49},
doi = {10.1093/JIGPAL/5.1.49},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Schlechta97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Schlechta97a,
author = {Karl Schlechta},
title = {Filters and Partial Orders},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {753--772},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.753},
doi = {10.1093/JIGPAL/5.5.753},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Schlechta97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Schlechta96,
author = {Karl Schlechta},
title = {A Two-Stage Approach to First Order Default Reasoning},
journal = {Fundam. Informaticae},
volume = {28},
number = {3-4},
pages = {377--402},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-283412},
doi = {10.3233/FI-1996-283412},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Schlechta96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Schlechta96,
author = {Karl Schlechta},
title = {Completeness and Incompleteness for Plausibility Logic},
journal = {J. Log. Lang. Inf.},
volume = {5},
number = {2},
pages = {177--192},
year = {1996},
url = {https://doi.org/10.1007/BF00173699},
doi = {10.1007/BF00173699},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Schlechta96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta96,
author = {Karl Schlechta},
title = {Some Completeness Results for Stoppered and Ranked Classical Preferential
Models},
journal = {J. Log. Comput.},
volume = {6},
number = {4},
pages = {599--622},
year = {1996},
url = {https://doi.org/10.1093/logcom/6.4.599},
doi = {10.1093/LOGCOM/6.4.599},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/SchlechtaLM96,
author = {Karl Schlechta and
Daniel Lehmann and
Menachem Magidor},
editor = {Yoav Shoham},
title = {Distance Semantics for Belief Revision},
booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
pages = {137--145},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/SchlechtaLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lai/Schlechta96,
author = {Karl Schlechta},
editor = {Andr{\'{e}} Fuhrmann and
Hans Rott},
title = {Some Completeness Results for Classical Preferential Models},
booktitle = {Logic, Action, and Information - Essays on Logic in Philosophy and
Artificial Intelligence. Walter de Gruyter, Berlin, New York, 1996
(Based on a meeting held in autumn 1992 in Konstanz, Germany)},
pages = {229--240},
publisher = {De Gruyter},
year = {1996},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/lai/Schlechta96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Schlechta95,
author = {Karl Schlechta},
title = {Some Completeness Results for Propositional Conditional Logics},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {111--115},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.111},
doi = {10.1093/JIGPAL/3.1.111},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Schlechta95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Schlechta95,
author = {Karl Schlechta},
title = {Logic, Topology, and Integration},
journal = {J. Autom. Reason.},
volume = {14},
number = {3},
pages = {353--381},
year = {1995},
url = {https://doi.org/10.1007/BF00881713},
doi = {10.1007/BF00881713},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Schlechta95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta95,
author = {Karl Schlechta},
title = {Defaults as Generalized Quantifiers},
journal = {J. Log. Comput.},
volume = {5},
number = {4},
pages = {473--494},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.4.473},
doi = {10.1093/LOGCOM/5.4.473},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta95a,
author = {Karl Schlechta},
title = {Preferential Choice Representation Theorems for Branching Time Structures},
journal = {J. Log. Comput.},
volume = {5},
number = {6},
pages = {783--800},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.6.783},
doi = {10.1093/LOGCOM/5.6.783},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Schlechta95,
author = {Karl Schlechta},
editor = {Christine Froidevaux and
J{\"{u}}rg Kohlas},
title = {A Two-Stage Approach to First Order Default Reasoning},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {946},
pages = {379--386},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60112-0\_43},
doi = {10.1007/3-540-60112-0\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Schlechta95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Schlechta95a,
author = {Karl Schlechta},
editor = {Christine Froidevaux and
J{\"{u}}rg Kohlas},
title = {A Reduction of the Theory of Confirmation to the Notions of Distance
and Measure},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {946},
pages = {387--394},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60112-0\_44},
doi = {10.1007/3-540-60112-0\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Schlechta95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/SchlechtaM94,
author = {Karl Schlechta and
David Makinson},
title = {Local and Global Metrics for the Semantics of Counterfactual Conditionals},
journal = {J. Appl. Non Class. Logics},
volume = {4},
number = {2},
pages = {129--140},
year = {1994},
url = {https://doi.org/10.1080/11663081.1994.10510829},
doi = {10.1080/11663081.1994.10510829},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/SchlechtaM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta93,
author = {Karl Schlechta},
title = {Directly Sceptical Inheritance Cannot Capture the Intersection of
Extensions},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {455--467},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.455},
doi = {10.1093/LOGCOM/3.5.455},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BaaderS93,
author = {Franz Baader and
Karl Schlechta},
editor = {Michael Clarke and
Rudolf Kruse and
Seraf{\'{\i}}n Moral},
title = {A Semantics for Open Normal Defaults via a Modified Preferential Approach},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {747},
pages = {9--16},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0028176},
doi = {10.1007/BFB0028176},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/BaaderS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schlechta92,
author = {Karl Schlechta},
title = {Some Results on Classical Preferential Models},
journal = {J. Log. Comput.},
volume = {2},
number = {6},
pages = {675--686},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.6.675},
doi = {10.1093/LOGCOM/2.6.675},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Schlechta92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS204,
author = {Karl Schlechta},
title = {Results on Non-Monotonic Logics},
journal = {{IWBS} Report},
volume = {204},
year = {1992},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MakinsonS91,
author = {David Makinson and
Karl Schlechta},
title = {Floating Conclusions and Zombie Paths: Two Deep Difficulties in the
"Directly Skeptical" Approach to Defeasible Inheritance
Nets},
journal = {Artif. Intell.},
volume = {48},
number = {2},
pages = {199--209},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90061-N},
doi = {10.1016/0004-3702(91)90061-N},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MakinsonS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schlechta91,
author = {Karl Schlechta},
title = {Theory Revision and Probability},
journal = {Notre Dame J. Formal Log.},
volume = {32},
number = {2},
pages = {307--319},
year = {1991},
url = {https://doi.org/10.1305/ndjfl/1093635755},
doi = {10.1305/NDJFL/1093635755},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schlechta91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrewkaMS91,
author = {Gerhard Brewka and
David Makinson and
Karl Schlechta},
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {{JTMS} and Logic Programming},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
pages = {199--210},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BrewkaMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JensenS90,
author = {Ronald B. Jensen and
Karl Schlechta},
title = {Results on the Generic Kurepa Hypothesis},
journal = {Arch. Math. Log.},
volume = {30},
number = {1},
pages = {13--27},
year = {1990},
url = {https://doi.org/10.1007/BF01793783},
doi = {10.1007/BF01793783},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JensenS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Schlechta90,
author = {Karl Schlechta},
title = {Semantics for Defeasible Inheritance},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {594--597},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Schlechta90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nil/BrewkaMS90,
author = {Gerhard Brewka and
David Makinson and
Karl Schlechta},
editor = {J{\"{u}}rgen Dix and
Klaus P. Jantke and
Peter H. Schmitt},
title = {Cumulative Inference Relations for {JTMS} and Logic Programming},
booktitle = {Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe,
Germany, December 4-7, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {543},
pages = {1--12},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023314},
doi = {10.1007/BFB0023314},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/nil/BrewkaMS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ltc/Schlechta89,
author = {Karl Schlechta},
editor = {Andr{\'{e}} Fuhrmann and
Michael Morreau},
title = {Some results on theory revision},
booktitle = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {465},
pages = {72--92},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018417},
doi = {10.1007/BFB0018417},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ltc/Schlechta89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schlechta88,
author = {Karl Schlechta},
editor = {Wolfgang Hoeppner},
title = {Remarks to Shoham's Temporal Logic},
booktitle = {K{\"{u}}nstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld,
19.-23. September 1988, Proceedings},
series = {Informatik-Fachberichte},
volume = {181},
pages = {88--95},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-74064-0\_9},
doi = {10.1007/978-3-642-74064-0\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schlechta88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schlechta88a,
author = {Karl Schlechta},
editor = {Wolfgang Hoeppner},
title = {Remarks on Consistency and Completeness of Circumscription},
booktitle = {K{\"{u}}nstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld,
19.-23. September 1988, Proceedings},
series = {Informatik-Fachberichte},
volume = {181},
pages = {96--103},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-74064-0\_10},
doi = {10.1007/978-3-642-74064-0\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schlechta88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
