Non-classical logics for knowledge representation and reasoning

Issue title: Evolutionary Computation – A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli

Article type: Research Article

Authors: Giordano, Laura | Gliozzi, Valentina | Olivetti, Nicola | Pozzato, Gian Luca | Schwind, Camilla B.

Affiliations: Dipartimento di Informatica – Università del Piemonte Orientale “Amedeo Avogadro”, Viale Teresa Michel 11, Alessandria, Italy | Dipartimento di Informatica – Università degli Studi di Torino, Corso Svizzera 185, Torino, Italy | LSIS – UMR CNRS 6168 Universitè Paul Cèzanne (Aix-Marseille 3), Campus de Saint Jérome, Avenue Escadrille Normandie-Niemen, Marseille, Cedex 20, France | Laboratoire d'informatique Fondamentale, Parc Scientifique et Technologique de Luminy, 163 Avenue de Luminy – Case 901, Marseille, Cedex 9, France

Note: [] Corresponding author. Gian Luca Pozzato. Dipartimento di Informatica – Università degli Studi di Torino, Corso Svizzera 185, Torino, Italy. E-mails: [email protected]; [email protected] (L. Giordano); [email protected] (V. Gliozzi); [email protected], [email protected] (N. Olivetti); [email protected] (C.B. Schwind).

Abstract: We briefly outline our research activity, started in the 90s, in the field of non-classical logics. In particular, we describe our activity on the use of non-classical logics for knowledge representation and on proof methods for non-monotonic and conditional logics.

Keywords: Non-classical logics, Knowledge representation, Proof methods

DOI: 10.3233/IA-2011-0015

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 127-131, 2011