{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T08:07:27Z","timestamp":1648800447671},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[1993,9]]},"DOI":"10.1007\/bf00962069","type":"journal-article","created":{"date-parts":[[2005,1,13]],"date-time":"2005-01-13T09:44:50Z","timestamp":1105609490000},"page":"225-243","source":"Crossref","is-referenced-by-count":6,"title":["Processing negation and disjunction in logic programs through integrity constraints"],"prefix":"10.1007","volume":"2","author":[{"given":"Terry","family":"Gaasterland","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Semantic Query Optimization in Deductive Databases","author":"U. Chakravarthy","year":"1985","unstructured":"Chakravarthy, U. (1985).Semantic Query Optimization in Deductive Databases, Ph.D. thesis, University of Maryland, Department of Computer Science, College Park, MD."},{"issue":"2","key":"CR2","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/78922.78924","volume":"5","author":"U.S. Chakravarthy","year":"1990","unstructured":"Chakravarthy, U.S. Grant, J. & Minker, J. (1990). Logic Based Approach to Semantic Query Optimization,ACM Transactions on Database Systems, 5(2), 162?207.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR3","first-page":"111","volume-title":"Constructive Negation Based on the Completed Databases","author":"D. Chan","year":"1988","unstructured":"Chan, D. (1988). Constructive Negation Based on the Completed Databases. In R.A. Kowalski and K.A. Bowen (Eds.),Proceedings of the Fifth International Conference and Symposium on Logic Programming. MIT Press: Cambridge, MA, pp. 111?125."},{"key":"CR4","first-page":"293","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1992","unstructured":"Clark, K.L. (1992). Negation as Failure. In H. Gallaire and J. Minker (Eds.),Logic and Data Bases. Plenum Press: New York, pp. 293?322."},{"key":"CR5","unstructured":"Fern\u00e1ndez, J.A., Lobo, J., Minker, J. & Subrahmanian, VS. (1992). Disjunctive LP + Integrity Constraints=Stable Model Semantics,Annals of Mathematics and Artificial Intelligence. Preliminary version presented at the Second International Symposium on Artificial Intelligence and Mathematics, Florida."},{"key":"CR6","first-page":"660","volume-title":"Bottom-up Evaluation on Disjunctive Databases","author":"J.A. Fern\u00e1ndez","year":"1991","unstructured":"Fern\u00e1ndez, J.A. & Minker, J. (1991). Bottom-up Evaluation on Disjunctive Databases. In K. Furukawa (Ed.),Proceedings of the International Conference on Logic Programming. MIT Press: Cambridge, MA, pp. 660?675."},{"key":"CR7","volume-title":"Ph.D. thesis","author":"T. Gaasterland","year":"1992","unstructured":"Gaasterland, T. (1992).Generating Cooperative Answers in Deductive Databases, Ph.D. thesis, University of Maryland, Department of Computer Science, College Park, MD. (Technical Report UMIACS-TR-92-107, CS-TR-2968)."},{"key":"CR8","unstructured":"Gaasterland, T., Giuliano, M., Litcher, A., Liu, Y. & Minker, J. (to appear). Using Integrity Constraints to Control Search in Knowledge Base Systems.Journal of Expert Systems. (Also, Technical Report UMIACS-TR-90-27, CS-TR-2416, University of Maryland.)"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Gaasterland, T., Godfrey, P., Minker, J. & Novik, L. (1992). A Cooperative Answering System. In Andrei Voronkov (Ed.),Proceedings of the Logic Programming and Automated Reasoning Conference, pp. 101?120, vol. 2.","DOI":"10.1007\/BFb0013093"},{"key":"CR10","volume-title":"Logic and Databases","year":"1978","unstructured":"Gallaire, H. & Minker, J. (Eds.) (1978).Logic and Databases, Plenum Press: New York."},{"key":"CR11","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R. (1979).Logic for Problem Solving, Elsevier: New York."},{"key":"CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. (1987).Foundations of Logic Programming, 2nd ed., Springer-Verlag: New York.","edition":"2nd ed."},{"key":"CR13","unstructured":"Lobo, J. & Minker, J. (1988). A Metainterpreter to Semantically Optimize Queries in Deductive Databases. In L. Kerschberg (Ed.),Proceedings of the Workshop on Expert Database Systems, pp. 387?420, Tysons Corner, VA."},{"key":"CR14","unstructured":"Minker, J. & Gal, A. (1990). Producing Cooperative Answers in Deductive Databases. In P. Saint-Dizier and S. Szpakowics, (Eds.),Logic and Logic Grammar for Language Processing, L.S. Horward."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C. (1989a). Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model. InProceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principle of Database Systems, pp. 11?21.","DOI":"10.1145\/73721.73723"},{"key":"CR16","unstructured":"Przymusinski, T.C. (1989b). On Constructive Negation in Logic Programming. In E.L. Lusk and R.A. Overbeek (Eds.),Proceedings, of the North American Conference of Logic Programming, Cleveland, OH. Addendum to Proceedings."},{"key":"CR17","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":"Reiter, R. (1978). Deductive Question Answering on Relational Databases. In H. Gallaire and J. Minker (Eds.),Logic and Data Bases, Plenum Press: New York, pp. 149?177."},{"key":"CR18","volume-title":"A Procedural Semantics for Well Founded Negation in Logic Programs","author":"K.A. Ross","year":"1989","unstructured":"Ross, K.A. (1989). A Procedural Semantics for Well Founded Negation in Logic Programs. InProceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principle of Database Systems. Philadelphia, ACM Press."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00962069.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00962069\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00962069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T14:29:16Z","timestamp":1556548156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00962069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF00962069"],"URL":"https:\/\/doi.org\/10.1007\/bf00962069","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}