Cargando…
Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Lecture Notes in Artificial Intelligence,
3487 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Foundations
- A Logic for Knowledge, Correctness, and Real Time
- Dynamic Logic for Plan Revision in Intelligent Agents
- Contextual Taxonomies
- From Logic Programs Updates to Action Description Updates
- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
- Architectures
- Declarative Agent Control
- Metareasoning for Multi-agent Epistemic Logics
- Graded BDI Models for Agent Architectures
- Interaction
- Inferring Trust
- Coordination Between Logical Agents
- A Computational Model for Conversation Policies for Agent Communication
- Verifying Protocol Conformance for Logic-Based Communicating Agents
- Planning and Applications
- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report
- Planning Partially for Situated Agents
- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals
- Organising Software in Active Environments.