| Document Type
|
:
|
BL
|
| Record Number
|
:
|
724215
|
| Doc. No
|
:
|
b543934
|
| Main Entry
|
:
|
edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
|
| Title & Author
|
:
|
Logical and Computational Aspects of Model-Based Reasoning\ edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
|
| Publication Statement
|
:
|
Dordrecht: Springer Netherlands : Imprint : Springer, 2002
|
| Series Statement
|
:
|
Applied logic series, 25.
|
| Page. NO
|
:
|
(360 pages)
|
| ISBN
|
:
|
1402007914
|
|
|
:
|
: 9401005508
|
|
|
:
|
: 9781402007910
|
|
|
:
|
: 9789401005500
|
| Contents
|
:
|
Logical Aspects of Model-Based Reasoning --;A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems<EM>.-</EM> A Logical Approach to the Analysis of Metaphors<EM>.-</EM> Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction<EM>.-</EM> Diagrammatic Inference and Graphical Proof<EM>.-</EM> A Logical Analysis of Graphical Consistency Proofs<EM>.-</EM> Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning<EM>.-</EM> Model-Guided Proof Planning<EM>.-</EM> Degrees of Abductive Boldness<EM>.-</EM> Scientific Explanation and Modified Semantic Tableaux<EM>.-</EM> Computational Aspects of Model-Based Reasoning. Computational Discovery of Communicable Knowledge<EM>.-</EM> Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery<EM>.-</EM> Reasoning about Models of Nonlinear Systems<EM>.-</EM> Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation<EM>.-</EM> Modeling Through Human-Computer Interactions and Mathematical Discourse<EM>.-</EM> Combining Strategy and Sub-models for the Objectified Communication of Research Programs<EM>.-</EM> Subject Index --;Author Index.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Discoveries in science -- Congresses.
|
| Subject
|
:
|
Qualitative reasoning -- Congresses.
|
| Subject
|
:
|
Science -- Methodology -- Congresses.
|
| Added Entry
|
:
|
Claudio Pizzi
|
|
|
:
|
Lorenzo Magnani
|
|
|
:
|
Nancy J Nersessian
|