Sold Out
Book Categories |
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy J. Renze Steenhuisen Steenhuisen, J. Renze Cees Witteveen Witteveen, Cees Yingqian Zhang Zhang, Yingqian 1
Regular Papers
Actions with Failures in Interval Temporal Logic Arjen Hommersom Hommersom, Arjen Peter Lucas Lucas, Peter 22
A Logic for Reasoning about Rational Agents Wojciech Jamroga Jamroga, Wojciech Nils Bulling Bulling, Nils 42
Formal Modelling of Emotions in BDI Agents David Pereira Pereira, David Eugenio Oliveira Oliveira, Eugenio Nelma Moreira Moreira, Nelma 62
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations Jan Broersen Broersen, Jan Julien Brunel Brunel, Julien 82
Proof Theory for Distributed Knowledge Raul Hakli Hakli, Raul Sara Negri Negri, Sara 100
EVOLP: Tranformation-Based Semantics Martin Slota Slota, Martin Joao Leite Leite, Joao 117
Language Constructs for Multi-agent Programming Louise Dennis Dennis, Louise Michael Fisher Fisher, Michael Anthony Hepple Hepple, Anthony 137
B-Tropos: Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification Volha Bryl Bryl, Volha Paola Mello Mello, Paola Marco Montali Montali, Marco Paolo Torroni Torroni, Paolo Nicola Zannone Zannone, Nicola 157
A Heuristic Approach to P2P Negotiation Stefania Costantini Costantini, Stefania Arianna Tocchio Tocchio, Arianna Panagiota Tsintza Tsintza, Panagiota 177
Towards Context Sensitive Defeasible Rules Armin Hezart Hezart, Armin Abhaya Nayak Nayak, Abhaya Mehmet Orgun Orgun, Mehmet 193
Fuzzy Argumentation for Trust Ruben Stranders Stranders, Ruben Mathijs de Weerdt deWeerdt, Mathijs Cees Witteveen Witteveen, Cees 214
Assumption-Based Argumentation for Selection and Composition of Services Francesca Toni Toni, Francesca 231
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems Francesco Belardinelli Belardinelli, Francesco Alessio Lomuscio Lomuscio, Alessio 248
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs Rajeev Gore Gore, Rajeev Linh Anh Nguyen Nguyen, Linh Anh 268
System Description Paper
EVOLP: An Implementation Martin Slota Slota, Martin Joao Leite Leite, Joao 288
Author Index 299
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionComputational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invit
X
This Item is in Your InventoryComputational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invit
X
You must be logged in to review the productsX
X
X
Add Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invit, This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the Internation, Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invit to the inventory that you are selling on WonderClubX
X
Add Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invit, This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the Internation, Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invit to your collection on WonderClub |