Andreas Herzig
13
Documents
Publications
- 13
- 6
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
TouIST: a Friendly Language for Propositional Logic and More29th 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
|
|
TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBFJournées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Communication dans un congrès
hal-03116308v1
|
LoTREC: An environment for experiencing Kripke Semantics2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44
Communication dans un congrès
hal-03537175v1
|
|
Terminating modal tableaux with simple completenness proofConference on Advances in Modal Logic (AIML 2006), Sep 2006, Noosa, Queensland, Australia. pp.167-186
Communication dans un congrès
hal-03537176v1
|
|
Une plateforme de raisonnement par tableauxXVe Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Jan 2006, Tours, France
Communication dans un congrès
hal-03537171v1
|
|
|
Lotrec: a generic tableau prover for modal and description logicsInternational Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458
Communication dans un congrès
hal-03523405v1
|
|
Actions perceptives et non-perceptives dans une logique de croyances et intentionsPremières Journées Francophones des Modèles formels de l'interaction (MFI'01), May 2001, Toulouse, France
Communication dans un congrès
hal-03523410v1
|
Lois, structures et dépendances (groupe LSD)6èmes journées nationales du PRC-GDR Intelligence Artificielle (PRC-GDR IA 1997), Mar 1997, Grenoble, France. pp.145-160
Communication dans un congrès
hal-03300192v1
|
|
Poster sur ``La logique facile avec TouIST''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
|
Kripke's Worlds: An introduction to modal logics via tableauxSpringer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩
Ouvrages
hal-03220769v1
|
Coalition games over Kripke semanticsDégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130
Chapitre d'ouvrage
hal-03526733v1
|
|
Modal Tableaux: Completeness vs. TerminationArtemov, Sergei; Barringer, Howard; D'Avila Garcez, Artur; Lamb, Luis C.; Woods, John. We Will Show Them: Essays in Honour of Dov Gabbay, 2, College Publications, pp.587-614, 2005, 978-1904987116
Chapitre d'ouvrage
hal-03519762v1
|
|
An analysis of communication and cooperation in a logic of belief, intention, and action[Research Report] IRIT/2001-07-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2001
Rapport
hal-03523404v1
|