{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T14:50:09Z","timestamp":1761058209776},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[1994,10]]},"DOI":"10.1007\/bf00993864","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T17:15:34Z","timestamp":1105290934000},"page":"47-67","source":"Crossref","is-referenced-by-count":6,"title":["Algebraic reasoning about reactions: Discovery of conserved properties in particle physics"],"prefix":"10.1007","volume":"17","author":[{"given":"Raul E.","family":"Vald\ufffds-P\ufffdrez","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Linear programming","author":"V. Chvatal","year":"1983","unstructured":"Chvatal, V. (1983).Linear programming. New York, NY: W.H. Freeman."},{"key":"CR2","first-page":"362","volume-title":"Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems","author":"P. Fischer","year":"1990","unstructured":"Fischer, P. and Zytkow, J. M. (1990). Discovering quarks and hidden structure.Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems (pp. 362?370). Knoxville, TN: North Holland."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1021\/ed068p819","volume":"68","author":"J. Godfrey","year":"1991","unstructured":"Godfrey, J., McLachlan, R., and Atwood, C. H. (1991). Nuclear reactions versus inorganic reactions.Journal of Chemical Education, 68, 819?824.","journal-title":"Journal of Chemical Education"},{"key":"CR4","first-page":"277","volume":"6","author":"S. Kocabas","year":"1991","unstructured":"Kocabas, S. (1991). Conflict resolution as discovery in particle physics.Machine Learning, 6, 277?309.","journal-title":"Machine Learning"},{"key":"CR5","unstructured":"Langley, P., Bradshaw, G. L., and Simon, H. A. (1981). Bacon.5: The discovery of conservation laws.Proceedings of the Seventh International Joint Conference on Artificial Intelligence (pp. 121?126). Vancouver, Canada."},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific discovery: Computational explorations of the creative processes","author":"P. Langley","year":"1987","unstructured":"Langley, P., Simon, H.A., Bradshaw, G.L., and Zytkow, J.M. (1987).Scientific discovery: Computational explorations of the creative processes. Cambridge, MA: MIT Press."},{"key":"CR7","volume-title":"The particle hunters","author":"Y. Ne'eman","year":"1986","unstructured":"Ne'eman, Y. and Kirsh, Y. (1986).The particle hunters. New York: Cambridge University Press."},{"key":"CR8","volume-title":"Introduction to particle physics","author":"R. Omnes","year":"1971","unstructured":"Omnes, R. (1971).Introduction to particle physics. New York: Wiley Interscience."},{"key":"CR9","volume-title":"Combinatorial optimization: Algorithms and complexity","author":"C. Papadimitriou","year":"1982","unstructured":"Papadimitriou, C., and Steiglitz, K. (1982).Combinatorial optimization: Algorithms and complexity. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"CR10","first-page":"367","volume-title":"Proceedings of the Fifth Machine Learning Conference","author":"D. Rose","year":"1988","unstructured":"Rose, D., and Langley, P. (1988). A hill-climbing approach to machine discovery.Proceedings of the Fifth Machine Learning Conference (pp. 367?373). Ann Arbor, MI: Morgan Kaufmann."},{"key":"CR11","first-page":"34","volume":"128","author":"C. Sutton","year":"1990","unstructured":"Sutton, C. (1990). Happy birthday, little neutral one.New Scientist, 128, 34?36.","journal-title":"New Scientist"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/0004-3702(94)90018-3","volume":"65","author":"R. E. Valdes-Perez","year":"1994","unstructured":"Valdes-Perez, R. E. (1994). Conjecturing hidden entities via simplicity and conservation laws: Machine discovery in chemistry.Artificial Intelligence, 65, 247?280.","journal-title":"Artificial Intelligence"},{"key":"CR13","unstructured":"Valdes-Perez, R. E. and Erdmann, M. (1993). Systematic induction and parsimony of phenomenological conservation laws.Computer Physics Communications, in press."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"4918","DOI":"10.1021\/j100165a057","volume":"95","author":"R. E. Valdes-Perez","year":"1991","unstructured":"Valdes-Perez, R. E. (1991). On the concept of stoichiometry of reaction mechanisms.Journal of Physical Chemistry, 95, 4918?4921.","journal-title":"Journal of Physical Chemistry"},{"key":"CR15","first-page":"63","volume-title":"Proceedings of Tenth National Conference on Artificial Intelligence","author":"R. E. Valdes-Perez","year":"1992","unstructured":"Valdes-Perez, R. E. (1992a). Theory-driven discovery of reaction pathways in the MECHEM system.Proceedings of Tenth National Conference on Artificial Intelligence (pp. 63?69). San Jose, CA: AAAI Press."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"2394","DOI":"10.1021\/j100184a071","volume":"96","author":"R. E. Valdes-Perez","year":"1992","unstructured":"Valdes-Perez, R. E. (1992b). A necessary condition for catalysis in reaction pathways.Journal of Physical Chemistry, 96, 2394?2396.","journal-title":"Journal of Physical Chemistry"},{"key":"CR17","unstructured":"Valdes-Perez, R. E., Simon, H. A., and Murphy, R. F. (1992). Discovery of pathways in science.Proceedings of the ICML 1992 Workshop on Machine Discovery (pp. 51?57). Aberdeen, Scotland."},{"key":"CR18","first-page":"472","volume-title":"Proceedings of Eleventh National Conference on Artificial Intelligence","author":"R. E. Valdes-Perez","year":"1993","unstructured":"Valdes-Perez, R. E., Zytkow, J.M., and Simon, H.A. (1993). Scientific model-building as search in matrix spaces.Proceedings of Eleventh National Conference on Artificial Intelligence (pp. 472?478). Washington, D.C.: AAAI Press."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993864.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00993864\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T21:26:10Z","timestamp":1625347570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00993864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["BF00993864"],"URL":"https:\/\/doi.org\/10.1007\/bf00993864","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}