Logical and Computational Aspects of Model-Based Reasoning

Logical Aspects of Model-Based Reasoning. A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems; N. Swoboda, G. Allwein. A Logical Approach to the Analysis of Metaphors; I. D'Hanis. Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction; J. Meheus, et al. Diagrammatic Inference and Graphical Proof; L.A. Pineda. A Logical Analysis of Graphical Consistency Proofs; A. Shimojima. Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning; D. Provijn, E. Weber. Model-Guided Proof Planning; S. Choi, M. Kerber. Degrees of Abductive Boldness; I.C. Burger, J. Heidema. Scientific Explanation and Modified Semantic Tableaux; A. Nepomuceno-Fernádez. Computational Aspects of Model-Based Reasoning. Computational Discovery of Communicable Knowledge; P. Langley, et al. Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery; S. Dzeroski, L. Todorovski. Reasoning about Models of Nonlinear Systems; E. Stolle, et al. Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation; B. Górny, A. Ligeza. Modeling Through Human-Computer Interactions and Mathematical Discourse; G. Menezes da Nóbrega, et al. Combining Strategy and Sub-models for the Objectified Communication of Research Programs; E. Finkeissen. Subject Index. Author Index.