Dominique Longin
Dominique Longin
CNRS Researcher (CR1), IRIT (CNRS, INPT, UT3, UT1, UT2J), TMBI (Univ. Toulouse)
Verified email at irit.fr - Homepage
TitleCited byYear
A logical formalization of the OCC theory of emotions
C Adam, A Herzig, D Longin
Synthese 168 (2), 201-248, 2009
1282009
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
562000
C&L Intention Revisited.
A Herzig, D Longin
KR, 527-535, 2004
552004
LoTREC: Logical tableaux research engineering companion
O Gasquet, A Herzig, D Longin, M Sahade
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
522005
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
462006
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
462002
The face of emotions: a logical formalization of expressive speech acts
N Guiraud, D Longin, E Lorini, S Pesty, J Rivière
The 10th International Conference on Autonomous Agents and Multiagent …, 2011
452011
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
432009
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
432006
Belief dynamics in cooperative dialogues
A Herzig, D Longin
Journal of Semantics 17 (2), 91-115, 2000
372000
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, C Castelfranchi, ...
NorMAS 8, 143-157, 2008
292008
Grounding and the Expression of Belief.
B Gaudou, A Herzig, D Longin
KR, 221-229, 2006
282006
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
282006
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
252014
Sensing and revision in a modal logic of belief and action.
A Herzig, D Longin
ECAI, 307-311, 2002
242002
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
222008
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
202008
Belief reconstruction in cooperative dialogues
LF del Cerro, A Herzig, D Longin, O Rifi
International Conference on Artificial Intelligence: Methodology, Systems …, 1998
171998
The system can't perform the operation now. Try again later.
Articles 1–20