Selected articles

SELECTED PAPERS BY Camilla Schwind Selected articles

Journals

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
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
Laura Giordano, Alberto Martelli, Camilla Schwind: Specialization of Interaction Protocols in a Temporal Action Logic. Electr. Notes Theor. Comput. Sci. 157(4): 3-22 (2006). paper
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
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
Camilla Schwind. Causality in Action Theories, ETAI Electronic Articles in Computer and Information Science Vol. 3, n¡ A, pp. 27-50, 1999. paper
Philippe Chatalic, Christine Froidevaux and Camilla B. Schwind. Graded Hypothesis Logic. Theoretical Computer Science, vol. 171 (1997) pages 247-280. paper
Camilla B. Schwind. Knowledge Based Language Tutoring. Computer Assisted Language Learning. Svets & Zeitlinger. Volume 8, Number 4, 1995, pages 295 - 324.
Camilla B. Schwind. Revision and Action. International Journal of Intelligent Systems, , Volume 9, Number 1, pages 143-152, John Wiley and Sons, New York, 1994.
Vincent Risch and Camilla B. Schwind. Tableaux-based Characterization and Theorem Proving for Default Logic. Journal of Automated Reasoning, Kluver Academic Publishers. Volume 13, Number 4, October 1994, pages 223-242.
Camilla B. Schwind and Pierre Siegel. Modal Logic for Hypothesis Theory. Fundamenta Informaticae, IOS Press. Volume 21, Number 1-2, July/August 1994, pages 89-102. To get the pdf file.
Camilla B. Schwind. An Intelligent Language Tutoring System. International Journal of Man-Machine Studies, vol. 33, pages 557-579, 1990.
Camilla B. Schwind. Feature Grammars for Semantic Analysis. Computational Intelligence , vol. 6, Number 3, pages 172-178, 1990.
Camilla B. Schwind. Embedding deductive capabilities in relational data base Systems. International Journal of Computer and Information Sciences, vol. 13, Number 5, pages 327-338, october 1984.
Stefan Braun and Camilla B. Schwind. Automatic Semantics-Based Indexing of Natural Language Texts for Information Retrieval Systems. Information Processing and Management , vol. 12, 1976.

Conferences

Camilla Schwind: From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening. IBERAMIA 2010: 120-132. paper
Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky: Tableau Calculi for CSL over minspaces. CSL 2010: 52-66. paper
Régis Alenda, Nicola Olivetti, Camilla Schwind: Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX 2009: 17-31. paper
Camilla B. Schwind. A Tableaux-based Theorem Prover for a decidable subset of default logic. Theory. In 10th International Conference on Automatic Deduction- CADE-10 , Kaiserslautern, Germany, M. Stickel (Ed.),Lecture Notes in Artificial Intelligence 449, Springer Verlag, pages 528-542, 1990.
Emmanuel Lafon and Camilla B. Schwind. A theorem prover for action performance. In European Conference on Artificial Intelligence, ECAI-88, Munchen, Germany, Y. Kodratoff (Ed.), Pitman Publishing, pages 528-542, 1988.
Camilla B. Schwind. Sensitive parsing : Error analysis and explanation in an intelligent language tutoring system. In Proceedings of the twelfth International Conference on Computational Linguistics, COLING-88, Budapest, Hungary, pages 608-613, 1988.
Camilla B. Schwind. Action theory and the frame problem. In m The Frame Problem in Artificial Intelligence, Proceedings of the 1987 Workshop, F.M. Brown (Ed.), Lawrence, Kansas, Morgan Publisher, USA, pages 121-134, 1987.
Camilla B. Schwind. A state logic for the representation of natural language based intelligent systems. In Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, Cambridge, Massachusetts, USA, 1977.
Camilla B. Schwind. Generating Hierarchical Semantic Networks from Natural Language Discourse. In Proceedings of the 4th Internationnal Joint Conference on Artificial Intelligence, IJCAI-75, vol.1, pages 429-434, Tbilisi, Georgia, USSR, The Artificial Intelligence Laboratory, Cambridge, Massachusetts, USA, 1975.

Articles in Books

Cyril Pain-Barre et Camilla B. Schwind. Constructing Action Graphs for Planning. In New Directions in AI Planning, M. Ghallab and A. Milani (eds.), Frontiers in Artificial Intelligence and Applications Vol. 31, IOS Press Amsterdam, 1996. To get the pdf file.
Camilla B. Schwind. A Logic-Based Framework for Action Theories. In The Tbilisi Symposium on Logic, Language and Computation J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. LŽvy, and E. Vallduv’, eds. CSLI Publications, 1997, pp. 275-291.To get the ps file.

Technical Reports

Regis Alenda, Nicola Olivetti and Camilla B. Schwind. Comparative Concept Similarity. To get the pdf file.

Tutorials

Nicola Olivetti and Camilla B. Schwind, Analytic Tableaux for Non-monotonic Reasoning . Tutorial given at Tableaux'97, May 1997. To get the summary , To get the slides .