Order of magnitude comparisons of distance

Journal of Artificial Intelligence Research

Volumn 10, Issue , 1999, Pages 1-38

  Davis, Ernest ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CALCULATIONS; COMPUTABILITY AND DECIDABILITY; CONSTRAINT THEORY; POLYNOMIALS; SET THEORY;

FIRST ORDER THEORY; POLYNOMIAL TIME ALGORITHM; REASONING METHOD;

ARTIFICIAL INTELLIGENCE;

EID: 0033349023     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.520     Document Type: Article

References (7)

1. Cormen, T.H., Leiserson, C.E., and Rivest. R.L. (1990). Introduction to Algorithms. Cambridge, MA: MIT Press
2. Davis, E. (1990). Order of Magnitude Reasoning in Qualitative Differential Equations. In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 422-434.
3. Keisler, J. (1976). Foundations of Infinitesimal Calculus. Boston, MA: Prindle, Webber, and Schmidt.
4. Mavrovouniotis, M. and Stephanopoulos, G. (1990). "Formal Order-of-Magnitude Reasoning in Process Engineering." In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 323-336.
5. Raiman, O. (1990). "Order of Magnitude Reasoning." In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 318-322.
6. Robinson, A. (1965). Non-Standard Analysis. Amsterdam: North-Holland Publishing Co.
7. Weld, D. (1990). "Exaggeration." In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 417-421.