Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Hans Pieter Van Ditmarsch


Nota: Investigador de Reconocida Valía en Proyecto de Excelencia.

Hans Pieter Van Ditmarsch
Telefono: 954556465
Email: Solicitar correo

Responsable de los siguientes proyectos/ayudas en la US:

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • Conciencia, Lógica y Computación (FFI2011-29609-C02-01 - Investigador)
    • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Otro Investigador)
    • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844 - Investigador)

  • Ayudas:
    • Incentivo al Grupo de Investigación HUM-609 (2011/HUM-609 - Investigador)
    • Incentivo al Grupo de Investigación HUM-609 (2010/HUM-609 - Investigador)
    • Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E - Otro Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2009/HUM-609 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Van Ditmarsch, Hans, Van der Hoek, W., Kooi, B.p:
Dynamic Epistemic Logic. Unk. (Eds.) Springer-Verlag. 2007

Otra participación en Libros
Van Ditmarsch, Hans (Editor/a), Salguero Lamillar, Francisco Jose (Editor/a), Soler Toscano, Fernando (Editor/a):
Liber Amicorum Ángel Nepomuceno. Homenaje en su Sexagésimo Cumpleaños. Sevilla (ESPAÑA). Fénix Editora. 2010

Capítulos en Libros
Van Ditmarsch, Hans, Soler Toscano, Fernando:
Three Steps. Pag. 41-57. En: Computational Logic in Multi-Agent Systems. 2011

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Interpreted Systems. Pag. 117-124. En: International Symposium on Distributed Computing and Artificial Intelligence. 2011. ISBN 978-3-642-22358-7

Van Ditmarsch, Hans:
An Example of Voting With Uncertain Preferences. Pag. 41-48. En: Liber Amicorum Ángel Nepomuceno. Santander (ESPAÑA). Fenix Editora. 2010. ISBN 978-84-614-5116-6

Van Ditmarsch, Hans:
5 Questions. Pag. 73-82. En: Epistemic Logic - 5 Questions. New York. Automatic Press. 2010. ISBN 879-21-30-240

Van Ditmarsch, Hans, Van Eijck, Jan, Verbrugge, Rineke:
Common Knowledge and Common Belief. Pag. 99-122. En: Texts in Logic and Games. Unk. Amsterdam University Press. 2009

Baltag, A., Van Ditmarsch, Hans, Moss, L.s:
Epistemic Logic and Information Update. Pag. 361-456. En: Handbook on the Philosophy of Information. Unk. Elsevier Science Publishers. 2008

Van Ditmarsch, Hans, Herzig, A., Lang, J., Marquis, P.:
Introspective Forgetting. Pag. 18-29. En: Advances in Artificial Intelligence. Unk. Springer. 2008

Van Ditmarsch, Hans:
Logical Fragments in IBN Khaldun's Muqaddimah. Pag. 281-294. En: Logic, Epistemology, and the Unity of Science. Unk. Springer. 2008

Van Ditmarsch, Hans:
Comments to 'logics of Public Communications'. Pag. 181-187. En: Synthese (Knowledge, Rationality & Action) 158(2). Unk. Unk. 2007

Publicaciones en Revistas
Van Ditmarsch, Hans, French, Tim, Velázquez Quesada, Fernando Raymundo, Wang, Yi:
Implicit, explicit and speculative knowledge. En: Artificial Intelligence. 2018. Vol. 256. Núm. 1. Pag. 35-67. http://dx.doi.org/10.1016/j.artint.2017.11.004

Bolander, Thomas, Van Ditmarsch, Hans, Herzig, Andreas, Lorini, Emiliano, Pardo Ventura, Pere, et. al.:
Announcements to Attentive Agents. En: Journal of Logic, Language and Information. 2015. Pag. 1-35. 10.1007/s10849-015-9234-3

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A geometric protocol for cryptography with cards. En: Designs, Codes, and Cryptography. 2015. Vol. 74. Núm. 1. Pag. 113-125. 10.1007/s10623-013-9855-y

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A colouring protocol for the generalized Russian cards problem. En: Theoretical Computer Science. 2013. Vol. 495. Pag. 81-95. 10.1016/j.tcs.2013.05.010

Cordon Franco, Andres, Van Ditmarsch, Hans, Nepomuceno Fernandez, Angel:
Dynamic consequence and public announcement. En: The Review of Symbolic Logic. 2013. Vol. 6. Núm. 4. Pag. 659-679. : http://0-dx.doi.org.fama.us.es/10.1017/S1755020313000294

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, Soler Toscano, Fernando:
A secure additive protocol for card players. En: Australasian Journal of Combinatorics. 2012. Vol. 54. Pag. 163-175

