Filtrer vos résultats
- 68
- 22
- 45
- 40
- 2
- 1
- 1
- 1
- 1
- 88
- 1
- 1
- 6
- 4
- 1
- 7
- 4
- 3
- 1
- 4
- 7
- 14
- 10
- 6
- 2
- 6
- 6
- 4
- 5
- 88
- 2
- 61
- 40
- 8
- 7
- 6
- 6
- 5
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 90
- 19
- 17
- 13
- 10
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
90 résultats
Reasonning about permitted announcements (LMSC 2009)Workshop "Logical Method for Social Concepts" (LMSC 2009) @ ESSLLI 2009, Jul 2009, Bordeaux, France
Communication dans un congrès
hal-03997684v1
|
|||
|
|
A geometric protocol for cryptography with cardsDesigns, Codes and Cryptography, 2015, 74 (1), pp.113--125. ⟨10.1007/s10623-013-9855-y⟩
Article dans une revue
hal-01273551v1
|
||
Partial Information and Uniform StrategiesComputational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.183--198, ⟨10.1007/978-3-319-09764-0_12⟩
Communication dans un congrès
hal-01273570v1
|
|||
Neighborhood Contingency LogicLogic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, 2015, Unknown, Unknown Region. pp.88--99, ⟨10.1007/978-3-662-45824-2_6⟩
Communication dans un congrès
hal-01273556v1
|
|||
|
|
Almost APALJournal of Logic and Computation, 2022, 33 (6), pp.1350-1378. ⟨10.1093/logcom/exac012⟩
Article dans une revue
hal-04238177v1
|
||
|
|
Impure Simplicial Complexes: Complete AxiomatizationLogical Methods in Computer Science, 2023, 19 (4), ⟨10.46298/lmcs-19(4:3)2023⟩
Article dans une revue
hal-04248222v1
|
||
|
|
What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowabilityTheoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Bruxelles, Belgium. pp.42-51, ⟨10.1145/1324249.1324259⟩
Communication dans un congrès
hal-03516650v1
|
||
|
|
Connecting dynamic epistemic and temporal epistemic logicsLogic Journal of the IGPL, 2013, 21 (3), pp.380--403. ⟨10.1093/jigpal/jzr038⟩
Article dans une revue
hal-01273575v1
|
||
|
|
From Public Announcements to Asynchronous Announcements24th European Conference on Artificial Intelligence (ECAI 2020), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA); Intelligent Systems Group (GSI) and the Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.75 - 82, ⟨10.3233/FAIA200078⟩
Communication dans un congrès
hal-02936439v1
|
||
Logic in Action2015
Ouvrages
hal-01261490v1
|
|||
On the Logic of LyingInternational Workshop on Games, action and social software, Oct 2010, Leiden, Netherlands
Communication dans un congrès
inria-00535884v1
|
|||
|
|
Logic of change, change of logicSynthese, 2009, Vol.171,n°2, pp.227-234. ⟨10.1007/s11229-009-9648-z⟩
Article dans une revue
hal-00463438v1
|
||
|
|
Bilattice logic of epistemic actions and knowledgeAnnals of Pure and Applied Logic, 2020, 171 (6), pp.102790. ⟨10.1016/j.apal.2020.102790⟩
Article dans une revue
hal-03014096v1
|
||
|
|
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⟩
Communication dans un congrès
hal-01187760v1
|
||
|
|
Quantifying over Asynchronous Information ChangeInternational Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Communication dans un congrès
hal-02936428v1
|
||
Logic and Information Security: Special issue of the Journal of Applied Non-Classical Logics 19-2009Journal of Applied Non-Classical Logics, 19 (4), 2009, ⟨10.1080/11663081.2009.9736630⟩
N°spécial de revue/special issue
hal-04000440v1
|
|||
|
|
True liesSynthese, 2018, 195 (10), pp.4581-4615. ⟨10.1007/s11229-017-1423-y⟩
Article dans une revue
hal-02387504v1
|
||
|
|
Subset space logic with arbitrary announcements5th Indian Conference on Logics and its Applications (ICLA 2013), Jan 2013, Chennai, India. pp.233-244, ⟨10.1007/978-3-642-36039-8_21⟩
Communication dans un congrès
hal-01202518v1
|
||
On the definability of simulation and bisimulation in epistemic logicJ. Log. Comput., 2014, 24 (6), pp.1209--1227. ⟨10.1093/logcom/exs058⟩
Article dans une revue
hal-01273566v1
|
|||
|
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Article dans une revue
hal-01585237v1
|
||
|
|
Communication Pattern Logic: Epistemic and Topological ViewsJournal of Philosophical Logic, 2023, 52 (5), pp.1445-1473. ⟨10.1007/s10992-023-09713-8⟩
Article dans une revue
hal-04238181v1
|
||
Tableaux for public announcement logicsJournal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩
Article dans une revue
istex
hal-03470301v1
|
|||
|
|
Introspective Forgetting21st Australasian Joint Conference on Artificial Intelligence (AI 2008), Dec 2008, Auckland, New Zealand. pp.18-29, ⟨10.1007/978-3-540-89378-3_2⟩
Communication dans un congrès
hal-00800753v1
|
||
|
|
Algebraic Semantics of Refinement Modal LogicAdvances in Modal Logic, Aug 2016, Budapest, Hungary
Communication dans un congrès
hal-01301276v1
|
||
A separation logic with histories of epistemic actions as resources29th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2023), Jul 2023, Halifax NS, Canada. pp.161-177, ⟨10.1007/978-3-031-39784-4_10⟩
Communication dans un congrès
hal-04404180v1
|
|||
|
|
A colouring protocol for the generalized Russian cards problemTheoretical Computer Science, 2013, 495, pp.81--95. ⟨10.1016/j.tcs.2013.05.010⟩
Article dans une revue
hal-01273573v1
|
||
A Framework for Epistemic Gossip ProtocolsMulti-Agent Systems - 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. pp.193--209, ⟨10.1007/978-3-319-17130-2_13⟩
Communication dans un congrès
hal-01273558v1
|
|||
An Epistemic Separation LogicWoLLIC 2015 - 22nd Int. Workshop on Logic, Language, Information, and ComputationWoLLIC 2015, 2015, Bloomington, IN, United States. pp.156-173, ⟨10.1007/978-3-662-47709-0_12⟩
Communication dans un congrès
hal-01259768v1
|
|||
|
|
An Epistemic Separation Logic with Action ModelsJournal of Logic, Language and Information, 2023, 32, pp.89-116. ⟨10.1007/s10849-022-09372-z⟩
Article dans une revue
hal-04237922v1
|
||
|
|
Quantifying over Boolean announcementsLogical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:20)2022⟩
Article dans une revue
hal-04244758v1
|