Non-classical logics for knowledge representation and reasoning
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind · Intelligenza Artificiale · 2011
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.