Van Ditmarsch, Hans, Jan, Van Eijck, Hernández Antón, Ignacio, Sietsma, Floor, Simon, Sunil, et. al.:
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. En: Advances in Soft Computing. 2012. Vol. 156. Pag. 155-162. 10.1007/978-3-642-28762-6_19

Hernández Antón, Ignacio, Soler Toscano, Fernando, Van Ditmarsch, Hans:
Unconditionally Secure Protocols with Genetic Algorithms. En: Advances in Soft Computing. 2012. Vol. 156. Pag. 121-128. 10.1007/978-3-642-28762-6_15

Ojeda Aciego, Manuel, Van Ditmarsch, Hans, Fernandez Duque, David, Goranko, Valentin, Jamroga, Wojtek:
Editorial: Preface to the special issue on Methods for Modalities. En: Electronic Notes in Theoretical Computer Science. 2011. Vol. 278. Pag. 1-2. http://dx.doi.org/10.1016/j.entcs.2011.10.001

Van Ditmarsch, Hans, Herzig, A., De Lima, T.:
From Situation Calculus to Dynamic Epistemic Logic. En: Journal of Logic and Computation. 2010. Pag. 1-26

Van Ditmarsch, Hans:
Review of: Joe Salerno (Editor), New Essays on the Knowability Paradox. En: Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia. 2010. Vol. 73. Núm. 3. Pag. 270-273

Van Ditmarsch, Hans, French, Tim, Pinchinat, Sophie:
Future Event Logic - Axioms and Complexity. En: Advances in Modal Logic. 2010. Pag. 77-99

Van Ditmarsch, Hans, Agotnes, Thomas, Balbiani, P., Seban, Pablo:
Group Announcement Logic. En: Journal of Applied Logic. 2010. Núm. 8. Pag. 62-81

Balbiani, P., Van Ditmarsch, Hans, Herzig, A., De Lima, T.:
Tableaux for Public Announcement Logic. En: Journal of Logic and Computation. 2009. Pag. 1-25

Van Ditmarsch, Hans:
Editorial: Special Issue Logic and Information Security - Editorial. En: Journal of Applied Non-Classical Logics. 2009. Pag. 1-2

Van Ditmarsch, Hans, Hill, Brian, Majer, Ondrej:
Editorial: Logic of Change, Change of Logic. En: Synthese. 2009. Pag. 227-234

Van Ditmarsch, Hans, Moss, Lawrence S.:
Editorial: Special Issue on the Occasion of Johan Van Benthem's 60th Birthday. En: Journal of Philosophical Logic. 2009. Pag. 587-588

Agotnes, Thomas, Balbiani, P., Van Ditmarsch, Hans, Seban, Pablo:
Group Announcement Logic. En: Journal of Applied Logic. 2009. Pag. 1-30

Atkinson, Mike, Van Ditmarsch, Hans, Roehling, Sigrid:
Avoiding Bias in Cards Cryptography. En: Australasian Journal of Combinatorics. 2009. Pag. 3-17

Balbiani, P., Baltag, A., Van Ditmarsch, Hans, Herzig, A., Hoshi, T., et. al.:
'knowable' As 'known After an Announcement'. En: Review of Symbolic Logic. 2008. Pag. 305-334

Van Ditmarsch, Hans:
Comments on 'the Logic of Conditional Doxastic Actions'. En: Texts in Logic and Games. 2008. Pag. 33-34

Van Ditmarsch, Hans, Albert, M.h, Aldred, R.E.L, Atkinson, M.D., Handley, C.c, et. al.:
Compositions of Pattern Restricted Sets of Permutations. En: Australasian Journal of Combinatorics 37. 2007. Pag. 43-56

Van Ditmarsch, Hans, Ruan, J., Verbrugge, L.C.:
Sum and Product in Dynamic Epistemic Logic. En: Journal of Logic and Computation. 2007. Pag. 563-588

Van Ditmarsch, Hans, Herzig, A.:
Editorial: Belief Revision and Dynamic Logic. En: Journal of Applied Non-Classical Logics. 2007. Pag. 125-273

Van Ditmarsch, Hans, Manzano, Mara:
Editorial: Special Issue 'tools for Teaching Logic'. En: Interest Group in Pure and Applied Logics. Logic Journal. 2007. Pag. 289-369

