乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:34:16Z","timestamp":1725557656743},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134791"},{"type":"electronic","value":"9783642134807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13480-7_17","type":"book-chapter","created":{"date-parts":[[2010,6,20]],"date-time":"2010-06-20T23:59:07Z","timestamp":1277078347000},"page":"152-162","source":"Crossref","is-referenced-by-count":8,"title":["Three-Valued Paraconsistent Reasoning for Semantic Web Agents"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"Sza\u0142as","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Description Logic Handbook","year":"2002","key":"17_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"17_CR2","unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, Stocksfield, pp. 30\u201355. Oriel Press (1977)"},{"key":"17_CR3","first-page":"8","volume-title":"Modern Uses of Many Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Eptein, G., Dunn, J.M. (eds.) Modern Uses of Many Valued Logic, pp. 8\u201337. Reidel, Dordrechtz (1977)"},{"key":"17_CR4","unstructured":"B\u00e9ziau, J.-Y., Carnielli, W., Gabbay, D.M. (eds.): Handbook of Paraconsistency. Logic and cognitive systems, vol.\u00a09. College Publications (2007)"},{"issue":"2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1305\/ndjfl\/1093634659","volume":"34","author":"A. Bloesch","year":"1993","unstructured":"Bloesch, A.: A tableau style proof system for two paraconsistent logics. Notre Dame Journal of Formal Logic\u00a034(2), 295\u2013301 (1993)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"17_CR6","volume-title":"A Rough Set Approach","author":"P. Doherty","year":"2006","unstructured":"Doherty, P., \u0141ukaszewicz, W., Skowron, A., Sza\u0142as, A.: Knowledge Representation Techniques. In: A Rough Set Approach, Springer, Heidelberg (2006)"},{"issue":"1","key":"17_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831, pp. 482\u2013496. Springer, Heidelberg (2000)"},{"key":"17_CR9","unstructured":"Kleene, S.C.: Introduction to Metamathematics. D. Van Nostrand, Princeton (1952)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-05082-4_14","volume-title":"Proc. of Web Reasoning and Rule Systems","author":"Y. Ma","year":"2009","unstructured":"Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: Polleres, A. (ed.) RR 2009. LNCS, vol.\u00a05837, pp. 197\u2013211. Springer, Heidelberg (2009)"},{"key":"17_CR11","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proc.\u00a0of Description Logics (2008)"},{"key":"17_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-88425-5_5","volume-title":"Rough Sets and Current Trends in Computing","author":"J. Maluszy\u0144ski","year":"2008","unstructured":"Maluszy\u0144ski, J., Sza\u0142as, A., Vit\u00f3ria, A.: Paraconsistent logic programs with four-valued rough sets. In: Chan, C.-C., Grzymala-Busse, J.W., Ziarko, W.P. (eds.) RSCTC 2008. LNCS (LNAI), vol.\u00a05306, pp. 41\u201351. Springer, Heidelberg (2008)"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/243199.243267","volume-title":"Proc.\u00a0of SIGIR 1996","author":"C. Meghini","year":"1996","unstructured":"Meghini, C., Straccia, U.: A relevance terminological logic for information retrieval. In: Proc.\u00a0of SIGIR 1996, pp. 197\u2013205. ACM, New York (1996)"},{"issue":"3","key":"17_CR14","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.jal.2007.06.001","volume":"6","author":"S.P. Odintsov","year":"2008","unstructured":"Odintsov, S.P., Wansing, H.: Inconsistency-tolerant description logic. part II: A tableau algorithm for CACL $^{\\mbox{c}}$ . Journal of Applied Logic\u00a06(3), 343\u2013360 (2008)","journal-title":"Journal of Applied Logic"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BFb0027425","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"U. Straccia","year":"1997","unstructured":"Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol.\u00a01227, pp. 343\u2013357. Springer, Heidelberg (1997)"},{"issue":"4","key":"17_CR16","doi-asserted-by":"crossref","first-page":"405","DOI":"10.3233\/FI-2009-209","volume":"97","author":"A. Vit\u00f3ria","year":"2009","unstructured":"Vit\u00f3ria, A., Maluszy\u0144ski, J., Sza\u0142as, A.: Modeling and reasoning in paraconsistent rough sets. Fundamenta Informaticae\u00a097(4), 405\u2013438 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR17","unstructured":"Zhang, X., Qi, G., Ma, Y., Lin, Z.: Quasi-classical semantics for expressive description logics. In: Proc. of Description Logics (2009)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems: Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13480-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:38:28Z","timestamp":1606185508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13480-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134791","9783642134807"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13480-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}