H. V. Ditmarsch

发表

Sophie Pinchinat, Laura Bozzelli, Hans van Ditmarsch, 2012, Theor. Comput. Sci..
Tim French, Hans van Ditmarsch, H. V. Ditmarsch, 2009, KRAMAS.
W. Hoek, H. V. Ditmarsch, Barteld P. Kooi, 2007 .
Barteld Kooi, Wiebe van der Hoek, Hans van Ditmarsch, 2011, Adaptive Agents and Multi-Agent Systems.
Abdallah Saffidine, Hans van Ditmarsch, Zeinab Bakhtiari, 2018, ArXiv.
H. V. Ditmarsch, L. Verbrugge, J. Ruan, 2006 .
H. V. Ditmarsch, L. Verbrugge, J. Ruan, 2005 .
Joseph Y. Halpern, Barteld Kooi, Wiebe van der Hoek, 2015 .
Andreas Herzig, Wiebe van der Hoek, Davide Grossi, 2016 .
Sheila A. McIlraith, Chitta Baral, Hans van Ditmarsch, 2017 .
H. V. Ditmarsch, A. C. –. Franco, D. F. Duque, 2010 .
H. V. Ditmarsch, 2020, 2004.05802.
Gertjan van Noord, M. Moortgat, H. V. Ditmarsch, 1998 .
Johan van Benthem, Hans van Ditmarsch, Thomas Ågotnes, 2011, J. Appl. Non Class. Logics.
H. V. Ditmarsch, Barteld Kooi, 2018, Journal of Sustainable Tourism.
J. Benthem, H. V. Ditmarsch, Thomas Ågotnes, 2010 .
Yanjing Wang, Hans van Ditmarsch, Thomas Ågotnes, 2016, Synthese.
H. V. Ditmarsch, 2013 .
H. V. Ditmarsch, 2011 .
Yanjing Wang, Hans van Ditmarsch, Jie Fan, 2015, The Review of Symbolic Logic.
H. V. Ditmarsch, David, A. C. –. Franco, 2010 .
H. V. Ditmarsch, Sophia Knight, 2015 .
Diego A. Vel'azquez, H. V. Ditmarsch, D. Rosenblueth, 2022, ArXiv.
H. V. Ditmarsch, 2004 .
E. Krabbe, W. Hodges, H. V. Ditmarsch, 2019 .
H. V. Ditmarsch, N. Alechina, R. Galimullin, 2018, Logical Investigations.
P. Balbiani, A. Herzig, H. V. Ditmarsch, 2006 .
Joseph Y. Halpern, Wiebe van der Hoek, Hans van Ditmarsch, 2015, ArXiv.
H. V. Ditmarsch, Hao Wu, Jinsheng Chen, 2022, ArXiv.
Andreas Herzig, Philippe Balbiani, Alexandru Baltag, 2008, The Review of Symbolic Logic.
H. V. Ditmarsch, Tim French, R. Galimullin, 2022, ArXiv.
H. V. Ditmarsch, J. Eijck, William Wu, 2008 .
H. V. Ditmarsch, Hao Wu, Jinsheng Chen, 2022, ArXiv.
H. V. Ditmarsch, R. Kuznets, Rojo Fanamperana Randrianomentsoa, 2022, ArXiv.
M. Atkinson, M. Albert, H. V. Ditmarsch, 2002, Discret. Math..
Yongmei Liu, Hans van Ditmarsch, Liangda Fang, 2016, IJCAI.
Andreas Herzig, Hans van Ditmarsch, Tiago De Lima, 2012, J. Appl. Non Class. Logics.
Andreas Herzig, Hans van Ditmarsch, Tiago De Lima, 2011, J. Log. Comput..
Andreas Herzig, Hans van Ditmarsch, Tiago De Lima, 2007, AAAI.
Sergio Rajsbaum, Hans van Ditmarsch, Marijana Lazic, 2021, J. Log. Algebraic Methods Program..
Hans van Ditmarsch, H. V. Ditmarsch, 2016, CLAR.
H. V. Ditmarsch, Aybüke Özgün, Sophia Knight, 2016, Synthese.
Sophia Knight, Hans van Ditmarsch, H. V. Ditmarsch, 2014, CLIMA.
Sophie Pinchinat, Tim French, Laura Bozzelli, 2012, Inf. Comput..
Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2009, IJCAI.
Andreas Herzig, Pierre Marquis, Jérôme Lang, 2008, Synthese.
Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2005, AAMAS '05.
Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2003, AAMAS '03.
W. van der Hoek, Barteld Kooi, H. P. van Ditmarsch, 2003 .
Hans van Ditmarsch, H. V. Ditmarsch, 2002, J. Log. Lang. Inf..
Brian Hill, Hans van Ditmarsch, Ondrej Majer, 2009, Synthese.
H. V. Ditmarsch, Sunil Simon, 2022, ArXiv.
Sergio Rajsbaum, Hans van Ditmarsch, Eric Goubault, 2020, ArXiv.
Philippe Balbiani, Andrey Kudinov, Hans van Ditmarsch, 2013, ICLA.
Yanjing Wang, Hans van Ditmarsch, Jie Fan, 2013, ArXiv.
Emiliano Lorini, Andreas Herzig, François Schwarzentruber, 2016, J. Log. Lang. Inf..
Emiliano Lorini, Andreas Herzig, François Schwarzentruber, 2013, LORI.
H. V. Ditmarsch, 2014, Synthese.
Philippe Balbiani, Hans van Ditmarsch, Thomas Ågotnes, 2010, J. Appl. Log..
Tim French, Hans van Ditmarsch, H. V. Ditmarsch, 2008, Advances in Modal Logic.
Tim French, Hans van Ditmarsch, H. V. Ditmarsch, 2017, Log. Methods Comput. Sci..
Yanjing Wang, Rineke Verbrugge, Hans van Ditmarsch, 2014, Artif. Intell..
Wiebe van der Hoek, Ji Ruan, Hans van Ditmarsch, 2013, Log. J. IGPL.
Andreas Herzig, Philippe Balbiani, Hans van Ditmarsch, 2010, J. Log. Comput..
Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2012, Artif. Intell..
Hans van Ditmarsch, H. V. Ditmarsch, 2006, Synthese.
Minghui Ma, Hans van Ditmarsch, H. V. Ditmarsch, 2019, The Review of Symbolic Logic.
Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen, 2015, Synthese.
Hans van Ditmarsch, H. V. Ditmarsch, 2013, Stud Logica.
Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen, 2013, Australasian Conference on Artificial Intelligence.
Hans van Ditmarsch, H. V. Ditmarsch, 2005, Synthese.
Hans van Ditmarsch, H. V. Ditmarsch, 2014 .
François Schwarzentruber, Bastien Maubert, Hans van Ditmarsch, 2021, J. Appl. Non Class. Logics.
Hans van Ditmarsch, H. V. Ditmarsch, 2020, Inf. Comput..
Hans van Ditmarsch, Jie Fan, H. V. Ditmarsch, 2016, J. Appl. Non Class. Logics.
Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2011, AAMAS.
Rineke Verbrugge, Hans van Ditmarsch, H. V. Ditmarsch, 2011, J. Log. Comput..
Hans van Ditmarsch, Thomas Ågotnes, H. V. Ditmarsch, 2011, Synthese.
Hans van Ditmarsch, Barteld P. Kooi, H. V. Ditmarsch, 2006, ArXiv.
H. V. Ditmarsch, David, A. C. –. Franco, 2010 .
A. Baltag, L. Moss, H. V. Ditmarsch, 2008 .
Wiebe van der Hoek, Hans van Ditmarsch, Louwe B. Kuijer, 2020, Artif. Intell..
Tim French, Hans van Ditmarsch, James Hales, 2018, Stud Logica.
Barteld Kooi, Wiebe van der Hoek, Hans van Ditmarsch, 2018, Inf. Comput..
François Schwarzentruber, Hans van Ditmarsch, Carlos Areces, 2017, Inf. Comput..
Wiebe van der Hoek, Hans van Ditmarsch, Louwe B. Kuijer, 2016, Theor. Comput. Sci..
Hans van Ditmarsch, Thomas Ågotnes, Timothy Noel French, 2016, Stud Logica.
H. V. Ditmarsch, Yanjing Wang, T. Ågotnes, 2016, Synthese.
Barteld Kooi, Hans van Ditmarsch, H. V. Ditmarsch, 2015 .
Wiebe van der Hoek, Hans van Ditmarsch, Petar Iliev, 2012 .
Barteld Kooi, Wiebe van der Hoek, Hans van Ditmarsch, 2017, Artif. Intell..
Hans van Ditmarsch, Barteld P. Kooi, H. V. Ditmarsch, 2005, Synthese.
Tim French, Hans van Ditmarsch, Rustam Galimullin, 2021, TARK.
Natasha Alechina, Tim French, Hans van Ditmarsch, 2019, AAMAS.
Gabriel Sandu, Hans van Ditmarsch, H. V. Ditmarsch, 2018 .
Philippe Balbiani, Hans van Ditmarsch, P. Balbiani, 2014, ArXiv.
Tim French, Hans van Ditmarsch, Thomas Ågotnes, 2014, AAMAS.
Tim French, Hans van Ditmarsch, Fernando R. Velázquez-Quesada, 2012, AAMAS.
Hans van Ditmarsch, Thomas Ågotnes, H. V. Ditmarsch, 2008, AAMAS.
Hans van Ditmarsch, Barteld P. Kooi, H. V. Ditmarsch, 2006, Synthese.
Hans van Ditmarsch, H. V. Ditmarsch, 2003, Stud Logica.
Igor Sedlár, Hans van Ditmarsch, Louwe B. Kuijer, 2020, DaLí.
Saúl Fernández González, P. Balbiani, H. V. Ditmarsch, 2020, Advances in Modal Logic.
Wiebe van der Hoek, Hans van Ditmarsch, Louwe B. Kuijer, 2016, Advances in Modal Logic.
Andreas Herzig, Philippe Balbiani, Hans van Ditmarsch, 2016, Advances in Modal Logic.
Hans van Ditmarsch, H. V. Ditmarsch, 2012, WoLLIC.
Sophie Pinchinat, Tim French, Hans van Ditmarsch, 2010, Advances in Modal Logic.
H. V. Ditmarsch, Yanjing Wang, Jie Fan, 2015, The Review of Symbolic Logic.
Hans van Ditmarsch, Petra Hendriks, Rineke Verbrugge, 2020, Top. Cogn. Sci..
Yanjing Wang, Floor Sietsma, Jan van Eijck, 2012, Games, Actions and Social Software.
Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, 2021, Journal of Logic, Language and Information.
Diego A. Vel'azquez, H. V. Ditmarsch, D. Rosenblueth, 2022, ArXiv.
Didier Galmiche, Hans van Ditmarsch, Jean-René Courtault, 2019, Mathematical Structures in Computer Science.
H. V. Ditmarsch, Aybüke Özgün, Sophia Knight, 2018, Stud Logica.
Sabine Frittella, Hans van Ditmarsch, Zeinab Bakhtiari, 2016, Advances in Modal Logic.
Yì N. Wáng, Tim French, Hans van Ditmarsch, 2013, TARK.
Rineke Verbrugge, Ji Ruan, Hans van Ditmarsch, 2008, J. Log. Comput..
Wiebe van der Hoek, Hans van Ditmarsch, Barteld P. Kooi, 2007, ICCS.
Andreas Herzig, Philippe Balbiani, Hans van Ditmarsch, 2012, Advances in Modal Logic.
H. P. van Ditmarsch, H. V. Ditmarsch, 2006 .
Sheila A. McIlraith, Chitta Baral, Thomas Bolander, 2017, Dagstuhl Reports.
Hans van Ditmarsch, Louwe B. Kuijer, H. V. Ditmarsch, 2019, WoLLIC.
Hans van Ditmarsch, Petar Iliev, H. V. Ditmarsch, 2015, J. Appl. Non Class. Logics.
François Schwarzentruber, Hans van Ditmarsch, Carlos Areces, 2014, WoLLIC.
Wiebe van der Hoek, David Fernández-Duque, Hans van Ditmarsch, 2011, CLIMA.
Emiliano Lorini, Hans van Ditmarsch, Tiago De Lima, 2010, LADS.
Emiliano Lorini, Mehdi Dastani, John-Jules Ch. Meyer, 2009, LORI.
Andreas Herzig, Philippe Balbiani, Alexandru Baltag, 2007, TARK '07.
Hans van Ditmarsch, Willem Adrian Labuschagne, H. V. Ditmarsch, 2007, Synthese.
Rineke Verbrugge, Ji Ruan, Hans van Ditmarsch, 2005, Australian Conference on Artificial Intelligence.
Ji Ruan, Hans van Ditmarsch, H. V. Ditmarsch, 2005 .
H. V. Ditmarsch, Barteld Kooi, 1809, Brain Research.
Fernando Soler-Toscano, Hans van Ditmarsch, H. V. Ditmarsch, 2011, CLIMA.
Fernando Soler-Toscano, David Fernández-Duque, Hans van Ditmarsch, 2013, Des. Codes Cryptogr..
Fernando Soler-Toscano, David Fernández-Duque, Hans van Ditmarsch, 2012, Theor. Comput. Sci..
Hans van Ditmarsch, H. V. Ditmarsch, 2011, KI.
Malvin Gattinger, Pere Pardo, Hans van Ditmarsch, 2019, FLAP.
H van Ditmarsch, Laurina Verbrugge, H. V. Ditmarsch, 2009 .
W. van der Hoek, Barteld Kooi, H. P. van Ditmarsch, 2004 .
Umberto Rivieccio, Hans van Ditmarsch, Zeinab Bakhtiari, 2020, Ann. Pure Appl. Log..
Hans van Ditmarsch, Thomas Ågotnes, H. V. Ditmarsch, 2012, PRIMA.
Jérôme Lang, Abdallah Saffidine, Hans van Ditmarsch, 2012, TARK.
Hans van Ditmarsch, Thomas Ågotnes, H. V. Ditmarsch, 2014, Johan van Benthem on Logic and Information Dynamics.
Hans van Ditmarsch, H. V. Ditmarsch, 2020, ArXiv.
Helle Hvid Hansen, Hans van Ditmarsch, Zeinab Bakhtiari, 2017, ICLA.
Hans van Ditmarsch, Jie Fan, H. V. Ditmarsch, 2015, ICLA.
H. V. Ditmarsch, R. Kuznets, Rojo Fanamperana Randrianomentsoa, 2022, ArXiv.
H. V. Ditmarsch, D. Velazquez, D. Rosenblueth, 2023, Electronic Proceedings in Theoretical Computer Science.
Diego A. Vel'azquez, H. V. Ditmarsch, D. Rosenblueth, 2022, Journal of Philosophical Logic.
Hans van Ditmarsch, Christophe Chareton, H. V. Ditmarsch, 2017, LORI.
Sheila A. McIlraith, H. V. Ditmarsch, Thomas Bolander, 2017 .
Mike D. Atkinson, Hans van Ditmarsch, Sigrid Roehling, 2007, Australas. J Comb..
Wiebe van der Hoek, Davide Grossi, Hans van Ditmarsch, 2014, EUMAS.
W. van der Hoek, H. P. van Ditmarsch, W. Hoek, 2007 .
Hans van Ditmarsch, H. V. Ditmarsch, N. Alechina, 2022, J. Log. Comput..
Ramaswamy Ramanujam, Rohit Parikh, Hans van Ditmarsch, 2011, J. Philos. Log..
David Fernández-Duque, Hans van Ditmarsch, S. P. Suresh, 2021, Australas. J Comb..
Hans van Ditmarsch, H. V. Ditmarsch, 2004, PRICAI.
Andreas Herzig, Philippe Balbiani, Hans van Ditmarsch, 2007, TABLEAUX.
Tim French, Hans van Ditmarsch, H. V. Ditmarsch, 2019, Companion Animal.
Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, 2018, KI.
W. Hoek, H. V. Ditmarsch, Barteld P. Kooi, 2007 .
Wiebe van der Hoek, Hans van Ditmarsch, Barteld Kooi, 2005 .
Barteld Kooi, H. V. Ditmarsch, Barteld P. Kooi, 2013 .
Yì N. Wáng, Tim French, Hans van Ditmarsch, 2018, Artif. Intell..
Jan van Eijck, François Schwarzentruber, Pere Pardo, 2017, J. Appl. Log..
Jan van Eijck, François Schwarzentruber, Pere Pardo, 2015, Bulletin of the Iranian Mathematical Society.
Wiebe van der Hoek, Davide Grossi, Hans van Ditmarsch, 2014, ECAI.
Yanjing Wang, Hans van Ditmarsch, Jie Fan, 2014, Advances in Modal Logic.
Mike D. Atkinson, Robert E. L. Aldred, Hans van Ditmarsch, 2005, Electron. J. Comb..
Hans van Ditmarsch, H. V. Ditmarsch, 2007, Synthese.
Wiebe van der Hoek, Hans van Ditmarsch, Jie Fan, 2014, Advances in Modal Logic.
Louwe B. Kuijer, W. Hoek, H. V. Ditmarsch, 2018, Inf. Comput..