Model-Based Reasoning in Science and Technology

Abduction, Logic, and Computational Discovery

  • Lorenzo Magnani
  • Walter Carnielli
  • Claudio Pizzi

Part of the Studies in Computational Intelligence book series (SCI, volume 314)

Table of contents

  1. Front Matter
  2. Abduction, Problem Solving, and Practical Reasoning

    1. Front Matter
      Pages 1-1
    2. John Woods, Alirio Rosales
      Pages 3-30
    3. Lorenzo Magnani
      Pages 51-82
    4. Gerhard Minnameier
      Pages 107-119
    5. Emanuele Bardone
      Pages 135-157
    6. Tibor Bosse, Charlotte Gerritsen
      Pages 159-177
    7. Ricardo F. Crespo, Fernando Tohmé, Daniel Heymann
      Pages 179-198
    8. Konradin Metze, Randall L. Adam, Gian Kayser, Klaus Kayser
      Pages 199-206
    9. Carlos Eduardo Verzola Vaz, Maria Gabriela Caffarena Celani
      Pages 207-219
    10. Tommaso Bertolotti, Lorenzo Magnani
      Pages 239-262
  3. Formal and Computational Aspects of Model Based Reasoning

    1. Front Matter
      Pages 263-263
    2. Jaakko Hintikka
      Pages 265-274
    3. Alison Pease, Simon Colton, Ramin Ramezani, Alan Smaill, Markus Guhe
      Pages 301-314
    4. Francesco Amigoni, Viola Schiaffonati
      Pages 315-332
    5. Joseph E. Brenner
      Pages 333-358
    6. Elisa Calhau de Castro, Ricardo Ribeiro Gudwin
      Pages 393-406
    7. Mariana Shellard, Luis Felipe Oliveira, Jose E. Fornari, Jonatas Manzolli
      Pages 407-427
  4. Models, Mental Models, Representations

About this book


The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Technology (MBR09_BRAZIL), held at the University of Campinas (UNICAMP), Campinas, Brazil, December 2009. The presentations given at the conference explored how scientific cognition, but several other kinds as well, use models, abduction, and explanatory reasoning to produce important or creative changes in theories and concepts. Some speakers addressed the problem of model-based reasoning in technology, and stressed the issue of science and technological innovation. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in logic, science, and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers. The book is divided in three parts, which cover the following main areas: part I, abduction, problem solving, and practical reasoning; part II: formal and computational aspects of model based reasoning; part III, models, mental models, representations.


Memory cognition computational intelligence genetic programming knowledge logic mathematics model modeling problem solving robot robotics science simulation technology

Editors and affiliations

  • Lorenzo Magnani
    • 1
  • Walter Carnielli
    • 2
  • Claudio Pizzi
    • 3
  1. 1.Università di PaviaPaviaItaly
  2. 2.CLE State University of CampinasCampinasBrazil
  3. 3.Università di SienaSienaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Engineering Engineering (R0)
  • Print ISBN 978-3-642-15222-1
  • Online ISBN 978-3-642-15223-8
  • Series Print ISSN 1860-949X
  • Series Online ISSN 1860-9503
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences