{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:44Z","timestamp":1725663884758},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55930-2_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:46:19Z","timestamp":1330253179000},"page":"54-63","source":"Crossref","is-referenced-by-count":2,"title":["The Prince project and its applications"],"prefix":"10.1007","author":[{"given":"Pierre -Joseph","family":"Gailly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Krautter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Bisi\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvie","family":"Bescos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"5_CR1","first-page":"123","volume":"23","author":"J. Allen","year":"1984","unstructured":"Allen, J.: Towards a General Theory of Action and Time. AI V. 23, pp. 123\u2013154, 1984.","journal-title":"AI"},{"key":"5_CR2","unstructured":"Appelrath, H.-J.: PROTOS: Prolog Tools for Building Expert Systems \u2014 a Project Overview. Procs. of the 1st. PROTOS Workshop, September 1989."},{"key":"5_CR3","unstructured":"Berndsen, R., Berthier, F.: Goal Seeking in Qualitative Reasoning: an Implementation in CHIP. in Procs. of IMACS international symposium, March 1991."},{"key":"5_CR4","first-page":"233","volume":"2","author":"F. Berthier","year":"1990","unstructured":"Berthier, F.: Solving Financial Decision Problems in CHIP. Procs 2nd Conf. on Economics and Artificial Intelligence \u2014 CECOIA 2, pp. 233\u2013238, 1990.","journal-title":"Procs 2nd Conf. on Economics and Artificial Intelligence \u2014 CECOIA"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Broek, J., Daniels, H.: A Constraint Logic Programming Approach to ALM Modeling in Banks. Comp. Sci. in Economics and Management, Kluwer Acad. Press, 4(2), 1991.","DOI":"10.1007\/BF00436285"},{"issue":"N","key":"5_CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Colmerauer, A.: An Introduction to PROLOG-III, CACM, Vol. 33, N, 7, July 1990.","journal-title":"CACM"},{"key":"5_CR7","first-page":"289","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"Kuipers, B.: Qualitative Simulation. AI, V. 29, pp. 289\u2013338, 1986.","journal-title":"AI"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Michaylov, S., Yap, R.: A Methodology for Managing Hard Constraints in CLP Systems. Procs. of the ACM SIGPLAN PLDI Conf., pp. 306\u2013316, June 1991.","DOI":"10.1145\/113445.113471"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Lassez, C., McAloon, K., Yap, R.: Constraint Logic Programming and Option Trading. IEEE Expert, 2(3), 1987.","DOI":"10.1109\/MEX.1987.4307090"},{"issue":"No.3","key":"5_CR10","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"SE-13","author":"N. G. Leveson","year":"1987","unstructured":"Leveson, N.G., Stolzy, J.L.: Safety Analysis Using Petri Nets. IEEE Trans. on Software Engineering, Vol. SE-13, No.3 (1987), pp. 386\u2013397.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"5_CR11","unstructured":"M. Nussbaum and L. Slahor. Production Planning and Scheduling: A Bottom-up Approach. Procs. of the 1st PROTOS Workshop, September 1989."},{"key":"5_CR12","unstructured":"ESPRIT-Project 5246: PRINCE. Report 17: Specification of the FMEA application."},{"key":"5_CR13","unstructured":"ESPRIT-Project 1106: Further Development of Prolog and its Validation by KBS in Technical Areas. Final Report Part 2: Validation. 1990"},{"key":"5_CR14","unstructured":"Weld,D.S.,de Kleer,J.: Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, 1990."}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:16Z","timestamp":1605646936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}