Séminaires
Cette page regroupe les supports et enregistrements vidéo des séminaires organisés dans le cadre du projet.
Sur les Limites de l’Approche Bottom-Up pour des
Formes Compilées Compactes
Alexis de Colnet (orateur), Stefan
Mengel
15 Mars 2021, 17:00 - 18:30 CET
Slides
Eliminating the frame construct from NNF action
theories
Sergej Scheck (orateur), Alexandre Niveau,
Bruno Zanuttini
29 Mars 2021, 17:00 - 18:30 CET
Slides
Logique épistémique, compilation de connaissances
et planification
Bruno Zanuttini (orateur), Alexandre
Niveau, Junkang Li,
12 Avril 2021, 17:00 - 18:30 CET
Slides,
Vidéo
Certifying Top-Down Decision-DNNF
Compilers
Florent Capelli (orateur), Jean-Marie
Lagniez, Pierre Marquis
26 Avril 2021, 17:00 - 18h30 CET
Slides,
Vidéo