{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:18:02Z","timestamp":1725459482391},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633570"},{"type":"electronic","value":"9783540695226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0045101","type":"book-chapter","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T14:16:11Z","timestamp":1139235371000},"page":"343-352","source":"Crossref","is-referenced-by-count":0,"title":["A three-valued quantificational logic of context"],"prefix":"10.1007","author":[{"given":"Kaile","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Decheng","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huowang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,1,24]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in artificial intelligence. Comm. of ACM,30 (1987) 1030\u20131035.","journal-title":"Comm. of ACM"},{"key":"36_CR2","unstructured":"Guha, R.V.: Context: A formalization an Some Applications. Ph.D. thesis, Stanford University, 1991"},{"key":"36_CR3","first-page":"32","volume":"11","author":"R.V Guha","year":"1990","unstructured":"Guha, R.V and Lenat, D.B.:Cyc: A midterm report, Af Magazine, 11 (1990) 32\u201359.","journal-title":"Af Magazine"},{"key":"36_CR4","unstructured":"McCarthy, J.: Notes on formalizing context. In Proceedings IJCAI-93."},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Shoham, Y.: Varieties of context. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50028-1"},{"key":"36_CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R.W. Weyhrauch","year":"1980","unstructured":"Weyhrauch, R.W.: Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence. 13 (1980): 133\u2013176.","journal-title":"Artificial Intelligence"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Buvac, S., Buvac, V. and Mason, I.A.: Metamathematics of contexts. Fundamenta Informaticae. 23 (3)(1995).","DOI":"10.3233\/FI-1995-232345"},{"key":"36_CR8","unstructured":"Giunchiglia, F. and Serafini, L.: Multilanguage first order theories of propositional attitudes. In Proceedings of 3 rd Scandinavian Conference on Artificial Intelligence, Roskilde University, 1991."},{"key":"36_CR9","unstructured":"Attardi,G.: and Simi,M.: A formalization of viewpoints, Fundamenta Informaticae. 23 (3)(1995)."},{"key":"36_CR10","unstructured":"Gabbay, D. and Nossum, R.: Structured context with fibred semantics. In Procedings of International and Interdisciplinary Conference on context, 1997."},{"key":"36_CR11","unstructured":"Buvac, S.: Quantificational logic of context. In Procedings of AAAI-96."},{"key":"36_CR12","unstructured":"Giunchiglia, F. and Bouquet, P.: Introduction to contextual reasoning, in B.-Kokinov (ed.), Perspectives on Cognitive Science, 3, NBU Press, Sofia, 1997."}],"container-title":["Lecture Notes in Computer Science","Computing and Combinatorics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0045101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T13:27:04Z","timestamp":1586698024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0045101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633570","9783540695226"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0045101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}