OPAC

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)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0003410	Computer Scinece R0 2005-6,2022-3				9783540689614

一般注記	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