Follow
Dominique Longin
Dominique Longin
CNRS, IRIT (CNRS, INPT, UT3, UT1, UT2J), TMBI (Univ. Toulouse)
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
A logical formalization of the OCC theory of emotions
C Adam, A Herzig, D Longin
Synthese 168, 201-248, 2009
1622009
The face of emotions: a logical formalization of expressive speech acts
N Guiraud, D Longin, E Lorini, S Pesty, J Rivière
10th Internationale Conference on Autonomous Agents and Multiagent Systems …, 2011
722011
Lotrec: the generic tableau prover for modal and description logics
LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
712001
C&L Intention Revisited.
A Herzig, D Longin
KR 4, 527-535, 2004
682004
A logic for planning under partial observability
A Herzig, J Lang, D Longin, T Polacsek
AAAI/IAAI, 768-773, 2000
652000
LoTREC: Logical tableaux research engineering companion
O Gasquet, A Herzig, D Longin, M Sahade
Automated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005
642005
OCC’s emotions: a formalization in a BDI logic
C Adam, B Gaudou, A Herzig, D Longin
Artificial Intelligence: Methodology, Systems, and Applications: 12th …, 2006
552006
The logic of acceptance: grounding institutions on agents’ attitudes
E Lorini, D Longin, B Gaudou, A Herzig
Journal of Logic and Computation 19 (6), 901-940, 2009
522009
A logical framework for grounding-based dialogue analysis
B Gaudou, A Herzig, D Longin
Electronic Notes in Theoretical Computer Science 157 (4), 117-137, 2006
502006
A logic of intention with cooperation principles and with assertive speech acts as communication primitives
A Herzig, D Longin
Proceedings of the first international joint conference on Autonomous agents …, 2002
502002
A logical analysis of responsibility attribution: emotions, individuals and collectives
E Lorini, D Longin, E Mayor
Journal of Logic and Computation 24 (6), 1313-1339, 2014
442014
Belief dynamics in cooperative dialogues
A Herzig, D Longin
Journal of Semantics 17 (2), 91-115, 2000
432000
Prolegomena for a logic of trust and reputation
A Herzig, E Lorini, JF Hübner, J Ben-Naim, O Boissier, C Castelfranchi, ...
3rd International Workshop on Normative Multiagent Systems (NorMAS 2008 …, 2008
342008
Expressive multimodal conversational acts for saiba agents
J Rivière, C Adam, S Pesty, C Pelachaud, N Guiraud, D Longin, E Lorini
Intelligent Virtual Agents: 10th International Conference, IVA 2011 …, 2011
332011
Grounding and the Expression of Belief.
B Gaudou, A Herzig, D Longin
KR, 221-229, 2006
332006
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes.
B Gaudou, A Herzig, D Longin, M Nickles
ECAI, 245-249, 2006
322006
Peer interaction and problem solving: One example of a logical-discursive analysis of a process of joint decision making
A Trognon, C Sorsana, M Batt, D Longin
European Journal of developmental psychology 5 (5), 623-643, 2008
262008
Sensing and revision in a modal logic of belief and action
A Herzig¹, D Longin
ECAI 2002: 15th European Conference on Artificial Intelligence, July 21-26 …, 2002
252002
Anchoring institutions in agents' attitudes: Towards a logical framework for autonomous MAS
B Gaudou, D Longin, E Lorini, L Tummolini
7th International Joint Conference on Autonomous Agents and Multiagent …, 2008
232008
Belief reconstruction in cooperative dialogues
LF del Cerro, A Herzig, D Longin, O Rifi
Artificial Intelligence: Methodology, Systems, and Applications: 8th …, 1998
211998
The system can't perform the operation now. Try again later.
Articles 1–20