default search action

combined dblp search
author search
venue search
publication search

ask others

CLIMA X 2009: Hamburg, Germany

> 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/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/2009
Jürgen Dix, Michael Fisher, Peter Novák:
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6214, Springer 2010, ISBN 978-3-642-16866-6
- view
  authority control:
- export record
  dblp key:
  - conf/clima/SonPN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/SonPN09
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen:
Planning for Multiagent Using ASP-Prolog. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BullingF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BullingF09
Nils Bulling, Berndt Farwer:
Expressing Properties of Resource-Bounded Systems: The Logics RTL^* and RTL. 22-45
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BaralSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BaralSP09
Chitta Baral, Tran Cao Son, Enrico Pontelli:
Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. 46-63
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DennisTM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DennisTM09
Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer:
Model Checking Normative Agent Organisations. 64-82
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DastaniS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DastaniS09
Mehdi Dastani, Bas R. Steunebrink:
Operational Semantics for BDI Modules in Multi-agent Programming. 83-101
- view
  authority control:
- export record
  dblp key:
  - conf/clima/HoptonCVP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/HoptonCVP09
Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget:
InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. 102-121
- view
  authority control:
- export record
  dblp key:
  - conf/clima/SakamaS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/SakamaS09
Chiaki Sakama, Tran Cao Son:
Interacting Answer Sets. 122-140
- view
  authority control:
- export record
  dblp key:
  - conf/clima/VisserHJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/VisserHJ09
Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker:
Argumentation-Based Preference Modelling with Incomplete Information. 141-157
- view
  authority control:
- export record
  dblp key:
  - conf/clima/GongoraR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/GongoraR09
Pedro Arturo Góngora, David A. Rosenblueth:
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. 158-177
- view
  authority control:
- export record
  dblp key:
  - conf/clima/MaRBHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/MaRBHS09
Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh:
On the Implementation of Speculative Constraint Processing. 178-195

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.