Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web Servises

动态信念修正的形式化及其在网络服务实时规划中的应用

基本信息

  • 批准号:
    19300053
  • 负责人:
  • 金额:
    $ 9.4万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2007
  • 资助国家:
    日本
  • 起止时间:
    2007 至 2009
  • 项目状态:
    已结题

项目摘要

We applied our previous model of speculative computation with dynamic belief revision into web-services and developed a visualization tool for execution of speculative web-services. We also developed lightweight web-service synthesis in order to enable speculative synthesized web-services easily.
我们应用我们以前的模型推测计算与动态信念修订到Web服务,并开发了一个可视化工具执行推测Web服务。我们还开发了轻量级的Web服务合成,以使投机合成Web服务容易。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Periodical Resource Allocation Using Approximated Combinatorial Auctions
使用近似组合拍卖的定期资源分配
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Naoki;Fukuta
  • 通讯作者:
    Fukuta
Winner Price Monotonocity for Approximated Combinatorial Auctions
近似组合拍卖的获胜者价格单调性
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jiefei Ma;Alessandra Russo;Krysia Broda;Hiroshi Hosobe;Ken Satoh;Naoki Fukuta
  • 通讯作者:
    Naoki Fukuta
Speculative Constraint Processing for Hierarchical Agents
分层代理的推测约束处理
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hiroshi Hosobe;Ken Satoh;Jiefei Ma;Alessandra Russo;Krysia Broda
  • 通讯作者:
    Krysia Broda
Approximated Winner Determination for a Series of Combinatorial Auctions
一系列组合拍卖的近似获胜者确定
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hiroshi Hosobe;Ken Satoh;Jiefei Ma;Alessandra Russo;Krysia Broda;Naoki Fukuta
  • 通讯作者:
    Naoki Fukuta
Towards "Kiga-kiku" Services on Speculative Computation
  • DOI:
    10.1007/978-3-540-89447-6_24
  • 发表时间:
    2008-11
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Naoki Fukuta;K. Satoh;Takahira Yamaguchi
  • 通讯作者:
    Naoki Fukuta;K. Satoh;Takahira Yamaguchi
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

SATOH Ken其他文献

AI Applications to the Law Domain in Japan
人工智能在日本法律领域的应用

SATOH Ken的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('SATOH Ken', 18)}}的其他基金

Implementing Japanese Presupposed Ultimate Fact Theory in Logic Programming
在逻辑编程中实现日本预设终极事实理论
  • 批准号:
    23300062
  • 财政年份:
    2011
  • 资助金额:
    $ 9.4万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Development of Reliable Advanced Inter-operable Agent Technology on Web Service Composition
Web服务组合中可靠的高级可互操作代理技术的开发
  • 批准号:
    16200010
  • 财政年份:
    2004
  • 资助金额:
    $ 9.4万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Construction of multi-agent systems with speculative computation
具有推测计算的多智能体系统的构建
  • 批准号:
    13358004
  • 财政年份:
    2001
  • 资助金额:
    $ 9.4万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Construction of Logical Multi-Agent System under Incomplete Information Environment
不完全信息环境下逻辑多Agent系统的构建
  • 批准号:
    11480070
  • 财政年份:
    1999
  • 资助金额:
    $ 9.4万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B).
Expression of laminin binding protein (37LBP/p40) and tumor angiogenesis in lung cancer
肺癌中层粘连蛋白结合蛋白(37LBP/p40)的表达与肿瘤血管生成
  • 批准号:
    08457178
  • 财政年份:
    1996
  • 资助金额:
    $ 9.4万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了