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: pozzato@di.unito.it; laura@mfn.unipmn.it (L. Giordano); gliozzi@di.unito.it (V. Gliozzi); nicola.olivetti@lsis.org, nicola.olivetti@univ-cezanne.fr (N. Olivetti); Camilla.Schwind@lif.univ-mrs.fr (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.
