Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers de John-Jules C. Meyer

Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers: Lecture Notes in Computer Science, cartea 1760

Editat de John-Jules C. Meyer, Pierre-Yves Schobbens

en Limba Engleză Paperback – 12 ian 2000

Din seria Lecture Notes in Computer Science

20%

Preț: 390^.18 lei
20%

Preț: 461^.65 lei
20%

Preț: 461^.32 lei
20%

Preț: 461^.77 lei
20%

Preț: 527^.36 lei
20%

Preț: 497^.04 lei
20%

Preț: 461^.52 lei
20%

Preț: 390^.35 lei
20%

Preț: 496^.64 lei
20%

Preț: 461^.52 lei
20%

Preț: 391^.14 lei
15%

Preț: 461^.85 lei
20%

Preț: 389^.72 lei
20%

Preț: 461^.06 lei
20%

Preț: 390^.69 lei
20%

Preț: 252^.15 lei
20%

Preț: 391^.14 lei
20%

Preț: 532^.54 lei
20%

Preț: 461^.83 lei
20%

Preț: 255^.91 lei
20%

Preț: 498^.46 lei
20%

Preț: 497^.55 lei
20%

Preț: 499^.36 lei
20%

Preț: 390^.12 lei
20%

Preț: 391^.20 lei
20%

Preț: 390^.35 lei
20%

Preț: 391^.20 lei
20%

Preț: 392^.64 lei
20%

Preț: 389^.90 lei
20%

Preț: 639^.72 lei
20%

Preț: 461^.65 lei
20%

Preț: 462^.05 lei
15%

Preț: 388^.50 lei
5%

Preț: 516^.27 lei
20%

Preț: 390^.94 lei
20%

Preț: 391^.86 lei
20%

Preț: 389^.85 lei
20%

Preț: 498^.32 lei
20%

Preț: 462^.67 lei
20%

Preț: 460^.98 lei
20%

Preț: 424^.26 lei
20%

Preț: 535^.77 lei
15%

Preț: 535^.92 lei
20%

Preț: 532^.28 lei
20%

Preț: 400^.17 lei
20%

Preț: 403^.00 lei
20%

Preț: 461^.57 lei
20%

Preț: 498^.50 lei
20%

Preț: 461^.83 lei
20%

Preț: 249^.95 lei

Preț: 318^.48 lei

Preț vechi: 398^.10 lei
-20% Nou

Puncte Express: 478

:
56^.35€ • 65^.65$ • 49^.21£

Carte tipărită la comandă

Livrare economică 19 ianuarie-02 februarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540670278
ISBN-10: 3540670270
Pagini: 268
Ilustrații: VIII, 260 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Formal Models of Agents: An Introduction.- A Model of BDI-Agent in Game-Theoretic Framework.- Dynamic Belief Hierarchies.- Modelling Internal Dynamic Behaviour of BDI Agents.- Towards an Agent-Oriented Framework for Specification of Information Systems.- The Impossibility of Modelling Cooperation in PD-Game.- Designing Multi-agent Systems around an Extensible Communication Abstraction.- Social Interactions of Autonomous Agents: Private and Global Views on Communication.- Towards a Proof-Theoretic Foundation for Actor Specification and Verification.- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios.- Agents’ Dynamic Mental Attitudes.- Diagnostic Agents for Distributed Systems.- Preferential Action Semantics (Preliminary Report).- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report).- The Role of Diagnosis and Decision Theory in Normative Reasoning.- Contextual Deontic Logic.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste