{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:08Z","timestamp":1725663968879},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568049"},{"type":"electronic","value":"9783540477501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56804-2_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:38:58Z","timestamp":1330238338000},"page":"198-208","source":"Crossref","is-referenced-by-count":1,"title":["Using semantic information for processing negation and disjunction in logic programs"],"prefix":"10.1007","author":[{"given":"Terry","family":"Gaasterland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"2","key":"19_CR1","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/78922.78924","volume":"5","author":"U. S. Chakravarthy","year":"1990","unstructured":"U.S. Chakravarthy, J. Grant, and J. Minker. Logic based approach to semantic query optimization. ACM Transactions on Database Systems, 5(2):162\u2013207, June, 1990.","journal-title":"ACM Transactions on Database Systems"},{"key":"19_CR2","volume-title":"Ph.D. thesis","author":"U. Chakravarthy","year":"1985","unstructured":"U. Chakravarthy. Semantic Query Optimization in Deductive Databases. Ph.D. thesis, University of Maryland, Department of Computer Science, College Park, 1985."},{"key":"19_CR3","first-page":"111","volume-title":"Constructive negation based on the completed databases","author":"D. Chan","year":"1988","unstructured":"D. Chan. Constructive negation based on the completed databases. In R. A. Kowalski and K. A. Bowen, editors, Proc. 5th\nInternational Conference and Symposium on Logic Programming, pages 111\u2013125, Seattle, Washington, MIT Press, August 15\u201319, 1988."},{"key":"19_CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"19_CR5","first-page":"660","volume-title":"Bottom-up evaluation on disjunctive databases","author":"J. A. Fern\u00e1ndez","year":"1991","unstructured":"J. A. Fern\u00e1ndez and J. Minker. Bottom-up evaluation on disjunctive databases. In K. Furukawa, editor, Proc International Conference on Logic. Programming, pages 660\u2013675, Cambridge, Massachusetts, 1991. MIT Press."},{"key":"19_CR6","volume-title":"Ph.D. thesis","author":"T. Gaasterland","year":"1992","unstructured":"T. Gaasterland. Generating Cooperative Answers in Deductive Databases. Ph.D. thesis, University of Maryland, Department of Computer Science, College Park, 1992. (Technical Report UMIACS-TR-92-107, CS-TR-2968, University of Maryland, October, 1992)."},{"key":"19_CR7","unstructured":"T. Gaasterland, M. Giuliano, A. Litcher, Y. Liu, and J. Minker. Using integrity constraints to control search in knowledge base systems. To appear, Journal of Expert Systems."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"T. Gaasterland, P. Godfrey, J. Minker, and L. Novik. A cooperative answering system. In Andrei Voronkov, editor, Proceedings of the Logic Programming and Automated Reasoning Conference, pages 101\u2013120, volume 2, Russia, July 1992.","DOI":"10.1007\/BFb0013093"},{"volume-title":"Logic and Databases","year":"1978","key":"19_CR9","unstructured":"H. Gallaire and J. Minker, editors. Logic and Databases. Plenum Press, New York, April 1978."},{"key":"19_CR10","volume-title":"Logic For Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"R. Kowalski. Logic For Problem Solving. Elsevier Science Publishing Co, Inc., Oxford, 1979."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"19_CR12","unstructured":"J. Minker and A. Gal. Producing cooperative answers in deductive databases. In P. Saint-Dizier and S. Szpakowics, editors, Logic and Logic Grammar for Language Processing. L.S. Horward, Ltd., 1990."},{"key":"19_CR13","unstructured":"T. C Przymusinski. On constructive negation in logic programming. In E.L. Lusk and R.A. Overbeek, editors, Proc. of the North American Conference of Logic Programming, Cleveland, Ohio, October 16\u201320, 1989. Addendum to Proceedings."},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-1-4684-3384-5_6","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. Deductive question answering on relational databases. In H. Gallaire J. Minker, editor, Logic and Data Bases, pages 149\u2013177. Plenum Press, New York, 1978."},{"key":"19_CR15","volume-title":"A procedural semantics for well founded negation in logic programs","author":"K. A. Ross","year":"1989","unstructured":"K. A. Ross. A procedural semantics for well founded negation in logic programs. In Proceedings of the 8th ACM SIGACT-S1GMOD-SIGART Symposium on Principle of Database Systems, Philadelphia, Pennsylvania, ACM Press, March, 29\u201331, 1989."}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56804-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:56:11Z","timestamp":1619556971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56804-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568049","9783540477501"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56804-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}