Computational logic in multi-agent systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revisted selected and invited papers
著者
書誌事項
Computational logic in multi-agent systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revisted selected and invited papers
(Lecture notes in computer science, 3487 . Lecture notes in artificial intelligence)
Springer, c2005
大学図書館所蔵 全9件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29-30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions - a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
目次
Foundations.- A Logic for Knowledge, Correctness, and Real Time.- Dynamic Logic for Plan Revision in Intelligent Agents.- Contextual Taxonomies.- From Logic Programs Updates to Action Description Updates.- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs.- Architectures.- Declarative Agent Control.- Metareasoning for Multi-agent Epistemic Logics.- Graded BDI Models for Agent Architectures.- Interaction.- Inferring Trust.- Coordination Between Logical Agents.- A Computational Model for Conversation Policies for Agent Communication.- Verifying Protocol Conformance for Logic-Based Communicating Agents.- Planning and Applications.- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report.- Planning Partially for Situated Agents.- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals.- Organising Software in Active Environments.
「Nielsen BookData」 より