04044nam 22008055 450 99646657160331620200703194114.01-280-38836-697866135662873-642-15164-710.1007/978-3-642-15164-4(CKB)2670000000036383(SSID)ssj0000646581(PQKBManifestationID)11398726(PQKBTitleCode)TC0000646581(PQKBWorkID)10696479(PQKB)11560847(DE-He213)978-3-642-15164-4(MiAaPQ)EBC3065648(PPN)149018258(EXLCZ)99267000000003638320100819d2010 u| 0engurnn|008mamaatxtccrLogic and the Foundations of Game and Decision Theory - LOFT 8[electronic resource] 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /edited by Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XI, 207 p. 35 illus.) Lecture Notes in Artificial Intelligence ;6006Bibliographic Level Mode of Issuance: Monograph3-642-15163-9 Includes bibliographical references and index.Infinite Coordination Games -- Conditioning by Minimizing Accessibility -- Correspondences in the Theory of Aggregation -- Logic and Data Exchange: Which Solutions Are “Good” Solutions? -- Preference Change Triggered by Belief Change: A Principled Approach -- A Runs-and-Systems Semantics for Logics of Announcements -- From Nash to Dependency Equilibria -- Bridges between Dynamic Doxastic and Doxastic Temporal Logics -- Multi-agent Belief Revision with Linked Preferences -- A Note on Assumption-Completeness in Modal Logic.Lecture Notes in Artificial Intelligence ;6006Programming languages (Electronic computers)Computer programmingComputersMathematical logicComputer logicComputer science—MathematicsProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XDiscrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Programming languages (Electronic computers).Computer programming.Computers.Mathematical logic.Computer logic.Computer science—Mathematics.Programming Languages, Compilers, Interpreters.Programming Techniques.Theory of Computation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Discrete Mathematics in Computer Science.005.13Bonanno Giacomoedthttp://id.loc.gov/vocabulary/relators/edtLöwe Benediktedthttp://id.loc.gov/vocabulary/relators/edtvan der Hoek Wiebeedthttp://id.loc.gov/vocabulary/relators/edtLOFT 8BOOK996466571603316Logic and the Foundations of Game and Decision Theory - LOFT 82593585UNISA