{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:52:56Z","timestamp":1725605576741},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_10","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"231-255","source":"Crossref","is-referenced-by-count":4,"title":["Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming\u2019s Algorithmic Foundations"],"prefix":"10.1007","author":[{"given":"Howard A.","family":"Blair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fred","family":"Dushin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David W.","family":"Jakel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angel J.","family":"Rivera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Metin","family":"Sezgin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50(2)","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P. and Makinson, D. \u201cOn the Logic of Theory Change\u201d,J. Symbolic Logic, 50(2):510\u2013530, 1985.","journal-title":"J. Symbolic Logic"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"1646","DOI":"10.1109\/5.58358","volume":"78","author":"JA Anderson","year":"1990","unstructured":"Anderson, J.A., Gately, M.T., P.A. Penz and Collins, D.R. \u201cRadar Signal Categorization Using a Neural Network\u201d,Proceedings of the IEEE, 78:1646\u20131657, 1990.","journal-title":"Proceedings of the IEEE"},{"key":"10_CR3","unstructured":"Barnesly, M.Fractals Everywhere, Academic Press, 1993."},{"key":"10_CR4","first-page":"155","volume":"21 (2\u20134)","author":"HA Blair","year":"1997","unstructured":"Blair, H.A., Chidella, J., Dushin, F., Ferry, A. and Humenn, P. \u201cA Continuum of Discrete Systems\u201d, Annals of Mathematics and Artificial Intelligence, 21 (2\u20134): 155\u2013185, 1997.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-63255-7_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"HA Blair","year":"1997","unstructured":"Blair, H.A., Dushin, F., and Humenn, P. \u201cSimulations Between Programs as Cellular Automata\u201d, in J\u00fcrgen Dix, Ulrich Furbach and Anil Nerode editors,Logic Programming and Nonmonotonic Reasoning, Proceedings of the 4th International Conference, Dagstuhl, Germany, volume 1265 of Lecture Notes in Computer Science (subseries LNAI), pp. 115\u2013131. Springer\u2013Verlag, 1997."},{"key":"10_CR6","unstructured":"Blair, H.A. and Marek, V.W. \u201cHenkin Algebras with Applications to Default Logic\u201d, presented at NMR\u201998, Trento, Italy."},{"key":"10_CR7","volume-title":"An Introduction to Differentiable Manifolds and Rie\u2013 mannian Geometry","author":"WM Boothby","year":"1986","unstructured":"Boothby, W.M.An Introduction to Differentiable Manifolds and Rie\u2013 mannian Geometry, Academic Press, 1986."},{"key":"10_CR8","unstructured":"Descartes, R. La Geometric, 1637."},{"issue":"l","key":"10_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"MH Emden van","year":"1986","unstructured":"van Emden, M.H.\u201cQuantitative Deduction and Its Fixpoint Theory\u201d,Journal of Logic Programming, 3(1):37\u201353,1986.","journal-title":"Journal of Logic Programming"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH Emden van","year":"1976","unstructured":"van Emden, M. H. and Kowalski, R. A. \u201cThe Semantics of Logic as a Programming Language\u201d,JACM, 23:733\u2013742, 1976.","journal-title":"JACM"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M Fitting","year":"1991","unstructured":"Fitting, M. \u201cBilattices and the Semantics of Logic Programming\u201d,Journal of Logic Programming, 11(1,2):91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0743-1066(14)80007-1","volume":"21","author":"M Fitting","year":"1994","unstructured":"Fitting, M. \u201cMetric methods, three examples and a theorem\u201d,Journal of Logic Programming, 21:113\u2013127, 1994.","journal-title":"Journal of Logic Programming"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Guckenheimer, J. and Holmes, P.Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Springer-Verlag Texts in Applied Mathematics, volume 42, 1983.","DOI":"10.1007\/978-1-4612-1140-2"},{"key":"10_CR14","first-page":"1070","volume-title":"Logic Programming, Proceedings of the Fifth International Conference and Symposium","author":"M Gelfond","year":"1988","unstructured":"Gelfond, M. and Lifschitz, V. \u201cThe Stable Model Semantics for Logic Programming\u201d, in Robert A. Kowalski, Kenneth A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, pp. 1070\u20131080, 1988"},{"key":"10_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic: Trends in Logic","author":"P Hajek","year":"1998","unstructured":"Hajek, Petr.Metamathematics of Fuzzy Logic: Trends in Logic, Vol. 4, Kluwer, 1998."},{"key":"10_CR16","volume-title":"Springer-Verlag Texts in Applied Mathematics","author":"JH Hubbard","year":"1995","unstructured":"Hubbard, J.H. and West, B.H.Differential Equations: A Dynamical Systems Approach, volumes I and II, Springer-Verlag Texts in Applied Mathematics, volumes 5 and 18, 1995."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Kruse, R., Gebhardt, J. and Klawonn, F.Foundations of Fuzzy Systems, Wiley, 1994.","DOI":"10.1007\/978-3-322-86784-1"},{"issue":"3,4","key":"10_CR18","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M Kifer","year":"1992","unstructured":"Kifer, M. and Subrahmanian, V.S. \u201cTheory of Generalized Annotated Logic Programming and its Applications\u201d,Journal of Logic Programming, 12(3,4):335\u2013367, 1992","journal-title":"Journal of Logic Programming"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"1182","DOI":"10.1109\/TC.1977.1674779","volume":"26","author":"EH Mamdani","year":"1977","unstructured":"Mamdani, E.H. \u201cApplication of Fuzzy Logic to Approximate Reasoning Using Linguistic Systems\u201d,IEEE Transactions on Computers, 26:1182\u20131191, 1977.","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR20","volume-title":"Elements of Artificial Neural Networks","author":"K Mehrotra","year":"1997","unstructured":"Mehrotra, K., Mohan, C.K. and Ranka,S.Elements of Artificial Neural Networks, MIT Press, 1997."},{"key":"10_CR21","volume-title":"Perceptrons","author":"M Minsky","year":"1969","unstructured":"Minsky, M. and Papert, S.Perceptrons, MIT Press, 1969."},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Marek, V.W. and Truszczy\u0144ski, M. \u201cStable Logic Programming and an Alternative Logic Programming Paradigm\u201d, this volume, pp. 375\u2013398.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"10_CR23","unstructured":"Mundici, D.Private communication."},{"key":"10_CR24","unstructured":"Parikh, R.Private communication."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Paige, R. \u201cViewing a Program Transformation System at Work\u201d,Programming Language Implementation and Logic Programming, Proceedings of the 6th International Symposium, PLILP\u201994, volume 844 of Lecture Notes in Computer Science, pp. 5\u201324, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58402-1_3"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R. \u201cA Logic for Default Reasoning\u201d,Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"10_CR27","unstructured":"Shoenfield, J. R.Mathematical Logic, Addison-Wesley, 1967."},{"key":"10_CR28","first-page":"16","volume":"3","author":"RD Tennent","year":"1994","unstructured":"Tennent, R. D. \u201cDenotational Semantics\u201d, in Handbook of Logic in Computer Science, volume 3, pp. 168\u2013324, Oxford University Press, 1994.","journal-title":"Handbook of Logic in Computer Science"},{"key":"10_CR29","first-page":"63","volume":"3","author":"H Takagi","year":"1991","unstructured":"Takagi, H., Konda, T. and Kojima, Y. \u201cNeural Networks Based on Approximate Reasoning Architecture\u201d,Japanese Journal of Fuzzy Theory and Systems, 3:63\u201374, 1991.","journal-title":"Japanese Journal of Fuzzy Theory and Systems"},{"key":"10_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1763.001.0001","volume-title":"Cellular Automata Machines: a new environment for modeling","author":"T Toffoli","year":"1987","unstructured":"Toffoli, T. and Margolis, N.Cellular Automata Machines: a new environment for modeling, MIT Press, 1987."},{"key":"10_CR31","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TSMC.1985.6313399","volume":"15","author":"H Takagi","year":"1985","unstructured":"Takagi, H. and Sugeno, M. \u201cFuzzy Identification of Systems and its Application to Modeling and Control\u201d,IEEE Transactions on Systems, Man, and Cybernetics, 15:116\u2013132, 1985.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"issue":"1","key":"10_CR32","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/TC.1985.1676517","volume":"c-34","author":"TH Tucker","year":"1985","unstructured":"Tucker, T.H., Tapia, M.A. and Bennett, A.W., \u201cBoolean Integral Calculus for Digital Systems\u201dIEEE Transactions on Computers, c-34(1):78\u201381, 1985.","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR33","unstructured":"Van Hentenryck, P. \u201cNumerica: A Modeling Language for Global Optimization\u201d,IJCAI97."},{"key":"10_CR34","unstructured":"Van Hentenryck, P., Deville, Y. and Janssen, M. \u201cConsistency Techniques in Ordinary Differential Equations\u201d,Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 1998."},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Laurent, M. and Deville, Y. Numerica:A Modeling Language for Global Optimization, MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"10_CR36","volume-title":"Theory and Applications of Cellular Automata, World Scientific","author":"S Wolfram","year":"1986","unstructured":"Wolfram, S .Theory and Applications of Cellular Automata, World Scientific, 1986."},{"key":"10_CR37","volume-title":"Cellular Automata and Complexity","author":"S Wolfram","year":"1994","unstructured":"Wolfram, S.Cellular Automata and Complexity, Addison-Wesley, 1994."},{"key":"10_CR38","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1162\/neco.1989.1.2.270","volume":"1","author":"RJ Williams","year":"1989","unstructured":"Williams, R.J. and Zipser, D. \u201cA Learning Algorithm for Continually Running Fully Recurrent Neural Networks\u201d,Neural Computation, 1:270\u2013280, 1989.","journal-title":"Neural Computation"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:34:56Z","timestamp":1606253696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_10","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}