CLIMA VIII 2007:
Porto,
Portugal
Fariba Sadri, Ken Satoh (Eds.):
Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers.
Lecture Notes in Computer Science 5056 Springer 2008, ISBN 978-3-540-88832-1 
Invited Paper
Regular Papers
- Arjen Hommersom, Peter J. F. Lucas:
Actions with Failures in Interval Temporal Logic.
22-41
- Wojciech Jamroga, Nils Bulling:
A Logic for Reasoning about Rational Agents.
42-61
- David Pereira, Eugénio C. Oliveira, Nelma Moreira:
Formal Modelling of Emotions in BDI Agents.
62-81
- Jan Broersen, Julien Brunel:
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations.
82-99
- Raul Hakli, Sara Negri:
Proof Theory for Distributed Knowledge.
100-116
- Martin Slota, João Leite:
EVOLP: Tranformation-Based Semantics.
117-136
- Louise A. Dennis, Michael Fisher, Anthony Hepple:
Language Constructs for Multi-agent Programming.
137-156
- Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone:
-Tropos.
157-176
- Stefania Costantini, Arianna Tocchio, Panagiota Tsintza:
A Heuristic Approach to P2P Negotiation.
177-192
- Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun:
Towards Context Sensitive Defeasible Rules.
193-213
- Ruben Stranders, Mathijs de Weerdt, Cees Witteveen:
Fuzzy Argumentation for Trust.
214-230
- Francesca Toni:
Assumption-Based Argumentation for Selection and Composition of Services.
231-247
- Francesco Belardinelli, Alessio Lomuscio:
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.
248-267
- Rajeev Goré, Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.
268-287
System Description Paper
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
