Logiques non-classiques

Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds. A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007, pp. 496-501. pdf

En général: Rappels de logique propositionnelle et de premier ordre
I. Logiques modales des connaissances et de l'interaction TD1 , TD2 et Support
II. Logiques de description TD3
III. Tableaux sémantiques pour logiques multi-modales et logiques de description
IV. Argumentation et Raisonnement Nonmonotone
V. Révision des croyances TD4 , TD5

ad I. Reasoning about Knowledge. R. Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi. The MIT Press, Cambrodge, Mass. (BU, Luminy)
ad II.Description Logics. Franz Baader. In Reasoning Web Semantic Technologies for Information Systems. 5th International Summer School 20089, Vol. 5689. Springer LNCS, pp. 1-39. paper
ad III. Tableaux sémantiques pour logiques multi-modales et logiques de description
ad IV. Argumentation et Raisonnement Nonmonotone
ad V. Révision des croyances.
- Carlos E. Alchourrón, Peter Gärdenfors, David Makinson: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. J. Symb. Log. 50(2): 510-530 (1985)
- Hirofumi Katsuno, Alberto O. Mendelzon: Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3): 263-294 (1992);
- Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394. slides

Model-Based Revision Operators for Terminologies in Description Logics. Guilin Qi and Jiangfeng Du. IJCAI 2009. paper1
A Syntactical Approach to Revision. Guiherme Bittencourt, Laurent Perrussel and Jerusa Marchi. ECAI 2004. paper2 Michel Klein
A general Tableaux Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. Renate A. Schmidt and Dmitry Tishkovsky paper3 Stéphane Richard
Tableaux-Based Forgetting in ALC-Ontologies. Zhe Wang, Kewen Wang, Rodney Topor and Xiaowang Zhang. ECAI 2010. paper4 Axel Cohen