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) |