{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:40Z","timestamp":1725664300349},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:04:32Z","timestamp":1330275872000},"page":"108-127","source":"Crossref","is-referenced-by-count":2,"title":["Linear constraint solving in CLP-Languages"],"prefix":"10.1007","author":[{"given":"Jean -Louis J.","family":"Imbert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"7_CR1","volume-title":"Rapport pr\u00e9liminaire de fin de contrat IRIA","author":"A. Colmerauer","year":"1972","unstructured":"A. Colmerauer, H. Kanoui, R. Pasero and P. Roussel. \u201cUn syst\u00e8me de communication en fran\u00e7ais\u201d. Rapport pr\u00e9liminaire de fin de contrat IRIA, Groupe Intelligence Artificielle, Facult\u00e9 des Sciences de Luminy, Universit\u00e9 Aix-Marseille II, France, October 1972."},{"key":"7_CR2","first-page":"85","volume-title":"Equations and Inequations on Finite and Infinite Trees","author":"A. Colmerauer","year":"1984","unstructured":"A. Colmerauer. \u201cEquations and Inequations on Finite and Infinite Trees\u201d. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS-84), pages 85\u201399, Tokyo, Japan, November 1984. ICOT."},{"key":"7_CR3","unstructured":"A. Colmerauer. \u201cOpening the Prolog III Universe\u201d. In BYTE, August 1987, p177-182."},{"key":"7_CR4","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier. \u201cThe Constraint Logic Programming Language CHIP\u201d. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988."},{"key":"7_CR5","unstructured":"S. Friedberg, A. Insel and L. Spence. \u201cLinear Algebra\u201d. Prentice-Hall 1979."},{"key":"7_CR6","first-page":"77","volume-title":"Solved Forms for Linear Constraints in CLP-languages","author":"JL. Imbert","year":"1994","unstructured":"JL. Imbert. \u201cSolved Forms for Linear Constraints in CLP-languages\u201d. In P. Jorrand and V. Sgurev, editors, Proceedings of the Sixth International Conference on Artificial Intelligence: Methodology, Systems and Applications, AIMSA'94, p 77\u201390. Sofia, Bulgaria. World Scientific. September 1994."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"JL. Imbert, J. Cohen and MD. Weeger. \u201cAn Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP\u201d. In Journal of Logic Programming. Special issue on Constraint Logic Programming. Vol. 16, Nos 3 and 4, July\u2013August 1993.","DOI":"10.1016\/0743-1066(93)90044-H"},{"key":"7_CR8","first-page":"49","volume-title":"Constraint Logic Programming: Selected Research","author":"JL. Imbert","year":"1993","unstructured":"JL. Imbert and P. Van Hentenryck. \u201cOn the Handling of Disequations in CLP over Linear Rational Arithmetic\u201d. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research, p 49\u201371, MIT Press, Cambridge, USA. Sept 1993."},{"key":"7_CR9","unstructured":"J. Jaffar, JL. Lassez. \u201cConstraint Logic Programming\u201d. Technical Report 86\/73. Dept. of computer science. Monash University (June 1986)."},{"key":"7_CR10","volume-title":"Methodology and Implementation of a CLP System","author":"J. Jaffar","year":"1987","unstructured":"J. Jaffar, S. Michaylov. \u201cMethodology and Implementation of a CLP System\u201d. In Proceedings of the Logic Programming Conference. Melbourne, 1987. M.I.T. Press."},{"key":"7_CR11","unstructured":"R.A. Kowalski and D. Kuehner. \u201cLinear Resolution with Selection Function\u201d. Memo 78, University of Edinburgh, School of Artificial Intelligence, 1971."},{"key":"7_CR12","first-page":"569","volume-title":"Predicate Logic as Programming Language","author":"R.A. Kowalski","year":"1974","unstructured":"R.A. Kowalski. \u201cPredicate Logic as Programming Language\u201d, in Proceedings of IFIP 1974, North Holland Publishing Company, Amsterdam, pp. 569\u2013574, 1974."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski and M. Van Emden. \u201cThe Semantic of Predicate Logic as Programming Language\u201d, in JACM 22, 1976, pp. 733\u2013742.","DOI":"10.1145\/321978.321991"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"JL. Lassez and K. McAloon. \u201cIndependance of Negative Constraints\u201d. In TAP-SOFT 89, Advanced seminar on Foundations of innovative Software development, Lecture Notes in Computer Science 351, springer Verlag 1989.","DOI":"10.1007\/3-540-50939-9_122"},{"key":"7_CR15","volume-title":"Ph.D. Thesis","author":"JL. Lauri\u00e8re","year":"1976","unstructured":"JL. Lauri\u00e8re. \u201cUn langage et un probl\u00e8me pour \u00e9noncer et r\u00e9soudre des probl\u00e8mes combinatoires\u201d. Ph.D. Thesis, University Pierre et Marie Curie, Paris, May 1976."},{"issue":"1","key":"7_CR16","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(78)90029-2","volume":"10","author":"JL. Lauri\u00e8re","year":"1978","unstructured":"JL. Lauri\u00e8re. \u201cA Language and a Program for Stating and Solving Combinatorial Problems\u201d. In Artificial Intelligence, 10(1): p 29\u2013127, 1978.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"7_CR17","first-page":"99","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. \u201cConsistency in Networks of Relations\u201d. In AI Jour 8(1): p 99\u2013118, 1977.","journal-title":"AI Jour"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"1","author":"J.A. Robinson","year":"1965","unstructured":"J.A. Robinson. \u201cA Machine-Oriented Logic Based on the Resolution Principle\u201d. Journal of the ACM 12, 1, pp. 23\u201341, January 1965.","journal-title":"Journal of the ACM 12"},{"key":"7_CR19","unstructured":"N. Singer. \u201cR\u00e9solutions incr\u00e9mentale de contraintes lin\u00e9aires sur les nombres rationnels\u201d. m\u00e9moire de DEA, GIA, Facult\u00e9 des sciences de Luminy, Marseille, 1993."},{"key":"7_CR20","volume-title":"Ph.D. Thesis","author":"G.L. Steele","year":"1980","unstructured":"G.L. Steele. \u201cThe Definition and Implementation of a Computer programming Language based on Constraints\u201d. Ph.D. Thesis, MIT, USA. August 1980."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"G.J. Sussman and G.L. Steele. \u201cCONSTRAINTS. A language for Expressing Almost-Hierarchical Descriptions\u201d In AI Journal, 14(1), 1980.","DOI":"10.1016\/0004-3702(80)90032-6"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck and T. Graf. Standard Forms for Rational Linear Arithmetics in Constraint Logic Programming. Annals of Mathematics and Artificial Intelligence, 1992.","DOI":"10.1007\/BF01543480"},{"key":"7_CR23","unstructured":"JF. Verrier. \u201cR\u00e9solutions num\u00e9riques en programmation logique par contraintes\u201d. m\u00e9moire de DEA, GIA, Facult\u00e9 des sciences de Luminy, Marseille, 1992."},{"key":"7_CR24","volume-title":"Technical Report AI271","author":"D. Waltz","year":"1972","unstructured":"D. Waltz. \u201cGenerating Semantic Descriptions from Drawings of Scenes with Shadows\u201d. Technical Report AI271, MIT, MA, USA. November 1972."}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:25:41Z","timestamp":1605648341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}