Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 51
Volume 51, Numbers 1-3, 1991
- Brian C. Williams, Johan de Kleer
:
Qualitative Reasoning about Physical Systems: A Return to Roots. 1-9 - Olivier Raiman:
Order of Magnitude Reasoning. 11-38 - Brian C. Williams:
A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning. 39-94 - Brian Falkenhainer, Kenneth D. Forbus:
Compositional Modeling: Finding the Right Model for the Job. 95-143 - Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy:
Graphs of Models. 145-177 - Kenneth Man-kam Yip:
Understanding Complex Dynamics by Visual and Symbolic Reasoning. 179-221 - Walter Hamscher:
Modeling Digital Circuits for Troubleshooting. 223-271 - Dennis DeCoste:
Dynamic Across-Time Measurement Interpretation. 273-341 - Benjamin Kuipers, Charles Chiu, David T. Dalle Molle, D. R. Throop:
Higher Order Derivative Constraints in Qualitative Simulation. 343-379 - Leo Joskowicz, Elisha Sacks:
Computational Kinematics. 381-416 - Kenneth D. Forbus, Paul Nielsen, Boi Faltings:
Qualitative Spatial Reasoning: The Clock Project. 417-471
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-03 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
