Logical and Computational Aspects of Model-Based Reasoning

, & (eds.)
Kluwer Academic Publishers (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Degrees of abductive boldness.Isabella C. Burger & Johannes Heidema
Model-guided proof planning.Seungyeob Choi & Manfred Kerber
A logical approach to the analysis of metaphors.Isabel D'Hanis
Combining strategy and sub-models for the objectified communication of research programs.Ekkehard Finkeissen
Model-based diagnosis of dynamic Systems: systematic conflict generation.Bartłomiej Górny & Antoni Ligeza
Computational discovery of communicable scientific knowledge.Pat Langley, Jeff Shrager & Kazumi Saito
Scientific explanation and modified semantic tableaux.Angel Nepomuceno-Fernandez
Diagrammatic Inference and Graphical Proof.Luis A. Pineda
Adaptive logics for non-explanatory and explanatory diagnostic reasoning.Dagmar Provijn & Erik Weber
A logical analysis of graphical consistency proofs.Atsushi Shimojima
Reasoning about Models of Nonlinear Systems.Reinhard Stolle, Matthew Easley & Elizabeth Bradley
A case study of the design and implementation of heterogeneous reasoning systems.Nik Swoboda & Gerard Allwein

Similar books and articles

Computational discovery of communicable scientific knowledge.Pat Langley, Jeff Shrager & Kazumi Saito - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 201--225.
A logical approach to the analysis of metaphors.Isabel D'Hanis - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 21--37.
Model-based diagnosis of dynamic Systems: systematic conflict generation.Bartłomiej Górny & Antoni Ligeza - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 273--291.
A logical analysis of graphical consistency proofs.Atsushi Shimojima - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 93--115.
A case study of the design and implementation of heterogeneous reasoning systems.Nik Swoboda & Gerard Allwein - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 3--20.
Reasoning about Models of Nonlinear Systems.Reinhard Stolle, Matthew Easley & Elizabeth Bradley - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 249--271.
Model-guided proof planning.Seungyeob Choi & Manfred Kerber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 143--162.
Diagrammatic Inference and Graphical Proof.Luis A. Pineda - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 73--91.
Adaptive logics for non-explanatory and explanatory diagnostic reasoning.Dagmar Provijn & Erik Weber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 117--142.
Degrees of abductive boldness.Isabella C. Burger & Johannes Heidema - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 163--180.
Scientific explanation and modified semantic tableaux.Angel Nepomuceno-Fernandez - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 181--198.
Combining strategy and sub-models for the objectified communication of research programs.Ekkehard Finkeissen - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 313--330.
MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY.Lorenzo Magnani, Walter Carnielli & Claudio Pizzi (eds.) - 2010 - Springer.
Developmental issues in model-based reasoning during childhood.Patricia H. Miller - 2001 - Mind and Society 2 (2):49-58.
A theory of legal reasoning and a logic to match.Jaap Hage - 1996 - Artificial Intelligence and Law 4 (3-4):199-273.

Analytics

Added to PP
2013-12-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Nancy Nersessian
Georgia Institute of Technology
Claudio Pizzi
Università degli Studi di Siena
Lorenzo Magnani

Citations of this work

Is it justifiable to abandon all search for a logic of discovery?Mehul Shah - 2007 - International Studies in the Philosophy of Science 21 (3):253 – 269.
A response to Dr. Weinstein.Lorenzo Magnani - 2004 - Studies in Philosophy and Education 23 (4):293-298.

Add more citations

References found in this work

No references found.

Add more references