Accéder directement au contenu

Andreas Herzig

15
Documents

Publications

benoit-gaudou
Image document

The logic of acceptance: grounding institutions on agents' attitudes

Emiliano Lorini , Dominique Longin , Benoit Gaudou , Andreas Herzig
Journal of Logic and Computation, 2009, 19 (6), pp.901-940
Article dans une revue hal-01060135v1
Image document

A Logical Framework for Grounding-based Dialogue Analysis

Benoit Gaudou , Andreas Herzig , Dominique Longin
Electronic Notes in Theoretical Computer Science, 2006, 157 (4), pp.117-137. ⟨10.1016/j.entcs.2006.02.016⟩
Article dans une revue hal-03535631v1
Image document

Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations

Benoit Gaudou , Andreas Herzig , Emiliano Lorini , Christophe Sibertin-Blanc
6èmes Journees francophones sur les Modèles Formels de l'Interaction (MFI 2011), Jun 2011, Rouen, France
Communication dans un congrès hal-03470298v1
Image document

How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments

Benoit Gaudou , Andreas Herzig , Emiliano Lorini , Christophe Sibertin-Blanc
International Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS 2011), May 2011, Taipei, Taiwan. pp.59-73, ⟨10.1007/978-3-642-28400-7_5⟩
Communication dans un congrès hal-03470293v1
Image document

Logical formalization of social commitments: Application to Agent Communication Languages (short version)

Benoit Gaudou , Andreas Herzig , Dominique Longin
8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), May 2009, Budapest, Hungary. pp.1293-1294
Communication dans un congrès hal-03474454v1
Image document

A logical framework for an emotionally aware intelligent environment

Carole Adam , Benoit Gaudou , Andreas Herzig , Dominique Longin
Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy
Communication dans un congrès hal-03519756v1
Image document

Modélisation logique d'agents rationnels pour l'intelligence ambiante

Carole Adam , Fabrice Evrard , Benoit Gaudou , Andreas Herzig , Dominique Longin
14èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2006), Oct 2006, Annecy, France. pp.81-94
Communication dans un congrès hal-03537168v1
Image document

OCC's emotions: a formalization in a BDI logic

Carole Adam , Benoit Gaudou , Andreas Herzig , Dominique Longin
12th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Sep 2006, Varna, Bulgaria. pp.24-32, ⟨10.1007/11861461_5⟩
Communication dans un congrès hal-03537167v1
Image document

A New Semantics for the FIPA Agent Communication Language based on Social Attitudes

Benoit Gaudou , Andreas Herzig , Dominique Longin , Matthias Nickles
17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Trento, Italy. pp.245-249
Communication dans un congrès hal-03537159v1
Image document

Grounding and the expression of belief

Benoit Gaudou , Andreas Herzig , Dominique Longin
10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Jun 2006, Windermere, United Kingdom. pp.211-229
Communication dans un congrès hal-03516657v1
Image document

A logical framework for grounding-based dialogue analysis

Benoit Gaudou , Andreas Herzig , Dominique Longin
3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom
Communication dans un congrès hal-03535632v2
Image document

On Modal Logics of Group Belief

Benoit Gaudou , Andreas Herzig , Dominique Longin , Emiliano Lorini
Herzig; Andreas and Lorini; Emiliano. The Cognitive Foundations of Group Attitudes and Social Interaction, 5, Springer, pp.75--106, 2015, Studies in the Philosophy of Sociality
Chapitre d'ouvrage hal-03209308v1
Image document

Group belief and grounding in conversation

Benoit Gaudou , Andreas Herzig , Dominique Longin
Trognon, Alain and Batt, Martine and Caelen, Jean and Vernant, Denis. Logical Properties of Dialogue, Presses Universitaires de Nancy, pp.59--96, 2011
Chapitre d'ouvrage hal-03464948v1
Image document

Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)

Benoit Gaudou , Andreas Herzig , Dominique Longin
[Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009
Rapport hal-03474455v1

A simple logical framework for emotional agents

Carole Adam , Fabrice Evrard , Benoit Gaudou , Andreas Herzig , Dominique Longin
[Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006
Rapport hal-03537174v1