1.

Record Nr.

UNISA996466571603316

Titolo

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

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010

ISBN

1-280-38836-6

9786613566287

3-642-15164-7

Edizione

[1st ed. 2010.]

Descrizione fisica

1 online resource (XI, 207 p. 35 illus.)

Collana

Lecture Notes in Artificial Intelligence ; ; 6006

Disciplina

005.13

Soggetti

Programming 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

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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.