Computational Logic in Multi-Agent Systems

1. Front Matter

   PDF

2. Secrets and Trust

   1. Some Thoughts on Using Argumentation to Handle Trust

      • Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney

      Pages 1-12

   2. Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic

      • Robert Demolombe

      Pages 13-28

   3. The Functional Dependence Relation on Hypergraphs of Secrets

      • Sara Miner More, Pavel Naumov

      Pages 29-40

3. Knowledge and Beliefs

   1. Three Steps

      • Hans van Ditmarsch, Fernando Soler–Toscano

      Pages 41-57

   2. A Modal Framework for Relating Belief and Signed Information

      • Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin

      Pages 58-73

   3. On the Definability of Simulability and Bisimilarity by Finite Epistemic Models

      • Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek

      Pages 74-87

4. Logics for Games and Social Choice

   1. Applications of Logic in Social Choice Theory

      • Ulle Endriss

      Pages 88-91

   2. A Geometric Look at Manipulation

      • Jan van Eijck

      Pages 92-104

   3. Alternating-Time Temporal Announcement Logic

      • Tiago de Lima

      Pages 105-121

   4. Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information

      • Jan Calta, Dmitry Shkatov

      Pages 122-138

   5. Reasoning about Joint Action and Coalitional Ability in K _n with Intersection

      • Thomas Ågotnes, Natasha Alechina

      Pages 139-156

   6. Ontology Merging as Social Choice

      • Daniele Porello, Ulle Endriss

      Pages 157-170

5. Cooperation

   1. Social Commitment Delegation and Monitoring

      • Özgür Kafalı, Paolo Torroni

      Pages 171-189

   2. Verifying Team Formation Protocols with Probabilistic Model Checking

      • Taolue Chen, Marta Kwiatkowska, David Parker, Aistis Simaitis

      Pages 190-207

   3. Abduction-Based Search for Cooperative Answers

      • Samy Sá, João Alcântara

      Pages 208-224

   4. Reasoning about Exceptions to Contracts

      • Özgür Kafalı, Francesca Toni, Paolo Torroni

      Pages 225-242

6. Logic and Languages

   1. Probabilistic Rule Learning in Nonmonotonic Domains

      • Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo

      Pages 243-258

   2. A Formal Semantics for Brahms

      • Richard Stocker, Maarten Sierhuis, Louise Dennis, Clare Dixon, Michael Fisher

      Pages 259-274

   3. Making Golog Norm Compliant

      • Alfredo Gabaldon

      Pages 275-292

This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011.
The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.

• agent interaction
• computational complexity
• normative programming
• satisfiability
• temporal logic

• Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Departamento de Informática, CENTRIA, Quinta da Torre, Caparica, Portugal

  João Leite

• Università di Bologna, Laboratorio di Informatica Avanzata, Dipartimento di Informatica, Elettronica e Sistemistica, Bologna, Italy

  Paolo Torroni

• Department of Information Science and Media Studies, University of Bergen, Bergen, Norway

  Thomas Ågotnes

• University of Torino, Italy

  Guido Boella

• Faculté des Sciences, de la Technologie et de la Communication, Université du Luxembourg, Luxembourg, Luxembourg

  Leon Torre

Policies and ethics