| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laura Bozzelli, Hans P. van Ditmarsch, Tim French, James Hales, Sophie Pinchinat |
Refinement Modal Logic  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Local properties in modal logic. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Hernández-Antón, Fernando Soler-Toscano, Hans P. van Ditmarsch |
Unconditionally Secure Protocols with Genetic Algorithms. |
PAAMS (Special Sessions) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano |
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. |
PAAMS (Special Sessions) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica |
Question-answer games. |
Journal of Applied Non-Classical Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
From Situation Calculus to Dynamic Epistemic Logic. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Rineke Verbrugge |
The rules of the game are changing: Scientific impact factors and publication strategies among logicians. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam |
Logic in India - Editorial Introduction. |
J. Philosophical Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano |
A secure additive protocol for card players |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch |
The Ditmarsch Tale of Wonders |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Hans P. van Ditmarsch |
What will they say? - Public Announcement Games. |
Synthese |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Jérôme Lang, Shier Ju (eds.) |
Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings |
LORI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek |
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Fernando Soler-Toscano |
Three Steps. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Tim French |
On the Interactions of Awareness and Certainty. |
Australasian Conference on Artificial Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano (eds.) |
Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Reasoning about local properties in modal logic. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang |
Hidden protocols. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Albert, Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano |
Secure Communication of Local States in Interpreted Systems. |
DCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Tim French |
Becoming Aware of Propositional Variables. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Jan van Eijck, William Wu |
Verifying one hundred prisoners and a lightbulb. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
Tableaux for Public Announcement Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch, Pablo Seban |
Group announcement logic. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Tim French, Sophie Pinchinat |
Future Event Logic - Axioms and Complexity. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emiliano Lorini, Hans P. van Ditmarsch, Tiago De Lima |
A Logical Model of Intention and Plan Dynamics. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Jan van Eijck, William Wu |
One Hundred Prisoners and a Lightbulb - Logic and Computation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Tiago De Lima, Emiliano Lorini |
Intention Change via Local Assignments. |
LADS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Lawrence S. Moss |
Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial. |
J. Philosophical Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis |
Introspective forgetting. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Brian Hill, Ondrej Majer |
Logic of change, change of logic. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer |
Intentions and Assignments. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Knowing More - From Global to Local Correspondence. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Tim French |
Awareness and Forgetting of Facts and Agents. |
Web Intelligence/IAT Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge |
Sum and Product in Dynamic Epistemic Logic. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French, Hans P. van Ditmarsch |
Undecidability for arbitrary public announcement logic. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis |
Introspective Forgetting. |
Australasian Conference on Artificial Intelligence |
2008 |
DBLP DOI BibTeX RDF |
action logic, abstraction, modal logic, belief change, forgetting |
| 1 | Hans P. van Ditmarsch, Tim French |
Simulation and Information: Quantifying over Epistemic Events. |
KRAMAS |
2008 |
DBLP DOI BibTeX RDF |
Bisimulation quantifier, temporal epistemic logic, multi-agent system, modal logic |
| 1 | Thomas Ågotnes, Hans P. van Ditmarsch |
Coalitions and announcements. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig |
Foreword. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, María Manzano |
Editorial "Tools for Teaching Logic". |
Logic Journal of the IGPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | M. D. Atkinson, Hans P. van Ditmarsch, S. Roehling |
Avoiding bias in cards cryptography |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Willem Adrian Labuschagne |
My beliefs about your beliefs: a case study in theory of mind and epistemic logic. |
Synthese |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch |
Comments to 'logics of public communications'. |
Synthese |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
Optimal Regression for Reasoning about Knowledge and Actions. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
A Tableau Method for Public Announcement Logics. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima |
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
Optimal Regression for Reasoning about Knowledge and Actions. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Dynamic Epistemic Logic and Knowledge Puzzles. |
ICCS |
2007 |
DBLP DOI BibTeX RDF |
multiagent systems, belief revision, epistemic logic, dynamic epistemic logic |
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan |
Model Checking Russian Cards. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Barteld P. Kooi |
Semantic results for ontic and epistemic change |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Barteld P. Kooi |
The Secret of My Success. |
Synthese |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch |
The Logic of Pit. |
Synthese |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Barteld P. Kooi |
The Secret of My Success. |
Synthese |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan |
Permuting machines and priority queues. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch |
The case of the hidden hand. |
Journal of Applied Non-Classical Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Chris C. Handley, Derek A. Holton, D. J. McCaughan, Hans P. van Ditmarsch |
Sorting Classes. |
Electr. J. Comb. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge |
Model Checking Sum and Product. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch |
Belief change and dynamic logic. |
Belief Change in Rational Agents |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Dynamic epistemic logic with assignment. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
assignment, agent communication, dynamic epistemic logic |
| 1 | Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton |
Restricted permutations and queue jumping. |
Discrete Mathematics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Public Announcements and Belief Expansion. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch |
Some Game Theory of Pit. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch |
The Russian Cards Problem. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
update logic, multiagent system, cryptographic protocol, modal logic, epistemic logic, card game |
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Concurrent dynamic epistemic logic for MAS. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
concurrency, agent communication, dynamic epistemic logic |
| 1 | Hans P. van Ditmarsch |
Descriptions of Game Actions. |
Journal of Logic, Language and Information |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")