Van Ditmarsch, Hans, Labuschagne, W.a:
My Beliefs About Your Beliefs - a Case Study in Theory of Mind and Epistemic Logic. En: Synthese. 2007. Pag. 191-209

Van Ditmarsch, Hans, Aldred, R.E.L, Atkinson, M.D., Handley, C.c, Holton, D.a, et. al.:
Cyclically Closed Pattern Classes of Permutations. En: Australasian Journal of Combinatorics. 2007. Pag. 87-100

Van Ditmarsch, Hans, Balbiani, P., Baltag, A., Herzig, A., Hoshi, T., et. al.:
What Can We Achieve by Arbitrary Announcements? - a Dynamic Take on Fitch's Knowability. En: D. Samet, Proceedings of Tark 2007. 2007. Pag. 42-51

Van Ditmarsch, Hans:
Serious Play. En: The Journal for Thematic Dialogue 7. 2006. Pag. 87-98

Van Ditmarsch, Hans:
The Logic of Pit. En: Synthese. 2006. Vol. 142(2). Pag. 343-374

Van Ditmarsch, Hans, Van der Hoek, W., Van der Meyden, R., Ruan, J.:
Model Checking Russian Cards. En: Electronic Notes on Computer Science. 2006. Pag. 105-123

Van Ditmarsch, Hans, Kooi, B.p:
The Secret of My Success. En: Synthese. 2006. Vol. 151. Pag. 201-232

Van Ditmarsch, Hans, Van der Hoek, W., Kooi, B.P.:
Public Announcements and Belief Expansion. En: Advances in Modal Logic. 2005. Pag. 335-346

Van Ditmarsch, Hans:
Prolegomena to Dynamic Logic for Belief Revision. En: Synthese. 2005. Pag. 41-87

Albert, M.H., Aldred, R.E.L, Atkinson, M.D., Van Ditmarsch, Hans, Handley, C.c:
Safe Communication for Card Players by Combinatorial Designs for Two-Step Protocols. En: Australasian Journal of Combinatorics. 2005. Pag. 33-46

Otra participación en Libros de Actas
Blackburn, Patrick (Editor/a), Van Ditmarsch, Hans (Editor/a), Manzano, María (Editor/a), Soler Toscano, Fernando (Editor/a):
Tools for Teaching Logic. 2011. ISBN 978-3-642-21349-6

Aportaciones a Congresos
Hernández Antón, Ignacio, Soler Toscano, Fernando, Van Ditmarsch, Hans:
Unconditionally Secure Protocols with Genetic Algorithms. Comunicación en congreso. 10th International Conference on Practical Applications of Agents and Multi-Agent Systems. 2012

Van Ditmarsch, Hans, Van Eijck, Jan, Hernández Antón, Ignacio, Sietsma, Floor, Sunil, Simon, et. al.:
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. Comunicación en congreso. 10th International Conference on Practical Applications of Agents and Multi-Agent Systems. 2012

Van Ditmarsch, Hans, Nepomuceno Fernandez, Angel:
Public announcements, belief expansion and abduction. Comunicación en congreso. First International Symposium on Epistemology, Logic and Language. Lisboa. 2012

Van Ditmarsch, Hans, French, Tim:
Becoming Aware of Propositional Variables. Comunicación en congreso. Indian Conference, Icla 2011. Delhi, India. 2011. Logic and Its Applications. 204. 218

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. Rectorado de la Universidad de Salamanca. 2011

Van Ditmarsch, Hans, Soler Toscano, Fernando:
Three Steps. Comunicación en congreso. Computational Logic in Multi-Agent Systems. Barcelona, Universidad de Barcelona. 2011

Van Ditmarsch, Hans, Wu, William, Van Eijck, Jan:
One Hundred Prisoners and a Lightbulb ¿ Logic and Computation. Comunicación en congreso. Principles of Knowledge Representation and Reasoning. Toronto, Ontario, Canada. 2010. Principles of Knowledge Representation and Reasoning. 1. 11

Van Ditmarsch, Hans, De Lima, T., Lorini, Emiliano:
A Logical Model of Intention and Plan Dynamics. Comunicación en congreso. European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications. Lisboa, Portugal. 2010

