Declarative 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.)

• Pubblicazione: Berlin ; ; New York, : Springer, c2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (VIII, 268 p.)
• Disciplina: 055.13/1
• Soggetto topico: Programming languages (Electronic computers); Declarative programming; Intelligent agents (Computer software)
• Altri autori: BaldoniMatteo <1968-> EndrissUlle
• Note generali: International conference proceedings.
• Nota di bibliografia: Includes bibliographical references and author index.
• Nota di contenuto: 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.
• Altri titoli varianti: DALT 2006
• Titolo autorizzato: Declarative Agent Languages and Technologies IV
• ISBN: 3-540-68961-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483038003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 4327.; Lecture notes in computer science. . -Lecture notes in artificial intelligence.; LNCS sublibrary. : SL 7, . -Artificial intelligence.