{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:48:34Z","timestamp":1752461314634},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_65","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:16:56Z","timestamp":1330294616000},"page":"305-319","source":"Crossref","is-referenced-by-count":7,"title":["Data types in subdefinite models"],"prefix":"10.1007","author":[{"given":"Vitaly","family":"Telerman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Ushakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"19_CR1","unstructured":"Narin'yani A.S.: Subdefinite Set \u2014 a Formal Model of Uncompletely Specified Aggregate, Proc. of the Symp. on Fuzzy Sets and Possibility Theory, Acapulco, Mexico, (1980)."},{"key":"19_CR2","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)."},{"key":"19_CR3","unstructured":"Narin'yani A.S.: Subdefiniteness, Overdefiniteness and Absurdity in Knowledge Representation (some Algebraic Aspects), Proc. of the II Conf. on AI Application, Miamy Beach, Dec. 9\u201313, (1985)."},{"key":"19_CR4","unstructured":"Narin'yani A.S.: Subdefinite Models: a Big Jump in Knowledge Proccesing Technology, Proceeding of East-West AI Conf.: from theory to practice, Moscow, September, (1993)."},{"key":"19_CR5","unstructured":"Babichev A.B., et al.: UniCalc \u2014 an intelligent solver for mathematical problems, Ibid, 257\u2013260."},{"key":"19_CR6","unstructured":"Borde S.B., et al.: Subdefiniteness and Calendar Scheduling, Ibidem, 315\u2013318."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Telerman V.V.: Propagation of Mathematical Constraints in Subdefinite Models, In: J.Calmet and J.A.Campbell (Eds.), Integrating Symbolic Mathematical Computation and Artificial Intelligence, Lect. Notes in Comp. Sci., Vol. 958, Springer, (1995), 191\u2013208.","DOI":"10.1007\/3-540-60156-2_14"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-85983-0","volume-title":"Constraint Programming","author":"B. Mayoh","year":"1994","unstructured":"Mayoh B., Tyugu E., Uustalu T.: Constraint Satisfaction and Constraint Programming: A Brief Lead-In. Constraint Programming.-Springer-Verlag Berlin Heidelberg (1994), 1\u201316."},{"key":"19_CR9","doi-asserted-by":"publisher","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, Vol. 58, (1992), 113\u2013159.","journal-title":"Artificial Intelligence"},{"key":"19_CR10","unstructured":"Benhamou F., Older W.J.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming, (1996). To appear."},{"key":"19_CR11","unstructured":"Goguen J.A., Meseguer J.: Models and Equality for Logical Programming, Lect. Notes in Comp. Sci., Vol. 250, Springer, (1987), p. 1\u201322."},{"key":"19_CR12","unstructured":"Telerman V.V.: Active Data Types, Preprint USSR Acad. Sci., Siberian Division, Computer Center, 792, Novosibirsk, (1988), 30 p. (in Russian)."},{"key":"19_CR13","unstructured":"Narin'yani A.S., Telerman V.V., Dmitriev V.E.: Virtual Data-Flow Machine as Vehicle of Inference\/Computations in Knowledge Bases, In: Ph. Jorrand, V. Sgurev (Eds.) Artificial Intelligence II: Methodology, Systems, Application, North-Holland, (1987), 149\u2013154."},{"key":"19_CR14","volume-title":"Knowledge Processing Based on Subdefiniteness","author":"V.V. Telerman","year":"1996","unstructured":"Telerman V.V., Ushakov D.M.: Subdefinite Models: Formalisation and Perspectives, In: Knowledge Processing Based on Subdefiniteness, RRIAI, Novosibirsk-Moscow, (1996), (in Russian)."},{"key":"19_CR15","volume-title":"Introduction in Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld G., Herzberger Ju.: Introduction in Interval Computations, Academic Press, New York, 1983."},{"key":"19_CR16","doi-asserted-by":"publisher","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":"19_CR17","first-page":"37","volume":"SS-11","author":"M.I. Nechepurenko","year":"1985","unstructured":"Nechepurenko M.I.: Elements of Boolean Interval Analisys, In: System Simulation in Informatics, SS-11, Novosibirsk, (1985), 37\u201361. (In Russian).","journal-title":"System Simulation in Informatics"},{"key":"19_CR18","unstructured":"Yakovlev A.G.: Computer Arithmetic of Multiintervals, Problems of Cybernetics. Problem-oriented computational systems, (1987), 66\u201381. (In Russian)."},{"key":"19_CR19","unstructured":"Telerman V.V.: Using Multiintervals in Subdefinite Models, In: Parallel programming and supercomputers: methods of knowledge representation in information technologies: Proc.of X All-Union Conf., Ufa, 19\u201326 June 1990 \u2014 Kiev, (1990), 128\u2013129. (in Russian)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:05Z","timestamp":1619573765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}