Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-1-39 [2019/09/21 11:45]
demri [Organization]
cours:c-1-39 [2020/01/06 17:28] (current)
demri [Organization]
Line 22: Line 22:
 starting on November 18th.  starting on November 18th. 
  
 +Exam on the second part will take place on January 13th, 2020 from 2pm to 4pm, room C315. 
 +The only allowed documents are the slides of the lectures in printed paper (no device). 
 ====== Organization ====== ====== Organization ======
  
Line 44: Line 46:
  
   * Introduction to description logics: knowledge representation, logical formalisms, introduction to the basic description logic ALC, extensions   * Introduction to description logics: knowledge representation, logical formalisms, introduction to the basic description logic ALC, extensions
-  * Tableaux methods: tableaux-style proof system for ALC, proof systems for extensions with numerical constraints or inverse role +  * Tableaux methods: tableaux-style proof system for ALC decision problems, extensions 
-  * Computational complexity: complexity of concept satisfiability with acyclic TBox for ALC, general case for ALC, undecidable problems for ALC extensions+  * Computational complexity: complexity of concept satisfiability for ALC, knowledge base consistency for ALC, undecidable problems for ALC extensions
   * Introduction to temporal logics for multi-agent systems: concurrent game structures, logics ATL, ATL* and variants, model-checking, extension with ressources and variant with incomplete information (if time permits).   * Introduction to temporal logics for multi-agent systems: concurrent game structures, logics ATL, ATL* and variants, model-checking, extension with ressources and variant with incomplete information (if time permits).
  
 Each session of the second part is divided into a lecture (2/3) and an exercises session (1/3).  Each session of the second part is divided into a lecture (2/3) and an exercises session (1/3). 
 +
 +
 +Material
 +
 +[[http://www.lsv.fr/~demri/slides-09122019.pdf | Slides]] for the lecture on 09/12/2019
 +[[http://www.lsv.fr/~demri/td-09122019.pdf | Exercises Sheet]] for the session on 09/12/2019
 +
 +[[http://www.lsv.fr/~demri/slides-16122019.pdf | Slides]] for the lecture on 16/12/2019
 +[[http://www.lsv.fr/~demri/td-16122019.pdf | Exercises Sheet]] for the session on 16/12/2019
 +
 +[[http://www.lsv.fr/~demri/slides-06012020.pdf | Slides]] for the lecture on 06/01/2020
 +[[http://www.lsv.fr/~demri/td-06012020.pdf | Exercises Sheet]] for the session on 06/01/2020
 +
 +
 +
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA