{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:41Z","timestamp":1725663821467},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:48:44Z","timestamp":1330260524000},"page":"277-293","source":"Crossref","is-referenced-by-count":0,"title":["Learning qualitative physics reasoning from regime analysis"],"prefix":"10.1007","author":[{"given":"Waldir L.","family":"Roque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K. D. Forbus","year":"1984","unstructured":"K. D. Forbus: Qualitative process theory. Artificial Intelligence, 24, 85\u2013168, (1984).","journal-title":"Artificial Intelligence"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"K. D. Forbus: Qualitative physics: past, present and future. In: D. S. Weld and J. de Kleer (eds.): Readings in qualitative reasoning about physical systems. Morgan Kaufmann Publishers, Inc. 1990, pp. 11\u201339.","DOI":"10.1016\/B978-1-4832-1447-4.50008-0"},{"key":"20_CR3","unstructured":"J. de Kleer and B. C. Williams: Diagnosis with behavioral modes. In: Proceedings of International Joint Conference in Artificial Intelligence, 1989, pp. 1324\u20131330."},{"key":"20_CR4","unstructured":"J. Douglass and J. W. Roach: Hoist: A second-generation expert system based on qualitative physics. AI Magazine, 108\u2013114, 1990."},{"key":"20_CR5","unstructured":"D. Dvorak and B. J. Kuipers: Model-Based monitoring of dynamic systems. In: Proceedings of International Joint Conference in Artificial Intelligence, 1989, pp. 1238\u20131243."},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"1504","DOI":"10.1109\/CDC.1990.203862","volume":"3","author":"M. M. Kokar","year":"1990","unstructured":"M. M. Kokar: Qualitative monitoring of time-varying physical systems. In: Proceedings of the 29th. IEEE Conference on Decision and Control, vol. 3, 1990, pp. 1504\u20131508.","journal-title":"Proceedings of the 29th. IEEE Conference on Decision and Control"},{"key":"20_CR7","first-page":"185","volume":"3","author":"B. J. Kuipers","year":"1988","unstructured":"B. J. Kuipers: Qualitative simulation using time-scale abstraction. International Journal of AI in Engineering, 3, 185\u2013191, 1988.","journal-title":"International Journal of AI in Engineering"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"B. J. Kuipers: Artificial intelligence: a new approach to modeling and control. In: Proceedings of the 1st IFAC Symposium on Modeling and Control in Biomedical Systems, Venice, Italy, 1988.","DOI":"10.1016\/S1474-6670(17)57534-5"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1016\/0098-1354(88)87013-3","volume":"12","author":"D. T. Molle","year":"1988","unstructured":"D. T. Molle, B. J. Kuipers and T. F. Edgar: Qualitative modeling and simulation of dynamic systems. Computers and Chemical Engineering, 12, 853\u2013866, 1988.","journal-title":"Computers and Chemical Engineering"},{"key":"20_CR10","first-page":"403","volume":"1","author":"M. M. Kokar","year":"1986","unstructured":"M. M. Kokar: Determining arguments of invariant functional descriptions. Machine Learning, 1, 403\u2013422, 1986.","journal-title":"Machine Learning"},{"key":"20_CR11","volume-title":"Proceedings of the American Association of Artificial Intelligence","author":"B. J. Kuipers","year":"1988","unstructured":"B. J. Kuipers and Y. T. Byun: A robust qualitative method for spatial learning in unknown environments. In: Proceedings of the American Association of Artificial Intelligence. Morgan Kaufman, Los Altos, CA, 1988."},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1207\/s15516709cog0804_3","volume":"8","author":"B. J. Kuipers","year":"1984","unstructured":"B. J. Kuipers and J. P. Kassirer: Causal reasoning in medicine: analysis of a protocol. Cognitive Science, 8, 363\u2013385, 1984.","journal-title":"Cognitive Science"},{"key":"20_CR13","unstructured":"P. J. Hayes: Naive physics manifesto. In: D. Michie (ed.): Expert Systems in the Micro Eletronic Age. Edinburg University Press, 1979, pp. 242\u2013270."},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"J. de Kleer and J. S. Brown: A qualitative physics based on confluences. Artificial Intelligence, 24, 7\u201383, 1984.","journal-title":"Artificial Intelligence"},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. J. Kuipers","year":"1986","unstructured":"B. J. Kuipers: Qualitative simulation. Artificial Intelligence, 29, 289\u2013338, 1986.","journal-title":"Artificial Intelligence"},{"key":"20_CR16","unstructured":"D. S. Weld and J. de Kleer (eds.): Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann Publishers, Inc. 1990."},{"key":"20_CR17","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(90)90038-2","volume":"45","author":"R. Bhaskar","year":"1990","unstructured":"R. Bhaskar and A. Nigam: qualitative physics using dimensional analysis. Artificial Intelligence, 45, 73\u2013111, 1990.","journal-title":"Artificial Intelligence"},{"key":"20_CR18","volume-title":"Technical report # 255","author":"W. L. Roque","year":"1991","unstructured":"W. L. Roque: Automated qualitative reasoning with dimensional analysis. Technical report # 255, Departamento de Matem\u00e1tica, Universidade de Brasilia, Brazil, 1991."},{"key":"20_CR19","unstructured":"M. M. Kokar: Critical hypersurfaces and the quantity space. In: Proceedings of American Association of Artificial Intelligence, 1987, pp. 616\u2013620."},{"key":"20_CR20","volume-title":"Philosophiae Naturalis, Principia Mathematica II, prop. 32 (1713)","author":"I. Newton","year":"1946","unstructured":"I. Newton: Philosophiae Naturalis, Principia Mathematica II, prop. 32 (1713), ansl. A. Motte. University of California Press, Berkeley, 1946."},{"key":"20_CR21","volume-title":"Th\u00e9orie Analytique de la Chaleur","author":"J-B. Fourier","year":"1888","unstructured":"J-B. Fourier: Th\u00e9orie Analytique de la Chaleur. Gauthier-Villars, Paris, 1888."},{"key":"20_CR22","volume-title":"Similarity and Dimensional Methods in Mechanics","author":"L. I. Sedov","year":"1959","unstructured":"L. I. Sedov: Similarity and Dimensional Methods in Mechanics. Translated from Russian by M. Holt. Academic Press, New York, 1959."},{"key":"20_CR23","volume-title":"Dimensional Analysis and Group Theory in Astrophysics","author":"R. Kurth","year":"1972","unstructured":"R. Kurth: Dimensional Analysis and Group Theory in Astrophysics. Pergamon Press, Oxford, 1972."},{"key":"20_CR24","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1021\/ie50675a012","volume":"58","author":"J. P. Catchpole","year":"1966","unstructured":"J. P. Catchpole and G. Fulford: Dimensionless Groups. Ind. Eng. Chem, 58, 46\u201360, 1966. G. Fulford and J. P. Catchpole: Dimemsionless groups. Ind. Eng. Chem, 60, 71\u201378, 1968.","journal-title":"Ind. Eng. Chem"},{"key":"20_CR25","unstructured":"J. D. Barrow and F. J. Tipler: The Anthropic Cosmological Principle. Oxford University Press, 1986."},{"key":"20_CR26","unstructured":"P. W. Bridgman: Dimensional Analysis. Yale University Press, 1922."},{"key":"20_CR27","doi-asserted-by":"crossref","first-page":"84","DOI":"10.4064\/sm-14-1-84-99","volume":"14","author":"S. Dobrot","year":"1953","unstructured":"S. Dobrot: On the Foundations of Dimensional Analysis. Studia Mathematica, 14, 84\u201399, 1953.","journal-title":"Studia Mathematica"},{"key":"20_CR28","first-page":"115","volume":"75","author":"H. Whitney","year":"1968","unstructured":"H. Whitney: The mathematical of physical quantities, Part I: Mathematical models for measurements. American Mathematical Monthly, 75, 115\u2013138, 1968. Part II: Quantity structures and dimensional analysis. American Mathematical Monthly, 75, 227\u2013256, 1968.","journal-title":"American Mathematical Monthly"},{"key":"20_CR29","volume-title":"Dimensional Methods in Engineering and Physics","author":"E. d. S. Q. Issacson","year":"1975","unstructured":"E. de St Q. Issacson and M. de St Q., Issacson: Dimensional Methods in Engineering and Physics. John Wiley & Sons, New York, 1975."},{"key":"20_CR30","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1103\/PhysRev.4.345","volume":"IV","author":"E. Buckingham","year":"1914","unstructured":"E. Buckingham: On physically similar systems: Illustrations of the use of dimensional equations. Physical Review, IV, 345\u2013376, 1914.","journal-title":"Physical Review"},{"key":"20_CR31","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1002\/er.4440150106","volume":"15","author":"K. Srinivasan","year":"1990","unstructured":"K. Srinivasan: Choice of vapour-compression heat pump working fluids. Int. Jour. Energy Research, 15, 41\u201347, 1990.","journal-title":"Int. Jour. Energy Research"},{"key":"20_CR32","unstructured":"Encyclopedia of Science and Technology, 5th. edition, McGrow-Hill, 1982."},{"key":"20_CR33","unstructured":"A. C. Hearn: REDUCE 3.3 User's Manual. The Rand Corporation, Santa Monica, CA, 1987."},{"key":"20_CR34","unstructured":"M. A. H. MacCallum and F. J. Wright: Algebraic Computing with REDUCE. In: M. J. Rebou\u00e7as and W. L. Roque (eds.): Proceedings of the First Brazilian School on Computer Algebra, vol. 1, Oxford University Press, 1991."},{"key":"20_CR35","volume-title":"Physical similarity generalizaion rule: learning and qualitative reasoning","author":"M. M. Kokar","year":"1991","unstructured":"M. M. Kokar: Physical similarity generalizaion rule: learning and qualitative reasoning. Pre-print Northeastern University, Boston, MA, 1991."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:03:44Z","timestamp":1619571824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}