• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
成果搜索

author:

赖贤伟 (赖贤伟.) [1] | 胡山立 (胡山立.) [2] | 宁正元 (宁正元.) [3] | 詹青青 (詹青青.) [4]

Indexed by:

CQVIP

Abstract:

多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题.相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目.本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望.

Keyword:

交互时序逻辑 多Agent系统 时序逻辑 模态逻辑 联盟逻辑

Community:

  • [ 1 ] [赖贤伟]福建农林大学
  • [ 2 ] [胡山立]福州大学
  • [ 3 ] [宁正元]福建农林大学
  • [ 4 ] [詹青青]福州大学

Reprint 's Address:

Email:

Show more details

Version:

Related Keywords:

Related Article:

Source :

福建电脑

ISSN: 1673-2782

CN: 35-1115/TP

Year: 2007

Issue: 11

Page: 3-4

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 0

Online/Total:175/10063189
Address:FZU Library(No.2 Xuyuan Road, Fuzhou, Fujian, PRC Post Code:350116) Contact Us:0591-22865326
Copyright:FZU Library Technical Support:Beijing Aegean Software Co., Ltd. 闽ICP备05005463号-1