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 (2), 201-248, 2009
1532009
Lotrec: the generic tableau prover for modal and description logics
LF Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci
International Joint Conference on Automated Reasoning, 453-458, 2001
712001
The face of emotions: a logical formalization of expressive speech acts
N Guiraud, D Longin, E Lorini, J Rivière, S Pesty
Proc. of 10th int. conf. on autonomous agents and multiagent systems (AAMAS …, 2011
682011
C&L Intention Revisited.
A Herzig, D Longin
KR 4, 527-535, 2004
642004
A logic for planning under partial observability
A Herzig, J Lang, D Longin, T Polacsek
AAAI/IAAI, 768-773, 2000
622000
LoTREC: Logical tableaux research engineering companion
O Gasquet, A Herzig, D Longin, M Sahade
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
562005
OCC’s emotions: a formalization in a BDI logic
C Adam, B Gaudou, A Herzig, D Longin
International Conference on Artificial Intelligence: Methodology, Systems …, 2006
532006
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
492009
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
492002
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
462006
Belief dynamics in cooperative dialogues
A Herzig, D Longin
Journal of Semantics 17 (2), 91-115, 2000
402000
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
362014
Expressive multimodal conversational acts for saiba agents
J Rivière, C Adam, S Pesty, C Pelachaud, N Guiraud, D Longin, E Lorini
International Workshop on Intelligent Virtual Agents, 316-323, 2011
332011
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
332008
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
312006
Grounding and the Expression of Belief.
B Gaudou, A Herzig, D Longin
KR, 221-229, 2006
312006
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
242008
Sensing and revision in a modal logic of belief and action.
A Herzig, D Longin
ECAI, 307-311, 2002
232002
Anchoring institutions in agents' attitudes: Towards a logical framework for autonomous multi-agent systems
B Gaudou, D Longin, E Lorini, L Tummolini
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
222008
Third International Workshop on Formal Methods for Interactive Systems (FMIS 2009)
JF Bonnefon, D Longin, MH Nguyen
Electronic Communications of the EASST 10, 2009
192009
The system can't perform the operation now. Try again later.
Articles 1–20