Filtrer vos résultats
- 42
- 20
- 29
- 28
- 3
- 2
- 61
- 1
- 2
- 2
- 1
- 7
- 4
- 4
- 4
- 4
- 8
- 15
- 7
- 1
- 1
- 2
- 61
- 1
- 62
- 10
- 8
- 6
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 13
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
62 résultats
|
|
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
|
||
|
|
True liesSynthese, 2018, 195 (10), pp.4581-4615. ⟨10.1007/s11229-017-1423-y⟩
Article dans une revue
hal-02387504v1
|
||
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
|
|||
|
|
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
|
|||
|
|
On the succinctness of some modal logicsArtif. Intell., 2013, 197, pp.56--85. ⟨10.1016/j.artint.2013.02.003⟩
Article dans une revue
hal-01273572v1
|
||
|
|
Sur l’assignation de buts comportementaux à des coalitions d’agentsApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès
hal-01863437v1
|
||
|
|
Evidence in Epistemic Logic : A Topological PerspectiveLogic in Computer Science [cs.LO]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0200⟩
Thèse
tel-01682932v1
|
||
|
|
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
|
|||
|
|
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
|
||
|
|
Algebraic Semantics of Refinement Modal LogicAdvances in Modal Logic, Aug 2016, Budapest, Hungary
Communication dans un congrès
hal-01301276v1
|
||
|
|
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
|
||
Second-order propositional announcement logic15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), May 2016, Singapore, Singapore. pp.635--643
Communication dans un congrès
hal-01492518v1
|
|||
|
|
Before announcement11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Communication dans un congrès
hal-01650180v1
|
||
On the relative succinctness of modal logics with union, intersection and quantificationInternational conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, 2014, Unknown, Unknown Region. pp.341--348
Communication dans un congrès
hal-01273561v1
|
|||
A public announcement separation logicMathematical Structures in Computer Science, 2019, 29 (06), pp.828-871. ⟨10.1017/S0960129518000348⟩
Article dans une revue
hal-02387377v1
|
|||
|
|
Local properties in modal logicArtificial Intelligence, 2012, 187, pp.133-155. ⟨10.1016/j.artint.2012.04.007⟩
Article dans une revue
hal-01266077v1
|
||
Semantics for Knowledge and Change of AwarenessJournal of Logic, Language and Information, 2014, 23 (2), pp.169--195. ⟨10.1007/s10849-014-9194-z⟩
Article dans une revue
hal-01273565v1
|
|||
Knowledge and GossipECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), 2014, Unknown, Unknown Region. pp.21--26, ⟨10.3233/978-1-61499-419-0-21⟩
Communication dans un congrès
hal-01273563v1
|
|||
The undecidability of group announcementsInternational conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, 2014, Unknown, Unknown Region. pp.893--900
Communication dans un congrès
hal-01273571v1
|
|||
Revocable Belief RevisionStudia Logica, 2013, 101 (6), pp.1185--1214. ⟨10.1007/s11225-013-9529-9⟩
Article dans une revue
istex
hal-01273574v1
|
|||
|
|
Forgetting in multi-agent modal logicsArtificial Intelligence, 2019, 266, pp.51-80. ⟨10.1016/j.artint.2018.08.003⟩
Article dans une revue
hal-02387393v1
|
||
|
|
The logic of GossipingArtificial Intelligence, 2020, 286, pp.103306. ⟨10.1016/j.artint.2020.103306⟩
Article dans une revue
hal-03014091v1
|