{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:31:02Z","timestamp":1760707862179},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540739197"},{"type":"electronic","value":"9783540739203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73920-3_12","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T07:56:35Z","timestamp":1187855795000},"page":"248-272","source":"Crossref","is-referenced-by-count":3,"title":["Learning Qualitative Models of Physical and Biological Systems"],"prefix":"10.1007","author":[{"given":"Simon M.","family":"Garrett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George M.","family":"Coghill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashwin","family":"Srinivasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross D.","family":"King","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0098-1354(94)85028-3","volume":"18","author":"B.R. Bakshi","year":"1994","unstructured":"Bakshi, B.R., Stephanopoulos, G.: Representation of process trends \u2013 Part 3: multiscale extraction of trends from process data. Computers and Chemical Engineering\u00a018, 267\u2013302 (1994)","journal-title":"Computers and Chemical Engineering"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0004-3702(90)90038-2","volume":"45","author":"R. Bhaskhar","year":"1990","unstructured":"Bhaskhar, R., Nigam, A.: Qualitative physics using dimensional analysis. Artificial Intelligence\u00a045, 73\u2013111 (1990)","journal-title":"Artificial Intelligence"},{"key":"12_CR3","volume-title":"The measurement of power spectra","author":"R.B. Blackman","year":"1958","unstructured":"Blackman, R.B., Tukey, J.W.: The measurement of power spectra. John Wiley and Sons, New York (1958)"},{"key":"12_CR4","first-page":"437","volume-title":"Inductive logic programming","author":"I. Bratko","year":"1992","unstructured":"Bratko, I., Muggleton, S., Var\u0161ek, A.: Learning qualitative models of dynamic systems. In: Muggleton, S. (ed.) Inductive logic programming, pp. 437\u2013452. Academic Press, San Diego, CA (1992)"},{"key":"12_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3922-0","volume-title":"Continuous system modelling","author":"F.E. Cellier","year":"1991","unstructured":"Cellier, F.E.: Continuous system modelling. Springer, Berlin (1991)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1016\/0098-1354(90)87023-I","volume":"14","author":"J.T.-Y. Cheung","year":"1990","unstructured":"Cheung, J.T.-Y., Stephanopoulos, G.: Representation of process trends \u2013 Part 1: a formal representation framework. Computers and Chemical Engineering\u00a014, 495\u2013510 (1990)","journal-title":"Computers and Chemical Engineering"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/0098-1354(90)87024-J","volume":"14","author":"J.T.-Y. Cheung","year":"1990","unstructured":"Cheung, J.T.-Y., Stephanopoulos, G.: Representation of process trends \u2013 Part 2: the problem of scale and qualitative scaling. Computers and Chemical Engineering\u00a014, 511\u2013539 (1990b)","journal-title":"Computers and Chemical Engineering"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/0006-3002(63)91800-6","volume":"67","author":"W.W. Cleland","year":"1963","unstructured":"Cleland, W.W.: The kinetics of enzyme-catalysed reactions with two or more substrates and products: 1. nomenclature and rate equations. Biochimica et Biophysica Acta\u00a067, 104\u2013137 (1963)","journal-title":"Biochimica et Biophysica Acta"},{"key":"12_CR9","unstructured":"Coiera, E.W.: Generating qualitative models from example behaviours (Technical Report 8901). University of New South Wales, Deptartment of Computer Science (1989a)"},{"key":"12_CR10","unstructured":"Coiera, E.W.: Learning qualitative models from example behaviours. In: Proceedings of the Third Workshop on Qualitative Physics, Stanford, CA, pp. 45\u201351 (1989)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(91)90113-X","volume":"51","author":"D. DeCoste","year":"1991","unstructured":"DeCoste, D.: Dynamic across-time measurement interpretation. Artificial Intelligence\u00a051, 273\u2013341 (1991)","journal-title":"Artificial Intelligence"},{"key":"12_CR12","first-page":"30","volume":"16","author":"S. D\u017eeroski","year":"1992","unstructured":"D\u017eeroski, S.: Learning qualitative models with inductive logic programming. Informatica\u00a016, 30\u201341 (1992)","journal-title":"Informatica"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF00962824","volume":"4","author":"S. D\u017eeroski","year":"1995","unstructured":"D\u017eeroski, S., Todorovski, L.: Discovering dynamics: from inductive logic programming to machine discovery. Journal of Intelligenty Information Systems\u00a04, 89\u2013108 (1995)","journal-title":"Journal of Intelligenty Information Systems"},{"key":"12_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0606-3","volume-title":"Abduction and induction: Essays on their relation and integration","author":"P.A. Flach","year":"2000","unstructured":"Flach, P.A., Kakas, A.C.: Abduction and induction: Essays on their relation and integration. Kluwer Academic Publishers, Amsterdam, The Netherlands (2000)"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"Forbus, K.D.: Qualitative process theory. Artificial Intelligence\u00a024, 169\u2013204 (1984)","journal-title":"Artificial Intelligence"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1006524209794","volume":"13","author":"J. F\u00fcrnkranz","year":"1999","unstructured":"F\u00fcrnkranz, J.: Separate-and-conquor rule learning. Artificial Intelligence Review\u00a013, 3\u201354 (1999)","journal-title":"Artificial Intelligence Review"},{"key":"12_CR17","unstructured":"Garrett, S.M., Coghill, G.M., King, R.D., Srinivasan, A.: On learning qualitative models of qualitative and real-valued data (Technical Report UWA-DCS-01-037). University of Wales, Aberystwyth (2001)"},{"key":"12_CR18","volume-title":"Metamodelling: Bond graphs and dynamic systems","author":"P.J. Gawthrop","year":"1996","unstructured":"Gawthrop, P.J., Smith, L.P.S.: Metamodelling: Bond graphs and dynamic systems. Prentice Hall, Hemel Hempstead, Herts, England (1996)"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Information and Control\u00a010, 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1007317323969","volume":"26","author":"D.T. Hau","year":"1993","unstructured":"Hau, D.T., Coiera, E.W.: Learning qualitative models of dynamic systems. Machine Learning\u00a026, 177\u2013211 (1993)","journal-title":"Machine Learning"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0004-3702(86)90089-5","volume":"29","author":"Y. Iwasaki","year":"1986","unstructured":"Iwasaki, Y., Simon, H.A.: Causality in device behavior. Artificial Intelligence (See also de Kleer and Brown\u2019s rebuttal and Iwasaki and Simon\u2019s reply to their rebuttal in the same volume of this journal) 29, 3\u201332 (1986)","journal-title":"Artificial Intelligence"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02, 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"King, R.D., Muggleton, S., Lewis, R.A., Sternberg, M.J.E.: Drug design by machine learning \u2014 the use of inductive logic programming to model the structure-activity-relationships of trimethoprim analogs binding to dihydrofolate-reductase. In: Proceedings of the National Academy of Sciences of the USA, vol. 89, pp. 11322\u201311326 (1992)","DOI":"10.1073\/pnas.89.23.11322"},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1023\/A:1007967728701","volume":"11","author":"R.D. King","year":"1997","unstructured":"King, R.D., Srinivasan, A.: The discovery of indicator variables for QSAR using inductive logic programming. Journal of Computer-Aided Molecular Design\u00a011, 571\u2013580 (1997)","journal-title":"Journal of Computer-Aided Molecular Design"},{"key":"12_CR25","volume-title":"Genetic programming","author":"J.R. Koza","year":"1992","unstructured":"Koza, J.R.: Genetic programming. MIT Press, Cambridge (1992)"},{"key":"12_CR26","unstructured":"Kraan, I.C., Richards, B.L., Kuipers, B.J.: Automatic abduction of qualitative models. In: Proceedings of the Fifth International Workshop on Qualitative Reasoning about Physical Systems, Austin, TX, pp. 295\u2013301 (1991)"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"Kuipers, B.: Qualitative simulation. Artificial Intelligence\u00a029, 289\u2013338 (1986)","journal-title":"Artificial Intelligence"},{"key":"12_CR28","volume-title":"Qualitative reasoning","author":"B. Kuipers","year":"1994","unstructured":"Kuipers, B.: Qualitative reasoning. MIT Press, Cambridge (1994)"},{"key":"12_CR29","first-page":"11","volume":"1","author":"J.E. Laird","year":"1986","unstructured":"Laird, J.E., Rosenbloom, P.S., Newell, A.: Chunking in SOAR: The anatomy of a general learning mechanism. Machine Learning\u00a01, 11\u201346 (1986)","journal-title":"Machine Learning"},{"key":"12_CR30","volume-title":"Inductive logic programming: Techniques and applications","author":"N. Lavra\u010d","year":"1994","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive logic programming: Techniques and applications. Ellis-Horwood, New York (1994)"},{"key":"12_CR31","volume-title":"System identification: Theory for the user","author":"L. Ljung","year":"1999","unstructured":"Ljung, L.: System identification: Theory for the user, 2nd edn. PRT Prentice Hall, Upper Saddle River, NJ (1999)","edition":"2"},{"key":"12_CR32","unstructured":"Mitchell, T.M.: Version spaces: An approach to concept learning. Doctoral dissertation, Stanford University (1979)"},{"key":"12_CR33","volume-title":"Inductive logic programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S.: Inductive logic programming. Academic Press, London (1992)"},{"key":"12_CR34","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Muggleton, S.: Learning from positive data. In: Proceedings of the Sixth International Workshop on Inductive Logic Programming, Stockholm, Sweden, pp. 358\u2013376 (1996)","DOI":"10.1007\/3-540-63494-0_65"},{"key":"12_CR36","unstructured":"Muggleton, S., Feng, C.: Efficient induction of logic programs. In: Proceedings of the First Conference on Algorithmic Learning Theory, Tokyo, Japan, pp. 368\u2013381 (1990)"},{"key":"12_CR37","unstructured":"Plotkin, G.: Automatic methods of inductive inference. Doctoral dissertation, Edinburgh University (1971)"},{"key":"12_CR38","unstructured":"Ramachandran, S., Mooney, R.J., Kuipers, B.J.: Learning qualitative models for systems with multiple operating regions. In: Working Papers of the Eighth International Workshop on Qualitative Reasoning about Physical Systems, Nara, Japan, pp. 212\u2013223 (1994)"},{"key":"12_CR39","unstructured":"Richards, B.L., Kraan, I., Kuipers, B.J.: Automatic abduction of qualitative models. In: Proceedings of the Tenth National Conference on Artificial Intelligence, San Jose, CA, pp. 723\u2013728 (1992)"},{"key":"12_CR40","first-page":"95","volume":"19","author":"B.L. Richards","year":"1995","unstructured":"Richards, B.L., Mooney, R.J.: Automated refinement of first-order horn-clause domain theories. Machine Learning\u00a019, 95\u2013131 (1995)","journal-title":"Machine Learning"},{"key":"12_CR41","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(95)00016-X","volume":"83","author":"A.C.C. Say","year":"1996","unstructured":"Say, A.C.C., Kuru, S.: Qualitative system indentification: deriving structure from behavior. Artificial Intelligence\u00a083, 75\u2013141 (1996)","journal-title":"Artificial Intelligence"},{"key":"12_CR42","volume-title":"A practical guide to computer methods for engineers","author":"T.E. Shoup","year":"1979","unstructured":"Shoup, T.E.: A practical guide to computer methods for engineers. Prentice-Hall, Englewood Cliffs (1979)"},{"key":"12_CR43","unstructured":"Srinivasan, A.: Aleph web site (2000), http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/mach-learn\/Aleph\/aleph_toc.html"},{"key":"12_CR44","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1009815821645","volume":"3","author":"A. Srinivasan","year":"1999","unstructured":"Srinivasan, A., King, R.D.: Feature construction with inductive logic programming: A study of quantitative predictions of biological activity aided by structural attributes. Data Mining and Knowledge Discovery\u00a03, 37\u201357 (1999)","journal-title":"Data Mining and Knowledge Discovery"},{"key":"12_CR45","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0004-3702(95)00122-0","volume":"85","author":"A. Srinivasan","year":"1996","unstructured":"Srinivasan, A., Muggleton, S.H., Sternberg, M.J.E., King, R.D.: Theories for mutagenicity: A study in first-order and feature-based induction. Artificial Intelligence\u00a085, 277\u2013299 (1996)","journal-title":"Artificial Intelligence"},{"key":"12_CR46","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1098\/rstb.1994.0075","volume":"344","author":"M.J.E. Sternberg","year":"1994","unstructured":"Sternberg, M.J.E., King, R.D., Lewis, R.A., Muggleton, S.: Application of machine learning to structural molecular biology. Philosophical Transactions of the Royal Society of London Series B - Biological Sciences\u00a0344, 365\u2013371 (1994)","journal-title":"Philosophical Transactions of the Royal Society of London Series B - Biological Sciences"},{"key":"12_CR47","unstructured":"Todorovski, L., D\u017eeroski, S.: Declarative bias in equation discovery. In: Proceedings of the Fourteenth International Conference on Machine Learning, Nashville, TN, pp. 376\u2013384 (1997)"},{"key":"12_CR48","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF03037585","volume":"17","author":"A. Yamamoto","year":"1999","unstructured":"Yamamoto, A.: Revising the logical foundations of inductive logic programming systems with ground reduced programs. New Generation Computing\u00a017, 119\u2013127 (1999)","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Computational Discovery of Scientific Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73920-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:05:03Z","timestamp":1619517903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73920-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540739197","9783540739203"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73920-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}