Wiebe van der Hoek – författare
Visar alla böcker från författaren Wiebe van der Hoek. Handla med fri frakt och snabb leverans.
19 produkter
Information, Interaction, and Agency
Häftad, 2005
542 kr
Lägg i varukorg
Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency.Agents perform actions based on the available information and in the …
Information, Interaction, and Agency
E-bok, 2005
734 kr
Lägg i varukorg
Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information , Interaction , and Agency . Agents perform actions based on the available information and in the …
Uncertainty, Rationality, and Agency
Häftad, 2006
567 kr
Lägg i varukorg
This book collects all the papers that appeared in 2005 in Kno- edge, Rationality and Action (KRA), a journal published as a s- cial section of Synthese, which addresses contemporary issues in epistemic logic, belief revision, game and decision theory, rational agency, planning and theories of …
Uncertainty, Rationality, and Agency
E-bok, 2006
734 kr
Lägg i varukorg
This book collects all the papers that appeared in 2005 in Kno- edge, Rationality and Action (KRA), a journal published as a s- cial section of Synthese, which addresses contemporary issues in epistemic logic, belief revision, game and decision theory, rational agency, planning and theories of …
Dynamic Epistemic Logic
Av Hans van Ditmarsch, Wiebe van der Hoek m. fl.
Inbunden, 2007
1094 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
1094 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
Logics in Artificial Intelligence
10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Av Michael Fisher, Wiebe van der Hoek m. fl.
Häftad, 2006
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The …
Logics in Artificial Intelligence
10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Av Alexei Lisitsa, Boris Konev m. fl.
E-bok, 2006
739 kr
Lägg i varukorg
SOFSEM 2007: Theory and Practice of Computer Science
33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
Av Jan van Leeuwen, Giuseppe F. Italiano m. fl.
Häftad, 2007
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed …
SOFSEM 2007: Theory and Practice of Computer Science
33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
Av Frantisek Plasil, Harald Sack m. fl.
E-bok, 2007
1502 kr
Lägg i varukorg
Multiagent System Technologies
7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings
Av Lars Braubach, Wiebe van der Hoek m. fl.
Häftad, 2009
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International …
Multiagent System Technologies
7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings
Av Alexander Pokahr, Paolo Petta m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International …
Logic and the Foundations of Game and Decision Theory - LOFT 8
8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Av Giacomo Bonanno, Benedikt Löwe m. fl.
Häftad, 2010
567 kr
Lägg i varukorg
This volume is conceived as a rami?cation of the eighth conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT8), which took placein Amsterdam,inJuly2008.Inall,61papersweresubmitted to thisevent, of which 48 were presented. This volume is based on a selection of the …
Logic and the Foundations of Game and Decision Theory - LOFT 8
8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Av Wiebe van der Hoek, Benedikt Lowe m. fl.
E-bok, 2010
734 kr
Lägg i varukorg
Logic, Rationality, and Interaction
5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Av Wiebe van der Hoek, Wesley H. Holliday m. fl.
Häftad, 2015
550 kr
Lägg i varukorg
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on …
Logic, Rationality, and Interaction
5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Av Wen-fang Wang, Wesley H. Holliday m. fl.
E-bok, 2015
734 kr
Lägg i varukorg
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on …
Logic and the Foundations of Game and Decision Theory (LOFT 7)
Av Giacomo Bonanno, Wiebe Van Der Hoek m. fl.
Häftad, 2008
788 kr
Lägg i varukorg
This volume collects together revised papersoriginally presented at the 7th Conference onLogic and the Foundations of Game and DecisionTheory (LOFT 2006). LOFT is a key venue forpresenting research at the intersection of logic,economics and computer science, and the presentcollection gives a lively …
