. German Research Center for Artificial Intelligence GmbH


LIDOS BibTeX Database File
Faltings_a28372-99.bib

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