Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Non-Classical Logics for Knowledge Representation and Reasoning

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2008 Festschrifts: Birthday, In Memory of ...  
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.
dblp:conf/birthday/0001GOPS08 fatcat:leoppiuagzfepi6reedkp5af2i