default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCLIMA XII 2011: Barcelona, Spain
- João Leite
, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre:
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
Knowledge and Beliefs
- Hans 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 van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek:
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. 74-87
Logics for Games and Social Choice
- 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
Cooperation
- Ö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 F. L. Alcântara:
Abduction-Based Search for Cooperative Answers. 208-224 - Özgür Kafali, Francesca Toni, Paolo Torroni:
Reasoning about Exceptions to Contracts. 225-242
Logic and Languages
- 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
Norms and Normative Multi-agent Systems
- Jan M. 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 Weber 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
