Søkt på: Bøker av Wiebe van der Hoek
totalt 17 treff
Dynamic Epistemic Logic
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 …
Handbook of Epistemic Logic
Multiagent System Technologies
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 …
Logic, Rationality, and Interaction
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 …
Logics in Artificial Intelligence
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 …
Uncertainty, Rationality, and Agency
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 …
Logic and the Foundations of Game and Decision Theory - LOFT 8
Information, Interaction, and Agency
Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship …
SOFSEM 2007: Theory and Practice of Computer Science
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 …
SOFSEM 2007: Theory and Practice of Computer Science
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 …
Dynamic Epistemic Logic
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 …
Logic and the Foundations of Game and Decision Theory - LOFT 8
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 …