Computational Logic in Multi-Agent Systems
Editat de João Leite, Paolo Torronien Limba Engleză Paperback – 20 iul 2005
Preț: 321.17 lei
Preț vechi: 401.46 lei
-20% Nou
Puncte Express: 482
Preț estimativ în valută:
56.84€ • 66.66$ • 49.84£
56.84€ • 66.66$ • 49.84£
Carte tipărită la comandă
Livrare economică 26 ianuarie-09 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540280606
ISBN-10: 354028060X
Pagini: 300
Ilustrații: XII, 284 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354028060X
Pagini: 300
Ilustrații: XII, 284 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.