{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:54:11Z","timestamp":1725490451663},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540742548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74255-5_13","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T08:19:00Z","timestamp":1188202740000},"page":"164-177","source":"Crossref","is-referenced-by-count":0,"title":["Goal Reasoning with Context Record Types"],"prefix":"10.1007","author":[{"given":"Richard","family":"Dapoigny","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Barlatier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"13_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\u00a010(2), 137\u2013166 (2000)","journal-title":"Journal of Functional and Logic Programming"},{"key":"13_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\u00a042, 1\u201323 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44755-5_10","volume-title":"Theorem Proving in Higher Order Logics","author":"A. Bove","year":"2001","unstructured":"Bove, A., Capretta, V.: Nested General Recursion and Partiality in Type Theory TPHOL R. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol.\u00a02152, pp. 121\u2013135. Springer, Heidelberg (2001)"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/logcom\/exi004","volume":"15","author":"R. Cooper","year":"2005","unstructured":"Cooper, R.: Records and Record Types in Semantic Theory. Journal of Logic and Computation\u00a015(2), 99\u2013112 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"13_CR5","unstructured":"Coquand, C., Coquand, T.: Structured type theory. In: Workshop on Logical Frameworks and Meta-languages (1999)"},{"key":"13_CR6","first-page":"1","volume":"20","author":"T. Coquand","year":"2005","unstructured":"Coquand, T., Pollack, R., Takeyama, M.: A Logical Framework with Dependently Typed Records. Fundamenta Informaticae\u00a020, 1\u201322 (2005)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR7","volume-title":"Research and Development in Intelligent Systems: Procs. of AI-06","author":"R. Dapoigny","year":"2006","unstructured":"Dapoigny, R., Barlatier, P.: Dependent Record Types for Dynamic context representation. In: Bramer, M., Coenen, F., Tuson, A. (eds.) Research and Development in Intelligent Systems: Procs. of AI-06, vol.\u00a023, Springer, Heidelberg (2006)"},{"key":"13_CR8","unstructured":"Dapoigny, R., Barlatier, P.: Towards a Context Theory for Context-aware systems. In: Procs. of the 2nd IJCAI Workshop on Artificial Intelligence Techniques for Ambient Intelligence (2007)"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1149993.1150012","volume-title":"Procs. of the sixth ACM Workshop ICWE 2006","author":"A. Friesen","year":"2006","unstructured":"Friesen, A., B\u00f6rger, E.: A High-Level Specification for Semantic Web Service Discovery Services. In: Procs. of the sixth ACM Workshop ICWE 2006, pp. 16\u201323. ACM Press, New York (2006)"},{"issue":"2","key":"13_CR10","first-page":"73","volume":"26","author":"Y. Gil","year":"2005","unstructured":"Gil, Y.: Description Logics and Planning. AI Magazine\u00a026(2), 73\u201384 (2005)","journal-title":"AI Magazine"},{"issue":"2","key":"13_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.\u00a015(2), 113\u2013130 (2005)","journal-title":"Journal of Log. Comput."},{"key":"13_CR12","unstructured":"Giunchiglia, F.: Contextual Reasoning. Istituto per la Ricerca Scientifica e Technologica, 9211-9220 (1992)"},{"issue":"2","key":"13_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\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Hoffman, G., Breazeal, C.: Collaboration in Human-Robot Teams. In: Procs. of AIAA First Intelligent Systems Technical Conference (2004)","DOI":"10.2514\/6.2004-6434"},{"key":"13_CR15","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. The formulae-as-types notion of construction","author":"W.A Howard","year":"1980","unstructured":"Howard, W.A, Seldin, J.P., Hindley, J.R.: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. The formulae-as-types notion of construction, pp. 479\u2013490. Academic Press, London (1980)"},{"key":"13_CR16","unstructured":"Keller U., Lara R., Polleres A., Toma I., Kifer M., Fensel D.: WSMO Web Service Discovery DERI International, D5.1 v0.1 (2004)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/LICS.2003.1210048","volume-title":"Procs. of the 18th Annual IEEE Symposium on Logic in Computer Science","author":"A. Kopylov","year":"2003","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, pp. 86\u201395. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"13_CR18","first-page":"249","volume-title":"Procs. of the 5th IEEE International Symposium on Requirements Engineering","author":"A. Lamsweerde Van","year":"2001","unstructured":"Van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Procs. of the 5th IEEE International Symposium on Requirements Engineering, pp. 249\u2013263. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"13_CR19","first-page":"153","volume":"6","author":"P. Martin-Lof","year":"1982","unstructured":"Martin-Lof, P.: Constructive Mathematics and Computer Programming. Methodology and Philosophy of Sciences\u00a06, 153\u2013175 (1982)","journal-title":"Methodology and Philosophy of Sciences"},{"key":"13_CR20","unstructured":"McCarthy, J.: Notes on Formalizing Context. In: Procs. of the 13th Int. Joint Conf. on Artificial Intelligence, pp. 555\u2013560 (1993)"},{"key":"13_CR21","unstructured":"Nau, D., Cao, Y., Lotem, A., Munoz-Avila, H.: SHOP: Simple Hierarchical Ordered Planner. In: Procs. of the Sixteenth International Joint Conference on Artificial Intelligence, pp. 968\u2013983 (1999)"},{"key":"13_CR22","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\u00a05, 363\u2013397 (1989)","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0004-3702(98)00100-3","volume":"106","author":"J. Pollock","year":"1998","unstructured":"Pollock, J.: The logical foundations of goal-regression planning in autonomous agents. Artificial Intelligence\u00a0106, 267\u2013335 (1998)","journal-title":"Artificial Intelligence"},{"key":"13_CR24","unstructured":"Prat, N.: Goal formalisation and classification for requirements engineering. In: Procs. of the Third International Workshop on Requirements Engineering: Foundations of Software Quality, pp. 145\u2013156 (1997)"},{"issue":"2","key":"13_CR25","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\u00a014(2), 145\u2013189 (2004)","journal-title":"Journal of Functional Programming"},{"issue":"1-2","key":"13_CR26","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0169-023X(97)86223-4","volume":"25","author":"C. Rolland","year":"1998","unstructured":"Rolland, C., Ben Achour, C.: Guiding The Construction Of Textual Use Case Specifications. Data and Knowledge Engineering Journal\u00a025(1-2), 125\u2013160 (1998)","journal-title":"Data and Knowledge Engineering Journal"},{"issue":"4","key":"13_CR27","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E. Sirin","year":"2004","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for web service composition using SHOP2. Journal of Web Semantics\u00a01(4), 377\u2013396 (2004)","journal-title":"Journal of Web Semantics"},{"key":"13_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BFb0055900","volume-title":"Artificial Intelligence and Symbolic Computation","author":"R.H. Thomason","year":"1998","unstructured":"Thomason, R.H.: Representing and Reasoning with Context. In: Calmet, J., Plaza, J. (eds.) AISC 1998. LNCS (LNAI), vol.\u00a01476, pp. 29\u201341. Springer, Heidelberg (1998)"},{"key":"13_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/3-540-48315-2_27","volume-title":"Modeling and Using Context","author":"R.H. Thomason","year":"1999","unstructured":"Thomason, R.H.: Type theoretic foundations for context, part 1: Contexts as complex typetheoretic objects. In: Bouquet, P., Serafini, L., Br\u00e9zillon, P., Benercetti, M., Castellani, F. (eds.) CONTEXT 1999. LNCS (LNAI), vol.\u00a01688, pp. 352\u2013374. Springer, Heidelberg (1999)"},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1002\/malq.19960420125","volume":"42","author":"S. Valentini","year":"1996","unstructured":"Valentini, S.: Decidability in Intuitionistic Type Theory is functionally decidable. Mathematical Logic\u00a042, 300\u2013304 (1996)","journal-title":"Mathematical Logic"},{"key":"13_CR31","unstructured":"Villadsen, J.: Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. In: Christiansen, H., et al. (eds.) Int. Workshop on Constraint Solving and Language Processing, pp. 160\u2013165 (2004)"},{"issue":"2","key":"13_CR32","first-page":"93","volume":"20","author":"D. Weld","year":"1999","unstructured":"Weld, D.: Recent advances in AI planning. AI Magazine\u00a020(2), 93\u2013123 (1999)","journal-title":"AI Magazine"}],"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\/978-3-540-74255-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:20:05Z","timestamp":1605763205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74255-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540742548"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74255-5_13","relation":{},"subject":[]}}