Dynamics and Management of Reasoning Processes: Handbook of Defeasible Reasoning and Uncertainty Management Systems, cartea 6
Editat de John-Jules Ch. Meyer, Jan Treuren Limba Engleză Hardback – 31 dec 2001
Preț: 626.52 lei
Preț vechi: 737.07 lei
-15%
Puncte Express: 940
Carte tipărită la comandă
Livrare economică 18 septembrie-02 octombrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs 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: 9781402001932
ISBN-10: 1402001932
Pagini: 396
Ilustrații: VIII, 386 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:2002
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Handbook of Defeasible Reasoning and Uncertainty Management Systems
Locul publicării:Dordrecht, Netherlands
ISBN-10: 1402001932
Pagini: 396
Ilustrații: VIII, 386 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:2002
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Handbook of Defeasible Reasoning and Uncertainty Management Systems
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Basic Concepts.- Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning.- Formal Semantics of Temporal Epistemic Reflection.- Compositional Verification of Diagnostic Process Models.- Specification of Nonmonotonic Reasoning.- An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.- The Dynamics of Default Reasoning.- Default Logic as Dynamic Doxastic Logic.- Temporalized Epistemic Default Logic.- Meta-level Selection Techniques for the Control of Default Reasoning.- A New Semantics for Logic Programs.- Context-Dependent Natural Deduction for Non-Monotonic Reasoning.- Dynamic Normative Reasoning Under Uncertainty.- A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering.- Modelling Internal Dynamic Behaviour of BDI Agents.- Deliberate Evolution in Multi-Agent Systems.