.
German Research Center for Artificial Intelligence GmbH
D. Berleant and B. Kuipers
Qualitative-Numeric Simulation with Q3
@incollection{Berleant:92,
AUTHOR = {D. Berleant and B. Kuipers},
TITLE = {Qualitative-Numeric Simulation with Q3},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {3-16},
KEYWORDS = {}}
J. Crawford and A. Farquhar and B. Kuipers
QPC: A Compiler from Physical Models into Qualitative Differential Equations
@incollection{Crawford:92,
AUTHOR = {J. Crawford and A. Farquhar and B. Kuipers},
TITLE = {QPC: A Compiler from Physical Models into Qualitative Differential Equations},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {17-32},
KEYWORDS = {}}
B. Falkenhainer and K. D. Forbus
Compositional Modeling of Physical Systems
@incollection{Falkenhainer:92,
AUTHOR = {B. Falkenhainer and K. D. Forbus},
TITLE = {Compositional Modeling of Physical Systems},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {33-48},
KEYWORDS = {}}
K. D. Forbus and B. Falkenhainer
Self-Explanatory Simulations: Integrating Qualitative and Quantitative Knowledge
@incollection{Forbus:92,
AUTHOR = {K. D. Forbus and B. Falkenhainer},
TITLE = {Self-Explanatory Simulations: Integrating Qualitative and Quantitative Knowledge},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {49-65},
KEYWORDS = {}}
Y. Iwasaki
Reasoning with Multiple Abstraction Models
@incollection{Iwasaki92,
AUTHOR = {Y. Iwasaki},
TITLE = {Reasoning with Multiple Abstraction Models},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {67-82},
KEYWORDS = {}}
Q. Shen and R. Leitch
Combining Qualitative Simulation and Fuzzy Sets
@incollection{Shen:92,
AUTHOR = {Q. Shen and R. Leitch},
TITLE = {Combining Qualitative Simulation and Fuzzy Sets},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {83-100},
KEYWORDS = {}}
D. S. Weld and S. Addanki
Query-Directed Approxiation
@incollection{Weld:92,
AUTHOR = {D. S. Weld and S. Addanki},
TITLE = {Query-Directed Approxiation},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {101-116},
KEYWORDS = {}}
B. A. Hubermann and P. Struss
Chaos, Qualitative Reasoning, and the Predictability Problem
@incollection{Hubermann:92,
AUTHOR = {B. A. Hubermann and P. Struss},
TITLE = {Chaos, Qualitative Reasoning, and the Predictability Problem},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {119-135},
KEYWORDS = {}}
H.-K. Kim
Qualitative Kinematics of Linkages
@incollection{Kim92,
AUTHOR = {H.-K. Kim},
TITLE = {Qualitative Kinematics of Linkages},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {137-151},
KEYWORDS = {}}
Z.-Y. Liu
Integrating Two Ontologies for Electronics
@incollection{Liu92,
AUTHOR = {Z.-Y. Liu},
TITLE = {Integrating Two Ontologies for Electronics},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {153-168},
KEYWORDS = {}}
P. Y. Van Nypelseer
Qualitative Change Waves: The Automatic Detection of Highway Traffic Incidents
@incollection{Van-Nypelseer92,
AUTHOR = {P. Y. {Van Nypelseer}},
TITLE = {Qualitative Change Waves: The Automatic Detection of Highway Traffic Incidents},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {169-176},
KEYWORDS = {}}
D. A. Randell and A. G. Cohn and Z. Cui
Naive Topology: Modeling the Force Pump
@incollection{Randell:92,
AUTHOR = {D. A. Randell and A. G. Cohn and Z. Cui},
TITLE = {Naive Topology: Modeling the Force Pump},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {177-192},
KEYWORDS = {}}
J. B. Weinberg and S. Uckun and G. Biswas and S. Manganaris
Qualitative Vector Algebra
@incollection{Weinberg:92,
AUTHOR = {J. B. Weinberg and S. Uckun and G. Biswas and S. Manganaris},
TITLE = {Qualitative Vector Algebra},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {193-208},
KEYWORDS = {}}
P. van Beek
Reasoning about Qualitative Temporal Information
@incollection{Beek92,
AUTHOR = {P. van Beek},
TITLE = {Reasoning about Qualitative Temporal Information},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {211-227},
KEYWORDS = {}}
R. J. Doyle and U. M. Fayyad and D. Berleant and L. K. Charest_jr and L. S. Homem de Mello and H. J. Porta and M. D. Wiesmeyer
Sensor Selection in Complex System Monitoring Using Information Quantification and Causal Reasoning
@incollection{Doyle:92,
AUTHOR = {R. J. Doyle and U. M. Fayyad and D. Berleant and L. K. Charest_jr and L. S. {Homem de Mello} and H. J. Porta and M. D. Wiesmeyer},
TITLE = {Sensor Selection in Complex System Monitoring Using Information Quantification and Causal Reasoning},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {229-244},
KEYWORDS = {}}
K. D. Forbus
Pushing the Edge of the (QP) Envelope
@incollection{Forbus92,
AUTHOR = {K. D. Forbus},
TITLE = {Pushing the Edge of the (QP) Envelope},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {245-261},
KEYWORDS = {}}
P. Fouche and B. Kuipers
An Assessment of Current Qualitative Simulation Techniques
@incollection{Fouche:92,
AUTHOR = {P. Fouche and B. Kuipers},
TITLE = {An Assessment of Current Qualitative Simulation Techniques},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {263-278},
KEYWORDS = {}}
T. P. Hamilton
An Architecture for Real-Time Qualitative Reasoning
@incollection{Hamilton92,
AUTHOR = {T. P. Hamilton},
TITLE = {An Architecture for Real-Time Qualitative Reasoning},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {279-293},
KEYWORDS = {}}
J. de Kleer
Compiling Devices: Locality in a TMS
@incollection{Kleer92,
AUTHOR = {J. de Kleer},
TITLE = {Compiling Devices: Locality in a TMS},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {295-310},
KEYWORDS = {}}
C. Chiu and B. Kuipers
Comparative Analysis and Qualitative Integral Representations
@incollection{Chiu:92,
AUTHOR = {C. Chiu and B. Kuipers},
TITLE = {Comparative Analysis and Qualitative Integral Representations},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {313-328},
KEYWORDS = {}}
K. L. Downing
A Qualitative Teleological Approach to Cardiovascular Physiology
@incollection{Downing92,
AUTHOR = {K. L. Downing},
TITLE = {A Qualitative Teleological Approach to Cardiovascular Physiology},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {329-344},
KEYWORDS = {}}
D. L. Hibler and G. Biswas
TEPS: Thought Experiments and Qualitative Physics Problem Solving
@incollection{Hibler:92,
AUTHOR = {D. L. Hibler and G. Biswas},
TITLE = {TEPS: Thought Experiments and Qualitative Physics Problem Solving},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {345-360},
KEYWORDS = {}}
J. Hellerstein
Obtaining Quantitative Estimates from Monotone Relationships
@incollection{Hellerstein92,
AUTHOR = {J. Hellerstein},
TITLE = {Obtaining Quantitative Estimates from Monotone Relationships},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {361-374},
KEYWORDS = {}}
T. Kiriyama and T. Tomiyama and H. Yoshikawa
Qualitative Reasoning in Conceptual Design with Physical Features
@incollection{Kiriyama:92,
AUTHOR = {T. Kiriyama and T. Tomiyama and H. Yoshikawa},
TITLE = {Qualitative Reasoning in Conceptual Design with Physical Features},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {375-386},
KEYWORDS = {}}
A. Nigam and R. Bhaskar
Qualitative Reasoning about a Large System Using Dimensional Analysis
@incollection{Nigam:92,
AUTHOR = {A. Nigam and R. Bhaskar},
TITLE = {Qualitative Reasoning about a Large System Using Dimensional Analysis},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {387-398},
KEYWORDS = {}}
G. Skorstad
Finding Stable Causal Interpretations of Equations
@incollection{Skorstad92,
AUTHOR = {G. Skorstad},
TITLE = {Finding Stable Causal Interpretations of Equations},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {399-412},
KEYWORDS = {}}
B. C. Williams
Interaction-Based Invention: Designing Novel Devices from First Principles
@incollection{Williams92,
AUTHOR = {B. C. Williams},
TITLE = {Interaction-Based Invention: Designing Novel Devices from First Principles},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {413-433},
KEYWORDS = {}}
C. P. Williams
Analytic Abduction from Qualitative Simulation
@incollection{Williams92,
AUTHOR = {C. P. Williams},
TITLE = {Analytic Abduction from Qualitative Simulation},
YEAR = 1992,
BOOKTITLE = {Recent Advances in Qualitative Physics},
EDITOR = {B. Faltings and P. Struss},
PUBLISHER = {MIT Press},
ADDRESS = {Cambridge, MA},
PAGES = {435-449},
KEYWORDS = {}}
Gerd Herzog
Last update: Mon Jan 20 10:24:23 MET 1997
Send comments to herzog@acm.org