Declarative Agent Languages and Technologies II
Editat de João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolumen Limba Engleză Paperback – 16 iun 2005
Preț: 322.59 lei
Preț vechi: 403.23 lei
-20%
Puncte Express: 484
Carte tipărită la comandă
Livrare economică 05-19 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.