Qualitative and Model-Based Reasoning

Model-Based Reasoning

Prediction Sharing Across Time and Contexts
Oskar Dressler, Hartmut Freitag
1136
PDF
An Operational Semantics for Knowledge Bases
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1142
PDF
Reasoning with Models
Roni Khardon, Dan Roth
1148
PDF
Representing Multiple Theories
P. Pandurang Nayak
1154
PDF
How Things Appear to Work: Predicting Behaviors from Device Diagrams
N. Hari Narayanan, Masaki Suwa, Hiroshi Motoda
1161
PDF

Qualitative Reasoning: Modeling

A Qualitative Physics Compiler
Adam Farquhar
1168
PDF
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education
Kenneth D. Forbus, Peter B. Whalley
1175
PDF
Automated Model Selection for Simulation
Yumi Iwasaki, Alon Y. Levy
1183
PDF
Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary
Jeff Rickel, Bruce Porter
1191
PDF
Decompositional Modeling through Caricatural Reasoning
Brian C. Williams, Olivier Raiman
1199
PDF

Qualitative Reasoning: Simulation

Comparative Simulation
Michael Neitzke, Bernd Neumann
1205
PDF
Qualitative Reasoning for Automated Exploration for Chaos
Toyoaki Nishida
1211
PDF
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning
Brian C. Williams, Jonathan Cagan
1217
PDF
Intelligent Automated Grid Generation for Numerical Simulations
Ke-Thia Yao, Andrew Gelsey
1224
PDF