Skip to main content
SpringerLink
Log in

Logical and Computational Aspects of Model-Based Reasoning

  • Book
  • © 2002

Overview

Editors:
  1. Lorenzo Magnani

    1. University of Pavia, Pavia, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nancy J. Nersessian

    1. Georgia Institute of Technology, Atlanta, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Claudio Pizzi

    1. University of Siena, Siena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Applied Logic Series (APLS, volume 25)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Logical Aspects of Model-Based Reasoning

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems

      • Nik Swoboda, Gerard Allwein
      Pages 3-20

    3. A Logical Approach to the Analysis of Metaphors

      • Isabel D’Hanis
      Pages 21-37

    4. Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction

      • Joke Meheus, Liza Verhoeven, Maarten Van Dyck, Dagmar Provijn
      Pages 39-71

    5. Diagrammatic Inference and Graphical Proof

      • Luis A. Pineda
      Pages 73-91

    6. A Logical Analysis of Graphical Consistency Proofs

      • Atsushi Shimojima
      Pages 93-115

    7. Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning

      • Dagmar Provijn, Erik Weber
      Pages 117-142

    8. Model-Guided Proof Planning

      • Seungyeob Choi, Manfred Kerber
      Pages 143-162

    9. Degrees of Abductive Boldness

      • Isabella C. Burger, Johannes Heidema
      Pages 163-180

    10. Scientific Explanation and Modified Semantic Tableaux

      • Angel Nepomuceno-Fernández
      Pages 181-198

  3. Computational Aspects of Model-Based Reasoning

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. Computational Discovery of Communicable Scientific Knowledge

      • Pat Langley, Jeff Shrager, Kazumi Saito
      Pages 201-225

    3. Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery

      • Sašo Džeroski, Ljupčo Todorovski
      Pages 227-247

    4. Reasoning about Models of Nonlinear Systems

      • Reinhard Stolle, Matthew Easley, Elizabeth Bradley
      Pages 249-271

    5. Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation

      • Bartłomiej Górny, Antoni Ligeza
      Pages 273-291

    6. Modeling Through Human-Computer Interactions and Mathematical Discourse

      • Germana Menezes da Nóbrega, Philippe Malbos, Jean Sallantin
      Pages 293-311

    7. Combining Strategy and Sub-Models for the Objectified Communication of Research Programs

      • Ekkehard Finkeissen
      Pages 313-330

  4. Back Matter

    Pages 331-342
    Download chapter PDF
Back to top

Keywords

About this book

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor­ tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. 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.

Editors and Affiliations

  • University of Pavia, Pavia, Italy

    Lorenzo Magnani

  • Georgia Institute of Technology, Atlanta, USA

    Nancy J. Nersessian

  • University of Siena, Siena, Italy

    Claudio Pizzi

Bibliographic Information

  • Book Title: Logical and Computational Aspects of Model-Based Reasoning

  • Editors: Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi

  • Series Title: Applied Logic Series

  • DOI: https://doi.org/10.1007/978-94-010-0550-0

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 2002

  • Hardcover ISBN: 978-1-4020-0712-5Published: 30 September 2002

  • Softcover ISBN: 978-1-4020-0791-0Published: 30 September 2002

  • eBook ISBN: 978-94-010-0550-0Published: 06 December 2012

  • Series ISSN: 1386-2790

  • Edition Number: 1

  • Number of Pages: XVI, 342

  • Topics: Mathematical Logic and Foundations, Logic, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation