{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:52:40Z","timestamp":1725511960866},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747796"},{"type":"electronic","value":"9783540747802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74780-2_51","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T03:05:09Z","timestamp":1188443109000},"page":"377-384","source":"Crossref","is-referenced-by-count":0,"title":["Application of Paraconsistent Logic in an Intelligent Tutoring System"],"prefix":"10.1007","author":[{"given":"Sylvia","family":"Encheva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sharil","family":"Tumin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryna Z.","family":"Solesvik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"51_CR1","unstructured":"Belnap, N.J.: How a computer should think. In: Contemporary Aspects of Philosophy. Proceedings of the Oxford International Symposia, Oxford, GB, vol.\u00a0GB, pp. 30\u201356 (1975)"},{"issue":"4","key":"51_CR2","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. Costa da","year":"1974","unstructured":"da Costa, N.: On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic\u00a015(4), 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"51_CR3","volume-title":"Introduction to lattices and order","author":"B.A. Davey","year":"2005","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2005)"},{"key":"51_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-36596-6_4","volume-title":"Semantics in Databases","author":"H. Decker","year":"2003","unstructured":"Decker, H.: Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases. LNCS, vol.\u00a02582, pp. 63\u201381. Springer, Heidelberg (2003)"},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"Garcia, O.N., Moussavi, M.: A Six-Valued Logic for Representing Incomplete Knowledge. In: Proceedings of ISMVL, pp. 110\u2013114 (1990)","DOI":"10.1109\/ISMVL.1990.122605"},{"issue":"2","key":"51_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/logcom\/exi076","volume":"16","author":"J. Garc\u00eda-Duque","year":"2006","unstructured":"Garc\u00eda-Duque, J., L\u00f3pez-Nores, M., Pazos-Arias, J., Fern\u00e1ndez-Vilas, A., D\u00edaz-Redondo, R., Gil-Solla, A., Blanco-Fern\u00e1ndez, Y., Ramos-Cabrer, M.: A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. Journal of Logic and Computation\u00a016(2), 227\u2013255 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"51_CR7","unstructured":"http:\/\/plato.stanford.edu\/entries\/logic-paraconsistent\/"},{"key":"51_CR8","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF02134311","volume":"24","author":"S. Jaskowski","year":"1969","unstructured":"Jaskowski, S.: Propositional Calculus for Contradictory Deductive Systems. Studia Logica\u00a024, 143\u2013157 (1969)","journal-title":"Studia Logica"},{"key":"51_CR9","unstructured":"Kneale, W., Kneale, M.: The Development of Logic. Clarendon Press (1962)"},{"key":"51_CR10","unstructured":"Kolmogorov, A.N.: O principie tertium non datur. Matematiceskij Sbornik (Recueil Mathematique) 32 (1924\/25)"},{"key":"51_CR11","unstructured":"Lukasiewicz, J.: On Three-Valued Logic. Ruch Filozoficzny, 5, (1920), English translation. In: Borkowski, L. (ed.) 1970. Jan Lukasiewicz: Selected Works, North Holland, Amsterdam (1920)"},{"key":"51_CR12","doi-asserted-by":"crossref","unstructured":"Priest, G.: An Introduction to Non-Classical Logic, Cambridge (2001)","DOI":"10.1093\/actrade\/9780192893208.001.0001"},{"key":"51_CR13","volume-title":"Logic and Reality: Essays on the Legacy of Arthur Prior","author":"A.N. Prior","year":"1996","unstructured":"Prior, A.N.: A Statement of Temporal Realism. In: Copeland, B.J. (ed.) Logic and Reality: Essays on the Legacy of Arthur Prior, Clarendon Press, Oxford (1996)"},{"issue":"3","key":"51_CR14","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1011049617655","volume":"15","author":"K.M. Sim","year":"2001","unstructured":"Sim, K.M.: Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. Artificial Intelligence Review\u00a015(3), 219\u2013240 (2001)","journal-title":"Artificial Intelligence Review"},{"key":"51_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/3-540-36109-X_29","volume-title":"Flexible Query Answering Systems","author":"J. Villadsen","year":"2002","unstructured":"Villadsen, J., Andreasen, T.: Paraconsistent Query Answering Systems. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol.\u00a02522, pp. 370\u2013384. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Cooperative Design, Visualization, and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74780-2_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:28:06Z","timestamp":1684006086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74780-2_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747796","9783540747802"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74780-2_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}