Publications de Dominique LONGIN
Olivier Gasquet, Dominique Longin, Emiliano Lorini, Frédéric Maris, Régnier Pierre, Sergei Soloviev
TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics
Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF
Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, 2018, 21 (62), pp.103-113
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
Relaxing Exclusive Control in Boolean Games
Electronic 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⟩
Xuan Hien Ta, Benoit Gaudou, Dominique Longin, Tuong Vinh Ho
Emotional Contagion Model for Group Evacuation Simulation
Informatica, 2017, 41 (2), pp.169-182
Dominique Longin, Emiliano Lorini
L’équipe LILaC et l’IA
Bulletin de l’Association Française pour l’Intelligence Artificielle, 2017, Dossier “Equipes de recherche en IA”, 97
Xuan Hien Ta, Dominique Longin, Benoit Gaudou, Tuong Vinh Ho, Manh Hung Nguyen
Modeling and simulation of the effects of social relation and emotion on decision making in emergency evacuation
International journal of advanced computer science and applications (IJACSA), 2017, 8 (9), pp.371-392. ⟨10.14569/IJACSA.2017.080951⟩
La honte : quand émotion et raisonnement sont liés
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Numéro spécial Affects, compagnons artificiels et interactions, Vol. 28, N. 1, p. 43-66, 2014.
Accès : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2014_Adam-Longin_shame_RIA.pdf – https://oatao.univ-toulouse.fr/12811/
BibTeXEmiliano Lorini, Dominique Longin, Eunate Mayor
A logical analysis of responsibility attribution : emotions, individuals and collectives
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 24 N. 6, p. 1313-1339, 2014.
Accès : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2014_Lorini_et_al_JLC.pdf – https://oatao.univ-toulouse.fr/15156/
BibTeXJean-François Bonnefon, Dominique Longin, Manh Hung Nguyen
A Logical Framework for Trust-Related Emotions
Dans : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Numéro spécial Formal Methods for Interactive Systems 2009, Vol. 22, (en ligne), 2009.
Résumé Accès : https://www.irit.fr/publis/LILAC/Journaux_internationaux/2009_EASST_Bonnefon_et_al.pdf
BibTeXCarole Adam, Andreas Herzig, Dominique Longin
A logical formalization of the OCC theory of emotions
Dans : Synthese, Springer, Vol. 168 N. 2, p. 201-248, 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2009_Adam_et_al_Synthese.pdf
BibTeXEmiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig
The logic of acceptance: grounding institutions on agents’ attitudes
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 19 N. 6, p. 901-940, décembre 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2009_Lorini_et_al_JLC.pdf
BibTeXAlain Trognon, Christine Sorsana, Martine Batt, Dominique Longin
Peer interaction and problem solving: one example of a logical-discursive analysis of a process of joint decision making
Dans : The European Journal of Developmental Psychology, Psychology Press Ltd, Vol. 5 N. 5, p. 623-643, 2008.
Résumé Accès : http://www.irit.fr/publis/LILAC/2008_TrognonEtAl_EJDP.pdf
BibTeXCarole Adam, Andreas Herzig, Dominique Longin
PLEIAD, un agent émotionnel pour évaluer la typologie OCC
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Numéro spécial Modèles multi-agents pour des environnements complexes, Vol. 21, N. 5-6, p. 781-811, 2007.
Résumé Accès : http://www.irit.fr/publis/LILAC/2007_Adam_et_al_RIA.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
A Logical Framework for Grounding-based Dialogue Analysis
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 157 N. 4, p. 117-137, 2006.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2006_Gaudou_et_al_LCMAS_Elsevier.pdf
BibTeXDes raisons qu’ont certains actes à être indirects
Dans : Psychologie de l’Interaction, Editions L’Harmattan, Paris, France, Numéro spécial Langage et Cognition : contraintes pragmatiques, Vol. 21-22, p. 237-258, 2006.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2006_Longin_Psychologie-de-l-interaction.pdf
BibTeXEric Raufaste, Dominique Longin, Jean-François Bonnefon
Utilitarisme pragmatique et reconnaissance d’intention dans les actes de langages indirects
Dans : Psychologie de l’Interaction, Editions L’Harmattan, Paris, France, Numéro spécial Langage et Cognition : contraintes pragmatiques, Vol. 21-22, p. 189-209, 2006.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2006_Raufaste_et_al_Psychologie-de-l-interaction.pdf
BibTeXMaud Champagne, Andreas Herzig, Dominique Longin, Jean-Luc Nespoulous, Jacques Virbel
Formalisation pluridisciplinaire de l’inférence d’actes de langage non littéraux
Dans : Information – Interaction – Intelligence (I3), Cépaduès Editions, Numéro spécial Modèles Formels de l’Interaction, Vol. Hors-série, p. 197-225, 2002.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2002_Champagne_et_al_I3.pdf
BibTeXAndreas Herzig, Dominique Longin
Belief dynamics in cooperative dialogues
Dans : Journal of Semantics, Oxford University Press, Vol. 17 N. 2, p. 91-118, mai 2000.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_internationaux/2000_Herzig_Longin_Journal_of_semantics.pdf
BibTeX
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning
W17 – Workshop Cognitive Aspects of Knowledge Representation (CAKR 2022) @ IJCAI-ECAI 2022, AAAI Technical Track on Knowledge Representation and Reasoning, Jul 2022, Vienna, Austria. pp.6331-6339, ⟨10.1609/aaai.v35i7.16786⟩
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, France. pp.492-499
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning
35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, virtual conference, United States. ⟨10.1609/aaai.v35i7.16786⟩
Dominique Longin, Emiliano Lorini, Frédéric Maris
Beliefs, Time and Space: A Language for the Yōkai Board Game
23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020), Nov 2020, Nagoya (on line), Japan. ⟨10.1007/978-3-030-69322-0_28⟩
Jorge H. Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini
Manipulation in Majoritarian Goal-based Voting
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Plate-Forme Intelligence Artificielle (PFIA 2019), Jul 2019, TOULOUSE, France
Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini
Strategic Majoritarian Voting with Propositional Goals
18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.2144-2146
Azise Oumar Diallo, Dominique Longin, Tuong Vinh Ho
Better emotion modeling by taking into account environment factors and human profiles in crisis situations
International Conference on Computing and Communication Technologies (IEEE-RIFV 2019), Mar 2019, Da Nang, Vietnam. ⟨10.1109/RIVF.2019.8713734⟩
Marion Valette, Benoit Gaudou, Dominique Longin, Patrick Taillandier
Modeling a Real-Case Situation of Egress Using BDI Agents with Emotions and Social Skills
21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Oct 2018, Tokyo, Japan. pp.3-18, ⟨10.1007/978-3-030-03098-8_1⟩
Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini
Goal-Based Collective Decisions: Axiomatics and Computational Complexity
27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. pp.468-474, ⟨10.24963/ijcai.2018/65⟩
Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini
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
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF
13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini
Goal-Based Collective Decisions: Axiomatics and Computational Complexity
7th International Workshop on Computational Social Choice (COMSOC 2018), Jun 2018, Troy, NY, United States
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Codages d’arbres compacts (CTE) pour la planification QBF
12èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2018), Jun 2018, Amiens, France. pp.1-9
Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini
Goal-Based Collective Decisions: Axiomatics and Computational Complexity
12èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2018), Jun 2018, Amiens, France
Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin
Subsumption and Incompatibility between Principles in Ranking-based Argumentation
29th International Conference on Tools with Artificial Intelligence (ICTAI 2017), Nov 2017, Boston, MA, United States. pp.853-859, ⟨10.1109/ICTAI.2017.00133⟩
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
Relaxing Exclusive Control in Boolean Games
16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
TouIST again… Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF
Journées d’Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Philippe Besnard, Sylvie Doutre, Dominique Longin
Le système Sesame : Spécifier des sémantiques argumentatives
Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2017), Jul 2017, Caen, France. pp.1-4
Xuan Hien Ta, Benoit Gaudou, Dominique Longin, Edouard Amouroux, Tuong Vinh Ho
Emotion in the Evacuation Process: Formal model and simulation (regular paper)
Dans : Symposium on Information and Communication Technology (SoICT 2016), Ho Chi Minh City, Viet Nam, 08/12/16-09/12/16, Luc De Raedt, Yves Deville, Marc Bui, Thi Dieu Linh Truong (Eds.), ACM : Association for Computing Machinery, p. 107-114, décembre 2016.
Accès : https://www.irit.fr/publis/LILAC/Conf_internationales/SoICT_2016_Camera_ready_3.pdf – https://oatao.univ-toulouse.fr/18865/
BibTeXPhilippe Besnard, Sylvie Doutre, Van Hieu Ho, Dominique Longin
SESAME – A System for Specifying Semantics in Abstract Argumentation (regular paper)
Dans : International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), Potsdam, Germany, 13/09/16, Vol. 1672, Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati (Eds.), CEUR-WS : Workshop proceedings, p. 40-51, septembre 2016.
Résumé Accès : http://ceur-ws.org/Vol-1672/paper_4.pdf – https://oatao.univ-toulouse.fr/17137/
BibTeXXuan Hien Ta, Dominique Longin, Benoit Gaudou, Tuong Vinh Ho
Impact of group on the evacuation process – Theory and simulation (regular paper)
Dans : Symposium on Information and Communication Technology (SoICT 2015), Hue, Vietnam, 03/12/15-04/12/15, Luc De Raedt, Yves Deville, Marc Bui, Truong Thi Dieu Lin (Eds.), ACM Digital Library, p. 350-357, 2015.
Accès : http://dl.acm.org/ft_gateway.cfm?id=2833265&ftid=1645731&dwn=1&CFID=722732803&CFTOKEN=18406068 – https://oatao.univ-toulouse.fr/15067/
BibTeXVan Tho Nguyen, Dominique Longin, Tuong Vinh Ho, Benoit Gaudou
Integration of emotion in evacuation simulation (regular paper)
Dans : Information Systems for Crisis Response and Management in Mediterranean countries (ISCRAM MED 2014), Toulouse, France, 15/10/14-17/10/14, Chihab Hanachi, Frédérick Benaben, François Charoy (Eds.), Springer, Lecture Notes in Business Information Processing (LNBIP) 196, p. 192-205, 2014.
Shame: when emotion and reasoning are linked (short paper)
Dans : European Workshop on Multi-Agent Systems (EUMAS 2013), Toulouse, France, 12/11/13-13/12/13, Vol. 1113, Emiliano Lorini (Eds.), CEUR-WS : Workshop proceedings, (en ligne), décembre 2013.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2013_EUMAS_Adam-Longin.pdf – https://oatao.univ-toulouse.fr/13286/
BibTeXHonte ou culpabilité ? (That is the question)
Dans : (Regular paper.) Workshop Affect, Compagnon Artificiel, Interaction, Grenoble, 15/11/12-16/11/12, Dominique Duhaut, Alexandre Pauchet, Carole Adam, Sylvie Pesty (Eds.).
Accès : http://rr.liglab.fr/research_report/RR-LIG-039_orig.pdf
BibTeXJérémy Riviere, Carole Adam, Sylvie Pesty, Catherine Pelachaud, Nadine Guiraud, Dominique Longin, Emiliano Lorini
Expressive Multimodal Conversational Acts for SAIBA Agents (regular paper)
Dans : International Conference on Intelligent Virtual Agents (IVA 2011), Reykjavik, 15/09/11-17/09/11, Vol. 6895, H. H. Vilhjálmsson, S. Kopp, S. Marsella, K. R. Thórisson (Eds.), Springer-Verlag, LNCS, p. 316-323, 2011.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2011_Riviere_et_al_IVA.pdf
BibTeXNadine Guiraud, Dominique Longin, Emiliano Lorini, Sylvie Pesty, Jérémy Riviere
The face of emotions: a logical formalization of expressive speech acts (regular paper)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 02/05/11-06/05/11, ACM Press, p. 1031-1038, mai 2011.
Accès : http://www.ifaamas.org/Proceedings/aamas2011/papers/D7_G78.pdf
BibTeXJean-François Bonnefon, Dominique Longin, Manh Hung Nguyen
A Logical Framework for Trust-Related Emotions
Dans : Pre-proceedings of 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, NL, 02/11/09-02/11/11, Michael Harrison, Mieke Massink (Eds.).
Accès : http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/FMIS2009preproceedings.pdf
BibTeXCarole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
Unifying the intentional and institutional semantics of speech acts
Dans : Pre-proceedings of International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 10/05/09-15/05/09, Matteo Baldoni, Jamal Bentahar, John Lloyd (Eds.).
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2009_Adam_et_al_DALT.pdf
BibTeXDominique Longin, Manh Hung Nguyen
Delegation as a communicative act: a logical analysis
Dans : Proceedings of Logical Methods for Social Concepts, 21st European Summer School in Logic, Language and Information (LMSC@ESSLLI’2009), Bordeaux, France, 20/07/09-31/07/09, Andreas Herzig, Emiliano Lorini (Eds.).
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2009_LMSC@ESSLLI_Longin_et_al.pdf
BibTeXJean-François Bonnefon, Dominique Longin, Manh Hung Nguyen
Relation of Trust and Social Emotions: A Logical Approach (short paper)
Dans : IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), Milano, Italy, 15/09/09-18/09/09, IEEE : Institute of Electrical and Electronics Engineers, p. 289-292, 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2009_IAT_Bonnefon_et_al.pdf
BibTeXEmiliano Lorini, Dominique Longin, Benoit Gaudou
Anchoring the institutional dimension of speech acts in agents attitudes: a logical approach (regular paper)
Dans : IEEE International Conference on Research, Innovation and Vision for the Futur (RIVF 2009), Da Nang City, Viet Nam, 13/07/09-17/07/09, Tru Cao, Ralf-Detlef Kutsche, Akim Demaille (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 65-72, 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2009_RIVF_Lorini_et_al.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
Logical formalization of social commitments: Application to Agent Communication Languages (poster)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, 10/05/09-15/05/09, Vol. 2, Keith Decker, Jaime Sichman (Eds.), IFAAMAS, p. 1293-1294, 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2009_AAMAS_Gaudou_et_al.pdf
BibTeXDominique Longin, Emiliano Lorini, Manh Hung Nguyen
Delegation as a communicative act: a logical analysis
Dans : Pre-proceedings of the The Eighth IJCAI Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN@IJCAI’09), Pasadena, CA, USA, 11/07/09-13/07/09.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2009_COIN@IJCAI_longin_et_al.pdf
BibTeXAndreas Herzig, Emiliano Lorini, Jomi F. Hübner, Jonathan Ben-Naim, Olivier Boissier, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Perrussel, Laurent Vercouter
Prolegomena for a Logic of Trust and Reputation (regular paper)
Dans : International Workshop on Normative Multiagent Systems (NorMAS 2008), Luxembourg, 15/07/08-16/07/08, Guido Boella, Gabriella Pigozzi, Munindar Singh, Harko Verhagen (Eds.), University of Luxembourg Press, p. 143-157, 2008.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2008_Herzig_et_al_NORMAS.pdf
BibTeXEmiliano Lorini, Dominique Longin
A logical account of institutions: from acceptances to norms via legislators (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sidney, Australia, 16/09/08-19/09/08, G. Brewka, J. Lang (Eds.), AAAI Press, p. 38-48, 2008.
Résumé Accès : http://www.irit.fr/publis/LILAC/loriniKR2008.pdf
BibTeXBenoit Gaudou, Dominique Longin, Emiliano Lorini, Luca Tummolini
Anchoring Institutions in Agents’ Attitudes: Towards a Logical Framework for Autonomous MAS (regular paper)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, 12/05/08-16/05/08, ACM Press, p. 728-735, 2008.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2008_Gaudou_et_al_AAMAS.pdf
BibTeXEndowing emotional agents with coping strategies: from emotions to emotional behaviour (short paper)
Dans : International Conference on Intelligent Virtual Agents (IVA 2007), Paris, 13/09/07-15/09/07, Vol. 4722, Catherine Pelachaud, Jean-Claude Martin, Elisabeth Andre, Gérard Chollet, Kostas Karpouzis (Eds.), Springer, LNCS, p. 348-349, septembre 2007.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2007_Adam-Longin_IVA.pdf
BibTeXLogique formelle et agent artificiel
Dans : Deuxième Workshop sur les Agents Conversationnels Animés (WACA 2006), Toulouse, 26/10/06-27/10/06 (conférencier invité), Jean-Claude Martin , Catherine Pélachaud (Eds.).
Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin
A logical framework for an emotionally aware intelligent environment
Dans : workshop on Artificial Intelligence Techniques for Ambient Intelligence, European Conference on Artificial Intelligence (AITAmI@ECAI’2006), Riva de Garda, Italy, 29/08/06-29/08/06, Juan Carlos Augusto, Daniel Shapiro (Eds.).
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2006_Adam_et_al_AITAmI.pdf
BibTeXCarole Adam, Fabrice Evrard, Benoit Gaudou, Andreas Herzig, Dominique Longin
Modélisation logique d’agents rationnels pour l’intelligence ambiante (regular paper)
Dans : Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2006), Annecy, France, 18/10/06-20/10/06, Vincent Chevrier, Marc-Philippe Huget (Eds.), Hermès Science, p. 81-94, 2006 (Premier prix de la meilleure contribution).
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_nationales/2006_Adam_et_al_JFSMA.pdf
BibTeXCarole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin
OCC’s emotions: a formalization in a BDI logic (regular paper)
Dans : International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Varna, Bulgaria, 13/09/06-15/09/06, Jérôme Euzenat, John Domingue (Eds.), Springer, LNAI 4183, p. 24-32, 2006.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2006_Adam_et_al_AIMSA.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles
A New Semantics for the FIPA Agent Communication Language based on Social Attitudes (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2006), Trento, Italy, 29/08/06-01/09/06, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, p. 245-249, 2006.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2006_Gaudou_et_al_ECAI.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
Grounding and the expression of belief (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Windermere, UK, 02/06/06-05/06/06, Patrick Doherty, John Mylopoulos, Christopher A. Welty (Eds.), AAAI Press, p. 211-229, 2006.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2006_Gaudou_et_al_KR.pdf
BibTeXOlivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion (regular paper)
Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, 14/09/05-17/09/05, Vol. 3702, Bernhard Beckert (Eds.), Springer-Verlag, LNCS, p. 318-322, septembre 2005.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2005_Gasquet_et_al_TABLEAUX.pdf – https://doi.org/10.1007/11554554_25
BibTeXJean-François Bonnefon, Dominique Longin, Eric Raufaste
Utilité et conventions : les deux faces d’une même pièce pour l’attribution d’intentions (regular paper)
Dans : Troisièmes Journées Francophones sur les Modèles Formels de l’Interaction (MFI 2005), Caen, 25/05/05-27/05/05, Andreas Herzig, Yves Lespérance, Abdel-Illah Mouaddib (Eds.), Cépaduès Editions, p. 45-54, mai 2005.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_nationales/2005_Bonnefon_et_al_MFI.pdf
BibTeXDominique Longin, Raphaël Saban
Modélisation logique d’une notion de bon et de mauvais (regular paper)
Dans : Troisièmes Journées Francophones des Modèles Formels de l’Interaction (MFI 2005), Caen, 25/05/05-27/05/05, Andreas Herzig, Yves Lespérance, Abdel-Illah Mouaddib (Eds.), Cépaduès Editions, p. 153-161, mai 2005.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_nationales/2005_Longin-Saban_MFI.pdf
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
A logical framework for grounding-based dialogue analysis
Dans : 3rd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Edinburgh, 01/08/05, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (Eds.).
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2005_Gaudou_et_al_LCMAS.pdf
BibTeXAndreas Herzig, Dominique Longin
C&L intention revisited (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, 02/06/04-05/06/04, Didier Dubois, Chris Welty, Mary-Anne Williams (Eds.), AAAI Press, p. 527-535, juin 2004.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2004_Herzig-Longin_KR.pdf
BibTeXAndreas Herzig, Dominique Longin
Beliefs, intentions, actions and speech acts
Dans : Seventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck 2003), I. Kruijff-Korbayovà and C. Kosny (editors), Wallerfangen (Germany), 04/09/03-06/09/03.
Dominique Longin, Eric Raufaste
Actes de langage indirects : co-construction d’un modèle logico-psychologique (regular paper)
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2003), Lille, 20/05/03-22/05/03, A. Herzig, B. Chaib-Draa, Ph Mathieu (Eds.), Cépaduès Editions, p. 169-178, mai 2003.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_nationales/2003_Longin-Raufaste_MFI.pdf
BibTeXAndreas Herzig, Dominique Longin
On modal probability and belief (regular paper)
Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Aalborg, Denmark, 02/07/03-05/07/03, Springer, LNAI 2711, p. 62-73, juillet 2003.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2003_Herzig-Longin_ECSQARU.pdf
BibTeXAndreas Herzig, Dominique Longin
Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs
Dans : Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Angers, France, 08/01/02-10/01/02.
Résumé Accès : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2002_Herzig-Longin_RFIA.pdf
BibTeXAndreas Herzig, Dominique Longin
A logic of intention with cooperation principles and with assertive speech acts as communication primitives (regular paper)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, 15/07/02-19/07/02, Cristiano Castelfranchi, W. Lewis Johnson (Eds.), ACM Press, p. 920-927, 2002.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2002_Herzig-Longin_AAMAS.pdf
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin
I thought you didn’t know! — On belief revision in dynamic doxastic logic
Dans : 5th Conf. on Logic and the Foundations of Game and Decision Theory (LOFT5), Torino, 28/06/02-30/06/02.
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2002_Herzig_et_al_LOFT.pdf
BibTeXAndreas Herzig, Dominique Longin
Sensing and revision in a modal logic of belief and action (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2002), Lyon, 23/07/02-26/07/02, Frank van Harmelen (Eds.), IOS Press, p. 307-311, juillet 2002.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2002_Herzig-Longin_ECAI.pdf
BibTeXMaud Champagne, Dominique Longin
Non literal communication: From pragmatical to logical and psycholinguistical aspects
Dans : Seventh International Colloquium on Cognitive Science (ICCS-01), Donostia – San-Sebastian, 09/05/01-12/05/01.
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2001_Champagne-Longin_ICCS.pdf
BibTeXOlivier Gasquet, Andreas Herzig, Dominique Longin
Actions perceptives et non-perceptives dans une logique de croyances et intentions
Dans : Premières Journées Francophones des Modeles formels de l’interaction (MFI’01), Toulouse, 21/05/01-23/05/01, B. Chaib-draa, P. Enjalbert (Eds.).
Accès : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2001_Gasquet_et_al_MFI.pdf
BibTeXMaud Champagne, Rémi Faure, Andreas Herzig, Dominique Longin, Jean-Luc Nespoulous, Jacques Virbel
Formalisation logique de la communication non-littérale à la lumière d’aperçus pragmatiques et neuropsycholinguistiques
Dans : Premières Journées Francophones des Modèles Formels de l’Interaction (MFI’01), Toulouse, 21/05/01-23/05/01, B. Chaib-draa, P. Enjalbert (Eds.).
Accès : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2001_Champagne_et_al_MFI.pdf
BibTeXLuis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec: a generic tableau prover for modal and description logics (regular paper)
Dans : International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, 18/06/01-23/06/01, Vol. 2083, R. Goré, A. Leitsch, T. Nipkow (Eds.), Springer-Verlag, LNCS, p. 453-458, 2001.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2001_Farinas_et_al_IJCAR.pdf
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
A logic for planning under partial observability (regular paper)
Dans : National Conference on Artificial Intelligence (AAAI 2000), Austin, Texas (USA), 30/07/00-03/08/00, Henry Kautz, Bruce Porter (Eds.), AAAI Press, p. 768-773, 2000.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2000_Herzig_et_al_AAAI.pdf
BibTeXEvolution des croyances au sein d’une théorie de l’intentionnalité : application au dialogue coopératif orienté tâches
Dans : Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA-2000), Lyon, France, 10/09/00-13/09/00.
Accès : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Longin_RJCIA.pdf
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
A logic for planning under partial observability
Dans : The Fifth International Conference on Artificial Intelligence Planning \& Scheduling (AIPS2000), Breckenridge, CO, USA, 11/04/00-15/04/00.
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig_et_al_AIPS.pdf
BibTeXAndreas Herzig, Dominique Longin
A Topic-Based Framework for Rational Interaction
Dans : Proc. 7e Conf. annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Lausanne, 16/10/00-18/10/00.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig-Longin_TALN.pdf
BibTeXRémi Faure, Andreas Herzig, Dominique Longin, Jacques Virbel
Actes de langage non-littéraux et approche intentionnelle du dialogue
Dans : Etats Généraux de la Recherche en Sciences Cognitives de Toulouse, Toulouse, 18/10/00-20/10/00.
Andreas Herzig, Dominique Longin, Jacques Virbel
Towards an Analysis of Dialogue Acts and Indirect Speech Acts in a BDI Framawork
Dans : Proceedings of the 4h International Workshop on the Semantics and Pragmatics of Dialogue (Götalog’2000), Goteborg, Sweden, 01/02/00-02/02/00.
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig_et_al_Gotalog.pdf
BibTeXAndreas Herzig, Dominique Longin
Belief dynamics in cooperative dialogues
Dans : 3rd International Workshop on the Semantics and Pragmatics of dialogue (Amstelogue’99), Amsterdam, Holland, 07/05/99-09/05/99, Jan van Kuppevelt, Noor van Leusen, Robert van Rooy, Henk Zeevat (Eds.).
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/1999_Herzig-Longin_Amstelogue.pdf
BibTeXLuis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
Belief Reconstruction in Cooperative Dialogues (regular paper)
Dans : Int. Conf. on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 1998), Sozopol, Bulgaria, 21/09/98-23/09/98, Fausto Giunchiglia (Eds.), Springer-Verlag, LNAI 1480, p. 254-266, septembre 1998.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/1998_Farinas_et_al_AIMSA.pdf
BibTeX
Langage et cognition : contraintes pragmatiques
Dans : Psychologie de l’Interaction, Editions L’Harmattan, Paris, France, Vol. 21-22, 2006.
Accès : http://www.irit.fr/publis/LILAC/Edition/2006_Longin_Psycho_Inter_Editorial.pdf
BibTeX
Jonathan Ben-Naim, Dominique Longin, Emiliano Lorini
Formalization of Cognitive-Agent Systems, Trust, and Emotions
A Guided Tour of Artificial Intelligence Research (Volume I: Knowledge Representation, Reasoning and Learning), Springer International Publishing, pp.629-650, 2020, ⟨10.1007/978-3-030-06164-7_19⟩
Benoit Gaudou, Andreas Herzig, Dominique Longin, Emiliano Lorini
On Modal Logics of Group Belief
Dans : The Cognitive Foundations of Group Attitudes and Social Interaction. Andreas Herzig, Emiliano Lorini (Eds.) , Springer, p. 75-106, Vol. 5, Studies in the Philosophy of Sociality, 2015.
Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2015_Gaudou_et_al_Group-belief.pdf
BibTeXJonathan Ben-Naim, Dominique Longin, Emiliano Lorini
Formalisation de systèmes d’agent cognitif, de la confiance, et des émotions
Dans : Représentation des connaissances et formalisation des raisonnements. Pierre Marquis, Odile Papini, Henri Prade (Eds.) , Cépaduès, 16, p. 1-24, Vol. 1, Panorama actuel de l’IA : ses bases méthodologiques, ses développements, 2014.
Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2011_longin_et_al_livreIA.pdf
BibTeXCarole Adam, Benoit Gaudou, Dominique Longin, Emiliano Lorini
Logical modeling of emotions for Ambient Intelligence
Dans : Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives. Nak-Young Chong, Fulvio Mastrogiovanni (Eds.) , IGI Global, p. 108-127, 2011.
Résumé Accès : http://www.igi-global.com/book/handbook-research-ambient-intelligence-smart/41775
BibTeXBenoit Gaudou, Andreas Herzig, Dominique Longin
Group belief and grounding in conversation
Dans : Logical Properties of Dialogue. Alain Trognon, Martine Batt, Jean Caelen, Denis Vernant (Eds.) , Presses Universitaires de Nancy, p. 59-96, mars 2011.
Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2011_Gaudou_et_al_pun06.pdf
BibTeXCarole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
Unifying the intentional and institutional semantics of speech acts
Dans : Declarative Agent Languages and Technologies VII (Revised, Selected and Invited papers from DALT 2009). Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdi, John Lloyd (Eds.) , Springer, p. 68-84, Vol. 5948, LNAI, 2010.
Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2010_Adam_et_al_Postproceedings-DALT2009.pdf
BibTeXL’émotion dans la cognition : vers une formalisation logique
Dans : Dans l’atelier de l’art. Mario Borillo (Eds.) , Editions Champ Vallon, p. 109-134, Collection milieux, 2010.
Résumé Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2010_Longin_Book_emotion_art.pdf
BibTeXAlain Trognon, Christine Sorsana, Martine Batt, Dominique Longin
Comment identifie-t-on un théorème-en-acte en logique interlocutoire ?
Dans : Activité humaine et conceptualisation – Questions à Gérard Vergnaud. Maryvonne Merri (Eds.) , Presses Universitaires du Mirail, p. 763-782, Questions d’Éducation, 2007.
Résumé Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2007_TrognonEtAl_PUM.pdf
BibTeXDialogue et dynamique des croyances
Dans : Le Temps, l’Espace et l’Evolutif en Sciences du Traitement de l’Information. Henri Prade, Robert Jeansoulin, Catherine Garbay (Eds.) , Cépaduès Editions, p. 345-359, Vol. 2, 2000.
Résumé Accès : http://www.irit.fr/publis/LILAC/Ouvrages/2000_Longin-Sadek_GDR-I3.pdf
BibTeX
Communicating cognitive agents: modeling and formalization
Habilitation à diriger des recherches, Université Paul Sabatier, mars 2015.
Interaction rationnelle et évolution des croyances dans le dialogue : une logique basée sur la notion de topique
Thèse de doctorat, Université Paul Sabatier, novembre 1999.
Résumé Accès : http://www.irit.fr/publis/LILAC/Theses_et_habilitations/1999_Longin_PhD.pdf
BibTeX
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
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
Benoit Gaudou, Andreas Herzig, Dominique Longin
Logical formalization of social commitments: Application to Agent Communication Languages (poster)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, 10/05/09-15/05/09, Vol. 2, Keith Decker, Jaime Sichman (Eds.), IFAAMAS, p. 1293-1294, 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2009_AAMAS_Gaudou_et_al.pdf
BibTeX
Les émotions complexes au service d’agents conversationnels animés crédibles
Diffusion scientifique. avril 2012. Bulletin de l’AFIA No.\ 76. Pages 36-39
Accès : http://www.irit.fr/publis/LILAC/Others/2012_Longin_CECIL-Bulletin-AFIA-76.pdf
BibTeXL’émotion au service d’agents conversationnels animés crédibles
Diffusion scientifique. mars 2012. Cahiers de l’ANR No. 4
Résumé Accès : http://www.irit.fr/publis/LILAC/Others/2012_Longin_Cahier_ANR.pdf
BibTeXDominique Longin, Emiliano Lorini
Théorie des jeux, émotion et confiance : des sciences sociales à l’intelligence artificielle
Vulgarisation. juin 2011. UPS@ctu, Actualité de l’Université Paul Sabatier
Accès : http://www.irit.fr/publis/LILAC/Others/2011_Longin-Lorini_UPS@ctu.pdf
BibTeXL’informatique en relation avec les sciences du vivant, de l’homme et de la société
Vulgarisation. février 2005. Noir sur blanc, Actualité de l’Institut de Recherche en Informatique de Toulouse, V.9, p.3-5
Accès : http://www.irit.fr/publis/LILAC/Others/2005_Longin_Noir-sur-Blanc.pdf
BibTeX