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 BibTeX
Invited Paper
Regular Papers
- Arjen Hommersom, Peter J. F. Lucas:
Actions with Failures in Interval Temporal Logic.
22-41
Electronic Edition (link) BibTeX
- Wojciech Jamroga, Nils Bulling:
A Logic for Reasoning about Rational Agents.
42-61
Electronic Edition (link) BibTeX
- David Pereira, Eugénio C. Oliveira, Nelma Moreira:
Formal Modelling of Emotions in BDI Agents.
62-81
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Raul Hakli, Sara Negri:
Proof Theory for Distributed Knowledge.
100-116
Electronic Edition (link) BibTeX
- Martin Slota, João Leite:
EVOLP: Tranformation-Based Semantics.
117-136
Electronic Edition (link) BibTeX
- Louise A. Dennis, Michael Fisher, Anthony Hepple:
Language Constructs for Multi-agent Programming.
137-156
Electronic Edition (link) BibTeX
- Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone:
-Tropos.
157-176
Electronic Edition (link) BibTeX
- Stefania Costantini, Arianna Tocchio, Panagiota Tsintza:
A Heuristic Approach to P2P Negotiation.
177-192
Electronic Edition (link) BibTeX
- Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun:
Towards Context Sensitive Defeasible Rules.
193-213
Electronic Edition (link) BibTeX
- Ruben Stranders, Mathijs de Weerdt, Cees Witteveen:
Fuzzy Argumentation for Trust.
214-230
Electronic Edition (link) BibTeX
- Francesca Toni:
Assumption-Based Argumentation for Selection and Composition of Services.
231-247
Electronic Edition (link) BibTeX
- Francesco Belardinelli, Alessio Lomuscio:
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.
248-267
Electronic Edition (link) BibTeX
- Rajeev Goré, Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.
268-287
Electronic Edition (link) BibTeX
System Description Paper
Copyright © Sat May 16 23:02:26 2009
by Michael Ley (ley@uni-trier.de)
