Karl Schlechta List of Publications ==================== (February 7, 2011) Books, published or accepted ---------------------------- 2011 ---- [GS10] Dov Gabbay, Karl Schlechta: "Conditionals and modularity in general logics" Springer, Heidelberg, August 2011, ISBN 978-3-642-19067-4, a preliminary version is accessible via arXiv.org, same title 2009 ---- [GS09f] Dov Gabbay, Karl Schlechta: "Logical tools for handling change in agent-based systems" Springer, ISBN 978-3642044069 a (condensed) preliminary version is accessible via arXiv.org, same title 2004 ---- [Sch04] Karl Schlechta: Coherent systems Vol. 2 of the Series: Studies in Logic and Practical Reasoning, Elsevier, Amsterdam, Sept. 2004, pp. 468, ISBN 0-444-51789-8 see also: LIF TR 14-2003 for a preliminary version 1997 ---- [Sch97-2] K.Schlechta : "Nonmonotonic logics - Basic Concepts, Results, and Techniques" Springer Lecture Notes series, LNAI 1187, Jan. 1997, 243pp Articles in international journals, published or accepted --------------------------------------------------------- 2010 ---- [GS09c] D.Gabbay, K.Schlechta: "Semantic Interpolation" Journal of Applied Non-classical Logics, Vol 20/4, 2010, pp. 345-371 2009 ---- [GS09a] D.Gabbay, K.Schlechta: "Size and Logic" Review of Symbolic Logic, Vol. 2, No. 2, pp. 396-413, 2009 [GS09b] D.Gabbay, K.Schlechta: "Independence - revision and defaults", Studia Logica (2009) 92, pp. 381-394, [GS08b] D.Gabbay, K.Schlechta: "Reactive preferential structures and nonmonotonic consequence", Review of Symbolic Logic, Vol. 2, No. 2, pp. 414-450, 2009 [GS08h] D.Gabbay, K.Schlechta: "A comment on work by Booth and co-authors", Studia Logica, 2010, 94:403-432 2008 ---- [GS08a] D.Gabbay, K.Schlechta: "Cumulativity without closure of the domain under finite unions", Review of Symbolic Logic, 1 (3): 372-392, 2008 [GS08d] D.Gabbay, K.Schlechta: "A theory of hierarchical consequence and conditionals", Journal of Logic, Language and Information, 19:1, 3-32, 2010 [GS08e] D.Gabbay, K.Schlechta: "Defeasible inheritance systems and reactive diagrams", Logic Journal of the IGPL, 17:1-54, 2009 [GS08c] D.Gabbay, K.Schlechta: "Roadmap for preferential logics", Journal of applied nonclassical logics, Vol. 19/1, pp. 43-95, 2009, 2001 ---- [LMS01] D.Lehmann, M.Magidor, K.Schlechta: "Distance Semantics for Belief Revision", Journal of Symbolic Logic, Vol.66, No. 1, March 2001, p. 295-317 [SD01] K.Schlechta, J.Dix: "Explaining updates by minimal sums", Theoretical Computer Science, 266 (2001), pp. 819-838 2000 ---- [Sch00-1] K.Schlechta: "New techniques and completeness results for preferential structures" Journal of Symbolic Logic, Vol. 65, No. 2, pp. 719-746, June 2000 [SGMRT00] K.Schlechta, L.Gourmelen, S.Motre, O.Rolland, B.Tahar: "A new approach to preferential structures", Fundamenta Informaticae, Vol. 42, No. 3-4, pp. 391-410, April-May 2000 [Sch00-2] K.Schlechta: "Unrestricted preferential structures", Journal of Logic and Computation, Vol.10, No.4, pp.573-581, 2000 1999 ---- [BLS99] S.Berger, D.Lehmann, K.Schlechta: "Preferred History Semantics for Iterated Updates", Journal of Logic and Computation, Vol.9, No.6, pp.817-833, 1999 [Sch99] K.Schlechta: "A topological construction of a non-smooth model of cumulativity" Journal of Logic and Computation, Vol.9, No.4, pp.457-462, 1999 [ALS99] L.Audibert, C.Lhoussaine, K.Schlechta: "Distance based revision of preferential logics" Logic Journal of the Interest Group in Pure and Applied Logics (1999), Vol. 7, No. 4, July 1999, pp. 429-446 1997 ---- [Sch97-1] K.Schlechta : "A Reduction of the Theory of Confirmation to the Notions of Distance and Measure", Logic Journal of the Interest Group in Pure and Applied Logics, Vol.5, No.1, pp.49-64, 1997 [Sch97-3] K.Schlechta : "Symmetrical Theory Revision", (Non-prioritized belief revision based on distances between models), Theoria, Vol. 63, Part 1-2, pp. 34-53, 1997 (appeared in 1999) [BGHPSW97] D.Bellot, C.Godefroid, P.Han, J.P.Prost, K.Schlechta, E.Wurbel: "A semantical approach to the concept of screened revision", Theoria, Vol. 63, Part 1-2, pp. 24-33, 1997 (appeared in 1999) [Sch97-4] K.Schlechta: "Filters and Partial Orders", Journal of the Interest Group in Pure and Applied Logics, Vol. 5, No. 5, p. 753-772, 1997 1996 ---- [Sch96-1] K.Schlechta : "Some Completeness Results for Stoppered and Ranked Classical Preferential Models", Journal of Logic and Computation, Oxford, Vol. 6, No. 4, pp. 599-622, 1996 [Sch96-3] K.Schlechta : "Completeness and Incompleteness for Plausibility Logic", Journal of Logic, Language and Information, 5:2, 1996, p.177-192, Kluwer, Dordrecht [Sch96-2] K.Schlechta : "A Two-Stage Approach to First Order Default Reasoning", Fundamenta Informaticae, Vol. 28, No. 3-4, pp. 377-402, 1996 1995 ---- [Sch95-1] K.Schlechta : "Defaults as Generalized Quantifiers", Journal of Logic and Computation, Oxford, Vol.5, No.4, p.473-494, 1995 [Sch95-2] K.Schlechta : "Logic, Topology, and Integration", Journal of Automated Reasoning, 14:353-381, 1995, Kluwer [Sch95-3] K.Schlechta : "Preferential Choice Representation Theorems for Branching Time Structures" Journal of Logic and Computation, Oxford, Vol.5, pp.783-800, 1995 [Sch95-5] K.Schlechta : "Some Completeness Results for Propositional Conditional Logics", Bulletin of the IGPL, Vol.3, No.1, March 1995, p.111-115 1994 ---- [SM94] K.Schlechta, D.Makinson : "Local and Global Metrics for the Semantics of Counterfactual Conditionals", Journal of Applied Non-Classical Logics, Vol.4, No.2, pp.129-140, Hermes, Paris, 1994 1993 ---- [Sch93] K.Schlechta : "Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions", Journal of Logic and Computation, Oxford, Vol.3, No.5 (1993), p. 455-467 1992 ---- [Sch92] K.Schlechta : "Some Results on Classical Preferential Models", Journal of Logic and Computation, Oxford, Vol.2, No.6 (1992), p. 675-686 1991 ---- [MS91] D.Makinson, K.Schlechta : "Floating Conclusions and Zombie Paths", (On principles and problems of defeasible inheritance), Artificial Intelligence 48 (1991), p. 199-209 [Sch91-1] K.Schlechta : "Theory Revision and Probability", Notre Dame Journal of Formal Logic 32, No.2 (1991), p. 307-319 [Sch91-2] K.Schlechta : "Results on Infinite Extensions", Journal of Applied Non-Classical Logics, Hermes, Paris, Vol. 1, No. 1 (1991), p. 65-72 1990 ---- [JS90] R.B.Jensen, K.Schlechta : "Results on the Generic Kurepa Hypothesis", Archive for Mathematical Logic, Vol. 30 (1990), p. 13-27 Articles submitted (or soon to be submitted) to international journals ---------------------------------------------------------------------- 2009 ---- Articles submitted to international conferences, proceedings etc.: ------------------------------------------------------------------ Manuscripts (to be submitted): ------------------------------ In preparation: --------------- Articles in refereed books with international participation ----------------------------------------------------------- 2007 ---- [Sch07] K.Schlechta: "Nonmonotonic logics - a preferential approach", in: "Handbook of the history of logic", vol.8: "The many-valued and non-monotonic turn in logic", D.Gabbay, J.Woods eds., Elsevier, 2007, pp. 451-516 2002 ---- [Sch02-1] K.Schlechta : "Consid‚rations subjectives sur la s‚mantique de la r‚vision des th‚ories" (trad. P.Livet), in "R‚vision des croyances", P.Livet ed., HermŠs/Lavoisier, Paris, 2002, p. 167-180 1995 ---- [Sch95-4] K.Schlechta : "Some Completeness Results for Classical Preferential Models", in "Logic, Action, and Information", A.Fuhrmann, H.Rott eds., De Gruyter, Berlin/New York, 1995/96, p. 229-237 Articles in refereed proceedings of international conferences ------------------------------------------------------------- 1999 ---- [DS99] J.Dix, K.Schlechta: Explaining updates by minimal sums, 19th. Intern. Conf. on Foundations of Software Technology and Theoretical Computer Science, 13-15 Dec. 1999, IIT Campus, Chennai, India, Springer LNCS 1738 1998 ---- [ALS99] L.Audibert, C.Lhoussaine, K.Schlechta: "Distance based revision of preferential logics", in Belief Revision Workshop of KR98 (Knowledge Representation), Trento, Italy, 1998 (electronic proceedings) [AS98] L.Audibert, K.Schlechta: Defeasible inheritance and reference classes, to appear in the Proceeding of the Belief Revision Workshop of KR98 (Knowledge Representation), Trento, Italy, 1998, Hans Rott, Maryanne Williams eds. 1996 ---- [SLM96] K.Schlechta, D.Lehmann, M.Magidor : "Distance Semantics for Belief Revision", in Proceedings of: Theoretical Aspects of Rationality and Knowledge, Tark VI, 1996, ed. Y.Shoham, Morgan Kaufmann, San Francisco, 1996, p. 137-145 1995 ---- [Sch95-6] K.Schlechta : "A Two-Stage Approach to First Order Default Reasoning", in "Symbolic and Quantitative Approaches to Reasoning and Uncertainty" (Proceedings of ECSQARU-95, Fribourg, Suisse, July 1995), C.Froidevaux, J.Kohlas eds., p. 379-386, Springer Lecture Notes in AI, 1995 [Sch95-7] K.Schlechta : "A Reduction of the Theory of Confirmation to the Notions of Distance and Measure", in "Symbolic and Quantitative Approaches to Reasoning and Uncertainty" (Proceedings of ECSQARU-95, Fribourg, Suisse, July 1995), C.Froidevaux, J.Kohlas eds., p. 387-394, Springer Lecture Notes in AI, 1995 [Sch95-8] K.Schlechta : "A Reduction of the Theory of Confirmation to the Notions of Distance and Measure", 10th International Congress of Logic, Methodology and Philosophy of Science, Firenze (Italy), August 1995 1993 ---- [BS93] F.Baader, K.Schlechta : "A Semantics for Open Normal Defaults via a Modified Preferential Approach", in "Symbolic and Quantitative Approaches to Reasoning and Uncertainty" (Proceedings of ECSQARU-93, Granada, Spain, November 1993), M.Clarke, R.Kruse, S.Moral eds., p. 9-16, Springer Lecture Notes in AI, 1993 1991 ---- [Sch91-3] K.Schlechta : "Some Results on Theory Revision", "The Logic of Theory Change", A. Fuhrmann, M. Morreau eds., Springer Verlag 1991, p.72-92 [BMS91-1] G.Brewka, D.Makinson, K.Schlechta : "JTMS and Logic Programming", "Proceedings International Workshop on Non-Monotonic Reasoning and Logic Programming", Washington, Juli 1991 [BMS91-2] G.Brewka, D.Makinson, K.Schlechta : "Cumulative Inference Relations for JTMS and Logic Programming", "Nonmonotonic and Inductive Logic", J.Dix, K.P.Jantke, P.Schmitt eds., Springer Verlag 1991, p.1-12 1990 ---- [Sch90] K.Schlechta : "Semantics for Defeasible Inheritance", Proceedings ECAI 90, L.G.Aiello ed., London 1990, p.594-597 1989 ---- [Sch89-1] K.Schlechta : "Defeasible Inheritance : Coherence Properties and Semantics", "Proceedings of Tubingen Workshop on Semantic Networks and Non-Monotonic Reasoning", M.Morreau ed., SNS-Report 89-48, Seminar fur naturlichsprachliche Systeme, Universitaet Tubingen, (1989) [Sch89-2] K.Schlechta : "Directly Sceptical Inheritance cannot Capture the Intersection of Extensions", "Proceedings Workshop Non-Monotonic Reasoning 1989", G.Brewka, H.Freitag eds., GMD-Report 443, Arbeitspapiere der Gesellschaft fur Mathematik und Datenverarbeitung (1989) Articles in refereed proccedings of national conferences -------------------------------------------------------- 1988 ---- [Sch88-1] K.Schlechta : "Remarks on Shoham's Temporal Logic", Proceedings der GWAI 88, W.Hoeppner ed., Springer Verlag 1988 (Informatik Fachberichte Nr. 181) [Sch88-2] K.Schlechta : "Remarks on Consistency and Completeness of Circumscription" Proceedings der GWAI 88, W.Hoeppner ed., Springer Verlag 1988 (Informatik Fachberichte Nr. 181) Technical reports and archive submissions ----------------------------------------- Note : 1. Some Technical Reports have also been submitted for publication elsewhere or appeared as such meanwhile. 2. "LIM" stands for: Laboratoire d'Informatique de Marseille, CNRS ESA 6077, Universite de Provence, CMI, 39, Rue Joliot-Curie, F-13453 Marseille Cedex 13, France 3. "LIF" stands for: Laboratoire d'Informatique Fondamentale de Marseille, CNRS UMR, Universite de Provence, CMI, 39, Rue Joliot-Curie, F-13453 Marseille Cedex 13, France www.lif.univ-mrs.fr 2006 ---- [Sch06-t1] Karl Schlechta: Domain closure conditions and definability preservation HAL ccsd-00084398, arXiv.org math.LO/0607189, 73 p., (submitted July 7, 2006) [Sch06-t2] Karl Schlechta: Remarks on inheritance systems HAL hal-00117112, arXiv.org math.LO/0611937 11 p., (submitted November 30, 2006) 2003 ---- [Sch03-t1] Karl Schlechta: Coherent systems LIF TR 14-2003 (Preliminary version of [Sch04]) 2000 ---- [SFBMS00] Karl Schlechta, Enrico Formenti, Jean-Marc Batty, Jean Francois Morcillot, Sophie Sadok: "Comments on 'Belief revision with unreliable observations' ", LIM Research Report 2000-362 [Sch00-m1] K.Schlechta: "Representation results for limit preferential structures", Research Report, 2000-8, Institut des Sciences Cognitives, 67 blvd. Pinel, F-69675 Bron Cedex, France 1999 ---- [Sch00-1] K.Schlechta: New techniques and completeness results for preferential structures Research Report, 1999-5, Institut des Sciences Cognitives, 67 blvd. Pinel, F-69675 Bron Cedex, France [Sch97-t2] K.Schlechta: Representation results for revision and update (in cooperation with D.Lehmann and M.Magidor) Research Report, 1999-4, Institut des Sciences Cognitives, 67 blvd. Pinel, F-69675 Bron Cedex, France [Sch99-t1] K.Schlechta, "A new approach to preferential structures", in "DGNMR99, Proceedings of the fourth Dutch-German workshop on nonmonotonic reasoning techniques and their applications", H.Rott, C.Albert, G.Brewka, C.Witteveen eds., Research Report, Institute for Logic, Language, and Computation, Amsterdam, The Netherlands 1998 ---- [ALS98-t] L.Audibert, C.Lhoussaine, K.Schlechta: "Distance based revision of preferential logics" LIM Research Report RR 262, 3/98 [LMS01] D.Lehmann, M.Magidor, K.Schlechta: "Distance Semantics for Belief Revision", Leibniz Center for Research in Computer Science, Technical Report TR-98-10, Institute of Computer Science, Hebrew University, Givat Ram, Jerusalem 91904, Israel [BLS99] S.Berger, D.Lehmann, K.Schlechta: "Preferred History Semantics for Iterated Updates", Leibniz Center for Research in Computer Science, Technical Report TR-98-11, Institute of Computer Science, Hebrew University, Givat Ram, Jerusalem 91904, Israel [AS98] L.Audibert, K.Schlechta: "Defeasible inheritance and reference classes" LIM Research Report RR 281, 9/98 1997 ---- [BGHPSW97-t] D.Bellot, C.Godefroid, P.Han, J.P.Prost, K.Schlechta, E.Wurbel: "A semantical approach to the concept of screened revision", LIM Research Report RR 217, 3/97 1996 ---- [Sch96-t1] K.Schlechta: Filters and Partial Orders LIM Research Report RR 140, 1/96 [Sch96-t2] K.Schlechta : "On basic concepts and ideas of nonmonotonic logics", LIM Research Report RR 192, 10/96 1995 ---- [LMS95-t1] D.Lehmann, M.Magidor, K.Schlechta : "A Semantics for Theory Revision", LIM Research Report 1995 - 126 [Sch95-t1] K.Schlechta : "Inheritance - Language or Structure ?", LIM Research Report RR 138, 12/95 1994 ---- [Sch94-t1] K.Schlechta : "Limit Preferential Models", LIM Research Report RR 6, 03/94 [Sch94-t2] K.Schlechta : "Completeness and Incompleteness for Plausibility Logic", LIM Research Report RR 7, 04/94 [Sch92-n4] K.Schlechta : "Some Completeness Results for Stoppered and Ranked Classical Preferential Models", LIM Research Report RR 15, 05/94 [Sch89-n1] K.Schlechta : "Defaults as Generalized Quantifiers", LIM Research Report RR 16, 05/94 [Sch92-n9] K.Schlechta : "Preferences in Dynamic Structures", LIM Research Report RR 17, 05/94 [Sch94-t3] K.Schlechta : "Some Completeness Results for Propositional Conditional Logics", LIM Research Report RR 23, 06/94 [Sch94-t4] K.Schlechta : "A Two-Stage Approach to First Order Default Reasoning", LIM Research Report RR 36, 09/94 [SM94] K.Schlechta, D.Makinson : "Local and Global Metrics for the Semantics of Counterfactual Conditionals", LIM Research Report RR 37, 09/94 [Sch94-t5] K.Schlechta : "A Reduction of the Theory of Confirmation to the Notions of Distance and Measure", LIM Research Report RR 64, 12/94 1993 ---- [BS93-t1] F.Baader, K.Schlechta : "A Semantics for Open Normal Defaults via a Modified Preferential Approach", Internal Report RR-93-13, Deutsches Forschungszentrum fur Kunstliche Intelligenz (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrucken, Germany, 1993 [Sch92-n1] K.Schlechta : "Logic, Topology, and Integration", Tech. Rept. of Gesellschaft fur Mathematik und Datenverarbeitung, (GMD), POB 1240, D-53757 St.Augustin, Germany, 1993 1992 ---- [Sch92-t1] K.Schlechta : "Results on Non-Monotonic Logics", IWBS Report 204, IBM Germany, IWBS, POB 80 08 80, D-7000 Stuttgart 80, Germany, 1992 (Habilitation Thesis, University of Hamburg) [SM89] K.Schlechta, D.Makinson : "On Principles and Problems of Defeasible Inheritance", Internal Report RR-92-59, Deutsches Forschungszentrum fur Kunstliche Intelligenz (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrucken, Germany, 1992 [Sch88-n1] K.Schlechta : "Defaults, Preorder Semantics and Circumscription", Internal Report RR-92-60, Deutsches Forschungszentrum fur Kunstliche Intelligenz (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrucken, Germany, 1992 Talks at international conferences without proceedings (but with programm ------------------------------------------------------------------------- committee or on invitation) --------------------------- December 1989, Conference on defeasible inheritance, Tubingen on "Defeasible Inheritance" June 1990, Nonmonotonic Reasoning Workshop, Lake Tahoe on "Defaults as Generalized Quantifiers" September 1990, Conference on non-monotonic logics, Konstanz on "Preferential Models" Fall 1990, Deduktionstreffen, Lautenbach on "Defaults as Generalized Quantifiers" December 1990, NIL90, Karlsruhe on "Homogenousness in Defeasible Reasoning" December 1991, NIL91, Schloss Reinhardsbrunn on "Some Results for Preferential Structures" August 1992, Workshop Logic and Change, GWAI, Bonn on "New Results on Preferential Structures" October 1992, LogIn, Konstanz on "Preferential Structures" August 95, "Logic Colloquium 95", Haifa, Israel, invited talk August 95, "Seventh European Summer School in Logic", invited talk March 99, "Fourth Dutch-German Workshop on Nonmonotonic Reasoning Techniques and Their Applications", Amsterdam, invited talk Various activities ------------------ Organization: August 95, "Seventh European Summer School in Logic", co-organizer of Workshop (with F.Baader) June 00, LiCS-Workshop, "Nonmonotonicity and Belief Revision", co-organizer (with D.Lehmann) I have invited (dates are approximate): Yuri Gurevich, University of Michigan, USA, December 1994 Shai Ben-David, Technion, Haifa, Israel, February 1996 Menachem Magidor, Hebrew University, Jerusalem, Israel, June 1996 Daniel Lehmann, Hebrew University, Jerusalem, Israel, June 1997 Aron Avron, Tel Aviv, Israel, June 2005 David Makinson, London, May 2006 I was invited: Hebrew University, Jerusalem, Israel, April 1995, by Daniel Lehmann and Menachem Magidor Editor: I was Associate editor of the journal Studia Logica Reviewing: I have reviewed for various journals and conferences.