Data di Pubblicazione:
2009
Abstract:
We briefly outline our research activity in the field of nonclassical
logics started in the 90s. In particular, we describe
our research in the application of non-classical logics
to knowledge representation and in the development of
proof methods for non-monotonic and conditional logics.
Tipologia CRIS:
04B-Conference paper in rivista
Keywords:
Non-classical logics; knowledge representation; automated reasoning
Elenco autori:
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO; C.B. SCHWIND
Link alla scheda completa:
Pubblicato in: