Cargando…
Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Lecture Notes in Artificial Intelligence,
3904 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.