Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Arnaud Durand - Université de Paris,
Titre A complexity study of reasoning tasks in team semantics
Horaire15:15 à 16:15
RésumeIn the first part of the talk we will make a basic introduction to team semantics and survey the main complexity/expressivity results in this area. In the second part, we will present a new approach, proposed jointly with Juha Kontinen and Jouko Väänänen based on efficient translation to SAT (the boolean satisfiability problem) to derive new complexity results for reasoning tasks (such as model-checking, model-counting and enumeration) for algorithmic problems in team semantics. This is joint work with Juha Kontinen and Jouko Väänänen
AdresseSophie Germain