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

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

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
Date24/01/2022
Horaire15:15 à 16:15
Diffusion
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
Salle1013
AdresseSophie Germain
© IMJ-PRG