Computational Logic in Multi-Agent Systems
11th International Workshop
Lisbon, Portugal, August 16-17, 2010


16 of August
Session 1 - Secrets and Lies (Chair: Jürgen Dix)
9:00 - 10:00 Invited Talk
Is Computational Complexity a Barrier to Manipulation?
(Toby Walsh)
10:00 - 10:30 Hypergraphs of Multiparty Secrets (Sara Miner More and Pavel Naumov)
Coffee Break
Session 2 - Logics in MAS (Chair: Fariba Sadri)
11:00 - 11:30 Combining Logics in Simple Type Theory (Christoph Benzmueller)
11:30 - 12:00 Speculative Abductive Reasoning for Hierarchical Agent Systems (Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo and Ken Satoh)
12:00 - 12:30 Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of Pi-Calculus Processes (Pedro Arturo Gongora, Francisco Hernandez-Quiroz and Eric Ufferman)
Lunch Break
Session 3 - Norms and Normative MAS I (Chair: Jürgen Dix)
14:30 - 15:30 Invited Talk
Games, Norms and Strategic Notions in Information Flow Security
(Ron van der Meyden)
Coffee Break
Session 4 - Norms and Normative MAS II (Chair: Koen Hindriks)
16:00 - 16:30 What Happened to My Commitment? Exception Diagnosis Among Misalignment and Misbehavior (Ozgur Kafali, Federico Chesani and Paolo Torroni)
16:30 - 17:00 Verifying Business Process Compliance by Reasoning about Actions (Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato and Daniele Theseider Dupré)
17:00 - 17:30 From Organisation Specification to Normative Programming in Multi-Agent Organisations (Jomi Fred Hubner, Olivier Boissier and Rafael H. Bordini)

17 of August
Session 5 - Logics for Games and Strategic Reasoning I (Chair: Wojtek Jamroga)
9:00 - 10:00 Invited Talk
Group Announcements: Logic and Games
(Thomas Ågotnes)
10:00 - 10:30 Finding Uniform Strategies for Multi-Agent Systems (Jan Calta, Dmitry Shkatov and Holger Schlingloff)
Coffee Break
Session 6 - Logics for Games and Strategic Reasoning II (Chair: Ron van der Meyden)
11:00 - 11:30 Playing extensive form games in parallel (Sujata Ghosh, R. Ramanujam and Sunil Easaw Simon)
11:30 - 12:00 Exploring the boundary of half positionality (Alessandro Bianco, Marco Faella, Fabio Mogavero and Aniello Murano)
12:00 - 12:30 Proof-theoretic analysis of Rationality for Strategic Games with Arbitrary Strategy Sets (Jonathan Zvesper and Krzysztof Apt)
Lunch Break
Session 7 - Argumentation (Chair: João Leite)
14:30 - 15:30 Invited Talk
Strong Equivalence in Argumentation
(Stefan Woltran)
Coffee Break
Session 8 - Agent Programming Languages (Chair: Rafael Bordini)
16:00 - 16:30 An Agent Language with Destructive Assignment and Model-Theoretic Semantics (Robert Kowalski and Fariba Sadri)
16:30 - 17:00 Model Checking Agent Programs by Using the Program Interpreter (Sung-Shik Jongmans, Koen Hindriks and M. Birna van Riemsdijk)
17:00 - 17:30 A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages (Stefania Costantini and Arianna Tocchio)