{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:32Z","timestamp":1749124052274,"version":"3.32.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996,1]]},"DOI":"10.1007\/bf00712385","type":"journal-article","created":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T05:14:33Z","timestamp":1101878073000},"page":"33-58","source":"Crossref","is-referenced-by-count":18,"title":["Query processing in annotated logic programming: Theory and implementation"],"prefix":"10.1007","volume":"6","author":[{"given":"Sonia M.","family":"Leach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James J.","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Adah, S., Subrahmanian, V.S., ?Amalgamating Knowledge Bases II: Distributed Mediators?,Journal of Intelligent and Cooperative Information Systems, December, 1994."},{"key":"CR2","unstructured":"Adah, S., Subrahmanian, V.S., ?Amalgamating Knowledge Bases III: Algorithms, Data Structures, and Query Processing?, CS-TR-3124, University of Maryland."},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H. A\u00eft Kaci","year":"1989","unstructured":"A\u00eft KaciH., BoyerR., LincolnR., NasrR., ?Efficient Implementation of Lattice Operations?,ACM Transactions on Programming Language and Systems, 11, 1, 1989, 115?146.","journal-title":"ACM Transactions on Programming Language and Systems"},{"issue":"1","key":"CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TFUZZ.1993.6027269","volume":"1","author":"J. C. Bezdek","year":"1993","unstructured":"BezdekJ. C., ?Fuzzy models ? what are they, and why??,IEEE Transactions on Fuzzy Systems, 1, 1, 1993, 1?6.","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0165-0114(87)90110-2","volume":"24","author":"J.F. Baldwin","year":"1987","unstructured":"BaldwinJ.F., ?Evidential Support Logic Programming?,Fuzzy Sets and Systems, 24, 1987, 1?26.","journal-title":"Fuzzy Sets and Systems"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"BlairH.A., SubrahmanianV.S., ?Paraconsistent Logic Programming?,Theoretical Computer Science, 68, 1989, 135?154.","journal-title":"Theoretical Computer Science"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Bundy, A., ?A Science of Reasoning: Extended Abstract?,Proceedings of the Conference on Automated deduction, 1990, 633?640.","DOI":"10.1007\/3-540-52885-7_119"},{"issue":"7","key":"CR8","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"CohenJ., ?Constraint Logic Programming Languages?,Communications of the ACM, 33, 7, 1990, 52?68.","journal-title":"Communications of the ACM"},{"key":"CR9","unstructured":"Davey B.A., Priestley, H.A.,Introduction to Lattices and Order, Cambridge University Press, 1990."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"FittingM., ?Bilattices and the Semantics of Logic Programming?,Journal of Logic Programming, 11, 1991, 91?116.","journal-title":"Journal of Logic Programming"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth, Annotated Constraint Logic Programming Applied to Temporal Reasoning,Proceedings of the Symposium on Programming Language Implementation and Logic Programming, 1994, 230?243.","DOI":"10.1007\/3-540-58402-1_17"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T., Herold, A., K\u00fcchenhoff, V., Le Provost, T., Lim, P., Wallace, M., ?Constraint Logic Programming ? An Informal Introduction?,Logic Programming in Action, 1992, 3?35.","DOI":"10.1007\/3-540-55930-2_2"},{"key":"CR13","unstructured":"Gaasterland, T., Lobo, J., ?Qualified Answers that Reflect User Needs and Preferences?,Proceedings of the 20th International Conference on Very Large Databases, 1994, 309?320."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., ?Uniform Notation of Tableau Rules for Multiple-valued Logics?,Proceedings of the International Symposium on Multiple-Valued Logic, 1991, 26?29.","DOI":"10.1109\/ISMVL.1991.130736"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J-L., ?Constraint Logic Programming?,Proceedings of the 14th ACM Symposium on Principles of Programming Languages, 1987, 111?119.","DOI":"10.1145\/41625.41635"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"JaffarJ., MaherM., ?Constraint Logic Programming: A Survey?,J. of Logic Programming, 19\/20, 1994, 503?581.","journal-title":"J. of Logic Programming"},{"key":"CR17","unstructured":"Jaffar, J., Michaylov, S., ?Methodology and Implementation of a CLP System?, tutorial notes given in the Fourth IEEE Symposium on Logic Programming, 1987."},{"issue":"3","key":"CR18","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"JaffarJ., MichaylovS., StuckeyP., YapR., ?The CLP(R) Language and System?,ACM Transactions on Programming Languages and Systems, 14, 3, 1992, 339?395.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Kifer, M., Li, A., ?On the Semantics of Rule-based Expert Systems with Uncertainty?,Proceedings of the 2nd International Conference on Database Theory, 1988, 102?117.","DOI":"10.1007\/3-540-50171-1_6"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Kifer, M., Lozinskii, E., ?RI: A Logic for Reasoning with Inconsistency?,IEEE Symposium on Logic in Computer Science, 1989, 253?262.","DOI":"10.1109\/LICS.1989.39180"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"KiferM., LozinskiiE., ?A Logic for Reasoning with Inconsistency?,Journal of Automated Reasoning, 9, 1992, 179?215.","journal-title":"Journal of Automated Reasoning"},{"key":"CR22","unstructured":"Kifer, M., Subrahmanian, V.S., ?On the Expressive Power of Annotated Logics?,Proceedings of the North American Conference on Logic Programming, 1989, 1069?1089."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"KiferM., SubrahmanianV.S., ?Theory of Generalized Annotated Logic Programming and its Applications?,Journal of Logic Programming, 12, 1992, 335?367.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"CR24","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0004-3702(93)90033-8","volume":"60","author":"T. Krishnaprasad","year":"1993","unstructured":"KrishnaprasadT., KiferM., ?A Theory of nonmonotonic inheritance based on annotated logic?,Artificial Intelligence, 60, 1, 1993, 23?50.","journal-title":"Artificial Intelligence"},{"key":"CR25","unstructured":"Leach, S., ?D-resolution: A Semantically Based Query Processing Procedure for Annotated Logic Programming?, Honors Thesis in Computer Science, Bucknell University, May 1994. Computer Science TR94-2."},{"key":"CR26","unstructured":"Leler, W.,Constraint Programming Languages: Their Specification and Generation, Addison-Wesley, 1988."},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.,Foundations of Logic Programming, 2nd ed., Springer, 1988.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/321694.321706","volume":"19","author":"D.W. Loveland","year":"1972","unstructured":"LovelandD.W., ?A Unifying View of some Linear Herbrand Procedures?,Journal of the ACM, 19, 1972, 366?384.","journal-title":"Journal of the ACM"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0020-0190(92)90053-X","volume":"44","author":"J.J. Lu","year":"1992","unstructured":"LuJ.J., HenschenL.J., ?The Completeness of gp-resolution for Annotated Logics?,Information Processing Letters, 44, 1992, 135?140.","journal-title":"Information Processing Letters"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Lu, J.J., Murray, N.V., Rosenthal, E., ?Signed Formulas and Annotated Logics?,Proceedings of the 23rd International Symposium on Multiple-Valued Logics, 1993, 48?53.","DOI":"10.1109\/ISMVL.1993.289582"},{"key":"CR31","unstructured":"Lu, J.J., Nerode, A., Subrahmanian, V.S., ?Hybrid Knowledge Bases?,IEEE Transactions on Knowledge and Data Engineering, to appear. TR93-14, Cornell University, revised March 1994."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Murray, N.V., Rosenthal, E., ?Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics?,Proceedings of International Symposium on Methodologies for Intelligent Systems, 1993, 275?284.","DOI":"10.1007\/3-540-56804-2_26"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00881836","volume":"10","author":"R. Ng","year":"1993","unstructured":"NgR., SubrahmanianV.S., ?A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases?,Journal of Automated Reasoning, 10, 1993, 191?235.","journal-title":"Journal of Automated Reasoning"},{"key":"CR34","unstructured":"Reed, D.W., Loveland, D.W., ?Near-Horn Prolog and the Ancestry Family of Procedures?, presented at the symposiumLogic in Databases, Knowledge Representation and Reasoning at the University of Maryland Institute for Advanced Computer Studies, Nov. 1992."},{"key":"CR35","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(92)90214-Z","volume":"93","author":"V.S. Subrahmanian","year":"1992","unstructured":"SubrahmanianV.S., ?Paraconsistent Disjunctive Databases?,Theoretical Computer Science, 93, 1992, 115?141.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"CR36","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V.S. Subrahmanian","year":"1994","unstructured":"SubrahmanianV.S., ?Amalgamating Knowledge Bases?,ACM Transactions on Database Systems, 19, 2, 1994, 291?331.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR37","unstructured":"Van Hentenryck, P.,Constraint Satisfaction in Logic Programming, MIT Press, 1989."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF00881864","volume":"10","author":"T.J. Weigert","year":"1993","unstructured":"WeigertT.J., TsaiJ-P., LiuX., ?Fuzzy Operator Logic and Fuzzy Resolution?,Journal of Automated Reasoning, 10, 1993, 59?78.","journal-title":"Journal of Automated Reasoning"},{"key":"CR39","doi-asserted-by":"crossref","unstructured":"Wiederhold, G., ?Mediators in the Architecture of Future Information Systems?,IEEE Computer, March 1992, 38?49.","DOI":"10.1109\/2.121508"},{"key":"CR40","unstructured":"Wos, L.,Automated Reasoning: 33 Research Problems, Prentice Hall, 1988."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00712385.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00712385\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00712385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T22:20:48Z","timestamp":1734733248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00712385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF00712385"],"URL":"https:\/\/doi.org\/10.1007\/bf00712385","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"type":"print","value":"0925-9902"},{"type":"electronic","value":"1573-7675"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}