عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
1402007914
شابک
9401005508
شابک
9781402007910
شابک
9789401005500
شماره کتابشناسی ملی
شماره
b543934
عنوان و نام پديدآور
عنوان اصلي
Logical and Computational Aspects of Model-Based Reasoning
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer Netherlands : Imprint : Springer
تاریخ نشرو بخش و غیره
2002
مشخصات ظاهری
نام خاص و کميت اثر
(360 pages)
فروست
عنوان فروست
Applied logic series, 25.
یادداشتهای مربوط به مندرجات
متن يادداشت
Logical Aspects of Model-Based Reasoning --;A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems.- A Logical Approach to the Analysis of Metaphors.- Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction.- Diagrammatic Inference and Graphical Proof.- A Logical Analysis of Graphical Consistency Proofs.- Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning.- Model-Guided Proof Planning.- Degrees of Abductive Boldness.- Scientific Explanation and Modified Semantic Tableaux.- Computational Aspects of Model-Based Reasoning. Computational Discovery of Communicable Knowledge.- Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery.- Reasoning about Models of Nonlinear Systems.- Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation.- Modeling Through Human-Computer Interactions and Mathematical Discourse.- Combining Strategy and Sub-models for the Objectified Communication of Research Programs.- Subject Index --;Author Index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Discoveries in science -- Congresses.
موضوع مستند نشده
Qualitative reasoning -- Congresses.
موضوع مستند نشده
Science -- Methodology -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Claudio Pizzi
مستند نام اشخاص تاييد نشده
Lorenzo Magnani
مستند نام اشخاص تاييد نشده
Nancy J Nersessian
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
