{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:09:26Z","timestamp":1743145766573,"version":"3.40.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319404172"},{"type":"electronic","value":"9783319404189"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40418-9_1","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T08:57:30Z","timestamp":1469091450000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Introduction"],"prefix":"10.1007","author":[{"given":"Seiki","family":"Akama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"key":"1_CR1","unstructured":"Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of S\u00e3o Paulo, Brazil (1992)"},{"key":"1_CR2","volume-title":"Introduction to Annotated Logics","author":"JM Abe","year":"2016","unstructured":"Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2016)"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"HA Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68, 135\u2013154 (1989)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR4","first-page":"561","volume":"37","author":"NCA Costa da","year":"1991","unstructured":"da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 561\u2013570 (1991)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1002\/malq.19910370903","volume":"37","author":"NCA Costa da","year":"1991","unstructured":"da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic $$P{\\cal T}$$ . Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 139\u2013148 (1991)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"1_CR6","unstructured":"Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind-Design, pp. 95\u2013128. MIT Press, Cambridge (1975)"},{"key":"1_CR7","unstructured":"Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173\u2013182 (1987)"}],"container-title":["Intelligent Systems Reference Library","Towards Paraconsistent Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40418-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T14:55:01Z","timestamp":1498316101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40418-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319404172","9783319404189"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40418-9_1","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}