Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 4327)
データ種別 | 電子ブック |
---|---|
版 | 1st ed. 2006. |
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 2006 |
大きさ | VIII, 268 p : online resource |
著者標目 | Baldoni, Matteo editor Endriss, Ulle editor SpringerLink (Online service) |
書誌詳細を非表示
一般注記 | Invited Talk -- Producing Compliant Interactions: Conformance, Coverage, and Interoperability -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications -- Dynamic Model Checking for Multi-agent Systems -- Contributed Papers -- Automating Belief Revision for AgentSpeak -- A Foundational Ontology of Organizations and Roles -- When Agents Communicate Hypotheses in Critical Situations -- A Fibred Tableau Calculus for Modal Logics of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System for Agents with Declarative Goals -- A Collaborative Framework to Realize Virtual Enterprises Using 3APL -- A Modeling Framework for Generic Agent Interaction Protocols -- Plan Generation and Plan Execution in Agent Programming -- A Functional Program for Agents, Actions, and Deontic Specifications HTTP:URL=https://doi.org/10.1007/11961536 |
---|---|
件 名 | LCSH:Compilers (Computer programs) LCSH:Artificial intelligence LCSH:Computer networks LCSH:Software engineering LCSH:Computer science FREE:Compilers and Interpreters FREE:Artificial Intelligence FREE:Computer Communication Networks FREE:Software Engineering FREE:Computer Science Logic and Foundations of Programming |
分 類 | LCC:QA76.76.C65 DC23:005.45 |
書誌ID | EB00002798 |
ISBN | 9783540689614 |
類似資料
この資料の利用統計
このページへのアクセス回数:4回
※2019年3月27日以降
全貸出数:0回
(1年以内の貸出:0回)
※2019年3月27日以降