Overview

Full Product Details

Author:   L. Magnani ,  N.J. Nersessian ,  Claudio Pizzi
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 2002
Volume:   25
Dimensions:   Width: 16.00cm , Height: 1.90cm , Length: 24.00cm
Weight:   0.643kg
ISBN:  

9781402007910

ISBN 10:   1402007914
Pages:   342
Publication Date:   30 September 2002
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Awaiting stock  
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Table of Contents

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.- Author Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions