{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:21Z","timestamp":1725664581262},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:33:13Z","timestamp":1330277593000},"page":"91-100","source":"Crossref","is-referenced-by-count":1,"title":["Problem solving in the object-oriented technological environment NeMo+"],"prefix":"10.1007","author":[{"given":"Vitaly","family":"Telerman","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Sidorov","sequence":"additional","affiliation":[]},{"given":"Dmitry","family":"Ushakov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"9_CR1","unstructured":"Narin'yani, A.S.: Subdefinite Sets \u2014 New Data Type for Knowledge Representation, Preprint USSR Acad. Sci., Siberian Division, Computer Center, 232, Novosibirsk, (1980). (in Russian)."},{"issue":"No.5","key":"9_CR2","first-page":"443","volume":"2","author":"A.S. Narin'yani","year":"1983","unstructured":"Narin'yani, A.S. Subdefiniteness and Basic Means of Knowledge Representation, Computers and Artificial Intelligence, Bratislawa, 2, No.5, (1983), 443\u2013452.","journal-title":"Computers and Artificial Intelligence, Bratislawa"},{"key":"9_CR3","first-page":"3","volume":"No.5","author":"A.S. Narin'yani","year":"1986","unstructured":"A.S. Narin'yani, Subdefiniteness in Knowledge Representation and Processing, Trans. of USSR Acad. of Sciences, Technical cybernetics, No.5, Moscow, (1986), 3\u201328. (in Russian).","journal-title":"Trans. of USSR Acad. of Sciences, Technical cybernetics"},{"key":"9_CR4","unstructured":"Babichev, A.B., et al. UniCalc \u2014 an intelligent solver for mathematical problems, Proc. of East-West AI Conference: from theory to practice, Moscow, (1993), 257\u2013260."},{"key":"9_CR5","unstructured":"Borde, S.B., et al.: Subdefiniteness and Calendar Scheduling, Ibid, 315\u2013318."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Telerman, V.V. Propagation of Mathematical Constraints in Subdefinite Models, Lect. Notes in Comp. Sci.,958, Springer, (1995), 191\u2013208.","DOI":"10.1007\/3-540-60156-2_14"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in Networks of Relations, Artificial Intelligence 8, (1977), 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"9_CR8","unstructured":"Montanari, U.: Networks of Constraints: Fundamental Properties and Application to Picture Processing, Information Science, 7, (1992)."},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0004-3702(92)90006-J","volume":"58","author":"P. Hentenryck Van","year":"1992","unstructured":"Hentenryck, P. Van: Constraint Satisfaction Using Constraint Logic Programming, Artificial Intelligence, 58, (1992), 113\u2013159.","journal-title":"Artificial Intelligence"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Mayoh, B., Tyugu, E., Uustalu, T.: Constraint Satisfaction and Constraint Programming: A Brief Lead-In. Constraint Programming. \u2014 Springer, (1994), 1\u201316.","DOI":"10.1007\/978-3-642-85983-0"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","volume":"58","author":"E. Hyvonen","year":"1992","unstructured":"Hyvonen, E.: Constraint reasoning based on interval arithmetic: the tolerance propagation approach, Artificial Intelligence, 58, (1992), 71\u2013112.","journal-title":"Artificial Intelligence"},{"key":"9_CR12","unstructured":"Benhamou, F., W.J.Older: Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming, (1996). (To appear)."},{"key":"9_CR13","unstructured":"Van Emden, M.H. Value constraints in the CLP scheme, Proc. of the ILPS, Workshop on Interval Constraints, Portland Oregon, (1995)."},{"key":"9_CR14","unstructured":"Interval Mathematics, Lect. Notes in Computer Science, n.4, vol. 29, (1975)."},{"key":"9_CR15","unstructured":"Yakovlev, A.G. Computer Arithmetic of Multiintervals, Problems of Cybernetics. Problem-oriented computational systems, (1987), 66\u201381. (In Russian)."},{"key":"9_CR16","unstructured":"Telerman, V.V.: Using of Multiintervals in SD-Models, Proc. of X All-Union Conf. \u201dParallel programming and high-performance systems\u201d, Kiev, (1990). (in Russian)."},{"key":"9_CR17","volume-title":"Knowledge Processing Based on Subdefiniteness","author":"V.V. Telerman","year":"1996","unstructured":"Telerman, V.V., D.M. Ushakov: Subdefinite Models: Formalisation and Perspectives, Knowledge Processing Based on Subdefiniteness, RRIAI, Moscow-Novosibirsk, (1996). (in Russian)."},{"key":"9_CR18","unstructured":"Narin'yani, A.S., V.V.Telerman, V.E.Dmitriev Virtual Data-Flow Machine as Vehicle of Inference\/Computations in Knowledge Bases, Ph. Jorrand, V. Sgurev (Eds.) Artificial Intelligence II: Methodology, Systems, Application, North-Holland, (1987), 149\u2013154."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:11:54Z","timestamp":1605629514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}