2007 - Advanced Topics on Artificial Intelligence
If you want the 2010 version of this course, please check the New website.
Lectures Time Table
The room and time will possibly be modified. This will be
discussed in class. Moreover, as teaching will be impossible
for both teachers from the 20th of July to the 10th of August,
we will try to catch up.
Diagnosis of Static Systems: Course 1, Course 2, Course 3.
Bayesian Networks, Qualitative Reasoning, Chronicles.
Discrete event systems: Course 1, Course 2, Course 3
Room B154, RSISE Building
Room B147, RSISE Building
Articles to review
You will have to choose one article and present it.
The Role of OBDDs in Controlling the Complexity of Model Based Diagnosis (G. Torta and P. Torasso -- DX-04) Presented by Debdeep Banerjee.
A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems (Sh. Abdelwahed, G. Karsai, G. Biswas -- DX-05) Presented by Priscilla Kan John.
Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization (Ch. Dousson, P. Le Maigat -- IJCAI-07) Presented by Jason Jingshi Li.
Diagnosis of Discrete-Event Systems using SAT algorithms (A. Grastien -- Work in Progress)
Generating Temporal Decision Trees for Diagnosing Dynamic Systems (L. Console, C. Picardi and D. Theseider Dupré -- DX-00) Presented by Amanda Helliwell
On Monotonic Monitoring of Discrete-Event Systems (G. Lamperti, M. Zanella -- DX-07) Presented by Yogesh Narasimha.
Diagnosability Analysis of Distributed Discrete Event Systems (Y. Pencolé -- DX-04) Presented by Neil Bacon
Global and Local Consistencies in Distributed Fault Diagnosis for Discrete-Event Systems (R. Su and W. M. Wonham -- TAC-05) Presented by Priscilla Kan John.
Last modified: Tue Aug 28 15:43:32 EST 2007