Skip to main content
SpringerLink
Log in
Book cover

Computational Logic in Multi-Agent Systems

12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. João Leite

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Paolo Torroni

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Thomas Ågotnes

    1. Department of Information Science and Media Studies, University of Bergen, Bergen, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Guido Boella

    1. University of Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Leon Torre

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast rack conference proceedings
  • Unique visuability
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6814)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CLIMA 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Computational Logic in Multi-Agent Systems

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation