Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / [electronic resource] :
edited by Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek.
- 1st ed. 2010.
- XI, 207 p. 35 illus. online resource.
- Lecture Notes in Artificial Intelligence, 6006 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 6006 .
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.
9783642151644
10.1007/978-3-642-15164-4 doi
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 Science.
QA76.76.C65
005.45
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.
9783642151644
10.1007/978-3-642-15164-4 doi
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 Science.
QA76.76.C65
005.45