Abstract is missing.
- Group Announcements: Logic and Games (Abstract of Invited Talk)Thomas Ågotnes. 9-13 [doi]
- Strong Equivalence in ArgumentationStefan Woltran. 14 [doi]
- Hypergraphs of Multiparty SecretsSara Miner More, Pavel Naumov. 15-32 [doi]
- Combining Logics in Simple Type TheoryChristoph Benzmüller. 33-48 [doi]
- Speculative Abductive Reasoning for Hierarchical Agent SystemsJiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh. 49-64 [doi]
- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ::::pi::::-Calculus ProcessesPedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz. 65-81 [doi]
- What Happened to My Commitment? Exception Diagnosis among Misalignment and MisbehaviorÖzgür Kafali, Federico Chesani, Paolo Torroni. 82-98 [doi]
- Verifying Business Process Compliance by Reasoning about ActionsDavide D Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré. 99-116 [doi]
- From Organisation Specification to Normative Programming in Multi-Agent OrganisationsJomi Fred Hübner, Olivier Boissier, Rafael H. Bordini. 117-134 [doi]
- Finding Uniform Strategies for Multi-agent SystemsJan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff. 135-152 [doi]
- Playing Extensive Form Games in ParallelSujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon. 153-170 [doi]
- Exploring the Boundary of Half PositionalityAlessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano. 171-185 [doi]
- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy SetsJonathan A. Zvesper, Krzysztof R. Apt. 186-199 [doi]
- An Agent Language with Destructive Assignment and Model-Theoretic SemanticsRobert A. Kowalski, Fariba Sadri. 200-218 [doi]
- Model Checking Agent Programs by Using the Program InterpreterSung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk. 219-237 [doi]
- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented LanguagesStefania Costantini, Arianna Tocchio. 238-255 [doi]