Hans van Ditmarsch
发表
Barteld Kooi,
Wiebe van der Hoek,
Hans van Ditmarsch,
2011,
Adaptive Agents and Multi-Agent Systems.
Barteld Kooi,
Hans van Ditmarsch,
H. V. Ditmarsch,
2015
.
Floor Sietsma,
Jan van Eijck,
Fernando Soler-Toscano,
2012,
PAAMS.
Yì N. Wáng,
Tim French,
Hans van Ditmarsch,
2018,
Artif. Intell..
Hans van Ditmarsch,
Petra Hendriks,
Rineke Verbrugge,
2020,
Top. Cogn. Sci..
Yanjing Wang,
Rineke Verbrugge,
Hans van Ditmarsch,
2011,
TARK XIII.
Hans van Ditmarsch,
María Manzano,
2007,
Log. J. IGPL.
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld P. Kooi,
2011,
AAMAS.
Hans van Ditmarsch,
Louwe B. Kuijer,
H. V. Ditmarsch,
2019,
WoLLIC.
Wojciech Jamroga,
Valentin Goranko,
Manuel Ojeda-Aciego,
2011,
Electron. Notes Theor. Comput. Sci..
Giacomo Bonanno,
Wiebe van der Hoek,
Hans van Ditmarsch,
2013,
J. Philos. Log..
Wiebe van der Hoek,
Hans van Ditmarsch,
Francesco Belardinelli,
2017,
TARK.
Wiebe van der Hoek,
Hans van Ditmarsch,
Francesco Belardinelli,
2016,
AAMAS.
Jan van Eijck,
François Schwarzentruber,
Pere Pardo,
2015,
Bulletin of the Iranian Mathematical Society.
W. van der Hoek,
Barteld Kooi,
Hans van Ditmarsch,
2003
.
Andreas Herzig,
Hans van Ditmarsch,
2007,
J. Appl. Non Class. Logics.
Malvin Gattinger,
Hans van Ditmarsch,
Louwe B. Kuijer,
2019,
RP.
Hans van Ditmarsch,
2005,
Belief Change in Rational Agents.
Hans van Ditmarsch,
H. V. Ditmarsch,
2007,
Synthese.
Johan van Benthem,
Hans van Ditmarsch,
Thomas Ågotnes,
2011,
J. Appl. Non Class. Logics.
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2011,
J. Log. Comput..
Sophie Pinchinat,
Tim French,
Hans van Ditmarsch,
2010,
Advances in Modal Logic.
Hans van Ditmarsch,
H. V. Ditmarsch,
2012,
WoLLIC.
Ramaswamy Ramanujam,
Rohit Parikh,
Hans van Ditmarsch,
2011,
J. Philos. Log..
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2012,
Advances in Modal Logic.
Emiliano Lorini,
Andreas Herzig,
François Schwarzentruber,
2013,
LORI.
Mike D. Atkinson,
Robert E. L. Aldred,
Hans van Ditmarsch,
2005,
Australas. J Comb..
Hans van Ditmarsch,
Thomas Ågotnes,
H. V. Ditmarsch,
2008,
AAMAS.
Jérôme Lang,
Abdallah Saffidine,
Hans van Ditmarsch,
2012,
TARK.
Jérôme Lang,
Hans van Ditmarsch,
Shier Ju,
2011,
LORI.
Wiebe van der Hoek,
Ji Ruan,
Hans van Ditmarsch,
2013,
Log. J. IGPL.
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld P. Kooi,
2012,
Artif. Intell..
Hans van Ditmarsch,
2013,
Synthese.
Andreas Herzig,
Pierre Marquis,
Jérôme Lang,
2008,
Australasian Conference on Artificial Intelligence.
Hans van Ditmarsch,
Barteld P. Kooi,
H. V. Ditmarsch,
2005,
Synthese.
Jan van Eijck,
François Schwarzentruber,
Pere Pardo,
2017,
J. Appl. Log..
Hans van Ditmarsch,
Thomas Ågotnes,
Timothy Noel French,
2016,
Stud Logica.
Hans van Ditmarsch,
Gerard Renardel de Lavalette,
2002
.
Aybüke Özgün,
Sophia Knight,
Hans van Ditmarsch,
2016,
Synthese.
Malvin Gattinger,
Pere Pardo,
Hans van Ditmarsch,
2019,
FLAP.
Didier Galmiche,
Hans van Ditmarsch,
Jean-René Courtault,
2019,
Mathematical Structures in Computer Science.
Tim French,
Hans van Ditmarsch,
2009,
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.
Yanjing Wang,
Hans van Ditmarsch,
Jie Fan,
2013,
ArXiv.
Tim French,
Hans van Ditmarsch,
H. V. Ditmarsch,
2009,
KRAMAS.
Tim French,
Hans van Ditmarsch,
James Hales,
2018,
Stud Logica.
Hans van Ditmarsch,
H. V. Ditmarsch,
2003,
Stud Logica.
Hans van Ditmarsch,
2011
.
Jan van Eijck,
William Wu,
Hans van Ditmarsch,
2010,
J. Appl. Non Class. Logics.
Hans van Ditmarsch,
Thomas Ågotnes,
H. V. Ditmarsch,
2014,
Johan van Benthem on Logic and Information Dynamics.
Hans van Ditmarsch,
Willem Adrian Labuschagne,
H. V. Ditmarsch,
2007,
Synthese.
Yanjing Wang,
Rineke Verbrugge,
Hans van Ditmarsch,
2014,
Artif. Intell..
Tim French,
Hans van Ditmarsch,
H. V. Ditmarsch,
2008,
Advances in Modal Logic.
Hans van Ditmarsch,
2005,
J. Appl. Non Class. Logics.
Ángel Nepomuceno-Fernández,
Hans van Ditmarsch,
Andrés Cordón-Franco,
2013,
Rev. Symb. Log..
Hans van Ditmarsch,
Thomas Ågotnes,
H. V. Ditmarsch,
2012,
PRIMA.
Hans van Ditmarsch,
Christophe Chareton,
H. V. Ditmarsch,
2017,
LORI.
Natasha Alechina,
Tim French,
Hans van Ditmarsch,
2019,
AAMAS.
François Schwarzentruber,
Hans van Ditmarsch,
Carlos Areces,
2017,
Inf. Comput..
Barteld Kooi,
Hans van Ditmarsch,
2015
.
Hans van Ditmarsch,
Ioannis Kokkinis,
2017,
EUMAS/AT.
Wiebe van der Hoek,
Davide Grossi,
Hans van Ditmarsch,
2017
.
Jérôme Lang,
Hans van Ditmarsch,
2013,
Synthese.
Anders Stockmarr,
Hans van Ditmarsch,
Ioannis Kokkinis,
2017,
PRIMA.
Tim French,
Hans van Ditmarsch,
H. V. Ditmarsch,
2017,
Log. Methods Comput. Sci..
Mike D. Atkinson,
Hans van Ditmarsch,
Sigrid Roehling,
2007,
Australas. J Comb..
Hans van Ditmarsch,
H. V. Ditmarsch,
2006,
Synthese.
Malvin Gattinger,
Hans van Ditmarsch,
Rahim Ramezanian,
2020,
Studia Logica.
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld P. Kooi,
2003,
AAMAS '03.
Hans van Ditmarsch,
2008,
The Unity of Science in the Arabic Tradition.
Didier Galmiche,
Hans van Ditmarsch,
Jean-René Courtault,
2015,
WoLLIC.
Barteld Kooi,
Hans van Ditmarsch,
2008
.
Joseph Y. Halpern,
Wiebe van der Hoek,
Hans van Ditmarsch,
2015,
ArXiv.
Wiebe van der Hoek,
Hans van Ditmarsch,
Jie Fan,
2014,
Advances in Modal Logic.
Mike D. Atkinson,
Robert E. L. Aldred,
Hans van Ditmarsch,
2007,
Australas. J Comb..
Hans van Ditmarsch,
2012,
Stud Logica.
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2010,
J. Log. Comput..
Hans van Ditmarsch,
Thomas Ågotnes,
H. V. Ditmarsch,
2011,
Synthese.
Tim French,
Hans van Ditmarsch,
2014,
J. Log. Lang. Inf..
Aybüke Özgün,
Sophia Knight,
Hans van Ditmarsch,
2014,
EUMAS.
Hans van Ditmarsch,
Barteld P. Kooi,
H. V. Ditmarsch,
2006,
Synthese.
Mike D. Atkinson,
Robert E. L. Aldred,
Hans van Ditmarsch,
2005,
Electron. J. Comb..
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2007,
TABLEAUX.
Emiliano Lorini,
Mehdi Dastani,
John-Jules Ch. Meyer,
2009,
LORI.
Hans van Ditmarsch,
Jie Fan,
H. V. Ditmarsch,
2015,
ICLA.
Fernando Soler-Toscano,
Hans van Ditmarsch,
Ignacio Hernández-Antón,
2012,
PAAMS.
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld P. Kooi,
2004,
Advances in Modal Logic.
Rineke Verbrugge,
Ji Ruan,
Hans van Ditmarsch,
2005,
Australian Conference on Artificial Intelligence.
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld P. Kooi,
2009,
IJCAI.
Thomas Bolander,
Hans van Ditmarsch,
Martin Holm Jensen,
2013,
Australasian Conference on Artificial Intelligence.
Fernando Soler-Toscano,
David Fernández-Duque,
Joost J. Joosten,
2011,
DCAI.
Lawrence S. Moss,
Hans van Ditmarsch,
2009,
J. Philos. Log..
Patrick Blackburn,
Fernando Soler-Toscano,
Hans van Ditmarsch,
2011
.
Andreas Herzig,
Pierre Marquis,
Jérôme Lang,
2008,
Synthese.
Hans van Ditmarsch,
Jie Fan,
H. V. Ditmarsch,
2016,
J. Appl. Non Class. Logics.
Umberto Rivieccio,
Hans van Ditmarsch,
Zeinab Bakhtiari,
2020,
Ann. Pure Appl. Log..
Hans van Ditmarsch,
H. V. Ditmarsch,
2011,
KI.
Emiliano Lorini,
Hans van Ditmarsch,
Tiago De Lima,
2010,
LADS.
Mike D. Atkinson,
Robert E. L. Aldred,
Hans van Ditmarsch,
2004,
Discret. Math..
Thomas Bolander,
Hans van Ditmarsch,
Martin Holm Jensen,
2015,
Synthese.
Tim French,
Hans van Ditmarsch,
Thomas Ågotnes,
2014,
AAMAS.
Barteld Kooi,
Wiebe van der Hoek,
Hans van Ditmarsch,
2018,
Inf. Comput..
Wiebe van der Hoek,
Hans van Ditmarsch,
Louwe B. Kuijer,
2020,
Artif. Intell..
Hans van Ditmarsch,
H. V. Ditmarsch,
2004,
PRICAI.
François Schwarzentruber,
Hans van Ditmarsch,
Carlos Areces,
2014,
WoLLIC.
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld P. Kooi,
2005,
AAMAS '05.
Hans van Ditmarsch,
H. V. Ditmarsch,
2005,
Synthese.
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2012,
J. Appl. Non Class. Logics.
Hans van Ditmarsch,
H. V. Ditmarsch,
2013,
Stud Logica.
Yongmei Liu,
Hans van Ditmarsch,
Liangda Fang,
2016,
IJCAI.
Hans van Ditmarsch,
2017,
ArXiv.
Philippe Balbiani,
Hans van Ditmarsch,
Saúl Fernández González,
2020,
ECAI.
Wiebe van der Hoek,
David Fernández-Duque,
Hans van Ditmarsch,
2011,
CLIMA.
Tim French,
Hans van Ditmarsch,
2011,
ICLA.
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2016,
Advances in Modal Logic.
Fernando Soler-Toscano,
David Fernández-Duque,
Joost J. Joosten,
2012,
Australas. J Comb..
Hans van Ditmarsch,
Petar Iliev,
H. V. Ditmarsch,
2015,
J. Appl. Non Class. Logics.
Yanjing Wang,
Hans van Ditmarsch,
Jie Fan,
2015,
The Review of Symbolic Logic.
Jan van Eijck,
William Wu,
Hans van Ditmarsch,
2010,
KR.
Mike D. Atkinson,
Robert E. L. Aldred,
Hans van Ditmarsch,
2005,
Theor. Comput. Sci..
Sophia Knight,
Hans van Ditmarsch,
H. V. Ditmarsch,
2014,
CLIMA.
Yanjing Wang,
Hans van Ditmarsch,
Thomas Ågotnes,
2016,
Synthese.
Hans van Ditmarsch,
H. V. Ditmarsch,
2002,
J. Log. Lang. Inf..
Barteld Kooi,
Hans van Ditmarsch,
Michael Ian Hartley,
2017,
TARK.
Hans van Ditmarsch,
H. V. Ditmarsch,
2016,
CLAR.
Sophie Pinchinat,
Tim French,
Laura Bozzelli,
2012,
Inf. Comput..
Philippe Balbiani,
Hans van Ditmarsch,
Thomas Ågotnes,
2010,
J. Appl. Log..
Wiebe van der Hoek,
Hans van Ditmarsch,
Louwe B. Kuijer,
2016,
Advances in Modal Logic.
Wiebe van der Hoek,
Hans van Ditmarsch,
Louwe B. Kuijer,
2016,
Theor. Comput. Sci..
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld Kooi,
2005
.
Tim French,
Hans van Ditmarsch,
2011,
Australasian Conference on Artificial Intelligence.
Sophie Pinchinat,
Laura Bozzelli,
Hans van Ditmarsch,
2012,
JELIA.
Wiebe van der Hoek,
Ron van der Meyden,
Ji Ruan,
2006,
Electron. Notes Theor. Comput. Sci..
Natasha Alechina,
Hans van Ditmarsch,
Rustam Galimullin,
2018,
KI.
Mike D. Atkinson,
Robert E. L. Aldred,
Hans van Ditmarsch,
2007,
Australas. J Comb..
Fernando Soler-Toscano,
David Fernández-Duque,
Hans van Ditmarsch,
2013,
Des. Codes Cryptogr..
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2007,
AAAI.
Jan van Eijck,
Hans van Ditmarsch,
William Wu,
2010
.
Fernando Soler-Toscano,
David Fernández-Duque,
Hans van Ditmarsch,
2012,
Theor. Comput. Sci..
Hans van Ditmarsch,
H. V. Ditmarsch,
2014
.
Sophie Pinchinat,
Laura Bozzelli,
Hans van Ditmarsch,
2012,
Theor. Comput. Sci..
Gabriel Sandu,
Hans van Ditmarsch,
H. V. Ditmarsch,
2018
.
Patrick Blackburn,
Fernando Soler-Toscano,
Hans van Ditmarsch,
2011,
Lecture Notes in Computer Science.
Tim French,
Hans van Ditmarsch,
Fernando R. Velázquez-Quesada,
2012,
AAMAS.
Barteld Kooi,
Wiebe van der Hoek,
Hans van Ditmarsch,
2017,
Artif. Intell..
Philippe Balbiani,
Hans van Ditmarsch,
P. Balbiani,
2014,
ArXiv.
Sergio Rajsbaum,
Hans van Ditmarsch,
Eric Goubault,
2020,
ArXiv.
Hans van Ditmarsch,
H. V. Ditmarsch,
2020,
ArXiv.
Andreas Herzig,
Philippe Balbiani,
Alexandru Baltag,
2007,
TARK '07.
Emiliano Lorini,
Hans van Ditmarsch,
Tiago De Lima,
2010,
ECAI.
Wiebe van der Hoek,
David Fernández-Duque,
Hans van Ditmarsch,
2014,
J. Log. Comput..
Wiebe van der Hoek,
Davide Grossi,
Hans van Ditmarsch,
2014,
EUMAS.
Helle Hvid Hansen,
Hans van Ditmarsch,
Zeinab Bakhtiari,
2017,
ICLA.
Yì N. Wáng,
Tim French,
Hans van Ditmarsch,
2013,
TARK.
Yanjing Wang,
Floor Sietsma,
Jan van Eijck,
2012,
Games, Actions and Social Software.
Wiebe van der Hoek,
Hans van Ditmarsch,
Barteld P. Kooi,
2007,
ICCS.
Yanjing Wang,
Hans van Ditmarsch,
Jie Fan,
2014,
Advances in Modal Logic.
Ji Ruan,
Hans van Ditmarsch,
H. V. Ditmarsch,
2005
.
Aybüke Özgün,
Sophia Knight,
Hans van Ditmarsch,
2018,
Stud Logica.
Andreas Herzig,
Philippe Balbiani,
Alexandru Baltag,
2008,
The Review of Symbolic Logic.
Rineke Verbrugge,
Hans van Ditmarsch,
H. V. Ditmarsch,
2011,
J. Log. Comput..
Sabine Frittella,
Hans van Ditmarsch,
Zeinab Bakhtiari,
2016,
Advances in Modal Logic.
Wiebe van der Hoek,
Davide Grossi,
Hans van Ditmarsch,
2014,
ECAI.
Igor Sedlár,
Hans van Ditmarsch,
Louwe B. Kuijer,
2020,
DaLí.
Emiliano Lorini,
Andreas Herzig,
François Schwarzentruber,
2016,
J. Log. Lang. Inf..
Hans van Ditmarsch,
Barteld P. Kooi,
H. V. Ditmarsch,
2006,
ArXiv.
Rineke Verbrugge,
Ji Ruan,
Hans van Ditmarsch,
2008,
J. Log. Comput..
Hans van Ditmarsch,
2018,
Synthese.
Abdallah Saffidine,
Hans van Ditmarsch,
Zeinab Bakhtiari,
2018,
ArXiv.
Minghui Ma,
Hans van Ditmarsch,
H. V. Ditmarsch,
2019,
The Review of Symbolic Logic.
Fernando Soler-Toscano,
Hans van Ditmarsch,
H. V. Ditmarsch,
2011,
CLIMA.
Sheila A. McIlraith,
Chitta Baral,
Thomas Bolander,
2017,
Dagstuhl Reports.
Brian Hill,
Hans van Ditmarsch,
Ondrej Majer,
2009,
Synthese.
Philippe Balbiani,
Andrey Kudinov,
Hans van Ditmarsch,
2013,
ICLA.
Jaroslav Opatrny,
Mike D. Atkinson,
Robert E. L. Aldred,
2003,
Australas. J Comb..
Sergio Rajsbaum,
Hans van Ditmarsch,
Marijana Lazic,
2021,
J. Log. Algebraic Methods Program..
Natasha Alechina,
Hans van Ditmarsch,
Rustam Galimullin,
2021,
Journal of Logic, Language and Information.
Hans van Ditmarsch,
2021,
WoLLIC.
Tim French,
Hans van Ditmarsch,
Rustam Galimullin,
2021,
TARK.
David Fernández-Duque,
Hans van Ditmarsch,
S. P. Suresh,
2021,
Australas. J Comb..
Sheila A. McIlraith,
Chitta Baral,
Hans van Ditmarsch,
2017
.
Hans van Ditmarsch,
2008
.
Barteld Kooi,
Hans van Ditmarsch,
2015
.
Joseph Y. Halpern,
Barteld Kooi,
Wiebe van der Hoek,
2015
.
Wiebe van der Hoek,
Hans van Ditmarsch,
Petar Iliev,
2012
.
Andreas Herzig,
Wiebe van der Hoek,
Davide Grossi,
2016
.
Tim French,
Hans van Ditmarsch,
H. V. Ditmarsch,
2019,
Companion Animal.
Hans van Ditmarsch,
2002
.
Hans van Ditmarsch,
H. V. Ditmarsch,
2020,
Inf. Comput..
Hans van Ditmarsch,
H. V. Ditmarsch,
N. Alechina,
2022,
J. Log. Comput..
Hans van Ditmarsch,
Marta Gawek,
Didier Galmiche,
2023,
WoLLIC.
Hans van Ditmarsch,
Thomas Ågotnes,
T. French,
2016,
Studia Logica.