Dominique Longin
Dominique Longin
CNRS, IRIT (CNRS, INPT, UT3, UT1, UT2J), TMBI (Univ. Toulouse)
Adresse e-mail validée de irit.fr - Page d'accueil
Titre
Citée par
Citée par
Année
A logical formalization of the OCC theory of emotions
C Adam, A Herzig, D Longin
Synthese 168 (2), 201-248, 2009
1392009
Lotrec: the generic tableau prover for modal and description logics
LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci
International Joint Conference on Automated Reasoning, 453-458, 2001
652001
A logic for planning under partial observability
A Herzig, J Lang, D Longin, T Polacsek
AAAI/IAAI, 768-773, 2000
612000
The face of emotions: a logical formalization of expressive speech acts.
N Guiraud, D Longin, E Lorini, S Pesty, J Rivière
AAMAS, 1031-1038, 2011
602011
C&L Intention Revisited.
A Herzig, D Longin
KR 4, 527-535, 2004
592004
LoTREC: Logical tableaux research engineering companion
O Gasquet, A Herzig, D Longin, M Sahade
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
542005
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
492006
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
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
472009
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
442006
Belief dynamics in cooperative dialogues
A Herzig, D Longin
Journal of Semantics 17 (2), 91-115, 2000
382000
Expressive multimodal conversational acts for SAIBA agents
J Riviere, C Adam, S Pesty, C Pelachaud, N Guiraud, D Longin, E Lorini
International Workshop on Intelligent Virtual Agents, 316-323, 2011
322011
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
312008
Grounding and the Expression of Belief.
B Gaudou, A Herzig, D Longin
KR, 221-229, 2006
302006
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
292006
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
282014
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
232008
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
182009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20