{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:38Z","timestamp":1742635958373},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:15Z","timestamp":1330276755000},"page":"43-56","source":"Crossref","is-referenced-by-count":6,"title":["On logical constraints in logic programming"],"prefix":"10.1007","author":[{"given":"V. Wiktor","family":"Marek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"A.V. Aho and J.D. Ullman. Universality of Data Retrieval Languages. In: ACM Symposium on Principles of Programming Languages, pages 110\u2013120, 1979.","DOI":"10.1145\/567752.567763"},{"key":"4_CR2","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K. Apt","year":"1990","unstructured":"K. Apt. Logic programming. In: J. van Leeuven, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. MIT Press, Cambridge, MA, 1990."},{"key":"4_CR3","first-page":"89","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1987","unstructured":"K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In: J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013142, Los Altos, CA, 1987. Morgan Kaufmann."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02341854","volume":"8","author":"C. Baral","year":"1992","unstructured":"C. Baral and V.S. Subrahmanian. Stable and Extension Class Theory for Logic Programs and Default Theories. Journal of Automated Reasoning 8, pages 345\u2013366, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0019-9958(82)91234-7","volume":"54","author":"H.A. Blair","year":"1982","unstructured":"H.A. Blair. The recursion-theoretic complexity of predicate logic as programming language. Information and Control 54, pages 25\u201347, 1982.","journal-title":"Information and Control"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"K.L. Clark. Negation as failure. In: H. Gallaire and J. Minker, editors, Logic and data bases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"4_CR7","unstructured":"A. Colmcrauer. PROLOG III Reference and Users Manual, PrologIA, Marseilles 1990."},{"key":"4_CR8","unstructured":"M. Dincbas and H. Simonis and P. Van Hententryck and A. Aggoun. The Constraint Logic Programming Language CHIP. In: Proceedings of the 2nd International Conference on Fifth Generation Computing Systems, pages 249\u2013264. 1988."},{"key":"4_CR9","first-page":"1070","volume-title":"The Stable Semantics for Logic Programs","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. The Stable Semantics for Logic Programs. In: Proceedings of the 5th International Symposium on Logic Programming, pages 1070\u20131080, Cambridge, MA., MIT Press, 1988."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In: Proceedings of the. 14th ACM Symposium on Principles of Programming Languages, pages 111\u2013119, M\u00fcnich, 1987.","DOI":"10.1145\/41625.41635"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming 19\u201320, pages 503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"4_CR12","unstructured":"V. Marek, A. Nerode, and J.B. Remmel. Rule Systems, well orderings, and foward chaining. Cornell University, MSI Technical Report, 1994."},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence 13, pages 81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The Semantics of Predicate Logic as a Programming Language. Journal of the ACM 23 pages 733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:52Z","timestamp":1619573272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}