|
|
|
---|---|---|
hal-01592020v1
Conference papers
A poor man's epistemic logic based on propositional assignment and higher-order observation 5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168 |
||
hal-01130395v1
Journal articles
On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes Journal of Philosophical Logic, Springer Verlag, 2013, vol. 42 (n° 6), pp. 863-904. ⟨10.1007/s10992-013-9297-z⟩ |
||
hal-01585237v1
Journal articles
Announcements to Attentive Agents Journal of Logic, Language and Information, Springer Verlag, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩ |
||
hal-01231761v1
Conference papers
Moral Guilt : An Agent-Based Model Analysis 9th Conference of the European Social Simulation Association (ESSA 2013), Sep 2013, Warsaw, Poland. pp. 95-106 |
||
hal-01123762v1
Journal articles
The Effects of Social Ties on Coordination: Conceptual Foundations for an Empirical Analysis Phenomenology and the Cognitive Sciences, Springer Verlag, 2014, vol. 13 (n° 1), pp. 47-73. ⟨10.1007/s11097-013-9320-4⟩ |
||
hal-01130572v1
Journal articles
Temporal STIT logic and its application to normative reasoning Journal of Applied Non-Classical Logics, Editions Hermes, 2013, vol. 23 (n° 4), pp. 372-399. ⟨10.1080/11663081.2013.841359⟩ |
||
hal-01226475v1
Conference papers
Reasoning about actions meets strategic logics 4th International Workshop on Logic, Rationality and Interaction (LORI 2013), Oct 2013, Hangzhou, China. pp. 162-175 |
||
inria-00556156v1
Conference papers
Dynamic context logic LORI - Logic, Rationality, and Interaction, Second International Workshop - 2009, 2009, Chongqing, China |
||
hal-02316858v1
Conference papers
Goal-Based Collective Decisions: Axiomatics and Computational Complexity 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. pp.468-474 |
||
hal-02319703v1
Conference papers
Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.15-33 |
||
hal-02319717v1
Conference papers
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.5000-5004 |
||
hal-02319739v1
Conference papers
Reasoning about Belief, Evidence and Trust in a Multi-Agent Setting 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.71-89 |
||
hal-02348231v1
Conference papers
From Individual Goals to Collective Decisions 17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Jul 2018, Stockholm, Sweden. pp.2028-2030 |
||
hal-02382734v1
Conference papers
Concurrent Game Structures for Temporal STIT Logic 17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Jul 2018, Stockholm, Sweden. pp.381-389 |
||
hal-02382731v1
Conference papers
Reasoning about conditions in STIT logic 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), Jul 2018, Utrecht, Netherlands. pp.15-32 |
||
hal-02361220v1
Conference papers
Exploring the Bidimensional Space: a Dynamic Logic Point of View 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017, Sao Paulo, Brazil. pp.132-140 |
||
hal-00866707v1
Conference papers
A computationally grounded dynamic logic of agency, with application to legal actions Deontic Logic in Computer Science - 11h International Conference (DEON'12), 2012, Bergen, Norway. pp.170-183 |
||
hal-00871830v1
Conference papers
Intention change via local assignments Third international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS'010), 2011, Lyon, France. pp.136-151 |
||
hal-01919061v1
Conference papers
Relaxing Exclusive Control in Boolean Games 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56 |
||
hal-01144907v1
Conference papers
Trust-based belief change European Conference on Artificial Intelligence - ECAI 2014, Aug 2014, Prague, Czech Republic. pp. 549-554 |
||
hal-01212923v1
Conference papers
Bipolar Possibility Theory as a Basis for a Logic of Desire and Beliefs 7th International Conference on Scalable Uncertainty Management (SUM 2013), Sep 2013, Washington, DC, United States. pp. 204-218 |
||
hal-02378366v1
Journal articles
Comparing semantics for temporal STIT logic Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2018, 61 (243), pp.299-339 |
||
hal-01187760v1
Conference papers
Listen to me! Public announcements to agents that pay attention - or not 4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp. 96-109 |
||
hal-01530163v1
Conference papers
Epistemic boolean games based on a logic of visibility and control 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp. 1116-1122 |
||
hal-01436167v1
Conference papers
A Possibility Theory-based Approach to Desire Change International Workshop on Defeasible and Ampliative Reasoning (DARe 2016) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1-9 |
||
hal-01809282v1
Conference papers
A Logical Theory of Belief Dynamics for Resource-Bounded Agents 15th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), May 2016, Singapore, Singapore. pp. 644-652 |
||
hal-01809286v1
Conference papers
Reasons to believe in a social environment 13th International Conference on Deontic Logic in Computer Science (DEON 2016), Jul 2016, Bayreuth, Germany. pp. 155-170 |
||
hal-01809280v1
Journal articles
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces Synthese, Springer Verlag (Germany), 2016, vol. 193 (n° 7), pp. 2097-2127. ⟨10.1007/s11229-015-0834-x⟩ |
||
hal-01625886v1
Journal articles
Relaxing Exclusive Control in Boolean Games Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017, 251, pp.43--56. ⟨10.4204/EPTCS.251.4⟩ ![]() |
||
hal-01153715v1
Journal articles
Grounding power on actions and mental attitudes Logic Journal of the IGPL, Oxford University Press (OUP), 2013, Vol. 21 (n° 3), pp. 311-331. ⟨10.1093/jigpal/jzr039⟩ |
||
|
|