Accéder directement au contenu

Andreas Herzig

6
Documents

Publications

"dominique-longin"
"olivier-gasquet"
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

Actions perceptives et non-perceptives dans une logique de croyances et intentions

Olivier Gasquet , Andreas Herzig , Dominique Longin
Premières Journées Francophones des Modèles formels de l'interaction (MFI'01), May 2001, Toulouse, France
Communication dans un congrès hal-03523410v1
Image document

Lotrec: a generic tableau prover for modal and description logics

Luis Fariñas del Cerro , David Fauthoux , Olivier Gasquet , Andreas Herzig , Dominique Longin
International Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458
Communication dans un congrès hal-03523405v1
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
Image document

An analysis of communication and cooperation in a logic of belief, intention, and action

Olivier Gasquet , Andreas Herzig , Dominique Longin
[Research Report] IRIT/2001-07-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2001
Rapport hal-03523404v1