Dominique Longin

According to our database1, Dominique Longin authored at least 45 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
TouIST: a Friendly Language for Propositional Logic and More.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019
Better Emotion Modeling by Taking into Account Environment Factors and Human Profiles in Crisis Situations.
Proceedings of the 2019 IEEE-RIVF International Conference on Computing and Communication Technologies, 2019

Strategic Majoritarian Voting with Propositional Goals.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Compact Tree Encodings for Planning as QBF.
Inteligencia Artif., 2018

Modeling a Real-Case Situation of Egress Using BDI Agents with Emotions and Social Skills.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Goal-Based Collective Decisions: Axiomatics and Computational Complexity.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

From Individual Goals to Collective Decisions.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Emotional contagion model for group evacuation simulation.
Informatica (Slovenia), 2017

Relaxing Exclusive Control in Boolean Games.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Le système Sesame : Spécifier des sémantiques argumentatives.
Proceedings of the 3ème Conférence Nationale sur les Applications Pratiques de l'Intelligence Artificielle, 2017

2016
Emotion in the evacuation process: formal model and simulation.
Proceedings of the Seventh Symposium on Information and Communication Technology, 2016

SESAME - A System for Specifying Semantics in Abstract Argumentation.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

2015
Impact of group on the evacuation process: theory and simulation.
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

2014
La honte. Quand émotion et raisonnement sont liés.
Rev. d'Intelligence Artif., 2014

A logical analysis of responsibility attribution: emotions, individuals and collectives.
J. Log. Comput., 2014

Integration of Emotion in Evacuation Simulation.
Proceedings of the Information Systems for Crisis Response and Management in Mediterranean Countries, 2014

2011
Expressive Multimodal Conversational Acts for SAIBA Agents.
Proceedings of the Intelligent Virtual Agents - 11th International Conference, 2011

The face of emotions: a logical formalization of expressive speech acts.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2009
A logical formalization of the OCC theory of emotions.
Synth., 2009

The Logic of Acceptance: Grounding Institutions on Agents' Attitudes.
J. Log. Comput., 2009

A Logical Framework for Trust-Related Emotions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Anchoring the Institutional Dimension of Speech Acts in Agents' Attitudes: A Logical Approach.
Proceedings of the 2009 IEEE International Conference on Computing and Communication Technologies, 2009

Relation of Trust and Social Emotions: A Logical Approach.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Unifying the Intentional and Institutional Semantics of Speech Acts.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Logical formalization of social commitments: application to agent communication languages.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
Prolegomena for a Logic of Trust and Reputation.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

A Logical Account of Institutions: From Acceptances to Norms via Legislators.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
PLEIAD, un agent émotionnel pour évaluer la typologie OCC.
Rev. d'Intelligence Artif., 2007

Endowing Emotional Agents with Coping Strategies: From Emotions to Emotional Behaviour.
Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

2006
A Logical Framework for Grounding-based Dialogue Analysis.
Electron. Notes Theor. Comput. Sci., 2006

Grounding and the Expression of Belief.
Proceedings of the Proceedings, 2006

Modélisation logique d'agents rationnels pour l'intelligence ambiante.
Proceedings of the Systemes Multi-Agents, Articulation entre l'individuel et le collectif - JFSMA 2006, 2006

A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

OCC's Emotions: A Formalization in a BDI Logic.
Proceedings of the Artificial Intelligence: Methodology, 2006

2005
LoTREC: Logical Tableaux Research Engineering Companion.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004
C&L Intention Revisited.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003
On Modal Probability and Belief.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002
Sensing and revision in a modal logic of belief and action.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

A logic of intention with cooperation principles and with assertive speech acts as communication primitives.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Lotrec : The Generic Tableau Prover for Modal and Description Logics.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Belief Dynamics in Cooperative Dialogues.
J. Semant., 2000

A Logic for Planning under Partial Observability.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998
Belief Reconstruction in Cooperative Dialogues.
Proceedings of the Artificial Intelligence: Methodology, 1998


  Loading...