© 2002

Logical and Computational Aspects of Model-Based Reasoning

  • Lorenzo Magnani
  • Nancy J. Nersessian
  • Claudio Pizzi

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

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Logical Aspects of Model-Based Reasoning

    1. Front Matter
      Pages 1-1
    2. Joke Meheus, Liza Verhoeven, Maarten Van Dyck, Dagmar Provijn
      Pages 39-71
    3. Luis A. Pineda
      Pages 73-91
    4. Seungyeob Choi, Manfred Kerber
      Pages 143-162
    5. Isabella C. Burger, Johannes Heidema
      Pages 163-180
    6. Angel Nepomuceno-Fernández
      Pages 181-198
  3. Computational Aspects of Model-Based Reasoning

    1. Front Matter
      Pages 199-199
    2. Pat Langley, Jeff Shrager, Kazumi Saito
      Pages 201-225
    3. Reinhard Stolle, Matthew Easley, Elizabeth Bradley
      Pages 249-271
    4. Bartłomiej Górny, Antoni Ligeza
      Pages 273-291
    5. Germana Menezes da Nóbrega, Philippe Malbos, Jean Sallantin
      Pages 293-311
  4. Back Matter
    Pages 331-342

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.


artificial intelligence calculus cognitive psychology cognitive science communication human-computer interaction (HCI) intelligence logic proof

Editors and affiliations

  • Lorenzo Magnani
    • 1
  • Nancy J. Nersessian
    • 2
  • Claudio Pizzi
    • 3
  1. 1.University of PaviaPaviaItaly
  2. 2.Georgia Institute of TechnologyAtlantaUSA
  3. 3.University of SienaSienaItaly

Bibliographic information

  • Book Title Logical and Computational Aspects of Model-Based Reasoning
  • Editors L. Magnani
    N.J. Nersessian
    Claudio Pizzi
  • Series Title Applied Logic Series
  • DOI
  • Copyright Information Springer Science+Business Media Dordrecht 2002
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-1-4020-0712-5
  • Softcover ISBN 978-1-4020-0791-0
  • eBook ISBN 978-94-010-0550-0
  • Series ISSN 1386-2790
  • Edition Number 1
  • Number of Pages XVI, 342
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
    Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking