会议论文详细信息
| Day Dedicated to Prof. Alberto Martelli | |
| Non-Classical Logics For Knowledge Representation And Reasoning | |
| Laura Giordano ; Valentina Gliozzi ; Nicola Olivetti ; Gian Luca Pozzato ; Camilla B Schwind | |
| PID : 4369 | |
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
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.
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| Non-Classical Logics For Knowledge Representation And Reasoning | 188KB |  download |
878987797
028-85220240
