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

Resource Information

The instance 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.) represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

The Resource 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.)

Image: http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540689614&Type=L

Label: 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.)

Title remainder: 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers

Statement of responsibility: Matteo Baldoni, Ulle Endriss (eds.)

Instantiates

Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers

Publication

Berlin, Springer, 2006

Bibliography note: Includes bibliographical references and author index

Carrier category: online resource

Carrier category code

Carrier MARC source: rdacarrier

Color: multicolored

Content category: text

Content type code

Content type MARC source: rdacontent

Contents: 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

Control code: 262693520

Dimensions: unknown

Extent: 1 online resource (viii, 256 pages)

Form of item: online

Isbn: 9783540689614

Media category: computer

Media MARC source: rdamedia

Media type code

Other control number: 10.1007/11961536

Other physical details: illustrations.

http://library.link/vocab/ext/overdrive/overdriveId: 978-3-540-68959-1

Record ID: .b129963008

Specific material designation: remote

System control number: (OCoLC)262693520

Context

Context of 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.)

Context

Item

Instantiates