عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1402007914
(Number (ISBN
9401005508
(Number (ISBN
9781402007910
(Number (ISBN
9789401005500
NATIONAL BIBLIOGRAPHY NUMBER
Number
b543934
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logical and Computational Aspects of Model-Based Reasoning
General Material Designation
[Book]
First Statement of Responsibility
edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
Name of Publisher, Distributor, etc.
Springer Netherlands : Imprint : Springer
Date of Publication, Distribution, etc.
2002
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(360 pages)
SERIES
Series Title
Applied logic series, 25.
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Discoveries in science -- Congresses.
Qualitative reasoning -- Congresses.
Science -- Methodology -- Congresses.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Claudio Pizzi
Lorenzo Magnani
Nancy J Nersessian
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
