{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:51Z","timestamp":1725488091911},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_11","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"154-168","source":"Crossref","is-referenced-by-count":3,"title":["\u2127-Resolution: An Inference Rule for Regular Multiple-Valued Logics"],"prefix":"10.1007","author":[{"given":"Sonia M.","family":"Leach","sequence":"first","affiliation":[]},{"given":"James J.","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Neil V.","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1006\/jsco.1995.1021","volume":"19","author":"M. Baaz","year":"1995","unstructured":"Baaz, M., and Ferm\u00fcller, C.G., Resolution-based theorem proving for many-valued logics, J. of Symbolic Computation, 19(4):353\u2013391, 1995.","journal-title":"J. of Symbolic Computation"},{"key":"11_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"},{"issue":"2","key":"11_CR3","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":"11_CR4","unstructured":"Davey, B.A., and Priestley, H.A., Introduction to Lattices and Order, Cambridge Mathematical Textbooks, (1990)"},{"key":"11_CR5","unstructured":"Doherty, P., NML3 \u2014 A Non-Monotonic Formalism with Explicit Defaults. Link\u00f6ping Studies in Science and Technology. Dissertations No. 258. Department of Computer and Information Science, Link\u00f6ping University, 1991."},{"key":"11_CR6","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":"11_CR7","unstructured":"Ginsberg, M.L., Multivalued Logics, Readings in Non-Monotonic Reasoning, 251\u2013255, 1987."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Automated Deduction in Multiple-Valued Logics, International Series of Monographs on Computer Science, vol. 10. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198539896.001.0001"},{"issue":"6","key":"11_CR9","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1093\/logcom\/4.6.905","volume":"4","author":"R. H\u00e4hnle","year":"1994","unstructured":"H\u00e4hnle, R., Short conjunctive normal forms in finitely-valued logics, J. of Logic and Computation, 4(6): 905\u2013927, 1994.","journal-title":"J. of Logic and Computation"},{"key":"11_CR10","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. To appear."},{"issue":"2","key":"11_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"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Kifer, M., and Li, A., On the Semantics of Rule-based Expert Systems with Uncertainty, Proceedings of the 2nd International Conference on Database Theory, 102\u2013117, 1988.","DOI":"10.1007\/3-540-50171-1_6"},{"key":"11_CR13","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":"11_CR14","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":"11_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, J. of Automated Reasoning 9, 179\u2013215, 1992.","journal-title":"J. of Automated Reasoning"},{"key":"11_CR16","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":"11_CR17","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"},{"key":"11_CR18","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:39\u201367, 1998. To appear.","journal-title":"J. of Automated Reasoning"},{"issue":"6","key":"11_CR19","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/logcom\/6.6.755","volume":"6","author":"J.J. Lu","year":"1996","unstructured":"Lu, J.J., Logic programming with signs and annotations, J. of Logic and Computation, 6(6):755\u2013778, 1996.","journal-title":"J. of Logic and Computation"},{"key":"11_CR20","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":"11_CR21","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":"11_CR22","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":"11_CR23","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 Nomonotonic Inheritance Based on Annotated Logic, Artificial Intelligence, 60(1):23\u201350, 1993.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T08:15:44Z","timestamp":1708157744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}