Dov Gabbay, Karl Schlechta :
Conditionals and modularity in
general logics. Springer, To appear spring 2011.
Dov Gabbay, Karl Schlechta :
Logical tools for handling change in
agent-based systems
Springer, ISBN 978-3642044069, 2009
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.
Karl Schlechta Nonmonotonic logics - a preferential approach. In :
Handbook of
the history of logic, chapter 7, (D.Gabbay, J.Woods eds.), Elsevier, Amsterdam (to appear 2007).
Journals
D.Gabbay, K.Schlechta : "Semantic Interpolation"
to appear in Journal of applied nonclassical logic. 2010. paper
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind : Tableau calculus for preference-based conditional logics : PCL and its extensions. ACM Trans. Comput. Log. 10(3) : (2009) paper
D.Gabbay, K.Schlechta : "A theory of hierarchical
consequence and conditionals",
Journal of Logic, Language and Information,
19:1, 3-32, 2010. paper
Arnon Avron, Jonathan Ben-Naim, and Beata Konikowska (2006). Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics.
Journal Logica Universalis, to appear.
D.Gabbay, K.Schlechta : "Defeasible inheritance
systems and reactive diagrams",
Logic Journal of the IGPL,
17:1-54, 2009. paper
D.Gabbay, K.Schlechta : "Size and Logic"
Review of Symbolic Logic,
Vol. 2, No. 2, pp. 396-413, 2009 paper
D.Gabbay, K.Schlechta : "Independence - revision and defaults",
Studia Logica (2009) 92, pp. 381-394, paper
D.Gabbay, K.Schlechta : "Roadmap for preferential
logics",
Journal of applied nonclassical logics,
Vol. 19/1, pp. 43-95, 2009, paper
D.Gabbay, K.Schlechta : "Reactive preferential
structures and nonmonotonic consequence",
Review of Symbolic Logic,
Vol. 2, No. 2, pp. 414-450, 2009. paper
D.Gabbay, K.Schlechta : "A comment on work by
Booth and co-authors",
Studia Logica, 2010, 94:403-432.
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind : A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8(4) : (2007) paper
Laura Giordano, Alberto Martelli, Camilla Schwind : Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2) : 214-234 (2007) paper
L. Giordano, A. Martelli and C. Schwind.
Specialization of Interaction Protocols
in a Temporal Action Logic.
Electronic Notes in Theoretical Computer Science (entcs) (2006), 157(4), pp.3–22.
paper
Jonathan Ben-Naim (2005). Preferential and Preferential-discriminative Consequence Relations.
Journal of Logic and Computation, 15(3):263-294.
Jonathan Ben-Naim (2005). Pivotal and Pivotal-Discriminative Consequence Relations.
Journal of Logic and Computation, 15(5), pp. 679-700.
L. Giordano and Camilla Schwind. Conditional Logic of Actions and Causation. Artificial Intelligence 157 (2004) 239-279, Elsevier. paper
Leopoldo Bertossi and Camilla Schwind. Database Repairs and Analytic Tableaux. Annals of Mathematics and Artificial Intelligence 40(1-2) : 5-35 (2004). paper
L. Giordano, A. Martelli and C. Schwind. Reasoning about Actions in Dynamic Linear Time Temporal Logic. Logic Journal of the Interest Group in Pure and Applied Logics IGPL, Oxford University Press, Oxford, UK, vol. 9, no.2, pp.289-303, 2001. paper
D. Lehmann, M. Magidor, K. Schlechta : Distance
Semantics for Belief Revision,
Journal of Symbolic Logic, Vol. 66, No. 1, March 2001,
p. 295-317
K. Schlechta, J. Dix : Explaining updates by minimal
sums,
Theoretical Computer Science, 266 (2001), pp. 819-838
L. Giordano, A. Martelli and C. Schwind.
Ramification and Causality in a Modal Action Logic.
Journal of Logic and Computation, vol. 10 No. 5, pp. 625-662,
2000. paper
K. Schlechta : New techniques and completeness results
for preferential structures"
Journal of Symbolic Logic, Vol. 65, No. 2, pp. 719-746,
June 2000
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
K. Schlechta : Unrestricted preferential structures,
Journal of Logic and Computation,
Vol.10, No.4, pp.573-581, 2000
Conferences
Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky : Tableau Calculi for CSL over minspaces. Computer Science Logic CSL 2010 : 52-66 paper
Camilla Schwind : From Inconsistency to Consistency : Knowledge Base Revision by Tableaux Opening. IBERAMIA 2010 : 120-132 paper
Régis Alenda, Nicola Olivetti, Camilla Schwind : Comparative Concept Similarity over Minspaces : Axiomatisation and Tableaux Calculus. TABLEAUX 2009 : 17-31 paper
Jonathan Ben-Naim (2006). Lack of Finite Characterizations for the Distance-based Revision. In
10th International Conference on Principles of Knowledge Representation and Reasoning (KR’06), Pages 239 - 248.
Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel (2006). An Answer Set Programming encoding of Prioritized Removed Sets Revision : Application to GIS. In
Ninth European Conference on Logics in Artificial Intelligence (JELIA), Pages 604 - 616, 2004.
Salem Benferhat, Jonathan Ben-Naim, Robert Jeansoulin,
Mahat Khelfallah, Sylvain Lagrue, Odile Papini, Nic Wilson, Eric Würbel (2005). Belief Revision of GIS Systems : The results of REV !GIS. In
Eighth European Conference on Symbolic and Quantitative Approaches to
Reasoning with Uncertainty (ECSQARU), Pages 452 - 464, 2005.
Laura Giordano, Alberto Martelli et Camilla Schwind (2005). Specialization of
Interaction Protocols in a Temporal Action Logic. In (LCMAS), Workshop at IJCAI 2005, Morgan Kaufmann, pp. 82–97.
Giordano L., Gliozzi V., Olivetti N. et Schwind C. (2005) Extensions
of Tableau calculi for preference-based conditional logics. In Models for Modalities (M4M05).
Humboldt Universität, pp. 82–97.
Laura Giordano A. M. et Schwind C. (2004) Verifying Com-
municating Agents by Model Checking in a Temporal Action Logic. In Logics in Artificial Intel-
ligence, 9th European Conference (JELIA’2004). LNAI 3229, Springer, pp. 57–69.
Giordano L., Gliozzi V., Olivetti N. et Schwind C. (2003) Tableaux calculi
for preference-based conditional Logics. In Automated Reasoning with Analytic Tableaux and
Related Methods (Tableaux’2003). LNAI 2424, Springer, pp. 81-101.
Laura Giordano A. M. et Schwind C. (2003) Specifying and
Verifying Systems of Communicating Agents in a Temporal Action Logic. In Advances in Ar-
tificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence (AI*IA’2003).
Springer LNAI 2829, pp. 262–274.
Laura Giordano and Camilla Schwind. Towards a Towards a Conditional Logic of Action and
Causation. In Logics in Artificial Intel ligence, 8th European Conference JELIA’2002, Lamezia, Italy,
Springer LNAI 2424, pages 382-394, 2002.
Laura Giordano and Camilla Schwind. Conditional Action Logic. In 8th International Workshop on
Nonmonotonic Reasoning, Toulouse, France, pages 333-342, 2002.
Leopoldo Bertossi and C. Schwind. Analytic Tableaux and Database Repairs : Foundations, In :
Second International Symposium on Foundations of Information and Knowledge Systems (FoIKS
2002), Thomas Eiter and Klaus-Dieter Schewe (eds.), LNCS 2284, pp. 32-48, Best paper of the
conference.
Leopoldo Bertossi and C. Schwind. An Analytic Tableaux-Based Characterization of Database Re-
pairs for Consistent Query Answering, In Inconsistency in Data and Knowledge, IJCAI-01 Workshop,
Seattle, august 2001, 15 pages.
C. Schwind and Robert Mercer. Text Understanding as a Process of Iterated Belief Revision, In
Proceedings of the 5th Dutch German Workshop on Nonmonotonic Reasoning Techniques and their
Applications, DGNMR’01, University of Potsdam, Potsdam, 2001, pp. 158 - 168.
N. Olivetti and C. B. Schwind. A Calculus and Complexity Bound for Minimal Conditional Logic.
In Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, pp. 384-404,
October 2001.
L. Giordano, A. Martelli and C. Schwind. Reasoning about Actions in a Multiagent Domain. In
Italian Conference on Artificial Intel ligence , AI*IA’2001, Bari, Italy, September 2001.
L. Giordano, A. Martelli and C. Schwind. Reasoning about Actions in Dynamic Linear Time Tem-
poral Logic. In International Conference on Pure and Applied Practical Reasoning, FAPR’2000,
Imperial College, London, 2000, p. 537-541.