Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783540689614
- 005.45 23
- QA76.76.C65
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.
There are no comments on this title.