{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:26:00Z","timestamp":1725492360387},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-44958-2_7","type":"book-chapter","created":{"date-parts":[[2007,10,12]],"date-time":"2007-10-12T09:35:05Z","timestamp":1192181705000},"page":"80-93","source":"Crossref","is-referenced-by-count":3,"title":["On the Difference between Bridge Rules and Lifting Axioms"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bouquet","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"V. Akman, P. Bouquet, R. Thomason, and R.A. Young, editors. Modeling and Using Context, volume 2116 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2001. Proceedings of CONTEXT\u20192001 \u2014 Third International and Interdisciplinary Conference on Modeling and Using Context (27\u201330 July 2001, Dundee, Scotland).","DOI":"10.1007\/3-540-44607-9"},{"issue":"2\u20134","key":"7_CR2","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FI-1995-232344","volume":"23","author":"P. Bouquet","year":"1995","unstructured":"P. Bouquet and F. Giunchiglia. Reasoning about theory adequacy: A new solution to the qualification problem. Fundamenta Informaticae, 23(2\u20134):247\u2013262, June, July, August 1995. Also IRST-Technical Report 9406-13, IRST, Trento, Italy.","journal-title":"Fundamenta Informaticae"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"P. Bouquet and L. Serafini. Two formalizations of context: a comparison. In P. Bouquet, R. Thomason, and R.A. Young, editors. Modeling and Using Context, volume 2116 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2001 Akman et al. [1], pages 87\u2013101. Proceedings of CONTEXT\u20192001 \u2014 Third International and Interdisciplinary Conference on Modeling and Using Context (27\u201330 July 2001, Dundee, Scotland).","DOI":"10.1007\/3-540-44607-9_7"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"S. Buva\u010d, V. Buva\u010d, and I.A. Mason. Metamathematics of Contexts. Fundamentae Informaticae, 23(3), 1995.","DOI":"10.3233\/FI-1995-232345"},{"key":"7_CR5","unstructured":"S. Buva\u010d and Ian A. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, editors, Proc. of the 11th National Conference on Artificial Intelligence, pages 412\u2013419, Menlo Park, California, 1993. American Association for Artificial Intelligence, AAAI Press."},{"key":"7_CR6","series-title":"Technical Report","volume-title":"A Foundation for Metareasoning, Part I: The proof theory","author":"G. Criscuolo","year":"2000","unstructured":"G. Criscuolo, F. Giunchiglia, and L. Serafini. A Foundation for Metareasoning, Part I: The proof theory. Technical Report 0003-38, IRST, Trento, Italy, 2000. To be published in the Journal of Logic and Computation."},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"C. Ghidini and F. Giunchiglia. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence, 127(2):221\u2013259, April 2001.","journal-title":"Artificial Intelligence"},{"key":"7_CR8","first-page":"345","volume":"XVI","author":"F. Giunchiglia","year":"1993","unstructured":"F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345\u2013364, 1993. Short version in Proceedings IJCAI\u201993 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39\u201349. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"issue":"1","key":"7_CR9","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics or: how we can do without modal logics. Artificial Intelligence, 65(1):29\u201370, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.","journal-title":"Artificial Intelligence"},{"key":"7_CR10","series-title":"Technical Report","volume-title":"Contexts: a Formalization and some Applications","author":"R.V. Guha","year":"1991","unstructured":"R.V. Guha. Contexts: a Formalization and some Applications. Technical Report ACT-CYC-423-91, MCC, Austin, Texas, 1991."},{"key":"7_CR11","first-page":"555","volume-title":"Proc. of the 13th International Joint Conference on Artificial Intelligence","author":"J. McCarthy","year":"1993","unstructured":"J. McCarthy. Notes on Formalizing Context. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 555\u2013560, Chambery, France, 1993."},{"key":"7_CR12","volume-title":"Natural Deduction-A proof theoretical study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz. Natural Deduction-A proof theoretical study. Almquist and Wiksell, Stockholm, 1965."},{"key":"7_CR13","unstructured":"A. Tarski, A. Mostowski, and R.M. Robinson. Undecidable theories. North-Holland, 1968."}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44958-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:23Z","timestamp":1605647243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44958-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540403807"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44958-2_7","relation":{},"subject":[]}}