Meghyn Bienvenu


  
2016 Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
  Invited tutorial at the 12th Int. Reasoning Web Summer School
  Slides   Lecture notes
  
2016 Ontology-Mediated Query Answering with Horn Description Logics
  European Summer School in Language, Logic, and Computation (ESSLLI)
  Course website
  
2015 Theory of Knowledge Bases (5 lectures on Description Logics)
  University of Montpellier, Montpellier, France
  
2015 Ontology-Mediated Query Answering with Data-Tractable Description Logics
  Invited tutorial (with M. Ortiz) at the 11th Int. Reasoning Web Summer School
  Chapter
  
2014 Introduction to Description Logics
  Higher School of Economics, Moscow, Russia
  
2010-2013 Models of Distributed Reasoning (guest lecturer, 2 lectures per year)
  Université Paris Sud, Orsay, France
  Slides
  
2009-2010 Algorithmic Game Theory
  Universität Bremen, Bremen, Germany
  Course website
  
2009-2010 Finite Automata on Infinite Words and Trees
  Universität Bremen, Bremen, Germany
  Course website
  
2006-2008 Introduction to Artificial Intelligence (online course)
  Université de Provence, Marseille, France
  Course notes (in french)