Computational Logic in Multi-Agent Systems

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

ISBN: 978-3-642-22358-7 (Print) 978-3-642-22359-4 (Online)

Table of contents (25 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Secrets and Trust

    1. No Access

      Book Chapter

      Pages 1-12

      Some Thoughts on Using Argumentation to Handle Trust

    2. No Access

      Book Chapter

      Pages 13-28

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

    3. No Access

      Book Chapter

      Pages 29-40

      The Functional Dependence Relation on Hypergraphs of Secrets

  3. Knowledge and Beliefs

    1. No Access

      Book Chapter

      Pages 41-57

      Three Steps

    2. No Access

      Book Chapter

      Pages 58-73

      A Modal Framework for Relating Belief and Signed Information

    3. No Access

      Book Chapter

      Pages 74-87

      On the Definability of Simulability and Bisimilarity by Finite Epistemic Models

  4. Logics for Games and Social Choice

    1. No Access

      Book Chapter

      Pages 88-91

      Applications of Logic in Social Choice Theory

    2. No Access

      Book Chapter

      Pages 92-104

      A Geometric Look at Manipulation

    3. No Access

      Book Chapter

      Pages 105-121

      Alternating-Time Temporal Announcement Logic

    4. No Access

      Book Chapter

      Pages 122-138

      Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information

    5. No Access

      Book Chapter

      Pages 139-156

      Reasoning about Joint Action and Coalitional Ability in K n with Intersection

    6. No Access

      Book Chapter

      Pages 157-170

      Ontology Merging as Social Choice

  5. Cooperation

    1. No Access

      Book Chapter

      Pages 171-189

      Social Commitment Delegation and Monitoring

    2. No Access

      Book Chapter

      Pages 190-207

      Verifying Team Formation Protocols with Probabilistic Model Checking

    3. No Access

      Book Chapter

      Pages 208-224

      Abduction-Based Search for Cooperative Answers

    4. No Access

      Book Chapter

      Pages 225-242

      Reasoning about Exceptions to Contracts

  6. Logic and Languages

    1. No Access

      Book Chapter

      Pages 243-258

      Probabilistic Rule Learning in Nonmonotonic Domains

    2. No Access

      Book Chapter

      Pages 259-274

      A Formal Semantics for Brahms

    3. No Access

      Book Chapter

      Pages 275-292

      Making Golog Norm Compliant

  7. Norms and Normative Multi-agent Systems

    1. No Access

      Book Chapter

      Pages 293-294

      Probabilistic Action and Deontic Logic

previous Page of 2