Andreas Herzig
45
Documents
Publications
- 45
- 13
- 8
- 6
- 6
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
Relaxing Exclusive Control in Boolean GamesElectronic Proceedings in Theoretical Computer Science, 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 251, pp.43-56. ⟨10.4204/EPTCS.251.4⟩
Article dans une revue
hal-01625886v1
|
|
A logical formalization of the OCC theory of emotionsSynthese, 2009, 168 (2), pp.201--248
Article dans une revue
hal-03474451v1
|
|
The logic of acceptance: grounding institutions on agents' attitudesJournal of Logic and Computation, 2009, 19 (6), pp.901-940
Article dans une revue
hal-01060135v1
|
|
PLEIAD, un agent émotionnel pour évaluer la typologie OCCRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2007, 21 (5-6), pp.781-811
Article dans une revue
hal-03516643v1
|
|
A Logical Framework for Grounding-based Dialogue AnalysisElectronic Notes in Theoretical Computer Science, 2006, 157 (4), pp.117-137. ⟨10.1016/j.entcs.2006.02.016⟩
Article dans une revue
hal-03535631v1
|
|
Formalisation pluridisciplinaire de l'inférence d'actes de langage non littérauxRevue I3 - Information Interaction Intelligence, 2002, Hors-série, pp.197-225
Article dans une revue
hal-03534108v1
|
|
Belief Dynamics in Cooperative DialoguesJournal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩
Article dans une revue
hal-03478237v1
|
|
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
|
|
Relaxing Exclusive Control in Boolean Games16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩
Communication dans un congrès
hal-01919061v1
|
|
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
|
|
Logical formalization of social commitments: Application to Agent Communication Languages (short version)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
|
|
Unifying the intentional and institutional semantics of speech acts7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.1-19
Communication dans un congrès
hal-03474450v2
|
|
Prolegomena for a logic of trust and reputation3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157
Communication dans un congrès
hal-00405595v1
|
|
A logical framework for an emotionally aware intelligent environmentWorkshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy
Communication dans un congrès
hal-03519756v1
|
|
Modélisation logique d'agents rationnels pour l'intelligence ambiante14è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
|
|
A New Semantics for the FIPA Agent Communication Language based on Social Attitudes17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Trento, Italy. pp.245-249
Communication dans un congrès
hal-03537159v1
|
|
Grounding and the expression of belief10th 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
|
|
OCC's emotions: a formalization in a BDI logic12th 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
|
|
A logical framework for grounding-based dialogue analysis3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom
Communication dans un congrès
hal-03535632v2
|
|
C&L intention revisited9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Jun 2004, Whistler, Canada. pp.527-535
Communication dans un congrès
hal-03519771v1
|
Beliefs, intentions, actions and speech actsSeventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck 2003), Sep 2003, Wallerfangen, Allemagne
Communication dans un congrès
hal-03534095v1
|
|
|
On modal probability and beliefEuropean Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.62-73, ⟨10.1007/b11792⟩
Communication dans un congrès
hal-03534094v1
|
|
I thought you didn't know! On belief revision in dynamic doxastic logic5th International Conference on Logic and the Foundations of Game and Decision Theory (LOFT5 2002), Jun 2002, Torino, Italy
Communication dans un congrès
hal-03534106v1
|
|
Sensing and revision in a modal logic of belief and actionEuropean Conference on Artificial Intelligence (ECAI'02), Jul 2002, Lyon, France. pp.307-311
Communication dans un congrès
hal-03534105v1
|
|
Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Association Française d'Intelligence Artificielle; Association Française pour la Reconnaissance et l'Interprétation des Formes, Jan 2002, Angers, France
Communication dans un congrès
hal-03534110v1
|
|
A logic of intention with cooperation principles and with assertive speech acts as communication primitives1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Jul 2002, Bologna, Italy. pp.920-927, ⟨10.1145/544862.544954⟩
Communication dans un congrès
hal-03534107v1
|
|
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
|
|
Formalisation logique de la communication non-littérale à la lumière d'aperçus pragmatiques et neuropsycholinguistiquesPremières Journées Francophones des Modèles Formels de l'Interaction (MFI'01), May 2001, Toulouse, France
Communication dans un congrès
hal-03523408v2
|
|
Towards an Analysis of Dialogue Acts and Indirect Speech Acts in a BDI Framework4h International Workshop on the Semantics and Pragmatics of Dialogue (Götalog'2000), Feb 2000, Goteborg, Sweden
Communication dans un congrès
hal-03523411v1
|
|
A logic for planning under partial observability (AAAI 2000)17th National Conference on Artificial Intelligence (AAAI 2000), Association for the Advancement of Artificial Intelligence, Jul 2000, Austin, Texas, United States. pp.768-773
Communication dans un congrès
hal-03523445v1
|
Actes de langage non-littéraux et approche intentionnelle du dialogueEtats Généraux de la Recherche en Sciences Cognitives de Toulouse (2000), Oct 2000, Toulouse, France
Communication dans un congrès
hal-03523412v1
|
|
|
A Topic-Based Framework for Rational Interaction7e conférence annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Oct 2000, Lausanne, Switzerland
Communication dans un congrès
hal-03523416v1
|
|
A logic for planning under partial observability (AIPS 2000)5th international conference on Artificial Intelligence Planning and Scheduling (AIPS 2000), Apr 2000, Breckenridge, CO, United States
Communication dans un congrès
hal-03523419v1
|
|
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
|
|
On Modal Logics of Group BeliefHerzig; 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
|
|
Group belief and grounding in conversationTrognon, 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
|
|
Unifying the intentional and institutional semantics of speech actsMatteo Baldoni,; Jamal Bentahar; M. Birna van Riemsdijk; John Lloyd. Declarative Agent Languages and Technologies VII: DALT 2009. Revised Selected and Invited Papers, 5948, Springer-Verlag, pp.68-84, 2010, Lecture Notes in Artificial Intelligence, 978-3-642-11354-3. ⟨10.1007/978-3-642-11355-0_5⟩
Chapitre d'ouvrage
hal-03527023v1
|
|
Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)[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[Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006
Rapport
hal-03537174v1
|
|
|
Sensing and revision in a modal logic of belief and action[Rapport de recherche] IRIT/2002-01-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002
Rapport
hal-03534104v1
|
|
Intention Dynamics -preliminary report-[Research Report] IRIT/2002-12-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002
Rapport
hal-03523403v1
|
|
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
|
|
Beliefs, intentions, speech acts and topics[Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000
Rapport
hal-03523420v1
|
|
Une formalisation de la détection des actes de langage indirects[Rapport de recherche] IRIT/2000-26-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000
Rapport
hal-03523414v1
|