{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:49Z","timestamp":1725663829291},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:49:53Z","timestamp":1330260593000},"page":"107-115","source":"Crossref","is-referenced-by-count":2,"title":["The progress towards an intelligent assistant \u2014 A discussion paper"],"prefix":"10.1007","author":[{"given":"Greg","family":"Butler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"5","key":"7_CR1","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1145\/63485.63486","volume":"32","author":"H. Abelson","year":"1989","unstructured":"H. Abelson, M. Eisenberg, M. Halfant, J. Katzenelson, E. Sacks, G.J. Sussman, J. Wisdom, and K. Yip, Intelligence in scientific computing, CACM 32, 5 (1989) 546\u2013562.","journal-title":"CACM"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci and A. Podelski, An overview of LIFE, Lecture Notes in Computer Science 504, Springer-Verlag, 1991, pp.42\u201358.","DOI":"10.1007\/3-540-54141-1_4"},{"key":"7_CR3","volume-title":"Knowledge-Based Systems, volume 6","author":"G. A. Boy","year":"1991","unstructured":"G. A. Boy, Intelligent Assistant Systems, Knowledge-Based Systems, volume 6, J. Boose and B. Gaines (eds), Academic Press, London, 1991."},{"key":"7_CR4","volume-title":"A Computational Logic","author":"R.S. Boyer","year":"1979","unstructured":"R.S. Boyer and J.S. Moore, A Computational Logic, Academic Press, New York, 1979."},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-3406-1","volume-title":"Computer Algebra: Symbolic and Algebraic Computation","author":"B. Buchberger","year":"1982","unstructured":"B. Buchberger, G.E. Collins, and R. Loos, Computer Algebra: Symbolic and Algebraic Computation, Springer-Verlag, Wien, 1982."},{"key":"7_CR6","volume-title":"The Computer Modelling of Mathematical Reasoning","author":"A. Bundy","year":"1983","unstructured":"A. Bundy, The Computer Modelling of Mathematical Reasoning, Academic Press, London, 1983."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"A. Bundy, The use of explicit plans to guide inductive proofs, 9th International Conference on Automated Deduction, E. Lusk and R. Over-beek (eds), Springer LNCS 310, 1988, pp. 111\u2013120.","DOI":"10.1007\/BFb0012826"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(81)90010-2","volume":"16","author":"A. Bundy","year":"1981","unstructured":"A. Bundy and B. Welham, Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation, Artificial Intelligence 16 (1981) 189\u2013211.","journal-title":"Artificial Intelligence"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"G. Butler and J.J. Cannon, Cayley, version 4: the user language, Symbolic and Algebraic Computation, P. Gianni (ed.), Springer LNCS 358, 1989, pp. 456\u2013466.","DOI":"10.1007\/3-540-51084-2_43"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"G. Butler and S.S. Iyer, Deductive mathematical databases \u2014 a case study, Statistical and Scientific Database Management, Z. Michalewicz (ed.), Springer LNCS 420, 1990, pp. 50\u201364.","DOI":"10.1007\/3-540-52342-1_20"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1145\/120694.120725","volume-title":"ISSAC 91","author":"G. Butler","year":"1991","unstructured":"G. Butler, S.S. Iyer, and S.H. Ley, A deductive database of the groups of order dividing 128, ISSAC 91, ACM, New York, 1991, pp.210\u2013218."},{"key":"7_CR12","volume-title":"Mantra: A shell for hybrid knowledge representation","author":"J. Calmet","year":"1991","unstructured":"J. Calmet, G. Bittencourt, and I.A. Tjandra, Mantra: A shell for hybrid knowledge representation, Proceedings of the Third International Conference on Tools for Artificial Intelligence, San Jose, USA, November 5\u20138, 1991, IEEE Computer Society Press."},{"key":"7_CR13","unstructured":"J. Calmet, K. Homann, and I.A. Tjandra, Unified domains and abstract computational structures, these proceedings."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"B.W. Char, K.O. Geddes, W.M. Gentleman, and G.H. Gonnet, The design of Maple: a compact, portable and powerful computer algebra system, Computer Algebra, J.A. van Hulzen (ed.), Springer LNCS 162, 1983, pp.101\u2013115.","DOI":"10.1007\/3-540-12868-9_95"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"M. Clarkson, Praxis: a rule-based expert system for Macsyma, Design and Implementation of Symbolic Computation Systems, A. Miola (ed.), Springer LNCS 429, 1990, pp. 264\u2013265.","DOI":"10.1007\/3-540-52531-9_147"},{"key":"7_CR16","unstructured":"M. Clarkson, Intelligent user interface for symbolic and numeric computation, these proceedings."},{"key":"7_CR17","first-page":"171","volume-title":"SYMSAC 89","author":"M.C. Dewar","year":"1989","unstructured":"M.C. Dewar, IRENA \u2014 An integrated symbolic and numerical computation environment, SYMSAC 89, ACM, New York, 1989, pp.171\u2013179."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"M.C. Dewar and M.G. Richardson, Reconciling symbolic and numeric computation in a practical setting, Design and Implementation of Symbolic Computation Systems, A. Miola (ed.), Springer LNCS 429, 1990, pp. 195\u2013204.","DOI":"10.1007\/3-540-52531-9_140"},{"key":"7_CR19","unstructured":"N.G. de Bruijn, A survey of the project Automath, Essays in Combinatory Logic, Lambda Calculus, and Formalism, J.P. Seldin and J.R. Hindley (eds), Academic Press, 1980, pp. 589\u2013606."},{"issue":"4","key":"7_CR20","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/122058.122061","volume":"19","author":"J.C. French","year":"1990","unstructured":"J.C. French, A.K. Jones, and J.L. Pfaltz, Summary of the final report of the NSF workshop on scientific database management, SIGMOD Record 19, 4 (1990) 32\u201340.","journal-title":"SIGMOD Record"},{"issue":"2","key":"7_CR21","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/42372.42373","volume":"31","author":"K.A. Frenkel","year":"1988","unstructured":"K.A. Frenkel, The art and science of visualising data, CACM 31, 2 (1988) 110\u2013121.","journal-title":"CACM"},{"key":"7_CR22","unstructured":"M. Grundy, Theorem Prover Generation using Refutation Procedures, Ph. D. Thesis, University of Sydney, 1990, 129 pages."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"R.D. Jenks, R.S. Sutor, and S.M. Watt, Scratchpad II: an abstract datatype system for mathematical computation, Trends in Computer Algebra, R. Janssen (ed.), Springer LNCS 296, 1988, pp.12\u201337.","DOI":"10.1007\/3-540-18928-9_3"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"D. Kapur and J.L. Mundy (eds), Special Volume on Geometric Reasoning, Artificial Intelligence 37 1\u20133 (1988).","DOI":"10.1016\/0004-3702(88)90047-1"},{"key":"7_CR25","unstructured":"L. Kerschberg, A multiple paradigm approach to query optimization: Integrating historical, structural and behavioral information sources, these proceedings."},{"key":"7_CR26","unstructured":"J.R. Quinlan, Simplifying decision trees, Proceedings of the First Knowledge Acquisition for Knowledge-Bases Systems Workshop, Banff, Canada, November 1986."},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0747-7171(89)80007-0","volume":"7","author":"L. Sterling","year":"1989","unstructured":"L. Sterling, A. Bundy, L. Byrd, R. O'Keefe and B. Silver, Solving symbolic equations with PRESS, Journal of Symbolic Computation 7 (1989) 71\u201384.","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR28","unstructured":"P. Struss, Qualitative modelling, these proceedings."},{"key":"7_CR29","volume-title":"Database and Knowledge-Based Systems, Volumes I and II","author":"J.D. Ullman","year":"1989","unstructured":"J.D. Ullman, Database and Knowledge-Based Systems, Volumes I and II, Computer Science Press, Rockdale, MD, 1989."},{"key":"7_CR30","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1038\/scientificamerican0984-188","volume":"251","author":"S. Wolfram","year":"1984","unstructured":"S. Wolfram, Computer software in science and mathematics, Scientific American 251 (September 1984) 188\u2013203.","journal-title":"Scientific American"},{"key":"7_CR31","unstructured":"S. Wolfram, Mathematica: A System for Doing Mathematics, Addison-Wesley, 1988."},{"key":"7_CR32","volume-title":"Automated Reasoning: Introduction and Applications","author":"L. Wos","year":"1984","unstructured":"L. Wos, R. Overbeek, E. Lusk and R.J. Boyle, Automated Reasoning: Introduction and Applications, Prentice Hall, Englewood Cliffs, 1984."}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:32Z","timestamp":1605647492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}