Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit.

Format:

Book

Contributor:

He, Xiangdong, editor.

Horty, John, editor.

Pacuit, Eric, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 5834.

Lecture Notes in Artificial Intelligence ; 5834

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Computer science--Mathematics.

Computer science.

Computer logic.

Computers.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Logics and Meanings of Programs.

Theory of Computation.

Local Subjects:

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Logics and Meanings of Programs.

Theory of Computation.

Physical Description:

1 online resource (XI, 329 pages).

Edition:

First edition 2009.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

System Details:

text file PDF

Summary:

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China, in October 2009. The 24 revised full papers presented together with 8 posters were carefully reviewed and selected from a flood of submissions. The workshops topics include but are not limited to semantic models for knowledge, for belief, and for uncertainty, dynamic logics of knowledge, information flow, and action, logical analysis of the structure of games, belief revision, belief merging, logics for preferences and utilities, logics of intentions, plans, and goals, logics of probability and uncertainty, argument systems and their role in interaction, as well as norms, normative interaction, and normative multiagent systems.

Contents:

Contributed Papers

Expressing Properties of Coalitional Ability under Resource Bounds

Dynamic Context Logic

Toward a Dynamic Logic of Questions

A General Family of Preferential Belief Removal Operators

Computing Compliance

Attributing Distributed Responsibility in Stit Logic

Characterizations of Iterated Admissibility Based on PEGL

Can Doxastic Agents Learn? On the Temporal Structure of Learning

Agreement Theorems in Dynamic-Epistemic Logic

Learning and Teaching as a Game: A Sabotage Approach

First-Order Logic Formalisation of Arrow's Theorem

Twelve Angry Men: A Study on the Fine-Grain of Announcements

Dynamic Testimonial Logic

From the Logical Point of View: The Chain Store Paradox Revisited

A Cooperation Logic for Declaration Structures

Intentions and Assignments

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together

Dynamic Epistemic Logic of Finite Identification

An Epistemic Logic for Planning with Trials

Obligations in a Responsible World

Dynamic Epistemic Temporal Logic

Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic

An Update Operator for Strategic Ability

Strategy Elimination in Games with Interaction Structures

Posters

The Logic of Knowledge-Based Cooperation in the Social Dilemma

Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction

Oppositional Logic

Deliberate Contrary-to-Law Action

Mono-Agent Dynamics

Modal Expressivity and Definability over Sets

Dynamic Logics for Explicit and Implicit Information

Existence of Satisfied Alternative and the Occurring of Morph-Dictator.

Other Format:

Printed edition:

ISBN:

978-3-642-04893-7

9783642048937

Access Restriction:

Restricted for use by site license.