Declarative Agent Languages and Technologies II
Editat de João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolumen Limba Engleză Paperback – 16 iun 2005
Preț: 321.60 lei
Preț vechi: 402.00 lei
-20% Nou
Puncte Express: 482
Preț estimativ în valută:
56.91€ • 66.37$ • 49.97£
56.91€ • 66.37$ • 49.97£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540261728
ISBN-10: 3540261729
Pagini: 308
Ilustrații: XII, 292 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540261729
Pagini: 308
Ilustrații: XII, 292 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Reasoning.- Dynamics of Declarative Goals in Agent Programming.- Theories of Intentions in the Framework of Situation Calculus.- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective.- Modelling and Engineering.- On Modelling Multi-agent Systems Declaratively.- The Semantics of MALLET–An Agent Teamwork Encoding Language.- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report.- Reasoning About Agents’ Interaction Protocols Inside DCaseLP.- Verification.- Model Checking Agent Dialogues.- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.- Norm Verification and Analysis of Electronic Institutions.- Norms and Protocols.- A Lightweight Coordination Calculus for Agent Systems.- Enhancing Commitment Machines.- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks.- Interaction and Communication.- Intensional Programming for Agent Communication.- The Logic of Communication Graphs.- Representational Content and the Reciprocal Interplay of Agent and Environment.