Repository | Series | Book
Springer, Dordrecht
2010
654 Pages
ISBN 978-3-642-15222-1
Studies in Computational Intelligencevol. 314
Model-based reasoning in science and technology
abduction, logic, and computational discovery
Edited by
Lorenzo Magnani , Walter Carnielli , Claudio Pizzi
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 technologicalinnovation. 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.
Publication details
Full citation:
Magnani, L. , Carnielli, W. , Pizzi, C. (eds) (2010). Model-based reasoning in science and technology: abduction, logic, and computational discovery, Springer, Dordrecht.
Table of Contents
Metze Konradin; Adam Randall L.; Kayser Gian; Kayser Klaus
199-206
Verzola Vaz Carlos Eduardo; Caffarena Celani Maria Gabriela
207-219
Borges Priscila
221-237
Bertolotti Tommaso; Magnani Lorenzo
239-262
Pease Alison; Colton Simon; Ramezani Ramin; Smaill Alan; Guhe Markus
301-314
Amigoni Francesco; Schiaffonati Viola
315-332
Inhasz Rafael
381-392
Shellard Mariana; Fornari Jose E.; Manzolli Jonatas
407-427
Caterina Gianluca; Gangle Rocco
429-443
Arfé Barbara; Di Mascio Tania; Gennari Rosella
589-605
This document is unfortunately not available for download at the moment.