Van Ditmarsch, Hans, Gomez-Caminero Parejo, Emilio Francisco, Fernandez Duque, David, Nepomuceno Fernandez, Angel, Cordon Franco, Andres:
Two Mischievous Dynamic Consequence Relations. Comunicación en congreso. Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action. Zarautz, Spain. 2010

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Multi-Agent Systems. Comunicación en congreso. Logics in Security. Copenhague, Dinamarca. 2010

Van Ditmarsch, Hans, Nepomuceno Fernandez, Angel:
Abducción y Revisión de Creencias. Comunicación en congreso. VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2009. Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 47. 51

Van Ditmarsch, Hans, Van der Hoek, W., Kooi, B.p:
Knowing More - from Global to Local Correspondence. Conferencia Congreso no publicada. 21st International Joint Conference on Artificial Intelligence. XXX. 2009. Proceedings of the 21st International Joint Conference on Artificial Intelligence. 955. 960

Van Ditmarsch, Hans, French, Tim:
Simulation and Information. Conferencia Congreso no publicada. Knowledge Representation for Agents and Multi-Agent Systems. Xxxx. 2009. Knowledge Representation for Agents and Multi-Agent Systems (Proceedings of Kramas 2008, Sydney, Australia). 51. 65

Van Ditmarsch, Hans, French, Tim:
Awareness and Forgetting of Facts and Agents. Comunicación en congreso. Wi-Iat Workshops 2009. Unk. 2009. Proceedings of Wi-Iat Workshops 2009. 478. 483

Lorini, Emiliano, Dastani, Mehdi, Van Ditmarsch, Hans, Herzig, A., Ch. Meyer, John Jules:
Intentions and Assignments. Comunicación en congreso. Logic, Rationality, and Interaction, Second International Workshop, Lori 2009. Chongqing, China. 2009. Logic, Rationality, and Interaction, Second International Workshop, Lori 2009. 198. 211

Van Ditmarsch, Hans, Kooi, B.P.:
Semantic Results for Ontic and Epistemic Change. Comunicación en congreso. Logic and the Foundations of Game and Decision Theory . Amsterdam. 2008. Texts in Logic and Games, Amsterdam University Press. 87. 117

Agotnes, Thomas, Van Ditmarsch, Hans:
Coalitions and Announcements. Comunicación en congreso. Conference on Autonomous Agents and Multi-Agent Systems. Unk. 2008. Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (Aamas 2008). 673. 680

French, Tim, Van Ditmarsch, Hans:
Undecidability for Arbitrary Public Announcement Logic. Comunicación en congreso. Seventh Conference Advances in Modal Logic. Unk. 2008. Proceedings of the Seventh Conference 'advances in Modal Logic'. 23. 42

Balbiani, P., Van Ditmarsch, Hans, Herzig, A., De Lima, T.:
A Tableau Method for Public Announcement Logics. Comunicación en congreso. International Conference on Automated Reasoning With Analytic Tableaux and Related Methods. Unk. 2007. Proceedings of the International Conference on Automated Reasoning With Analytic Tableaux and Related Methods (Tableaux), Lnai 4548,. 43. 59

Van Ditmarsch, Hans, Herzig, A., De Lima, T.:
Optimal Regression for Reasoning About Knowledge and Actions. Comunicación en congreso. Twenty-Second Aaai Conference on Artificial Intelligence. Unk. 2007. Proceedings of the Twenty-Second Aaai Conference on Artificial Intelligence. 1070. 1075

Van Ditmarsch, Hans, Van der Hoek, W., Kooi, B.P.:
Dynamic Epistemic Logic and Knowledge Puzzles. Comunicación en congreso. Iccs . Unk. 2007. Proceedings of Iccs 2007. 45. 58

Van Ditmarsch, Hans:
Learning Logic Programming With Art. Comunicación en congreso. Second International Congress on Tools for Teaching Logic. Salamanca. 2006. Proceedings of the Second International Congress on Tools for Teaching Logic. 27. 30

Van Ditmarsch, Hans, Baltag, A.:
Relation Between Two Dynamic Epistemic Logics. Conferencia Congreso no publicada. Annual Conference of the Australasian Association for Logic. Noosa. 2006. Proceedings of Aal 2006. 1. 2

Van Ditmarsch, Hans, Van der Hoek, W., Kooi, B.P.:
Dynamic Epistemic Logic With Assignment. Comunicación en congreso. Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems. New York. 2005. Proceedings of Aamas 2005. 141. 148

Van Ditmarsch, Hans:
Public announcements, belief expansion and abduction. Comunicación en congreso

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla