{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:11:54Z","timestamp":1748751114113,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319261805"},{"type":"electronic","value":"9783319261812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26181-2_2","type":"book-chapter","created":{"date-parts":[[2015,11,28]],"date-time":"2015-11-28T09:25:12Z","timestamp":1448702712000},"page":"16-28","source":"Crossref","is-referenced-by-count":0,"title":["Construction of P-Minimal Models Using Paraconsistent Relational Model"],"prefix":"10.1007","author":[{"given":"Badrinath","family":"Jayakumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajshekhar","family":"Sunderraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,29]]},"reference":[{"key":"2_CR1","unstructured":"Alc\u00e2ntara, J., Dam\u00e1sio, C.V., Pereira, L.M.: A declarative characterisation of disjunctive paraconsistent answer sets. In: ECAI, vol. 16, p. 951. Citeseer (2004)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-45757-7_29","volume-title":"Logics in Artificial Intelligence","author":"J Alc\u00e2ntara","year":"2002","unstructured":"Alc\u00e2ntara, J., Dam\u00e1sio, C.V., Moniz, L.M.: Paraconsistent logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 345\u2013356. Springer, Heidelberg (2002)"},{"issue":"4","key":"2_CR3","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1016358201013","volume":"36","author":"O Arieli","year":"2002","unstructured":"Arieli, O.: Paraconsistent declarative semantics for extended logic programs. Ann. Math. Artif. Intell. 36(4), 381\u2013417 (2002)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1016\/j.ijar.2007.07.002","volume":"48","author":"O Arieli","year":"2008","unstructured":"Arieli, O.: Distance-based paraconsistent logics. Int. J. Approximate Reasoning 48(3), 766\u2013783 (2008)","journal-title":"Int. J. Approximate Reasoning"},{"issue":"1\u20132","key":"2_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1080\/00207169508804361","volume":"55","author":"R Bagai","year":"1995","unstructured":"Bagai, R., Sunderraman, R.: A paraconsistent relational data model. Int. J. Comput. Math. 55(1\u20132), 39\u201355 (1995)","journal-title":"Int. J. Comput. Math."},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF00712386","volume":"6","author":"R Bagai","year":"1996","unstructured":"Bagai, R., Sunderraman, R.: Bottom-up computation of the fitting model for general deductive databases. J. Intell. Inf. Syst. 6(1), 59\u201375 (1996)","journal-title":"J. Intell. Inf. Syst."},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1142\/S021848859600010X","volume":"4","author":"R Bagai","year":"1996","unstructured":"Bagai, R., Sunderraman, R.: Computing the well-founded model of deductive databases. Int. J. Uncertainty Fuzziness Knowl. Based Syst. 4(2), 157\u2013175 (1996)","journal-title":"Int. J. Uncertainty Fuzziness Knowl. Based Syst."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Belnap Jr., N.D.: A useful four-valued logic. In: Michael Dunn, J., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5\u201337. Springer, Netherlands (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"HA Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.: Paraconsistent logic programming. Theor. Comput. Sci. 68(2), 135\u2013154 (1989)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","volume-title":"Handbook of Philosophical Logic","author":"W Carnielli","year":"2007","unstructured":"Carnielli, W., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 1\u201393. Springer, Netherlands (2007)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-94-017-1739-7_8","volume-title":"Reasoning with Actual and Potential Contradictions","author":"CV Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survey of paraconsistent semantics for logic programs. In: Besnard, P., Hunter, A. (eds.) Reasoning with Actual and Potential Contradictions, pp. 241\u2013320. Springer, Netherlands (1998)"},{"issue":"3\u20134","key":"2_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\u20134), 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-94-017-1739-7_2","volume-title":"Reasoning with Actual and Potential Contradictions","author":"A Hunter","year":"1998","unstructured":"Hunter, A.: Paraconsistent logics. In: Besnard, P., Hunter, A. (eds.) Reasoning with Actual and Potential Contradictions, pp. 11\u201336. Springer, Netherlands (1998)"},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A Hunter","year":"2000","unstructured":"Hunter, A.: Reasoning with contradictory information using quasi-classical logic. J. Logic Comput. 10(5), 677\u2013703 (2000)","journal-title":"J. Logic Comput."},{"key":"2_CR15","unstructured":"Jayakumar, B., Sunderraman, R.: Paraconsistent relational model: a quasi-classic logic approach. In: IJCAI Workshop 13 Ontologies and Logic Programming for Query Answering, Buenos Aires, Argentina, pp. 82\u201390, July 2015"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-45628-7_18","volume-title":"Computational Logic: Logic Programming and Beyond","author":"J Minker","year":"2002","unstructured":"Minker, J., Seipel, D.: Disjunctive logic programming: a survey and assessment. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 472\u2013511. Springer, Heidelberg (2002)"},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/logcom\/5.3.265","volume":"5","author":"C Sakama","year":"1995","unstructured":"Sakama, C., Inoue, K.: Paraconsistent stable semantics for extended disjunctive programs. J. Logic Comput. 5(3), 265\u2013285 (1995)","journal-title":"J. Logic Comput."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V.: Paraconsistent disjunctive deductive databases. In: Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, pp. 339\u2013346. IEEE (1990)","DOI":"10.1109\/ISMVL.1990.122644"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-04125-9_21","volume-title":"Foundations of Intelligent Systems","author":"Z Zhang","year":"2009","unstructured":"Zhang, Z., Lin, Z., Ren, S.: Quasi-classical model semantics for logic programs \u2013 a paraconsistent approach. In: Rauch, J., Ra\u015b, Z.W., Berka, P., Elomaa, T. (eds.) ISMIS 2009. LNCS, vol. 5722, pp. 181\u2013190. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Multi-disciplinary Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26181-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T15:52:34Z","timestamp":1748706754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26181-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261805","9783319261812"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26181-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}