The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans P. van Ditmarsch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Public Announcements and Belief Expansion. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:335-346 [Conf]
  2. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Concurrent dynamic epistemic logic for MAS. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:201-208 [Conf]
  3. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Dynamic epistemic logic with assignment. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:141-148 [Conf]
  4. Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge
    Model Checking Sum and Product. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2005, pp:790-795 [Conf]
  5. Hans P. van Ditmarsch
    Belief change and dynamic logic. [Citation Graph (0, 0)][DBLP]
    Belief Change in Rational Agents, 2005, pp:- [Conf]
  6. Hans P. van Ditmarsch
    Some Game Theory of Pit. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:946-947 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2004, v:287, n:1-3, pp:129-133 [Journal]
  8. Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
    Model Checking Russian Cards. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:105-123 [Journal]
  9. Hans P. van Ditmarsch
    The case of the hidden hand. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2005, v:15, n:4, pp:437-452 [Journal]
  10. Hans P. van Ditmarsch
    Descriptions of Game Actions. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:3, pp:349-365 [Journal]
  11. Hans P. van Ditmarsch
    The Russian Cards Problem. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:31-62 [Journal]
  12. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:349, n:3, pp:309-317 [Journal]
  13. Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
    Optimal Regression for Reasoning about Knowledge and Actions. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1070-0 [Conf]
  14. Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
    Dynamic Epistemic Logic and Knowledge Puzzles. [Citation Graph (0, 0)][DBLP]
    ICCS, 2007, pp:45-58 [Conf]
  15. Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
    A Tableau Method for Public Announcement Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:43-59 [Conf]
  16. M. D. Atkinson, Hans P. van Ditmarsch, S. Roehling
    Avoiding bias in cards cryptography [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  17. Hans P. van Ditmarsch, Barteld P. Kooi
    Semantic results for ontic and epistemic change [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  18. Undecidability for arbitrary public announcement logic. [Citation Graph (, )][DBLP]


  19. Coalitions and announcements. [Citation Graph (, )][DBLP]


  20. Introspective Forgetting. [Citation Graph (, )][DBLP]


  21. Optimal Regression for Reasoning about Knowledge and Actions. [Citation Graph (, )][DBLP]


  22. A Logical Model of Intention and Plan Dynamics. [Citation Graph (, )][DBLP]


  23. Awareness and Forgetting of Facts and Agents. [Citation Graph (, )][DBLP]


  24. Knowing More - From Global to Local Correspondence. [Citation Graph (, )][DBLP]


  25. One Hundred Prisoners and a Lightbulb - Logic and Computation. [Citation Graph (, )][DBLP]


  26. What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. [Citation Graph (, )][DBLP]


  27. Intentions and Assignments. [Citation Graph (, )][DBLP]


  28. Simulation and Information: Quantifying over Epistemic Events. [Citation Graph (, )][DBLP]


  29. Sorting Classes. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002