默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

CLIMA IX 2008：德国德累斯顿

>主页 >会议和研讨会 >CLIMA公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/2008年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/2008
迈克尔·菲希尔,法里巴·萨德里,迈克尔·泰尔舍尔:
多智能体系统中的计算逻辑，第九届国际研讨会，CLIMA IX，德国德累斯顿，2008年9月29日至30日。修订精选论文和邀请论文。计算机科学课堂讲稿5405,施普林格 2009，国际标准图书编号978-3-642-02733-8

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/Jamroga08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/Jamroga08网址
沃伊西奇·贾姆罗加:
易而难：代理的模型检查策略。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/Dastani08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/Dastani08网站
迈赫迪·达斯坦尼:
编程多代理系统。 13-16

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/佐丹奴M08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/Giordano M08（网址：https://dblp.org/rec/conf/clima/Giordano M08）
劳拉·佐丹奴,阿尔贝托·马泰利:
验证代理与多方协议的一致性。 17-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/SerranoS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/SerranoS08
胡安·曼努埃尔·塞拉诺,塞尔吉奥·索加:
社会过程编程语言的运行时语义。 37-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/Kamide08会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/Kamide08
Norihiro Kamide公司:
将线性时间时间逻辑嵌入到无限逻辑中：应用于多主体无限认识线性时间逻辑的截断消除。 57-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/AlboreABGL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/AlboreABGL08
亚历山大·阿尔博尔,娜塔莎·阿列奇纳,皮埃尔吉奥·贝尔托利,奇亚拉·吉迪尼,布莱恩·洛根:
有限资源推理作为（强或经典）规划。 77-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/BujorianuBB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/BujorianuBB08
马吕斯·布乔里亚诺,Manuela-Luminita Bujorianu公司,霍华德·巴林格:
概率多智能体网络物理系统以用户为中心控制的形式化框架。 97-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/Dima08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/Dima08
卡塔琳·迪马:
用同步和完全召回重审CTLK的可满足性和模型检验。 117-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/CostantiniTT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/CostantiniTT08
斯蒂芬妮娅·科斯坦蒂尼,阿里安娜·托奇奥,Panagiota Tsintza酒店:
违反合同：通过论证证明。 132-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/clima/DungTH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/clima/DungTH08
Phan Minh Dung公司,潘明堂,阮杜雄（Nguyen Duy Hung）:
电子商务中基于论证的决策与谈判：为计算机装配厂签订土地租赁合同。 154-172

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。