default search action

combined dblp search
author search
venue search
publication search

ask others

CLIMA VIII 2007: Porto, Portugal

> Home > Conferences and Workshops > CLIMA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/clima/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/2007
Fariba Sadri, Ken Satoh:
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

- view
  authority control:
- export record
  dblp key:
  - conf/clima/SteenhuisenWZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/SteenhuisenWZ07
J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang:
Plan-Coordination Mechanisms and the Price of Autonomy. 1-21

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/clima/HommersomL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/HommersomL07
Arjen Hommersom, Peter J. F. Lucas:
Actions with Failures in Interval Temporal Logic. 22-41
- view
  authority control:
- export record
  dblp key:
  - conf/clima/JamrogaB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/JamrogaB07
Wojciech Jamroga, Nils Bulling:
A Logic for Reasoning about Rational Agents. 42-61
- view
  authority control:
- export record
  dblp key:
  - conf/clima/PereiraOM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/PereiraOM07
David Pereira, Eugénio C. Oliveira, Nelma Moreira:
Formal Modelling of Emotions in BDI Agents. 62-81
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BroersenB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BroersenB07
Jan M. Broersen, Julien Brunel:
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. 82-99
- view
  authority control:
- export record
  dblp key:
  - conf/clima/HakliN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/HakliN07
Raul Hakli, Sara Negri:
Proof Theory for Distributed Knowledge. 100-116
- view
  authority control:
- export record
  dblp key:
  - conf/clima/SlotaL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/SlotaL07
Martin Slota, João Leite:
EVOLP: Tranformation-Based Semantics. 117-136
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DennisFH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DennisFH07
Louise A. Dennis, Michael Fisher, Anthony Hepple:
Language Constructs for Multi-agent Programming. 137-156
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BrylMMTZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BrylMMTZ07
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone:
-Tropos. 157-176
- view
  authority control:
- export record
  dblp key:
  - conf/clima/CostantiniTT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/CostantiniTT07
Stefania Costantini, Arianna Tocchio, Panagiota Tsintza:
A Heuristic Approach to P2P Negotiation. 177-192
- view
  authority control:
- export record
  dblp key:
  - conf/clima/HezartNO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/HezartNO07
Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun:
Towards Context Sensitive Defeasible Rules. 193-213
- view
  authority control:
- export record
  dblp key:
  - conf/clima/StrandersWW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/StrandersWW07
Ruben Stranders, Mathijs de Weerdt, Cees Witteveen:
Fuzzy Argumentation for Trust. 214-230
- view
  authority control:
- export record
  dblp key:
  - conf/clima/Toni07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/Toni07
Francesca Toni:
Assumption-Based Argumentation for Selection and Composition of Services. 231-247
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BelardinelliL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BelardinelliL07
Francesco Belardinelli, Alessio Lomuscio:
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. 248-267
- view
  authority control:
- export record
  dblp key:
  - conf/clima/GoreN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/GoreN07
Rajeev Goré, Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. 268-287

System Description Paper

- view
  authority control:
- export record
  dblp key:
  - conf/clima/SlotaL07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/SlotaL07a
Martin Slota, João Leite:
EVOLP: An Implementation. 288-298

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.