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:41]
demri [Organization]
cours:c-1-39 [2019/09/21 11:45] (current)
demri [Organization]
Line 46: Line 46:
   * 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, proof systems for extensions with numerical constraints or inverse role
   * 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 with acyclic TBox for ALC, general case 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, extensions with ressources+  * 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). 
 
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