Filter your results
- 56
- 19
- 10
- 7
- 7
- 5
- 1
- 1
- 1
- 107
- 44
- 33
- 23
- 16
- 12
- 10
- 8
- 8
- 6
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 107
- 1
- 1
- 107
- 14
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 107
- 107
- 107
- 107
- 107
- 107
- 107
- 107
- 107
- 107
- 107
- 103
- 40
- 32
- 25
- 22
- 22
- 21
- 20
- 16
- 14
- 14
- 14
- 14
- 10
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 71
- 36
- 95
- 11
- 1
- 5
- 4
- 5
- 5
- 12
- 11
- 2
- 3
- 4
- 1
- 4
- 5
- 2
- 8
- 5
- 1
- 7
- 1
- 1
- 2
- 7
- 4
- 8
|
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⟩
Journal articles
hal-03535631v1
|
||
|
A Logical Modeling of the Yōkai Board Game[Research Report] IRIT - Institut de recherche en informatique de Toulouse. 2020
Reports
hal-02983253v3
|
||
|
From Individual Goals to Collective Decisions (Extended Abstract)17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), International Foundation for Autonomous Agents and MultiAgent Systems (IFAAMAS), Jul 2018, Stockholm, Sweden. pp.2028-2030
Conference papers
hal-02348231v1
|
||
|
Communicating cognitive agents: modeling and formalizationArtificial Intelligence [cs.AI]. Université Toulouse 3 Paul Sabatier, 2015
Habilitation à diriger des recherches
tel-03484173v1
|
||
Bulletin de l’AFIA N° 114 (editor)Bulletin de l'Association Française pour l'Intelligence Artificielle, AFIA : Association Française pour l'Intelligence Artificielle, 2021
Special issue
hal-03507667v1
|
|||
Bulletin de l'AFIA No. 100 (editors)Bulletin de l'Association Française pour l'Intelligence Artificielle, AFIA : Association Française pour l'Intelligence Artificielle, 2018
Special issue
hal-02983166v1
|
|||
|
Honte ou culpabilité ? (That is the question)Workshop Affect, Compagnon Artificiel, Interaction (WACAI 2012), Nov 2012, Grenoble, France
Conference papers
hal-03542667v1
|
||
|
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
Conference papers
hal-03537159v1
|
||
|
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
Book sections
hal-03209308v1
|
||
|
Better emotion modeling by taking into account environment factors and human profiles in crisis situationsInternational Conference on Computing and Communication Technologies (IEEE-RIFV 2019), Mar 2019, Da Nang, Vietnam. ⟨10.1109/RIVF.2019.8713734⟩
Conference papers
hal-02415883v1
|
||
|
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
Conference papers
hal-03523410v1
|
||
|
Compact Tree Encodings for Planning as QBF13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Conference papers
hal-02279383v1
|
||
|
La honte : quand émotion et raisonnement sont liésRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2014, Affects, Compagnons Artificiels et Interactions, 28 (1), pp.43-66
Journal articles
hal-03466648v1
|
||
|
Belief Dynamics in Cooperative DialoguesJournal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩
Journal articles
istex
hal-03478237v1
|
||
|
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
Conference papers
hal-03534110v1
|
||
|
Anchoring the institutional dimension of speech acts in agents’ attitudes: a logical approachIEEE International Conference on Research, Innovation and Vision for the Futur 2009, Jul 2009, Da Nang City, Vietnam. pp.65-72
Conference papers
hal-03672518v1
|
||
|
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
Book sections
hal-03464948v1
|
||
|
Formalisation pluridisciplinaire de l'inférence d'actes de langage non littérauxRevue I3 - Information Interaction Intelligence, 2002, Hors-série, pp.197-225
Journal articles
hal-03534108v1
|
||
A simple logical framework for emotional agents[Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006
Reports
hal-03537174v1
|
|||
|
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
Conference papers
hal-03537168v1
|
||
|
Beliefs, intentions, speech acts and topics[Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000
Reports
hal-03523420v1
|
||
|
Conférence Nationale d'Intelligence Artificielle Année 2020Isabelle Bloch; Zied Bouraoui; Nicolas Sabouret; Yves Demazeau; Dominique Longin; Stephan Brunessaux; Sylvie Doutre; Amal El Fallah-Seghrouchni; Sébastien Ferré; Frédéric Maris; Alexandre Niveau. Conférence Nationale d’Intelligence Artificielle (CNIA 2020), Jun 2020, Angers, France. Association Française pour l'Intelligence Artificielle (AFIA), 2020
Proceedings
hal-02964840v1
|
||
|
Conférence Nationale d'Intelligence Artificielle Année 2019Caroline Chanel; Tiago de Lima; Jérôme Lang; Maxime Lefrançois; Juliette Mattioli; Emmanuel Rachelson; Olivier Simonin; Pierre Zweigenbaum; Yves Demazeau; Dominique Longin; Sylvie Doutre; Amal Elfallah-Seghrouchni; Frederick Garcia; Nathalie Hernandez. Conférence Nationale d’Intelligence Artificielle (CNIA 2019), Jul 2019, Toulouse, France. Association Française pour l'Intelligence Artificielle (AFIA), 2019
Proceedings
hal-02458049v1
|
||
|
Actes CNIA 2022 : Conférence Nationale d'Intelligence Artificiellepp.1-239, 2022
Proceedings
hal-03777860v2
|
||
|
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
Reports
hal-03474455v1
|
||
|
Logical modeling of emotions for Ambient IntelligenceFulvio Mastrogiovanni; Nak-Young Chong. Handbook of Research on Ambient Intelligence: Trends and Perspectives, IGI Global Publisher, 2011, 978-1616928575. ⟨10.4018/978-1-61692-857-5.ch007⟩
Book sections
hal-00950876v1
|
||
|
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
Conference papers
hal-03116308v1
|
||
|
A logic for planning under partial observabilitySeventeenth National Conference on Artificial Intelligence (AAAI 2000), Association for the Advancement of Artificial Intelligence, Jul 2000, Austin, Texas, United States. pp.768-773
Conference papers
hal-03523445v1
|
||
|
Le système Sesame : Spécifier des sémantiques argumentativesConférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2017), Jul 2017, Caen, France. pp.1-4
Conference papers
hal-01561521v1
|
||
|
SESAME - A System for Specifying Semantics in Abstract Argumentation1st International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016) co-located with the 6th International Conference on Computational Models of Argument : COMMA 2016, Sep 2016, Potsdam, Germany. pp.40-51
Conference papers
hal-01475020v1
|