03596nam 2200697 a 450 991048303800332120200520144314.03-540-68961-310.1007/11961536(CKB)1000000000283806(SSID)ssj0000317150(PQKBManifestationID)11923519(PQKBTitleCode)TC0000317150(PQKBWorkID)10293016(PQKB)10108435(SSID)ssj0000317151(PQKBManifestationID)11258275(PQKBTitleCode)TC0000317151(PQKBWorkID)10287397(PQKB)10970458(DE-He213)978-3-540-68961-4(MiAaPQ)EBC3068557(PPN)123140153(EXLCZ)99100000000028380620061113d2006 uy 0engurnn#008mamaatxtccrDeclarative Agent Languages and Technologies IV 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers /Matteo Baldoni, Ulle Endriss (eds.)1st ed. 2006.Berlin ;New York Springerc20061 online resource (VIII, 268 p.)LNCS sublibrary. SL 7, Artificial intelligenceLecture notes in computer science,0302-9743 ;4327.Lecture notes in artificial intelligenceInternational conference proceedings.3-540-68959-1 Includes bibliographical references and author index.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.Lecture notes in computer science ;4327.Lecture notes in computer science.Lecture notes in artificial intelligence.LNCS sublibrary.SL 7,Artificial intelligence.DALT 2006Programming languages (Electronic computers)CongressesDeclarative programmingCongressesIntelligent agents (Computer software)CongressesProgramming languages (Electronic computers)Declarative programmingIntelligent agents (Computer software)055.13/1Baldoni Matteo1968-1750369Endriss Ulle1750370International Workshop on Declarative Agent Languages and Technologies IIIMiAaPQMiAaPQMiAaPQBOOK9910483038003321Declarative Agent Languages and Technologies IV4184994UNINA