{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:10:27Z","timestamp":1737436227568,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410942"},{"type":"electronic","value":"9783540399636"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39963-1_32","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:54:19Z","timestamp":1187250859000},"page":"301-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics"],"prefix":"10.1007","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[]},{"given":"Neil V.","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,2]]},"reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1145\/321592.321603","volume":"17","author":"R. Anderson","year":"1970","unstructured":"Anderson, R. and Bledsoe, W. A linear format for resolution with merging and a new technique for establishing completeness, J. ACM 17(3) (1970), 525\u2013534.","journal-title":"J. ACM"},{"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","unstructured":"Davey, B.A., and Priestley, H.A., Introduction to Lattices and Order, Cambridge Mathematical Textbooks, (1990)"},{"key":"32_CR4","unstructured":"H\u00e4hnle, R., Automated Deduction in Multiple-Valued Logics, International Series of Monographs on Computer Science, vol. 10. Oxford University Press, 1993."},{"issue":"1","key":"32_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1080\/11663081.1996.10510866","volume":"6","author":"R. H\u00e4hnle","year":"1996","unstructured":"H\u00e4hnle, R., Exploiting data dependencies in many-valued logics, Journal of Applied Non-Classical Logics 6(1): 49\u201369, 1996.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"32_CR6","unstructured":"H\u00e4hnle, R., Transformation between signed and classical clause logic, Proceedings of ISMVL-99, 248\u2013255, 1999."},{"issue":"2","key":"32_CR7","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"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Murray, N.V. and Rosenthal E., Some Remarks on Completeness, Connection Graph Resolution and Link Deletion, In Proceedings of the International Conference TABLEAUX\u201998-Analytic Tableaux and Related Methods, Oisterwijk, The Netherlands, May 1998. In Lecture Notes in Artificial Intelligence (H. de Swart, Ed.), Springer-Verlag, Vol. 1397, 172\u2013186.","DOI":"10.1007\/3-540-69778-0_21"},{"key":"32_CR9","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, J. of Automated Reasoning 9, 179\u2013215, 1992.","journal-title":"J. of Automated Reasoning"},{"key":"32_CR10","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_CR11","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, the J. of Logic Programming 12, 335\u2013367, 1992.","journal-title":"J. of Logic Programming"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Leach, S.M., Lu, J.J., Murray, N.V., and Rosenthal, E., 0-resolution: an inference for regular multiple-valued logics. Proceedings of JELIA\u201998. IBFI Schloss Dagstuhl (International Conference and Research Center for Computer Science), October 1998. In Lecture Notes in Artificial Intelligence, Springer-Verlag, Vol. 1489, 154\u2013168.","DOI":"10.1007\/3-540-49545-2_11"},{"issue":"1","key":"32_CR13","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_CR14","doi-asserted-by":"crossref","unstructured":"Murray, N.V., and Rosenthal, E., Improving tableaux deductions in multiple-valued logic, Proceedings of the 21st International Symposium on Multiple-Valued Logic, Victoria, B.C., Canada, May 26\u201329, 1991, 230\u2013237.","DOI":"10.1109\/ISMVL.1991.130735"},{"key":"32_CR15","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_CR16","first-page":"227","volume":"1","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A., Automatic deduction with hyper-resolution, International Journal of Computer Mathematics, 1 (1965), 227\u2013234.","journal-title":"International Journal of Computer Mathematics"},{"key":"32_CR17","unstructured":"Sofronie-Stokkermans, V., On translation of finitely-valued logics to classical first-order logic, Proceedings of the 13th ECAI, 1998."},{"key":"32_CR18","unstructured":"Sofronie-Stokkermans, V., Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators, Multiple Valued Logic Journal, to appear."},{"key":"32_CR19","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_CR20","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_CR21","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":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39963-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:26:21Z","timestamp":1737372381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39963-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410942","9783540399636"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-39963-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"2 July 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}