Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Leite, João (Επιμελητής έκδοσης), Torroni, Paolo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3487
• Θέματα: Computer science.; Computer communication systems.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Mathematical Logic and Formal Languages.

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

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

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