{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:43:20Z","timestamp":1725900200487},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642118180"},{"type":"electronic","value":"9783642118197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11819-7_15","type":"book-chapter","created":{"date-parts":[[2010,8,16]],"date-time":"2010-08-16T12:04:34Z","timestamp":1281960274000},"page":"191-204","source":"Crossref","is-referenced-by-count":1,"title":["Tiered Logic for Agents in Contexts"],"prefix":"10.1007","author":[{"given":"Rosalito Perez","family":"Cruz","sequence":"first","affiliation":[]},{"given":"John Newsome","family":"Crossley","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"15_CR1","first-page":"55","volume":"17","author":"V. Akman","year":"1996","unstructured":"Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine\u00a017(3), 55\u201372 (1996)","journal-title":"AI Magazine"},{"key":"15_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/b11968","volume-title":"CASL User Manual: Introduction to Using the Common Algebraic Specification Language","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Mosses, P.D.: CASL User Manual: Introduction to Using the Common Algebraic Specification Language. Springer, Heidelberg (2004)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume-title":"Journal on Data Semantics I","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 153\u2013184. Springer, Heidelberg (2003)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-44958-2_7","volume-title":"Modeling and Using Context","author":"P. Bouquet","year":"2003","unstructured":"Bouquet, P., Serafini, L.: On the Difference between Bridge Rules and Lifting Axioms. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds.) CONTEXT 2003. LNCS, vol.\u00a02680, pp. 80\u201393. Springer, Heidelberg (2003)"},{"issue":"2\/3\/4","key":"15_CR5","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3233\/FI-1995-232345","volume":"23","author":"S. Buva\u010d","year":"1995","unstructured":"Buva\u010d, S., Buva\u010d, V., Mason, I.A.: Metamathematics of contexts. Fundamenta Informaticae\u00a023(2\/3\/4), 263\u2013301 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR6","unstructured":"COFI: CASL, The Common Algebraic Specification Language, Summary. CoFI Language Design Task Group on Language Design (March 25, 2001), http:\/\/www.brics.dk\/Projects\/CoFI\/-Documents\/-CASL\/-Summary\/ (2001)"},{"key":"15_CR7","unstructured":"Cengarle, M.V.: Formal Specifications with Higher-Order Parametrization. PhD thesis, Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen (1994)"},{"key":"15_CR8","unstructured":"Cruz, R.P.: Tiered Logic with Applications to Contextualizing Logics. PhD thesis, Monash University, Melbourne, Australia (in preparation)"},{"key":"15_CR9","unstructured":"Cruz, R.P., Crossley, J.N.: Tiered logic method for assisting agents. Technical Report Technical Report 2008\/232. Monash University, Clayton School of Information Technology, Clayton, Victoria, Australia, http:\/\/www.csse.monash.edu.au\/publications\/2008\/tr-2008-232-abs.html"},{"key":"15_CR10","first-page":"48","volume-title":"Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language","author":"D. Gabbay","year":"1997","unstructured":"Gabbay, D., Nossum, R.T.: Structured contexts with fibred semantics. In: Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, pp. 48\u201357. American Association for Artificial Intelligence, Menlo Park (1997)"},{"key":"15_CR11","first-page":"121","volume-title":"Frontiers of Combining Systems 2","author":"C. Ghidini","year":"1998","unstructured":"Ghidini, C., Serafini, L.: Distributed first order logics. In: Baader, F., Schultz, K.U. (eds.) Frontiers of Combining Systems 2, pp. 121\u2013139. Research Studies Press\/Wiley, Berlin (1998)"},{"issue":"2","key":"15_CR12","first-page":"221","volume":"127","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Ghidini, C.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2000)","journal-title":"Artificial Intelligence"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L. Henkin","year":"1949","unstructured":"Henkin, L.: The completeness of the first-order functional calculus. Journal of Symbolic Logic\u00a014, 159\u2013166 (1949)","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR14","volume-title":"Chinese Mathematics: A Concise History","author":"L. Y\u01cen","year":"1987","unstructured":"Y\u01cen, L., Sh\u00edr\u00e1n, D.: Chinese Mathematics: A Concise History. Oxford University Press, Oxford (1987); Translated from the Chinese by J.N.\u00a0Crossley and A.W.-C.\u00a0Lun"},{"key":"15_CR15","first-page":"140","volume-title":"Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS 2004)","author":"K. L\u00fcttich","year":"2004","unstructured":"L\u00fcttich, K., Mossakowski, T.: Specification of ontologies in CASL. In: Varzi, A.C., Vieu, L. (eds.) Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS 2004), pp. 140\u2013150. IOS Press, Amsterdam (2004)"},{"key":"15_CR16","first-page":"99","volume-title":"Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language","author":"J. McCarthy","year":"1997","unstructured":"McCarthy, J., Buva\u010d, S.: Formalizing Context (Expanded Notes). In: Buva\u010d, S., Iwa\u0144ska, \u0141. (eds.) Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, pp. 99\u2013135. American Association for Artificial Intelligence, Menlo Park (1997)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S1570-8683(03)00007-7","volume":"1","author":"R.T. Nossum","year":"2003","unstructured":"Nossum, R.T.: A decidable multi-modal logic of context. J. Applied Logic\u00a01, 119\u2013133 (2003)","journal-title":"J. Applied Logic"},{"key":"15_CR18","volume-title":"Adapting proofs-as-programs","author":"I.H. Poernomo","year":"2005","unstructured":"Poernomo, I.H., Crossley, J.N., Wirsing, M.: Adapting proofs-as-programs. Springer, New York (2005)"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.artint.2003.11.001","volume":"155","author":"L. Serafini","year":"2004","unstructured":"Serafini, L., Bouquet, P.: Comparing formal theories of context in AI. Artificial Intelligence\u00a0155, 41\u201367 (2004\/2005))","journal-title":"Artificial Intelligence"}],"container-title":["Communications in Computer and Information Science","Agents and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11819-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:44:25Z","timestamp":1606185865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11819-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118180","9783642118197"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11819-7_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}