Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDHans van Ditmarsch
Hans P. van Ditmarsch
Person information
- affiliation: CNRS, France
- affiliation (former): University of Seville, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j75]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
The logic of gossiping. Artif. Intell. 286: 103306 (2020)- [j74]Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio:
Bilattice logic of epistemic actions and knowledge. Ann. Pure Appl. Log. 171(6): 102790 (2020) - [j73]Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arrow update synthesis. Inf. Comput. 275: 104544 (2020) - [j72]Hans van Ditmarsch, Petra Hendriks, Rineke Verbrugge:
Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. 12(2): 466-484 (2020) - [c71]Hans van Ditmarsch
, Mo Liu, Louwe B. Kuijer, Igor Sedlár:
Expressivity of Some Versions of APAL. DaLí 2020: 120-136 - [c70]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
From Public Announcements to Asynchronous Announcements. ECAI 2020: 75-82 - [i29]Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
Knowledge and simplicial complexes. CoRR abs/2002.08863 (2020) - [i28]Hans van Ditmarsch:
Quantifying Notes Revisited. CoRR abs/2004.05802 (2020) - [i27]Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian:
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts. CoRR abs/2011.13203 (2020)
2010 – 2019
- 2019
- [j71]Liangda Fang, Yongmei Liu, Hans van Ditmarsch:
Forgetting in multi-agent modal logics. Artif. Intell. 266: 51-80 (2019) - [j70]Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo:
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP 6(1): 157-203 (2019) - [j69]Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche:
A public announcement separation logic. Math. Struct. Comput. Sci. 29(6): 828-871 (2019) - [j68]Minghui Ma, Hans van Ditmarsch:
Dynamic Graded Epistemic Logic. Rev. Symb. Log. 12(4): 663-684 (2019) - [j67]Hans van Ditmarsch:
Correction to: Dynamics of lying. Synth. 196(6): 2543 (2019) - [j66]Hans van Ditmarsch, Sophia Knight, Aybüke Özgün:
Announcement as effort on topological spaces. Synth. 196(7): 2927-2969 (2019) - [c69]Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina:
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS 2019: 953-961 - [c68]Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer:
Reachability of Five Gossip Protocols. RP 2019: 218-231 - [c67]Hans van Ditmarsch, Louwe B. Kuijer:
Knowledge Without Complete Certainty. WoLLIC 2019: 619-632 - [i26]Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo:
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR abs/1907.12321 (2019) - 2018
- [j65]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Implicit, explicit and speculative knowledge. Artif. Intell. 256: 35-67 (2018) - [j64]Hans van Ditmarsch, Sophia Knight, Aybüke Özgün:
Private Announcements on Topological Spaces. Stud Logica 106(3): 481-513 (2018) - [j63]Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang:
True lies. Synth. 195(10): 4581-4615 (2018) - [c66]Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch:
Model Checking for Coalition Announcement Logic. KI 2018: 11-23 - [i25]Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arrow Update Synthesis. CoRR abs/1802.00914 (2018) - [i24]Hans van Ditmarsch, Tim French, James Hales:
Positive Announcements. CoRR abs/1803.01696 (2018) - [i23]Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine:
How does uncertainty about other voters determine a strategic vote? CoRR abs/1809.10489 (2018) - 2017
- [j62]Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arbitrary arrow update logic. Artif. Intell. 242: 80-106 (2017) - [j61]Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber:
The modal logic of copy and remove. Inf. Comput. 255: 243-261 (2017) - [j60]Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber:
Epistemic protocols for dynamic gossip. J. Appl. Log. 20: 1-31 (2017) - [j59]Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen:
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Synth. 194(7): 2447-2487 (2017) - [j58]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. 693: 1-12 (2017) - [c65]Hans van Ditmarsch, Ioannis Kokkinis:
The Expected Duration of Sequential Gossiping. EUMAS/AT 2017: 131-146 - [c64]Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen:
Neighbourhood Contingency Bisimulation. ICLA 2017: 48-63 - [c63]Christophe Chareton, Hans van Ditmarsch:
Strategic Knowledge of the Past in Quantum Cryptography. LORI 2017: 347-361 - [c62]Hans van Ditmarsch, Ioannis Kokkinis, Anders Stockmarr:
Reachability and Expectation in Gossiping. PRIMA 2017: 93-109 - [c61]Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo:
Cheryl's Birthday. TARK 2017: 1-9 - [c60]Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek:
A Logic for Global and Local Announcements. TARK 2017: 28-42 - [i22]Hans van Ditmarsch:
Asynchronous Announcements. CoRR abs/1705.03392 (2017) - [i21]Hans van Ditmarsch, Tim French:
Quantifying over boolean announcements. CoRR abs/1712.05310 (2017) - [i20]Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith:
Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports 7(6): 1-47 (2017) - 2016
- [j57]Hans van Ditmarsch, Jie Fan:
Propositional quantification in logics of contingency. J. Appl. Non Class. Logics 26(1): 81-102 (2016) - [j56]Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber:
Announcements to Attentive Agents. J. Log. Lang. Inf. 25(1): 1-35 (2016) - [j55]Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French:
The Undecidability of Quantified Announcements. Stud Logica 104(4): 597-640 (2016) - [c59]Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella:
Algebraic semantics of refinement modal logic. Advances in Modal Logic 2016: 38-57 - [c58]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig:
Before announcement. Advances in Modal Logic 2016: 58-77 - [c57]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
Fully Arbitrary Public Announcements. Advances in Modal Logic 2016: 252-267 - [c56]Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek:
Second-order Propositional Announcement Logic. AAMAS 2016: 635-643 - [c55]Hans van Ditmarsch:
Epistemic Gossip Protocols. CLAR 2016: 1 - [c54]Liangda Fang, Yongmei Liu, Hans van Ditmarsch:
Forgetting in Multi-Agent Modal Logics. IJCAI 2016: 1066-1073 - [i19]Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang:
True Lies. CoRR abs/1606.08333 (2016) - [i18]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
The Undecidability of Arbitrary Arrow Update Logic. CoRR abs/1609.05686 (2016) - 2015
- [b1]Hans van Ditmarsch, Barteld Kooi:
One Hundred Prisoners and a Light Bulb. Springer 2015, ISBN 978-3-319-16693-3, pp. I-IX, 1-188 - [j54]Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A geometric protocol for cryptography with cards. Des. Codes Cryptogr. 74(1): 113-125 (2015) - [j53]Hans van Ditmarsch, Petar Iliev:
The succinctness of the cover modality. J. Appl. Non Class. Logics 25(4): 373-405 (2015) - [j52]Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Contingency and Knowing Whether. Rev. Symb. Log. 8(1): 75-107 (2015) - [j51]Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat:
The complexity of one-agent refinement modal logic. Theor. Comput. Sci. 603: 58-83 (2015) - [c53]Jie Fan, Hans van Ditmarsch:
Neighborhood Contingency Logic. ICLA 2015: 88-99 - [c52]Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche:
An Epistemic Separation Logic. WoLLIC 2015: 156-173 - [c51]Hans van Ditmarsch, Sophia Knight, Aybüke Özgün:
Announcement as effort on topological spaces. TARK 2015: 283-297 - [i17]Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi:
An Introduction to Logics of Knowledge and Belief. CoRR abs/1503.00806 (2015) - [i16]Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen:
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. CoRR abs/1506.07990 (2015) - [i15]Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber:
Dynamic Gossip. CoRR abs/1511.00867 (2015) - 2014
- [j50]Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang:
Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. 208: 18-40 (2014) - [j49]Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat:
Refinement modal logic. Inf. Comput. 239: 303-339 (2014) - [j48]Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen:
Introduction. IGTR 16(1) (2014) - [j47]Hans van Ditmarsch, Tim French:
Semantics for Knowledge and Change of Awareness. J. Log. Lang. Inf. 23(2): 169-195 (2014) - [j46]Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek:
On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. 24(6): 1209-1227 (2014) - [j45]Hans van Ditmarsch:
Dynamics of lying. Synth. 191(5): 745-777 (2014) - [c50]Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev:
Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic 2014: 139-157 - [c49]Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Almost Necessary. Advances in Modal Logic 2014: 178-196 - [c48]Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The undecidability of group announcements. AAMAS 2014: 893-900 - [c47]Hans van Ditmarsch, Sophia Knight:
Partial Information and Uniform Strategies. CLIMA 2014: 183-198 - [c46]Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek:
Knowledge and Gossip. ECAI 2014: 21-26 - [c45]Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek:
A Framework for Epistemic Gossip Protocols. EUMAS 2014: 193-209 - [c44]Hans van Ditmarsch, Sophia Knight, Aybüke Özgün:
Arbitrary Announcements on Topological Subset Spaces. EUMAS 2014: 252-266 - [c43]Hans van Ditmarsch:
The Ditmarsch Tale of Wonders. KI 2014: 1-12 - [c42]Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber:
Logics with Copy and Remove. WoLLIC 2014: 51-65 - [p3]Thomas Ågotnes, Hans van Ditmarsch:
Knowledge Games and Coalitional Abilities. Johan van Benthem on Logic and Information Dynamics 2014: 451-485 - [i14]Philippe Balbiani, Hans van Ditmarsch:
A simple proof of the completeness of APAL. CoRR abs/1409.2612 (2014) - 2013
- [j44]Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan:
Connecting dynamic epistemic and temporal epistemic logics. Log. J. IGPL 21(3): 380-403 (2013) - [j43]Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek:
Editorial Introduction to the Special Issue LOFT Sevilla. J. Philos. Log. 42(6): 795-798 (2013) - [j42]Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández:
Dynamic Consequence and Public announcement. Rev. Symb. Log. 6(4): 659-679 (2013) - [j41]Hans van Ditmarsch:
Revocable Belief Revision. Stud Logica 101(6): 1185-1214 (2013) - [j40]Hans van Ditmarsch, Jérôme Lang:
Editorial introduction to the special issue LORI Guangzhou. Synth. 190(Supplement-1): 1-4 (2013) - [j39]Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A colouring protocol for the generalized Russian cards problem. Theor. Comput. Sci. 495: 81-95 (2013) - [c41]Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen:
Bisimulation for Single-Agent Plausibility Models. Australasian Conference on Artificial Intelligence 2013: 277-288 - [c40]Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov:
Subset Space Logic with Arbitrary Announcements. ICLA 2013: 233-244 - [c39]Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat:
The Complexity of One-Agent Refinement Modal Logic. IJCAI 2013: 2977-2981 - [c38]Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber:
Listen to Me! Public Announcements to Agents That Pay Attention - or Not. LORI 2013: 96-109 - [c37]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Knowledge, awareness, and bisimulation. TARK 2013 - [c36]Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic voting and the logic of knowledge. TARK 2013 - [i13]Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A geometric protocol for cryptography with cards. CoRR abs/1301.4289 (2013) - [i12]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang:
Knowledge, Awareness, and Bisimulation. CoRR abs/1310.6410 (2013) - [i11]Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic Voting and the Logic of Knowledge. CoRR abs/1310.6436 (2013) - [i10]Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Knowing Whether. CoRR abs/1312.0144 (2013) - 2012
- [j38]Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Local properties in modal logic. Artif. Intell. 187: 133-155 (2012) - [j37]Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano:
A secure additive protocol for card players. Australas. J Comb. 54: 163-176 (2012) - [j36]Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Public announcements, public assignments and the complexity of their logic. J. Appl. Non Class. Logics 22(3): 249-273 (2012) - [j35]Hans van Ditmarsch:
Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. Stud Logica 100(5): 1055-1057 (2012) - [c35]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada:
Action models for knowledge and awareness. AAMAS 2012: 1091-1098 - [c34]Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic voting and the logic of knowledge. AAMAS 2012: 1247-1248 - [c33]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Some Truths Are Best Left Unsaid. Advances in Modal Logic 2012: 36-54 - [c32]Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat:
The Complexity of One-Agent Refinement Modal Logic. JELIA 2012: 120-133 - [c31]Ignacio Hernández-Antón, Fernando Soler-Toscano, Hans van Ditmarsch:
Unconditionally Secure Protocols with Genetic Algorithms. PAAMS (Special Sessions) 2012: 121-128 - [c30]Hans 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: 155-162 - [c29]Thomas Ågotnes, Hans van Ditmarsch:
Coalitional Public Announcement Games. PRIMA 2012: 1-15 - [c28]Hans van Ditmarsch:
Quantifying Notes. WoLLIC 2012: 89-109 - [p2]Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang:
On the Logic of Lying. Games, Actions and Social Software 2012: 41-72 - [i9]Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat:
Refinement Modal Logic. CoRR abs/1202.3538 (2012) - [i8]Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A colouring protocol for the generalized Russian cards problem. CoRR abs/1207.5216 (2012) - 2011
- [j34]Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego:
Preface. Electron. Notes Theor. Comput. Sci. 278: 1-2 (2011) - [j33]Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica:
Question-answer games. J. Appl. Non Class. Logics 21(3-4): 265-288 (2011) - [j32]Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam:
Logic in India - Editorial Introduction. J. Philos. Log. 40(5): 557-561 (2011) - [j31]Hans van Ditmarsch, Rineke Verbrugge:
The rules of the game are changing: Scientific impact factors and publication strategies among logicians. J. Log. Comput. 21(2): 121-132 (2011) - [j30]Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011) - [j29]Thomas Ågotnes, Hans van Ditmarsch:
What will they say? - Public Announcement Games. Synth. 179(Supplement-1): 57-85 (2011) - [c27]Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Reasoning about local properties in modal logic. AAMAS 2011: 711-718 - [c26]Hans van Ditmarsch, Tim French:
On the Interactions of Awareness and Certainty. Australasian Conference on Artificial Intelligence 2011: 727-738 - [c25]Hans van Ditmarsch, Fernando Soler-Toscano:
Three Steps. CLIMA 2011: 41-57 - [c24]Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek:
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA 2011: 74-87 - [c23]Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano:
Secure Communication of Local States in Interpreted Systems. DCAI 2011: 117-124 - [c22]Hans van Ditmarsch, Tim French:
Becoming Aware of Propositional Variables. ICLA 2011: 204-218 - [c21]Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang:
Hidden protocols. TARK 2011: 65-74 - [e2]Hans van Ditmarsch, Jérôme Lang, Shier Ju:
Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings. Lecture Notes in Computer Science 6953, Springer 2011, ISBN 978-3-642-24129-1 [contents] - [e1]Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano:
Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Lecture Notes in Computer Science 6680, Springer 2011, ISBN 978-3-642-21349-6 [contents] - [i7]Hans van Ditmarsch:
The Ditmarsch Tale of Wonders. CoRR abs/1108.2115 (2011) - [i6]Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano:
A secure additive protocol for card players. CoRR abs/1111.0156 (2011) - 2010
- [j28]Hans van Ditmarsch, Jan van Eijck, William Wu:
Verifying one hundred prisoners and a lightbulb. J. Appl. Non Class. Logics 20(3): 173-191 (2010) - [j27]Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban:
Group announcement logic. J. Appl. Log. 8(1): 62-81 (2010) - [j26]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010) - [c20]Hans van Ditmarsch, Tim French, Sophie Pinchinat:
Future Event Logic - Axioms and Complexity. Advances in Modal Logic 2010: 77-99 - [c19]Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima:
A Logical Model of Intention and Plan Dynamics. ECAI 2010: 1075-1076 - [c18]