Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baldoni, Matteo (Επιμελητής έκδοσης), Endriss, Ulle (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4327
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Computer Science.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

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