{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:22:16Z","timestamp":1725466936896},"publisher-location":"Heidelberg","reference-count":17,"publisher":"Physica-Verlag HD","isbn-type":[{"type":"print","value":"9783790813470"},{"type":"electronic","value":"9783790818345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-7908-1834-5_13","type":"book-chapter","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T23:13:39Z","timestamp":1354403619000},"page":"141-152","source":"Crossref","is-referenced-by-count":6,"title":["An Experimental CLP Platform for Integrity Constraints and Abduction"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Henning","family":"Christiansen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Constraint handling rules online. http:\/\/ww.pins.informatik.uni-muenchen.de\/\u201cwebchr\/"},{"key":"13_CR2","first-page":"1330","volume-title":"Third International Conference on Principles and Practice of Constraint Programming, CP97, LNCS","author":"S Abdennadher","year":"1997","unstructured":"S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Third International Conference on Principles and Practice of Constraint Programming, CP97, LNCS 1330. Springer-Verlag, November 1997."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"S. Abdennadher and H. Sch\u00fctz. CHRv: A flexible query language. Flexible Query Answering Systems, LNAI 1495, 1998.","DOI":"10.1007\/BFb0055987"},{"issue":"1\u20133","key":"13_CR4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0743-1066(98)10009-2","volume":"37","author":"H. Christiansen","year":"1998","unstructured":"H. Christiansen. Automated reasoning with a constraint-based metainterpreter. Journal of Logic Programming,37(1\u20133):213\u2013254, 1998. Special issue on Constraint Logic Programming.","journal-title":"Journal of Logic Programming"},{"key":"13_CR5","first-page":"5","volume-title":"Proceedings of 12th International Conference on Applications of Prolog (INAP99)","author":"H Christiansen","year":"1999","unstructured":"H. Christiansen. Integrity constraints and constraint logic programming. In INAP Organnizing Committee, editor, Proceedings of 12th International Conference on Applications of Prolog (INAP\u201999), pages 5\u201312, Tokyo, Japan, 1999."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"H. Christiansen and D. Martinenghi. Symbolic constraints for meta-logic programming. Journal of Applied Artificial Intelligence,pages 345\u2013368, 2000. Special Issue on Constraint Handling Rules.","DOI":"10.1080\/088395100117034"},{"key":"13_CR7","first-page":"157","volume-title":"Proc. of JICSLP96","author":"H Decker","year":"1996","unstructured":"H. Decker. An extension of sld by abduction and integrity maintenance for view updating in deductive databases. In Proc. of JICSLP\u201996, pages 157\u2013169, 1996."},{"key":"13_CR8","volume-title":"Journal of Logic Programming","author":"T Fr\u00fchwirth","year":"1998","unstructured":"T. Fr\u00fchwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, 1998."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"C. Holzbaur and T Fr\u00fchwirth. A prolog constraint handling rules compiler and runtime system. Journal of Applied Artificial Intelligence,pages 369\u2013388, 2000. Special Issue on Constraint Handling Rules.","DOI":"10.1080\/088395100117043"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"20","author":"J Jaffar","year":"1994","unstructured":"J. Jaffar and M.J.Maher. Constraint logic programming: A survey. Journal of logic programming, 19, 20: 503\u2013581, 1994.","journal-title":"A survey. Journal of logic programming, 19"},{"key":"13_CR11","first-page":"650","volume-title":"Proc. 16th Intl Cont. on Very Large Databases","author":"AC Kakas","year":"1990","unstructured":"A. C. Kakas and R Mancarella. Database updates through abduction. In Proc. 16th Intl Cont. on Very Large Databases, pages 650\u2013661. Morgan Kaufmann, California, 1990."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"A. C. Kakas and A. Michael. Integrating abductive and constraint logic programming. In Leon Sterling, editor, Proceedings of the 12th International Conference on Logic Programming,pages 399\u2013416, Cambridge, June 13\u201318 1995. MIT Press.","DOI":"10.7551\/mitpress\/4298.003.0043"},{"issue":"3","key":"13_CR13","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/FI-1998-34301","volume":"34","author":"R Kowalski","year":"1998","unstructured":"R. Kowalski, F. Toni, and G. Wetzel. Executing suspended logic programs. Fundamenta Informaticae, 34 (3): 203\u2013224, 1998.","journal-title":"Fundamenta Informaticae"},{"key":"13_CR14","volume-title":"Springer Verlag","author":"GM Kuper","year":"2000","unstructured":"G.M. Kuper, L. Libkin, and J. Paredaens, editors. Constraint Databases. Springer Verlag, 2000."},{"key":"13_CR15","volume-title":"Mit Press","author":"J Lobo","year":"1992","unstructured":"J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. MIT Press, 1992."},{"key":"13_CR16","first-page":"102","volume-title":"Proceedings of the 10th European Conference on Artificial Intelligence","author":"LM Pereira","year":"1992","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In Bernd Neumann, editor, Proceedings of the 10th European Conference on Artificial Intelligence, pages 102\u2013106, Vienna, Austria, August 1992. John Wiley & Sons."},{"key":"13_CR17","first-page":"366","volume":"1495","author":"G Wetzel","year":"1998","unstructured":"G. Wetzel and F. Toni. Semantic query optimization through abduction and constraint handling. Flexible Query Answering Systems, LNAI 1495: 366\u2013381, 1998.","journal-title":"Lnai"}],"container-title":["Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7908-1834-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T08:55:29Z","timestamp":1714640129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7908-1834-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783790813470","9783790818345"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-7908-1834-5_13","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}