Tuesday October 6, 2009

There will be two tutorials that will provide background for themes related to the workshops:

Eric Pacuit (Tilburg): Reasoning about Rational Agents
Jouko Väänänen (Amsterdam): Logic and Games

Wednesday October 7, 2009

Special LogiCCC meets China program. See the website for details.

Thursday October 8, 2009

8:30 - 9:00: Registration and Opening Session
9:00 - 9:50: Invited Speaker
Hans van Ditmarsch (University of Sevilla & University of Otago)
Modelling change of awareness and knowledge
This is joint work with Tim French, University of Western Australia. We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We model these dynamics by quantifying over propositional variables and agent variables, in a multi-agent epistemic language with awareness operators, employing a notion of bisimulation with a clause for 'same awareness'. The quantification is over all different ways in which an agent can become aware (or forget). Logics for change of awareness combine well with logics for informational change, as when a public announcement simultaneously makes you aware of an issue ('a plane just crashed on Schiphol Airport' - a news item at a previous presentation about this topic! Let's hope I have not to update it just before Chongqing).
9:50 - 10:00: Break
10:00 - 11:15: Morning Session 1
Bryan Renne, Joshua Sack and Audrey Yap
Dynamic Epistemic Temporal Logic

Guillaume Aucher, Davide Grossi, Andreas Herzig and Emiliano Lorini
Dynamic Context Logic

Nina Gierasimczuk, Lena Kurzen and Fernando R. Velazquez-Quesada
Learning and Teaching as a Game. A Sabotage Approach

11:15 - 11:30: Coffee Break
11:30 - 12:20: Morning Session 2
Minghui MA
Dynamic Epistemic Logic of Finite Identification

Cedric Degremont and Nina Gierasimczuk
Can doxastic agents learn? On the temporal structure of learning.

12:20 - 2:00: Lunch
2:00 - 3:15: Afternoon Session 1
Davide Grossi and Fernando R. Velazquez-Quesada
Twelve Angry Men: A Study on the Fine-grain of Announcements

Olivier Roy and Cedric Degremont
Agreement Theorems in Dynamic-Epistemic Logic

Richard Booth, Thomas Meyer and Chattrakul Sombattheera
A General Family of Preferential Belief Removal Operators

3:15 - 3:30: Break
3:30 - 4:20: Afternoon Session 2
Umberto Grandi and Ulle Endriss
First-Order Logic Formalisation of Arrow’s Theorem

LI LI, Robert C. Koons and Zhang Jian Jun
From the logical point of view: The chain store paradox revisited

4:20 - 4:30: Break
4:30 - 5:20: Invited Speaker
Ming Xu
Dinner (Qilong Restaurant - Chongqing Hot Pot)

Friday October 9, 2009

9:00 - 9:50: Invited Speaker
Fangzhen Lin (Hong Kong University, China)
9:50 - 10:00: Break
10:00 - 11:15: Morning Session 1
Roberto Ciuni and Rosja Mastop

Satoru Suzuki
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic

Loes Olde Loohuis
Obligations in a responsible world

11:15 - 11:30: Coffee Break
11:30 - 12:20: Morning Session 2
Ivano Ciardelli, Irma Cornelisse, Jeroen Groenendijk and Floris Roelofsen
Computing Compliance

Johan van Benthem and Stefan Minica
Toward a Dynamic Logic of Questions

12:20 - 2:00: Lunch
2:00 - 3:15: Afternoon Session 1
Jan Broersen, Rosja Mastop, John-Jules Charles Meyer and Paolo Turrini
An Update Operator for Strategic Ability

Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib
Expressing Properties of Coalitional Ability under Resource Bounds

Hu Liu
A Cooperation Logic for Declaration Structures

3:15 - 3:30: Break
3:30 - 4:30: Poster Session
Fernando R. Velazquez-Quesada
Dynamic Logics for Explicit and Implicit Information

Jing Shi
Modal Expressivity and Definiability over sets

Xiaohong Cui
The Logic of Knowledge-based Cooperation in The Social Dilemma

Qing Jia
Deliberate Contrary-to-law action

4:30 - 5:20: Invited Speaker
Henry Prakken (Utrecht University, The Netherlands)
Argumentation in logic and interaction
Argumentation is a form of reasoning that makes explicit the reasons for the conclusions that are drawn and how conflicts between reasons are resolved. This provides a natural mechanism, for example, to handle inconsistent and uncertain information and to resolve conflicts of opinion between intelligent agents. In consequence, argumentation has become a key topic in the logical study of commonsense reasoning and in the dialogical study of inter-agent communication.

In this talk an introduction will be given to current research in AI on logics and dialogue systems for argumentation. If time permits, some current research issues will be discussed, such as semantics for argumentation-based inference and properties of interaction protocols for argumentation.
Dinner (with speaker), Caigenxiang Restaurant (Sichuan Cuisine)
Rohit Parikh (City University of New York, USA)

Saturday October 10, 2009

9:00 - 9:50: Invited Speaker
Jeremy Seligman (University of Auckland, NZ)
9:50 - 10:00: Break
10:00 - 11:15: Morning Session 1
Wes Holliday
Dynamic Testimonial Logic

Emiliano Lorini, Medhi Dastani, Hans van Ditmarsch, Andreas Herzig and John-Jules Meyer
Intentions and assignments

Rajdeep Niyogi and Ram Ramanujam
An epistemic logic for planning with trials

11:15 - 11:30: Coffee Break
11:30 - 12:20: Morning Session 2
Emiliano Lorini, Francois Schwarzentruber and Andreas Herzig
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together

Jianying Cui, Meiyun Guo and Xiaojia Tang
Characterizations for Iterative Admissibility Based on PEGL

12:20 - 2:00: Lunch
2:20 - 3:20: Poster Session
Cedric Degremont and Lena Kurzen
Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction

Guoping Du, Hongguang Wang and Jie Shen
Oppositional Logic

Zhiyuan Wang
Existence of Satisfied Alternative and the Occurring of Morph-Dictator

Sebastian Sequoiah-Grayson
Mono-Agent Dynamics
3:30 - 4:30: Invited Speaker
Leon van der Torre (University of Luxembourg, Luxembourg)
Dinner (Guiyuan hotel - after dinner there will be a Music concert by University Art League)

Sunday October 11, 2009

Excursion: Details TBA