CLIMA XII 2011: Barcelona, Spain

João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (Eds.): Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814 Springer 2011, ISBN 978-3-642-22358-7

Secrets and Trust

Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney:
Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk). 1-12
Robert Demolombe:
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. 13-28
Sara Miner More, Pavel Naumov:
The Functional Dependence Relation on Hypergraphs of Secrets. 29-40

Hans P. van Ditmarsch, Fernando Soler-Toscano:
Three Steps. 41-57
Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin:
A Modal Framework for Relating Belief and Signed Information. 58-73
Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek:
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. 74-87

Ulle Endriss:
Applications of Logic in Social Choice Theory - (Invited Talk). 88-91
Jan van Eijck:
A Geometric Look at Manipulation. 92-104
Tiago De Lima:
Alternating-Time Temporal Announcement Logic. 105-121
Jan Calta, Dmitry Shkatov:
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. 122-138
Thomas Ågotnes, Natasha Alechina:
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. 139-156
Daniele Porello, Ulle Endriss:
Ontology Merging as Social Choice. 157-170

Özgür Kafali, Paolo Torroni:
Social Commitment Delegation and Monitoring. 171-189
Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Verifying Team Formation Protocols with Probabilistic Model Checking. 190-207
Samy Sá, João Alcântara:
Abduction-Based Search for Cooperative Answers. 208-224
Özgür Kafali, Francesca Toni, Paolo Torroni:
Reasoning about Exceptions to Contracts. 225-242

Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo:
Probabilistic Rule Learning in Nonmonotonic Domains. 243-258
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Formal Semantics for Brahms. 259-274
Alfredo Gabaldon:
Making Golog Norm Compliant. 275-292

Jan Broersen:
Probabilistic Action and Deontic Logic - (Invited Talk). 293-294
Andreas Herzig, Emiliano Lorini, Nicolas Troquard:
A Dynamic Logic of Institutional Actions. 295-311
Mathieu Beirlaen, Christian Straßer:
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts. 312-329
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota:
Normative Systems Represented as Hybrid Knowledge Bases. 330-346
Nir Oren, Wamberto Vasconcelos, Felipe Meneguzzi, Michael Luck:
Acting on Norm Constrained Plans. 347-363
Guido Governatori, Antonino Rotolo:
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance. 364-382

Last update Thu May 24 04:14:55 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page