{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:45Z","timestamp":1725483885435},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437857"},{"type":"electronic","value":"9783540480501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48050-1_32","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T04:09:49Z","timestamp":1179634189000},"page":"285-293","source":"Crossref","is-referenced-by-count":1,"title":["Inference for Annotated Logics over Distributive Lattices"],"prefix":"10.1007","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[]},{"given":"Neil V.","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Heydar","family":"Radjavi","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1093\/logcom\/4.3.217","volume":"4","author":"L. Bachmair","year":"1994","unstructured":"Bachmair, L. and Ganzinger, H., Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):217\u2013247, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"32_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"Blair, H.A. and Subrahmanian, V.S., Paraconsistent logic programming, Theoretical Computer Science 68, 135\u2013154, 1989.","journal-title":"Theoretical Computer Science"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Calmet, J., Jekutsch, S., Kullmann, P., and Sch\u00fc, J., A system for the integration of heterogeneous information sources, Proc. ISMIS, 1997.","DOI":"10.1007\/3-540-63614-5_31"},{"key":"32_CR4","unstructured":"Calmet, J. and Kullmann, P., Meta web search with KOMET, Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, Stockholm, July, 1999."},{"issue":"2","key":"32_CR5","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W.A. Carnielli","year":"1987","unstructured":"Carnielli, W.A., Systematization of finite many-valued logics through the method of tableaux. J. of Symbolic Logic 52(2):473\u2013493, 1987.","journal-title":"J. of Symbolic Logic"},{"key":"32_CR6","unstructured":"Davey, B.A. and Priestley, H.A., Introduction to Lattices and Order, Cambridge Math, 1990."},{"key":"32_CR7","unstructured":"Doherty, P., NML3 \u2014A Non-Monotonic Formalism with Explicit Defaults, Link\u00f6ping Studies in Sci. and Tech., Diss. 258, Dept. of CIS, Link\u00f6ping University, 1991."},{"key":"32_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00244394","volume":"4","author":"M. Fitting","year":"1988","unstructured":"Fitting, M., First-order modal tableaux, J. Automated Reasoning 4:191\u2013213, 1988.","journal-title":"J. Automated Reasoning"},{"key":"32_CR9","unstructured":"H\u00e4hnle, R., Automated Deduction in Multiple-Valued Logics, International Series of Monographs on Computer Science, vol. 10. Oxford University Press, 1994."},{"key":"32_CR10","volume-title":"Handbook of Tableau Methods","author":"R. H\u00e4hnle","year":"1999","unstructured":"H\u00e4hnle, R., Tableaux methods for many-valued logics, Handbook of Tableau Methods (M. d\u2019Agostino, D. Gabbay, R. H\u00e4hnle and J. Posegga eds.), Kluwer, Dordrecht, 1999."},{"issue":"2","key":"32_CR11","first-page":"69","volume":"IV","author":"R. H\u00e4hnle","year":"1997","unstructured":"H\u00e4hnle, R. and Escalada-Imaz, G., Deduction in many-valued logics: a survey, Mathware & Soft Computing, IV(2), 69\u201397, 1997.","journal-title":"Mathware & Soft Computing"},{"issue":"1","key":"32_CR12","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/321958.321960","volume":"23","author":"W.H. Joyner","year":"1976","unstructured":"Joyner, W.H., Resolution strategies as decision procedures, JACM 23(1), 398\u2013417, 1976.","journal-title":"JACM"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Li, A., On the semantics of rule-based expert systems with uncertainty, Proc. the 2nd Int. Conf. on Database Theory, 102\u2013117, 1988.","DOI":"10.1007\/3-540-50171-1_6"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Lozinskii, E.L., RI: a logic for reasoning in inconsistency, Proceedings of the Fourth Symposium of Logic in Computer Science, Asilomar, 253\u2013262, 1989.","DOI":"10.1109\/LICS.1989.39180"},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Lozinskii, E., A logic for reasoning with inconsistency, JAR 9, 179\u2013215, 1992.","journal-title":"JAR"},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Subrahmanian, V.S., Theory of generalized annotated logic programming and its applications, J. of Logic Programming 12, 335\u2013367, 1992.","journal-title":"J. of Logic Programming"},{"key":"32_CR17","first-page":"87","volume":"4","author":"R. Kowalski","year":"1969","unstructured":"Kowalski, R. and Hayes, P.J. Semantic trees in automatic theorem proving. In Machine Intelligence 4, 87\u2013101, Edinburgh University Press, 1969. Reprinted in [29].","journal-title":"Machine Intelligence"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"Leach, S.M., Lu, J.J., Murray, N.V., and Rosenthal, E., \u2127-resolution: an inference for regular multiple-valued logics,. Proc. JELIA\u201998, IBFI Schloss Dagstuhl, Lecture Notes in Artificial Intelligence 1489, Springer-Verlag, 154\u2013168, 1998.","DOI":"10.1007\/3-540-49545-2_11"},{"issue":"5","key":"32_CR19","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/S0016-0032(01)00022-9","volume":"338","author":"S.M. Leach","year":"2001","unstructured":"Leach, S.M., Lu, J.J., Murray, N.V., and Rosenthal, E., \u2127-resolution and hybrid knowledge bases, Journal of The Franklin Institute (Special issue on AI), 338(5), 583\u2013600, 2001.","journal-title":"Journal of The Franklin Institute"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Lu, J.J., Henschen, L.J., Subrahmanian, V.S., and da Costa, N.C.A., Reasoning in paraconsistent logics, Automated Reasoning: Essays in Honor of Woody Bledsoe (R. Boyer ed.), Kluwer Academic, 181\u2013210, 1991.","DOI":"10.1007\/978-94-011-3488-0_9"},{"issue":"5","key":"32_CR21","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/69.542029","volume":"8","author":"J.J. Lu","year":"1996","unstructured":"Lu, J.J., Nerode, A., and Subrahmanian, V.S. Hybrid Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, 8(5):773\u2013785, 1996.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"32_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1005784309139","volume":"21","author":"J.J. Lu","year":"1998","unstructured":"Lu, J.J., Murray, N.V., and Rosenthal, E., A Framework for Automated Reasoning in Multiple-Valued Logics, J. of Automated Reasoning 21,1 39\u201367, 1998.","journal-title":"J. of Automated Reasoning"},{"key":"32_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-46691-6_12","volume-title":"Proc. 19th Int. Conf. on Foundations of Software Technology & Theoretical Computer Science","author":"J.J. Lu","year":"1999","unstructured":"Lu, J.J., Murray, N.V., and Rosenthal, E., A foundation for hybrid knowledge bases, Proc. 19 th Int. Conf. on Foundations of Software Technology & Theoretical Computer Science, Chennai, India, Lecture Notes in Computer Science 1738, Springer-Verlag, 155\u2013167, 1999."},{"key":"32_CR24","doi-asserted-by":"crossref","unstructured":"Lu, J.J., Murray, N.V., and Rosenthal, E., Annotated hyperresolution for non-Horn regular multiple-valued logics, Proc. ISMIS-2000, Lecture Notes in Artificial Intelligence 1932, Springer-Verlag, 301\u2013310.","DOI":"10.1007\/3-540-39963-1_32"},{"key":"32_CR25","unstructured":"Lu, J.J., Murray, N.V., and Rosenthal, E., Non-Horn clause annotated logic deduction over distributive lattice truth domains, Tech. Report TR 01-3, SUNY at Albany, 2001."},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"Lu, J.J., Murray, N.V., Radjavi, H., Rosenthal, E., and Rosenthal, P. Search strategies for annotated logics over distributive lattices, Tech. Report TR 02-1, SUNY at Albany, 2002.","DOI":"10.1007\/3-540-48050-1_32"},{"key":"32_CR27","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3233\/FI-1994-2135","volume":"21","author":"N.V. Murray","year":"1994","unstructured":"Murray, N.V. and Rosenthal, E., Adapting classical inference techniques to multiple-valued logics using signed formulas, Fundamenta Informaticae 21:237\u2013253, 1994.","journal-title":"Fundamenta Informaticae"},{"key":"32_CR28","unstructured":"Reynolds, J. Unpublished seminar notes, Stanford University, Palo Alto, CA, 1966."},{"key":"32_CR29","doi-asserted-by":"crossref","unstructured":"Siekmann, J. and Wrightson, G., editors. Automation of Reasoning: Classical Papers in Computational Logic 1967-1970, volume 2. Springer-Verlag, 1983.","DOI":"10.1007\/978-3-642-81952-0"},{"key":"32_CR30","unstructured":"Subrahmanian, V.S., On the Semantics of Quantitative Logic Programs, in: Proceedings of the 4th IEEE Symposium on Logic Programming, Computer Society Press, 1987."},{"key":"32_CR31","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(92)90214-Z","volume":"93","author":"V.S. Subrahmanian","year":"1992","unstructured":"Subrahmanian, V.S., Paraconsistent Disjunctive Databases, Theoretical Computer Science, 93, 115\u2013141, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"32_CR32","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0004-3702(93)90033-8","volume":"60","author":"K. Thirunarayan","year":"1993","unstructured":"Thirunarayan, K. and Kifer, M., A Theory of Nonmonotonic Inheritance Based on Annotated Logic, Artificial Intelligence, 60(1):23\u201350, 1993.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48050-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T02:01:04Z","timestamp":1587520864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48050-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437857","9783540480501"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-48050-1_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}