2. LORI 2009:
Chongqing,
China
Xiangdong He, John F. Horty, Eric Pacuit (Eds.):
Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings.
Lecture Notes in Computer Science 5834 Springer 2009, ISBN 978-3-642-04892-0
Contributed Papers
- Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Expressing Properties of Coalitional Ability under Resource Bounds.
1-14
- Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini:
Dynamic Context Logic.
15-26
- Johan van Benthem, Stefan Minica:
Toward a Dynamic Logic of Questions.
27-41
- Richard Booth, Thomas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators.
42-54
- Ivano Ciardelli, Irma Cornelisse, Jeroen Groenendijk, Floris Roelofsen:
Computing Compliance.
55-65
- Roberto Ciuni, Rosja Mastop:
Attributing Distributed Responsibility in Stit Logic.
66-75
- Jianying Cui, Meiyun Guo, Xiaojia Tang:
Characterizations of Iterated Admissibility Based on PEGL.
76-89
- Cédric Dégremont, Nina Gierasimczuk:
Can Doxastic Agents Learn? On the Temporal Structure of Learning.
90-104
- Cédric Dégremont, Olivier Roy:
Agreement Theorems in Dynamic-Epistemic Logic.
105-118
- Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada:
Learning and Teaching as a Game: A Sabotage Approach.
119-132
- Umberto Grandi, Ulle Endriss:
First-Order Logic Formalisation of Arrow's Theorem.
133-146
- Davide Grossi, Fernando R. Velázquez-Quesada:
Twelve Angry Men: A Study on the Fine-Grain of Announcements.
147-160
- Wesley H. Holliday:
Dynamic Testimonial Logic.
161-179
- Li Li, Robert C. Koons, Jianjun Zhang:
From the Logical Point of View: The Chain Store Paradox Revisited.
180-188
- Hu Liu:
A Cooperation Logic for Declaration Structures.
189-197
- Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer:
Intentions and Assignments.
198-211
- Emiliano Lorini, François Schwarzentruber, Andreas Herzig:
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together.
212-226
- Minghui Ma:
Dynamic Epistemic Logic of Finite Identification.
227-237
- Rajdeep Niyogi, R. Ramanujam:
An Epistemic Logic for Planning with Trials.
238-250
- Loes Olde Loohuis:
Obligations in a Responsible World.
251-262
- Bryan Renne, Joshua Sack, Audrey Yap:
Dynamic Epistemic Temporal Logic.
263-277
- Satoru Suzuki:
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic.
278-291
- Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer:
An Update Operator for Strategic Ability.
292-301
- Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper:
Strategy Elimination in Games with Interaction Structures.
302-315
Posters
Copyright © Mon Nov 2 20:57:18 2009
by Michael Ley (ley@uni-trier.de)