Publications de Hans VAN DITMARSCH
Armando Castañeda, Hans van Ditmarsch, David Rosenblueth, Diego Velázquez
Pattern Models: A Dynamic Epistemic Logic For Distributed Systems
The Computer Journal, 2024, 67 (7), pp.2421-2440. ⟨10.1093/comjnl/bxae016⟩
Raphaela Butz, Arjen Hommersom, Renée Schulz, Hans van Ditmarsch
Evaluating the Usefulness of Counterfactual Explanations from Bayesian Networks
Human-Centric Intelligent Systems, 2024, 4 (2), pp.286-298. ⟨10.1007/S44230-024-00066-2⟩
Hans van Ditmarsch, Sunil Simon
Boolean Observation Games
Journal of Artificial Intelligence Research, 2024, 79, pp.307-357. ⟨10.1613/JAIR.1.15248⟩
Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
Impure Simplicial Complexes: Complete Axiomatization
Logical Methods in Computer Science, 2023, 19 (4), ⟨10.46298/lmcs-19(4:3)2023⟩
Armando Castañeda, Hans van Ditmarsch, David Rosenblueth, Diego Velázquez
Communication Pattern Logic: Epistemic and Topological Views
Journal of Philosophical Logic, 2023, 52 (5), pp.1445-1473. ⟨10.1007/s10992-023-09713-8⟩
To be announced
Information and Computation, 2023, 292, pp.105026. ⟨10.1016/j.ic.2023.105026⟩
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts
Studia Logica, 2023, 111 (3), pp.453-499. ⟨10.1007/s11225-022-10032-3⟩
Hans van Ditmarsch, Didier Galmiche, Marta Gawek
An Epistemic Separation Logic with Action Models
Journal of Logic, Language and Information, 2023, 32, pp.89-116. ⟨10.1007/s10849-022-09372-z⟩
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
The Expressivity of Quantified Group Announcements
Journal of Logic and Computation, 2022, 33 (6), pp.1122-1151. ⟨10.1093/logcom/exac082⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements
ACM Transactions on Computational Logic, 2022, 23 (2, article 10), pp.1-38. ⟨10.1145/3481806⟩
Hans van Ditmarsch, Mo Liu, Louwe Kuijer, Igor Sedlar
Almost APAL
Journal of Logic and Computation, 2022, 33 (6), pp.1350-1378. ⟨10.1093/logcom/exac012⟩
Hans van Ditmarsch, Tim French
Quantifying over Boolean announcements
Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:20)2022⟩
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents
Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Philippe Balbiani, Hans van Ditmarsch
A simple proof of the completeness of APAL
Studies in Logic, 2015, 8, pp.65-78
Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Public announcements, public assignments and the complexity of their logic
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 22 N. 3, p. 249-273, 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl12.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
From Situation Calculus to Dynamic Logic
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 21 N. 2, p. 179-204, avril 2011.
Thomas Agotnes, Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Group Announcement Logic
Dans : Journal of Applied Logic, Elsevier, Vol. 8 N. 1, p. 62-81, 2010.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for public announcement logics
Dans : Journal of Logic and Computation, Oxford University Press, Numéro spécial Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, p. 55-76, 2010.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jlc09.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
Dans : Synthese, Springer, Vol. 169 N. 2, p. 405-423, juillet 2009.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_forget.html
BibTeXMike Atkinson, Hans Van Ditmarsch, Sigrid Roehling
Avoiding bias in cards cryptography
Dans : Australasian Journal of Combinatorics, Combinatorial Mathematics Society of Australasia, Vol. 44, p. 3-17, 2009.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi
Arbitrary announcement logic
Dans : Bulletin of Symbolic Logic, Association for Symbolic Logic (ASL), Vol. 14, p. 438-439, 2008.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
`Knowable’ as `known after an announcement’
Dans : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, p. 305-334, 2008.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
BibTeXHans Van Ditmarsch, Ji Ruan, Rineke Verbrugge
Sum and Product in Dynamic Epistemic Logic
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 18 N. 3, p. 563-588, décembre 2007.
Philippe Balbiani, Hans van Ditmarsch
Towards Dynamic Distributed Knowledge
15th Advances in Modal Logic (AiML 2024), Institute of Computer Science of the Czech Academy of Sciences; Institute of Philosophy of the Czech Academy of Sciences; Faculty of Arts of Charles University, Aug 2024, Prague, Czech Republic
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements
24th 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⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Hans Van Ditmarsch, Davide Grossi, Andreas Herzig, Wiebe van Der Hoek, Louwe B. Kuijer
Parameters for Epistemic Gossip Problems
LOFT 2016 – 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands
Philippe Balbiani, Hans Van Ditmarsch, Andrey Kudinov
Subset space logic with arbitrary announcements (regular paper)
Dans : Indian Conference on Logics and its Applications (ICLA 2013), Chennai (Inde), 01/01/13-31/12/13, Springer, p. 233-244, 2013.
Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
Listen to me! Public announcements to agents that pay attention – or not (regular paper)
Dans : International Workshop on Logic, Rationality and Interaction (LORI 2013), Hangzhou, 09/10/13-12/10/13, Davide Grossi, Olivier Roy, Huaxin Huang (Eds.), Springer-Verlag, LNCS 8196, p. 96-109, 2013.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Some truths are best left unsaid (regular paper)
Dans : Advances in Modal Logic (AiML 2012), Copenhagen, 22/08/12-25/08/12, Vol. 9, Thomas Bolander, Torben Braüner, Silvio Ghilardi, Larry Moss (Eds.), College Publications, p. 36-54, août 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Aiml12.html
BibTeXEmiliano Lorini, Tiago de Lima, Hans Van Ditmarsch
A Logical Model of Intention and Plan Dynamics (short paper)
Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, p. 1075-1076, 2010.
Emiliano Lorini, Mehdi Dastani, Hans Van Ditmarsch, Andreas Herzig, John-Jules Meyer
Intentions and assignments (regular paper)
Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, 08/10/09-11/10/09, Springer-Verlag, p. 198-211, 2009.
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Reasonning about permitted announcements
Dans : Logical Method for Social Concepts (LMSC’09), Bordeaux, 20/07/09-25/07/09, Andreas Herzig, Emiliano Lorini (Eds.).
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Raisonnements sur la permission de dire
Dans : Modèles Formels de l’Interaction, MFI’09, Lannion, 03/06/09-05/06/09, Nicolas Maudet, Pierre-Yves Schobbens, Marc Guyomard (Eds.).
Résumé Accès : http://www.info.fundp.ac.be/mfi09/wp-content/uploads/2009/04/BalbianiVanditmarschSeban.pdf
BibTeXThomas Agotnes, Hans Van Ditmarsch
Coalitions and announcements
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Portugal, 15/04/09, L Padgham, D Parkes, J Muller, S Parsons (Eds.), IFAAMAS, p. 673-680, 2008.
Hans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
Dans : Advances in Artificial Intelligence (AI 2008), Auckland, 01/12/08-05/12/08, Wayne R. Wobcke , Mengjie Zhang (Eds.), Springer, LNAI 5360, p. 18-29, 2008.
Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Raisonnement sur les actions : de Toronto à Amstermdam
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Jérôme Lang, Yves Lespérance, David Sadek, Nicolas Maudet (Eds.), Université Paris Dauphine, Annales du Lamsade 8, p. 127-138, 2007.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements? A dynamic take on Fitch’s knowability
Dans : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, p. 42-51, juin 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
A tableau method for public announcement logics
Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Vol. 4548, Nicola Olivetti (Eds.), Springer-Verlag, LNAI, p. 43-59, 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tableaux07.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions
Dans : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/07-26/07/07, Robert C. Holte, Adele Howe (Eds.), AAAI Press, p. 1-6, 2007.
Hans Van Ditmarsch, Tiago de Lima, Emiliano Lorini
Intention change via local assignments
Dans : Postproceedings of the third international workshop on languages, methodologies and development tools for multi-agent systems (LADS 2010). M. Dastani, A. E. F. Seghrouchni, J. F. Hubner, J. Leite (Eds.) , Springer-Verlag, p. 136-151, Vol. 6822, LNCS, 2011.
Accès : http://www.springerlink.com/content/k365153j84804857/fulltext.pdf
BibTeXHans Van Ditmarsch, Jan Van Eijck, Rineke Verbrugge
Common Knowledge and Common Belief
Dans : Discourses on Games, Action, and Social Software. Jan van Eijck, Rineke Verbrugge (Eds.) , Amsterdam University Press, p. 99-122, Vol. 5, Texts in Logic and Games, 2009.
Hans Van Ditmarsch, Tim French
Simulation and information
Dans : Proceedings of KRAMAS. Jan Broersen, John-Jules Ch Meyer (Eds.) , Springer, p. 51-65, Vol. 5606, LNAI, 2009.
Hans Van Ditmarsch, Barteld Kooi
Semantic Results for Ontic and Epistemic Change
Dans : Logic and the Foundations of Game and Decision Theory (LOFT 7). G Bonanno, W van der Hoek, M Wooldridge (Eds.) , Amsterdam University Press, p. 87-117, Texts in Logic and Games, 2008.
Tim French, Hans Van Ditmarsch
Undecidability for Arbitrary Public Announcement Logic
Dans : Proceedings of the seventh conference ‘Advances in Modal Logic’. Carlos Areces, Rob Goldblatt (Eds.) , College Publications, p. 23-42, Advances in Modal Logic, 7, 2008.
Alexandru Baltag, Hans Van Ditmarsch, Larry Moss
Epistemic Logic and Information Update
Dans : Handbook on the Philosophy of Information. Pieter Adriaans, Johan van Benthem (Eds.) , Elsevier Science, p. 369-463, 2008.
Comments on ‘The Logic of Conditional Doxastic Actions’
Dans : New perspectives on games and interaction. Krysztof Apt, Robert van Rooij (Eds.) , Amsterdam University Press, p. 33-44, Vol. 4, Texts in Logic and Games, décembre 2008.
Logical fragments in Ibn Khaldun’s Muqaddimah
Dans : The Unity of Science in the Arabic Tradition. Shahid Rahman, Hassan Tahiri, Tony Street (Eds.) , Springer-Verlag, p. 281-294, Logic, Epistemology and the Unity of Science, juin 2008.
All I know
Habilitation à diriger des recherches, Université Paul Sabatier, octobre 2010.
Philippe Balbiani, Hans Van Ditmarsch, Jan Van Eijck
Logic and Information Security
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 19, 2009.
Hans Van Ditmarsch, Mara Manzano
Special Issue ‘Tools for Teaching Logic’
Dans : Logic Journal of the IGPL, Oxford University Press, Vol. 15 N. 4, 2007.
Hans Van Ditmarsch, Andreas Herzig
Belief revision and dynamic logic
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 17 N. 2, août 2007.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl07.html
BibTeX