Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bonanno, Giacomo (Editor ), Löwe, Benedikt (Editor ), van der Hoek, Wiebe (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Lecture Notes in Artificial Intelligence, 6006
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares