Reasoning about model accuracy
From MaRDI portal
Publication:1199915
DOI10.1016/0004-3702(92)90029-WzbMath0787.68090MaRDI QIDQ1199915
Publication date: 17 January 1993
Published in: Artificial Intelligence (Search for Journal in Brave)
Related Items
Causal approximations, On the usage of qualitative reasoning as an approach towards enterprise modelling, Automatic construction of accurate models of physical systems, Automated modeling of complex systems to answer prediction questions, Task-dependent qualitative domain abstraction, Towards a practical theory of reformulation for reasoning about physical systems, Towards Model-based Methods for Developing Model-based Systems, A theory of abstraction, Reasoning about nonlinear system identification, Comparative envisionment construction: A technique for the comparative analysis of dynamical systems, The scope and limits of simulation in automated reasoning
Uses Software
Cites Work
- Qualitative simulation
- Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation
- Exaggeration
- Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
- Comparative analysis
- Theorem proving with abstraction
- Planning in a hierarchy of abstraction spaces
- Algebraic simplification
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item