Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /

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

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develo...

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

• Agent Programming and Beliefs
• Beliefs in Agent Implementation
• Modelling Uncertainty in Agent Programming
• Complete Axiomatizations of Finite Syntactic Epistemic States
• Architectures and Logic Programming
• An Architecture for Rational Agents
• LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
• A Distributed Architecture for Norm-Aware Agent Societies
• About Declarative Semantics of Logic-Based Agent Languages
• Knowledge Representation and Reasoning
• Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour
• Resource-Bounded Belief Revision and Contraction
• Agent-Oriented Programming with Underlying Ontological Reasoning
• Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains
• A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results
• Coordination and Model Checking
• An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
• A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.