Logic, Rationality, and Interaction

Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

  • Xiangdong He
  • John Horty
  • Eric Pacuit
Conference proceedings LORI 2009

DOI: 10.1007/978-3-642-04893-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5834)

Table of contents (32 papers)

  1. Front Matter
  2. Contributed Papers

    1. Expressing Properties of Coalitional Ability under Resource Bounds
      Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
      Pages 1-14
    2. Dynamic Context Logic
      Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
      Pages 15-26
    3. Toward a Dynamic Logic of Questions
      Johan van Benthem, Ştefan Minică
      Pages 27-41
    4. A General Family of Preferential Belief Removal Operators
      Richard Booth, Thomas Meyer, Chattrakul Sombattheera
      Pages 42-54
    5. Computing Compliance
      Ivano Ciardelli, Irma Cornelisse, Jeroen Groenendijk, Floris Roelofsen
      Pages 55-65
    6. Attributing Distributed Responsibility in Stit Logic
      Roberto Ciuni, Rosja Mastop
      Pages 66-75
    7. Characterizations of Iterated Admissibility Based on PEGL
      Jianying Cui, Meiyun Guo, Xiaojia Tang
      Pages 76-89
    8. Can Doxastic Agents Learn? On the Temporal Structure of Learning
      Cédric Dégremont, Nina Gierasimczuk
      Pages 90-104
    9. Agreement Theorems in Dynamic-Epistemic Logic
      Cédric Dégremont, Olivier Roy
      Pages 105-118
    10. Learning and Teaching as a Game: A Sabotage Approach
      Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada
      Pages 119-132
    11. First-Order Logic Formalisation of Arrow’s Theorem
      Umberto Grandi, Ulle Endriss
      Pages 133-146
    12. Twelve Angry Men: A Study on the Fine-Grain of Announcements
      Davide Grossi, Fernando R. Velázquez-Quesada
      Pages 147-160
    13. Dynamic Testimonial Logic
      Wesley H. Holliday
      Pages 161-179
    14. From the Logical Point of View: The Chain Store Paradox Revisited
      Li Li, Robert C. Koons, Jianjun Zhang
      Pages 180-188
    15. Intentions and Assignments
      Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Meyer
      Pages 198-211
    16. Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
      Emiliano Lorini, François Schwarzentruber, Andreas Herzig
      Pages 212-226
    17. An Epistemic Logic for Planning with Trials
      Rajdeep Niyogi, R. Ramanujam
      Pages 238-250

About these proceedings

Introduction

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.

Keywords

PEGL agent learning cooperation logic dynamic context dynamic logic epistemic logic first-order logic information logic modal logic oppositional logic stit logic temporal logic testimonial logic

Editors and affiliations

  • Xiangdong He
    • 1
  • John Horty
    • 2
  • Eric Pacuit
    • 3
  1. 1.Institute of Logic and IntelligenceSouthwest UniversityChongqingChina
  2. 2.Philosophy DepartmentUniversity of Maryland, Institute for Advanced Computer Studies (UMIACS)College ParkUSA
  3. 3.Center for Logic and Philosophy of ScienceTilburg UniversityTilburgThe Netherlands

Bibliographic information

  • Copyright Information Springer Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04892-0
  • Online ISBN 978-3-642-04893-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349