Filter your results
- 139
- 62
- 1
- 121
- 44
- 22
- 7
- 4
- 1
- 1
- 1
- 1
- 1
- 200
- 4
- 1
- 21
- 13
- 10
- 8
- 10
- 13
- 14
- 12
- 10
- 14
- 15
- 8
- 18
- 14
- 18
- 17
- 4
- 3
- 1
- 190
- 12
- 202
- 11
- 9
- 9
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 202
- 63
- 33
- 15
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
A minimal logic for interactive epistemologySynthese, 2016, Logic and the Foundations of Game and Decision Theory (LOFT 2014), 193 (3), pp.725--755. ⟨10.1007/s11229-015-0960-5⟩
Journal articles
hal-03172237v1
|
|||
|
Manipulation in Majoritarian Goal-based Voting13èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2019), Plate-Forme Intelligence Artificielle (PFIA 2019), Jul 2019, TOULOUSE, France
Conference papers
hal-02926121v1
|
||
|
Social connectedness improves co-ordination on individually costly, efficient outcomesEuropean Economic Review, 2016, 90 (90 - 2016), pp.86 - 106. ⟨10.1016/j.euroecorev.2016.02.006⟩
Journal articles
hal-01725156v1
|
||
|
Exploiting Belief Bases for Building Rich Epistemic StructuresSeventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), Jul 2019, Toulouse, France
Conference papers
hal-02414909v1
|
||
|
Exploring the Bidimensional Space: a Dynamic Logic Point of View16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. pp.132-140
Conference papers
hal-02361220v1
|
||
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Journal articles
hal-01585237v1
|
||
|
Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public EventsXXVII Annual Conference of the Cognitive Science Society 2005, Cognitive Science Society, Jul 2005, Stresa, Italy. pp.1325-1330
Conference papers
hal-03519770v1
|
||
|
An Epistemic Logic of Extensive Games[Research Report] IRIT/RT–2011-4–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2011, pp.1-32
Reports
hal-03671080v1
|
||
|
Computer-Mediated Trust in Self-interested Expert RecommendationsStephen J. Cowley; Frédéric Vallée-Tourangeau. Cognition Beyond the Brain: Computation, Interactivity and Human Artifice, Springer, pp.233-250, 2017, 978-3-319-49115-8. ⟨10.1007/978-3-319-49115-8_12⟩
Book sections
hal-03092766v1
|
||
|
A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling3rd Workshop on Logic, Rationality and Interaction (LORI-III 2011), Oct 2011, Guangzhou, P.R., China. pp.165-178
Conference papers
hal-03671081v1
|
||
From self-regarding to other-regarding agents in strategic games: a logical analysisJournal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.443-476. ⟨10.3166/jancl.21.443-475⟩
Journal articles
hal-03671084v1
|
|||
|
A dynamic logic of institutional actions12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2011), Jul 2011, Barcelona, Spain. pp.295-311, ⟨10.1007/978-3-642-22359-4_21⟩
Conference papers
hal-03470289v1
|
||
|
Tableaux for Acceptance Logic7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩
Conference papers
hal-03470302v1
|
||
A logic of trust and reputationLogic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩
Journal articles
istex
hal-03470303v1
|
|||
A dynamic logic of agency I: STIT, abilities and powersJournal of Logic, Language and Information, 2010, 19 (Article number: 89), pp.89-121. ⟨10.1007/s10849-009-9105-x⟩
Journal articles
istex
hal-03470305v1
|
|||
|
The ethics of controllability as influenceability34th International Conference on Legal Knowledge and Information Systems (JURIX 2021), Mykolas Romeris University (MRU), Dec 2021, Vilnius, Lithuania. pp.245-254, ⟨10.3233/FAIA210344⟩
Conference papers
hal-03873211v1
|
||
|
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haifa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩
Conference papers
hal-03873252v1
|
||
|
Intentional agents in defenseMike Barley; Haralambos Mouratidis; Amy Unruh; Diana Spears; Paul Scerri; Fabio Massacci. Safety and Security in Multiagent Systems: Research Results from 2004-2006, 4324, Springer-Verlag, pp.293-307, 2009, Lecture Notes in Computer Science book series (LNCS), 978-3-642-04878-4. ⟨10.1007/978-3-642-04879-1_20⟩
Book sections
hal-03672512v1
|
||
|
On the logical foundations of moral agency11th International Conference on Deontic Logic in Computer Science (DEON 2012), Jul 2012, Bergen, Norway. pp.108-122, ⟨10.1007/978-3-642-31570-1_8⟩
Conference papers
hal-03671073v1
|
||
|
Ceteris Paribus Structure in Logics of Game Forms (2013)Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11
Conference papers
hal-01141938v2
|
||
|
Reasoning about actions meets strategic logics (LORI 2013)4th International Workshop on Logic, Rationality and Interaction (LORI 2013), Oct 2013, Hangzhou, China. pp.162-175, ⟨10.1007/978-3-642-40948-6_13⟩
Conference papers
hal-01226475v1
|
||
|
From Signed Information to Belief in Multi-Agent Systems3rd International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS 2010), Aug 2010, Lyon, France
Conference papers
hal-03672509v1
|
||
|
Dynamic context logic and its application to norm changeDagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271
Conference papers
hal-03526732v1
|
||
|
Comparing semantics for temporal STIT logicLogique et Analyse, 2018, 61 (243), pp.299-339
Journal articles
hal-02378366v1
|
||
|
A Ceteris Paribus Deontic Logic35th Italian Conference on Computational Logic (CILC 2020), Sep 2020, Rende, Italy. pp.248-262
Conference papers
hal-03008592v1
|
||
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩
Conference papers
hal-01187760v1
|
||
|
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haïfa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩
Conference papers
hal-04047571v1
|
||
|
In Praise of Belief Bases: Doing Epistemic Logic without Possible Worlds32nd AAAI Conference on Artificial Intelligence (AAAI 2018), Feb 2018, New Orleans, United States. pp.1915-1922, ⟨10.1609/aaai.v32i1.11560⟩
Conference papers
hal-03619913v1
|
||
Action theoriesHansson, Sven Ove; Hendricks, Vincent F. Handbook of Formal Philosophy, 33, Springer, pp.591--607, 2018, Springer Undergraduate Texts in Philosophy book series (SUTP), 978-3-319-77433-6
Book sections
hal-03033977v1
|
|||
|
Comparing Semantics for Temporal STIT Logic7th Workshop on Logical Aspects of Multi-Agent Systems @ AAMAS 2014 (LAMAS 2014), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2014, Paris, France. pp.885-892
Conference papers
hal-03224141v1
|