Logic 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 Hoek.
Contributor(s): Bonanno, Giacomo [editor.] | Löwe, Benedikt [editor.] | van der Hoek, Wiebe [editor.] | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Artificial Intelligence: 6006Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: XI, 207 p. 35 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642151644.Subject(s): Compilers (Computer programs) | Computer programming | Computer science | Machine theory | Computer science -- Mathematics | Discrete mathematics | Compilers and Interpreters | Programming Techniques | Theory of Computation | Formal Languages and Automata Theory | Computer Science Logic and Foundations of Programming | Discrete Mathematics in Computer ScienceAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.45 Online resources: Click here to access online
Contents:
In:
Springer Nature eBook
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.
No physical items for this record
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.
There are no comments for this item.