- Task-dependent qualitative domain abstraction.M. Sachenbacher & P. Struss - 2005 - Artificial Intelligence 162 (1-2):121-143.details
|
|
(1 other version)Introduction to the Special Volume on Reformulation.Thomas Ellman & Fausto Giunchiglia - 2005 - Artificial Intelligence 162 (1-2):3-5.details
|
|
Retrospective on “Diagnostic reasoning based on structure and behavior”.Randall Davis - 1993 - Artificial Intelligence 59 (1-2):149-157.details
|
|
Using modeling knowledge to guide design space search.Andrew Gelsey, Mark Schwabacher & Don Smith - 1998 - Artificial Intelligence 101 (1-2):35-62.details
|
|
Model-based reasoning about learner behaviour.Kees de Koning, Bert Bredeweg, Joost Breuker & Bob Wielinga - 2000 - Artificial Intelligence 117 (2):173-229.details
|
|
Computer-supported resolution of measurement conflicts: A case-study in materials science. [REVIEW]Hidde de Jong, Nicolaas Mars & Paul van der Vet - 1999 - Foundations of Science 4 (4):427-461.details
|
|
CyclePad: An articulate virtual laboratory for engineering thermodynamics.Kenneth D. Forbus, Peter B. Whalley, John O. Everett, Leo Ureel, Mike Brokowski, Julie Baher & Sven E. Kuehne - 1999 - Artificial Intelligence 114 (1-2):297-347.details
|
|
Representing, Running, and Revising Mental Models: A Computational Model.Scott Friedman, Kenneth Forbus & Bruce Sherin - 2018 - Cognitive Science 42 (4):1110-1145.details
|
|
Towards a practical theory of reformulation for reasoning about physical systems.Berthe Y. Choueiry, Yumi Iwasaki & Sheila McIlraith - 2005 - Artificial Intelligence 162 (1-2):145-204.details
|
|
Qualitative process theory: twelve years after.Kenneth D. Forbus - 1993 - Artificial Intelligence 59 (1-2):115-123.details
|
|
Automated model selection for simulation based on relevance reasoning.Alon Y. Levy, Yumi Iwasaki & Richard Fikes - 1997 - Artificial Intelligence 96 (2):351-394.details
|
|
Speeding up inferences using relevance reasoning: a formalism and algorithms.Alon Y. Levy, Richard E. Fikes & Yehoshua Sagiv - 1997 - Artificial Intelligence 97 (1-2):83-136.details
|
|
Reasoning about nonlinear system identification.Elizabeth Bradley, Matthew Easley & Reinhard Stolle - 2001 - Artificial Intelligence 133 (1-2):139-188.details
|
|
A comprehensive methodology for building hybrid models of physical systems.Pieter J. Mosterman & Gautam Biswas - 2000 - Artificial Intelligence 121 (1-2):171-209.details
|
|
Generating multiple new designs from a sketch.Thomas F. Stahovich, Randall Davis & Howard Shrobe - 1998 - Artificial Intelligence 104 (1-2):211-264.details
|
|
Causal approximations.P. Pandurang Nayak - 1994 - Artificial Intelligence 70 (1-2):277-334.details
|
|
Two Kinds of Knowledge in Scientific Discovery.Will Bridewell & Pat Langley - 2010 - Topics in Cognitive Science 2 (1):36-52.details
|
|
Graphs of models.Sanjaya Addanki, Roberto Cremonini & J. Scott Penberthy - 1991 - Artificial Intelligence 51 (1-3):145-177.details
|
|
Influence-based model decomposition for reasoning about spatially distributed physical systems.Chris Bailey-Kellogg & Feng Zhao - 2001 - Artificial Intelligence 130 (2):125-166.details
|
|
Efficient compositional modeling for generating causal explanations.P. Pandurang Nayak & Leo Joskowicz - 1996 - Artificial Intelligence 83 (2):193-227.details
|
|
Model-based computing: Developing flexible machine control software.Markus P. J. Fromherz, Vijay A. Saraswat & Daniel G. Bobrow - 1999 - Artificial Intelligence 114 (1-2):157-202.details
|
|
Reasoning about model accuracy.Daniel S. Weld - 1992 - Artificial Intelligence 56 (2-3):255-300.details
|
|
Analogical model formulation for transfer learning in AP Physics.Matthew Klenk & Ken Forbus - 2009 - Artificial Intelligence 173 (18):1615-1638.details
|
|
Automated modeling of complex systems to answer prediction questions.Jeff Rickel & Brace Porter - 1997 - Artificial Intelligence 93 (1-2):201-260.details
|
|
Digital technologies and artificial intelligence’s present and foreseeable impact on lawyering, judging, policing and law enforcement.Ephraim Nissan - 2017 - AI and Society 32 (3):441-464.details
|
|