{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:26:22Z","timestamp":1725557182666},"publisher-location":"London","reference-count":29,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846286629"},{"type":"electronic","value":"9781846286636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-84628-663-6_15","type":"book-chapter","created":{"date-parts":[[2010,5,27]],"date-time":"2010-05-27T14:15:40Z","timestamp":1274969740000},"page":"203-216","source":"Crossref","is-referenced-by-count":0,"title":["Dependent Record Types for Dynamic Context Representation"],"prefix":"10.1007","author":[{"given":"Richard","family":"Dapoigny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Barlatier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1017\/S0956796899003627","volume":"10","author":"G. Betarte","year":"2000","unstructured":"Betarte G.,: Type checking dependent (record) types and subtyping. Journal of Functional and Logic Programming (2000) 10 (2) 137\u2013166","journal-title":"Journal of Functional and Logic Programming"},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2000-42201","volume":"42","author":"P. Boldini","year":"2000","unstructured":"Boldini, P.: Formalizing Context in Intuitionistic Type theory. Fundamenta Informaticae (2000) 42 1\u201323","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"crossref","unstructured":"Bove A., Capretta, V.: Nested General Recursion and Partiality in Type Theory TPHOL (2001) R.J. Boulton and P.B. Jackson eds. LNCS 2152 121135 Springer","key":"15_CR3","DOI":"10.1007\/3-540-44755-5_10"},{"issue":"1","key":"15_CR4","first-page":"87","volume":"16","author":"P. Br\u00e9zillon","year":"1995","unstructured":"Br\u00e9zillon P., Abu-Hakima S.: Using Knowledge in its Context: Report on the IJCAF93 Workshop. AI Magazine (1995) 16(1) 87\u201391","journal-title":"AI Magazine"},{"issue":"3","key":"15_CR5","first-page":"412","volume":"23","author":"S. Buvac","year":"1995","unstructured":"Buvac S., Buvac V., Mason I.A.: Metamathematics of Contexts. Fundamentae Informaticae 23(3) (1995) 412\u2013419","journal-title":"Fundamentae Informaticae"},{"unstructured":"Buvac S.: Quantificational logic of context. Procs. of the 13th National Conference on Artificial Intelligence (1996)","key":"15_CR6"},{"unstructured":"Cederquist J.: A Pointfree Approach to Constructive Analysis in Type Theory. PhD thesis Chalmers Univ. Sweden (1997)","key":"15_CR7"},{"doi-asserted-by":"crossref","unstructured":"Bouquet P., Serafini L., Br\u00e9zillon P., Benerecetti M., Castellani F.: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT\u201999 Trento Italy (1999) Springer LNCS 1688","key":"15_CR8","DOI":"10.1007\/3-540-48315-2"},{"unstructured":"Cooper R.: Mixing Situation Theory and Type Theory to Formalize Information States in Dialogue Exchanges, in Procs of TWLT 13\/Twendial\u2019 98: Formal Semantics and Pragmatics of Dialogue (1998)","key":"15_CR9"},{"unstructured":"Coquand C, Coquand T.: Structured type theory. Workshop on Logical Frameworks and Met a-languages (1999)","key":"15_CR10"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1093\/logcom\/exi005","volume":"15","author":"J. Ginzburg","year":"2005","unstructured":"Ginzburg J.: Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records. Journal of Log. Comput. 15(2) (2005) 113\u2013130","journal-title":"Journal of Log. Comput."},{"unstructured":"Giunchiglia F.: Contextual Reasoning. Istituto per la Ricerca Scientifica e Technologica (1992) 9211\u201320","key":"15_CR12"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini C, Giunchiglia F.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence (2001) 127(2) 221\u2013259","journal-title":"Artificial Intelligence"},{"unstructured":"Guha R.V.: Contexts: a Formalization and some Applications. Stanford Computer Science Departement STAN-CS-91-1399 (1991)","key":"15_CR14"},{"unstructured":"Kopylov A.: Dependent Intersection: A New Way of Defining Records in Type Theory, in Procs. of the 18th Annual IEEE Symposium on Logic in Computer Science (2003) 86\u201395","key":"15_CR15"},{"key":"15_CR16","first-page":"153","volume":"6","author":"P. Martin-Lof","year":"1982","unstructured":"Martin-Lof, P.: Constructive Mathematics and Computer Programming. Logic, Methodology and Philosophy of Sciences (1982) 6 153\u2013175","journal-title":"Logic, Methodology and Philosophy of Sciences"},{"unstructured":"McCarthy J.: Notes on Formalizing Context. Procs. of the 13th Int. Joint Conf. on Artificial Intelligence (1993) 555\u2013560","key":"15_CR17"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BF00413599","volume":"22","author":"R. Montague","year":"1970","unstructured":"Montague R.: Pragmatics and intensional logic, Synth\u00e8se 22 (1970) 68\u201394","journal-title":"Synth\u00e8se"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1006\/ijhc.1997.0174","volume":"48","author":"P. Ozturk","year":"1998","unstructured":"Ozturk P., Aamodt A.: A context model for knowledge-intensive casebased reasoning International Journal of Human Computer Studies (1998) 48 331\u2013355","journal-title":"International Journal of Human Computer Studies"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BF00248324","volume":"5","author":"L.C. Paulson","year":"1989","unstructured":"Paulson L.C.: The Foundation of a Generic Theorem Prover. Journal of Automated Reasoning (1989) 5 363\u2013397","journal-title":"Journal of Automated Reasoning"},{"issue":"1\/2","key":"15_CR21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1111\/j.1755-2567.1991.tb00541.x","volume":"57","author":"A. Ranta","year":"1991","unstructured":"Ranta, A.: Constructing Possible Worlds. Theoria 57(1\/2) (1991) 77\u201399","journal-title":"Theoria"},{"issue":"2","key":"15_CR22","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A. Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming (2004) 14(2) 145\u2013189","journal-title":"Journal of Functional Programming"},{"issue":"1","key":"15_CR23","first-page":"95","volume":"21","author":"B. Drabble","year":"2000","unstructured":"Drabble B., et al.: Reports on the AAAI 1999 Workshop Program. AI Magazine 21(1) (2000) 95\u2013100","journal-title":"AI Magazine"},{"unstructured":"Strang T., Linnhoff-Popien C: A Context Modeling Survey. Sixth International Conference on Ubiquitous Computing (UbiComp2004) (2004) 34\u201341","key":"15_CR24"},{"unstructured":"Terziyan V.Y., Puuronen S.: Formal Aspects of Context. P. Bonzon, M. Cavalcanti and R. Nossum eds. Kluwer Academic (2000)","key":"15_CR25"},{"doi-asserted-by":"crossref","unstructured":"Thomason R.H.: Representing and Reasoning with Context. Procs. of the International Conference on Artificial Intelligence and Symbolic Computation (1998) 1476 LNCS 29-41 Springer","key":"15_CR26","DOI":"10.1007\/BFb0055900"},{"unstructured":"Thomason R.H.: Type theoretic foundations for context, part 1: Contexts as complex typetheoretic objects. Modeling and Using Contexts Paolo Bouquet et al. eds., (1999) 352\u2013374 Springer","key":"15_CR27"},{"unstructured":"Villadsen, J.: Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. Int. Workshop on Constraint Solving and Language Processing (2004) H. Christiansen et al. eds. 160\u2013165","key":"15_CR28"},{"unstructured":"OWL Web Ontology Language \u2014 Semantics and Abstract Syntax. Recommendation 10 (2004) http:\/\/www.w3.org\/TR\/owl-semantics\/","key":"15_CR29"}],"container-title":["Research and Development in Intelligent Systems XXIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-663-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T02:35:56Z","timestamp":1711506956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-663-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781846286629","9781846286636"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-663-6_15","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}