{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:46Z","timestamp":1725664786020},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:04Z","timestamp":1330294144000},"page":"301-302","source":"Crossref","is-referenced-by-count":2,"title":["Logic programming with integrity constraints"],"prefix":"10.1007","author":[{"given":"Robert","family":"Kowalski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"U. S. Chakravarthy, J. Grant, and J. Minker. Foundations of semantic query optimisation for deductive databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1987.","DOI":"10.1016\/B978-0-934613-40-8.50011-7"},{"key":"21_CR2","unstructured":"J. Davila. REACTIVE PASCAL and the event calculus: A platform toprogram reactive, rational agents. In Ute C. Sigmund and Michael Thielscher, editors, Proceedings of the Workshop at FAPR'95: Reasoning about Actions and Planning in Complex Environments, 1996."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"T. Fruehwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and trends, volume 910 of LNCS. Springer Verlag, 1995.","DOI":"10.1007\/3-540-59155-9_6"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"T. H. Fung. Abduction with clark completion. In Proc. of the 12th Int. Conf. on Logic Programming. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0079"},{"key":"21_CR5","unstructured":"T. H. Fung. Abduction by Deduction. PhD thesis, Imperial College, 1996."},{"key":"21_CR6","unstructured":"T. H. Fung and R. Kowalski. The iff proof procedure. Technical report, Department of Computing, Imperial College, June 1996."},{"issue":"6","key":"21_CR7","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1995","unstructured":"A. Kakas, R. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719\u2013770, 1995.","journal-title":"Journal of Logic and Computation"},{"key":"21_CR8","unstructured":"R. Kowalski. Using metalogic to reconcile reactive with rational agents. In K. Apt and F. Turini, editors, Meta-Logics and Logic Programming. MIT Press, 1995."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"R. Kowalski and F. Sadri. Towards a unified architecture that combines rationality with reactivity. In Proceedings of LDS '96 (Logic in Databases). Springer Verlag, 1996.","DOI":"10.1007\/BFb0031739"},{"key":"21_CR10","unstructured":"R. Kowalski, F. Toni, and G. Wetzel. Towards a declarative and efficient glass-box CLP. In Proceedings of Logic Programming Workshop WLP'94, 1994."},{"key":"21_CR11","unstructured":"G. Wetzel, R. Kowalski, and F. Toni. A theorem proving approach to CLP. In Proceedings of Logic Programming Workshop WLP'95, 1995."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:39:47Z","timestamp":1713634787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}