{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:20:56Z","timestamp":1725488456938},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411840"},{"type":"electronic","value":"9783540408888"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40888-6_17","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T22:23:54Z","timestamp":1186439034000},"page":"180-190","source":"Crossref","is-referenced-by-count":0,"title":["Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models"],"prefix":"10.1007","author":[{"given":"Evgueni","family":"Petrov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"issue":"5","key":"17_CR1","first-page":"13","volume":"3","author":"A. Babichev","year":"1992","unstructured":"A. Babichev, O. Kadyrova, T. Kashevarova, and A. Semenov. Unicalc \u2014 as a tool for solving problems with inaccurate and sub-definite data. Interval Computations, 3(5):13\u201316, 1992.","journal-title":"Interval Computations"},{"key":"17_CR2","unstructured":"F. Benhamou, F. Bouvier, A. Colmerauer, H. Garreta, B. Gilleta, J.-L. Massat, and G. Narboni. Le manuel de Prolog IV. PrologIA, 1996."},{"key":"17_CR3","unstructured":"F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising hull and box consistency. In Proc. Int. Conf. on Logic Programming. The MIT Press, 1999."},{"key":"17_CR4","unstructured":"F. Benhamou and W. J. Older. Programming in CLP(BNR). In Proc. Int. Conf. Principle and Practice of Constraint Programming, Newport, USA, 1994."},{"key":"17_CR5","unstructured":"ECRC. ECL i PS e 3.5: ECRC Common Logic Programming System. User\u2019s Guide., 1995."},{"key":"17_CR6","volume-title":"Modern Portfolio Theory and Investment Analysis","author":"E. J. Elton","year":"1995","unstructured":"E. J. Elton and M. J. Gruber. Modern Portfolio Theory and Investment Analysis. John Willey & Sons, Inc., New York, 1995."},{"key":"17_CR7","first-page":"191","volume-title":"Constraints","author":"C. Gervet","year":"1997","unstructured":"C. Gervet. Interval propagation to reason about sets: definition and implementation of a practical language. In Constraints, volume 3, pages 191\u2013244. Berlin: Kluwer Academic Publishers, 1997."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"C. Holzbauer. Metastructures versus attributed variables in the context of extensible unification. In Proc. 3rd Int. Work. Programming Languages Implementaion and Logic Programming, pages 260\u2013268, 1992.","DOI":"10.1007\/3-540-55844-6_141"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"S. Le Huitouze. A new data structure for implementing extensions to prolog. In Proc. 2nd Int. Work. Programming Languages Implementaion and Logic Programming, volume 456 of Lect. Notes Comp. Sci., pages 136\u2013150. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0024181"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"G. Lopez, B. Freeman-Benson, and A. Borning. Kaleidoscope: A constraint imperative programming language. In B. Mayoh, E. Tyugu, and J. Penjaam, (nt(editors)), Constraint Programming, volume 131 of NATO Advanced Science Institute Series, Series F:Computer and System Sciences, pages 313\u2013329. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-642-85983-0_12"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"B. Mayoh, E. Tyugu, and J. Penjaam, (nt(editors)). Constraint Programming, NATO Advanced Science Institute Series, Series F: Computer and System Sciences. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-642-85983-0"},{"issue":"5","key":"17_CR12","first-page":"443","volume":"2","author":"A. S. Narinyani","year":"1983","unstructured":"A. S. Narinyani. Subdefiniteness and basic means of knowledge representation. Computers and Artificial Intelligence, 2(5):443\u2013452, 1983.","journal-title":"Computers and Artificial Intelligence"},{"key":"17_CR13","unstructured":"E. Petrov and T. Yakhno. Extensional set library for ECLiPSe. In Proc. Int. Conf. Practical Application of Constraint Logic Programming, pages 253\u2013270. The Practical Application Company Ltd, 2000."},{"key":"17_CR14","unstructured":"J.-F. Puget. A C++ implementation of CLP. In Proc.SPICIS, Singapore, 1994."},{"key":"17_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1007\/BFb0017465","volume-title":"Principles and Practice of Constraint Programming, Proc. 3rd Int. Conf.","author":"I. E. Shvetsov","year":"1997","unstructured":"I. E. Shvetsov, V. V. Telerman, and D. M. Ushakov. NeMo+: Object-oriented constraint programming environment based on subdefinite models. In Principles and Practice of Constraint Programming, Proc. 3rd Int. Conf., volume 1330 of Lecture Notes in Computer Sciences, pages 534\u2013548. Springer-Verlag, 1997."},{"key":"17_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: a Modelling Language for Global Optimization","author":"P. Hentenryck Van","year":"1997","unstructured":"P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: a Modelling Language for Global Optimization. The MIT Press, Cambridge, MA, 1997."},{"key":"17_CR17","unstructured":"T. M. Yakhno, V. Z. Zilberfaine, and E. S. Petrov. Applications of ECLiPSe: Interval Domain library. The ICL Systems Journal, pages 35\u201350, Nov. 1997."}],"container-title":["Lecture Notes in Computer Science","Advances in Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40888-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:56:23Z","timestamp":1556726183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40888-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411840","9783540408888"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-40888-6_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}