Hans van Ditmarsch – författare
Visar alla böcker från författaren Hans van Ditmarsch. Handla med fri frakt och snabb leverans.
14 produkter
Reasoning about Gossip
Inbunden, 2027
1266 kr
Kommande
This guidebook, the first of its kind, summarizes the state of the art in the field of epistemic gossip protocols. Gossip protocols are peer-to-peer communication protocols intended to maximize information dissemination while respecting network or transmission constraints. This comprehensive …
Dynamic Epistemic Logic
Av Hans van Ditmarsch, Wiebe van der Hoek m. fl.
Inbunden, 2007
1096 kr
Lägg i varukorg
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof …
Dynamic Epistemic Logic
Av Barteld Kooi, Wiebe van der Hoek m. fl.
E-bok, 2007
1459 kr
Lägg i varukorg
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof …
Dynamic Epistemic Logic
Av Hans van Ditmarsch, Wiebe van der Hoek m. fl.
Häftad, 2007
1096 kr
Lägg i varukorg
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof …
Handbook of Epistemic Logic
Av Hans Van Ditmarsch, Joseph Y Halpern m. fl.
Häftad, 2015
315 kr
Lägg i varukorg
One Hundred Prisoners and a Light Bulb
Av Hans van Ditmarsch, Barteld Kooi
Häftad, 2015
207 kr
Lägg i varukorg
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that …
One Hundred Prisoners and a Light Bulb
Av Barteld Kooi, Hans van Ditmarsch
E-bok, 2015
245 kr
Lägg i varukorg
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that …
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Av Hans van Ditmarsch, Gabriel Sandu
Inbunden, 2018
1749 kr
Lägg i varukorg
This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several …
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Av Gabriel Sandu, Hans van Ditmarsch
E-bok, 2018
2224 kr
Lägg i varukorg
This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several …
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Av Hans van Ditmarsch, Gabriel Sandu
Häftad, 2019
1749 kr
Lägg i varukorg
This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several …
Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Av Patrick Blackburn, Hans van Ditmarsch m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic …
Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Av Fernando Soler-Toscano, Maria Manzano m. fl.
E-bok, 2011
718 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic …
Logic, Rationality, and Interaction
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Av Hans van Ditmarsch, Jerome Lang m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers …
Logic, Rationality, and Interaction
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Av Shier Ju, Jerome Lang m. fl.
E-bok, 2011
718 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers …
