Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

107 Results
authIdHal_s : dominique-longin
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⟩
Journal articles hal-03535631v1
Image document

A Logical Modeling of the Yōkai Board Game

Dominique Longin , Emiliano Lorini , Frédéric Maris
[Research Report] IRIT - Institut de recherche en informatique de Toulouse. 2020
Reports hal-02983253v3
Image document

From Individual Goals to Collective Decisions (Extended Abstract)

Arianna Novaro , Umberto Grandi , Dominique Longin , Emiliano Lorini
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
Image document

Communicating cognitive agents: modeling and formalization

Dominique Longin
Artificial Intelligence [cs.AI]. Université Toulouse 3 Paul Sabatier, 2015
Habilitation à diriger des recherches tel-03484173v1

Bulletin de l’AFIA N° 114 (editor)

Dominique Longin
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)

Dominique Longin , Philippe Morignot
Bulletin de l'Association Française pour l'Intelligence Artificielle, AFIA : Association Française pour l'Intelligence Artificielle, 2018
Special issue hal-02983166v1
Image document

Honte ou culpabilité ? (That is the question)

Carole Adam , Dominique Longin
Workshop Affect, Compagnon Artificiel, Interaction (WACAI 2012), Nov 2012, Grenoble, France
Conference papers hal-03542667v1
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
Conference papers hal-03537159v1
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
Book sections hal-03209308v1
Image document

Better emotion modeling by taking into account environment factors and human profiles in crisis situations

Azise Oumar Diallo , Dominique Longin , Tuong Vinh Ho
International Conference on Computing and Communication Technologies (IEEE-RIFV 2019), Mar 2019, Da Nang, Vietnam. ⟨10.1109/RIVF.2019.8713734⟩
Conference papers hal-02415883v1
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
Conference papers hal-03523410v1
Image document

Compact Tree Encodings for Planning as QBF

Olivier Gasquet , Dominique Longin , Frédéric Maris , Pierre Régnier , Maël Valais et al.
13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Conference papers hal-02279383v1
Image document

La honte : quand émotion et raisonnement sont liés

Carole Adam , Dominique Longin
Revue 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
Image document

Belief Dynamics in Cooperative Dialogues

Dominique Longin , Andreas Herzig
Journal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩
Journal articles istex hal-03478237v1
Image document

Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs

Andreas Herzig , Dominique Longin
13è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
Image document

Anchoring the institutional dimension of speech acts in agents’ attitudes: a logical approach

Emiliano Lorini , Dominique Longin , Benoit Gaudou
IEEE International Conference on Research, Innovation and Vision for the Futur 2009, Jul 2009, Da Nang City, Vietnam. pp.65-72
Conference papers hal-03672518v1
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
Book sections hal-03464948v1
Image document

Formalisation pluridisciplinaire de l'inférence d'actes de langage non littéraux

Maud Champagne , Andreas Herzig , Dominique Longin , Jean-Luc Nespoulous , Jacques Virbel et al.
Revue I3 - Information Interaction Intelligence, 2002, Hors-série, pp.197-225
Journal articles hal-03534108v1

A simple logical framework for emotional agents

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

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

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

Beliefs, intentions, speech acts and topics

Andreas Herzig , Dominique Longin
[Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000
Reports hal-03523420v1
Image document

Conférence Nationale d'Intelligence Artificielle Année 2020

Isabelle Bloch , Zied Bouraoui , Stephan Brunessaux , Sylvie Doutre , Amal El Fallah-Seghrouchni et al.
Isabelle 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
Image document

Conférence Nationale d'Intelligence Artificielle Année 2019

Caroline Chanel , Tiago De Lima , Sylvie Doutre , Amal Elfallah-Seghrouchni , Frederick Garcia et al.
Caroline 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
Image document

Actes CNIA 2022 : Conférence Nationale d'Intelligence Artificielle

Zied Bouraoui , Valérie Camps , Éric Gaussier , Maxime Guériau , Christelle Launois et al.
pp.1-239, 2022
Proceedings hal-03777860v2
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
Reports hal-03474455v1
Image document

Logical modeling of emotions for Ambient Intelligence

Carole Adam , Benoit Gaudou , Dominique Longin , Emiliano Lorini
Fulvio 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
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 et al.
Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Conference papers hal-03116308v1
Image document

A logic for planning under partial observability

Andreas Herzig , Jérôme Lang , Dominique Longin , Thomas Polacsek
Seventeenth 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
Image document

Le système Sesame : Spécifier des sémantiques argumentatives

Philippe Besnard , Sylvie Doutre , Dominique Longin
Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2017), Jul 2017, Caen, France. pp.1-4
Conference papers hal-01561521v1
Image document

SESAME - A System for Specifying Semantics in Abstract Argumentation

Philippe Besnard , Sylvie Doutre , van Hieu Ho , Dominique Longin
1st 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