Accéder directement au contenu

Andreas Herzig

3
Documents

Publications

"dominique-longin"
"fredmaris"
Image document

TouIST: a Friendly Language for Propositional Logic and More

Jorge H. Fernandez , Olivier Gasquet , Andreas Herzig , Dominique Longin , Emiliano Lorini
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Communication dans un congrès hal-02925894v1
Image document

TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF

Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais
Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Communication dans un congrès hal-03116308v1
Image document

Poster sur ``La logique facile avec TouIST''

Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017
Poster de conférence hal-03116309v1