Dependent record types for dynamic context representation

Research and Development in Intelligent Systems XXIII - Proceedings of AI 2006, the 26th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Volumn , Issue , 2007, Pages 203-216

  Dapoigny, Richard ^a   Barlatier, Patrick ^a  

^a Université de Savoie   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; INTELLIGENT SYSTEMS; SEMANTICS; UBIQUITOUS COMPUTING;

CURRY-HOWARD ISOMORPHISM; FORMAL FRAMEWORK; LOGICAL FORMALISM; LOGICAL REASONING; PERVASIVE COMPUTING ENVIRONMENT; PHYSICAL VARIABLES; TECHNICAL RESOURCES; VARIABLE PROPERTY;

KNOWLEDGE REPRESENTATION;

EID: 84881413258     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-84628-663-6_15     Document Type: Conference Paper

References (29)

1. Betarte G.,: Type checking dependent (record) types and subtyping. Journal of Functional and Logic Programming (2000) 10 (2) 137-166
2. Boldini, P.: Formalizing Context in Intuitionistic Type theory. Fundamenta Informaticae (2000) 42 1-23
3. 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
4. Brézillon P., Abu-Hakima S.: Using Knowledge in its Context: Report on the IJCAI'93 Workshop. AI Magazine (1995) 16(1) 87-91
5. Buvac S., Buvac V., Mason LA.: Metamathematics of Contexts. Fundamentae Informaticae 23(3) (1995) 412-419
6. Buvac S.: Quantificational logic of context. Procs. of the 13th National Conference on Artificial Intelligence (1996
7. Cederquist J.: A Pointfree Approach to Constructive Analysis in Type Theory. PhD thesis Chalmers Univ. Sweden (1997
8. Bouquet P., Serafini L., Bnlzi\lon P., Benerecetti M., Castellani F.: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99 Trento Italy (1999) Springer LNCS 1688
9. Cooper R.: Mixing Situation Theory and Type Theory to Formalize Information States in Dialogue Exchanges. in Procs of TWLT 13/Twendial'98: Formal Semantics and Pragmatics of Dialogue (1998
10. Coquand C., Coquand T.: Structured type theory. Workshop on Logical Frameworks and Meta-languages (1999
11. Ginzburg J.: Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records. Journal of Log. Comput. 15(2) (2005) 113-130
12. Giunchiglia F.: Contextual Reasoning. Istituto per la Ricerca Scientifica e Technologica (1992) 9211-20
13. Ghidini C., Giunchiglia F.: Local Models Semantics, or Contextual Reasoning= Locality + Compatibility. Artificial Intelligence (2001) 127(2) 221-259
14. Guha R.V.: Contexts: A Formalization and some Applications. Stanford Computer Science Departement STAN-CS-91-1399 (1991
15. 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-95
16. Martin-Lof, P.: Constructive Mathematics and Computer Programming. Logic, Methodology and Philosophy of Sciences (1982) 6 153-175
17. McCarthy J.: Notes on Formalizing Context. Procs. of the 13th Int. Joint ConL on Artificial Intelligence (1993) 555-560
18. Montague R.: Pragmatics and intensional logic, Synthese 22 (1970) 68-94
19. Ozturk P., Aamodt A.: A context model for knowledge-intensive casebased reasoning International Journal of Human Computer Studies (1998) 48331-355
20. Paulson L.C.: The Foundation of a Generic Theorem Prover. Journal of Automated Reasoning (1989) 5 363-397
21. Ranta, A.: Constructing Possible Worlds. Theoria 57(1/2) (1991) 77-99
22. Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming (2004) 14(2) 145-189
23. Drabble B., et al.: Reports on the AAAI 1999 Workshop Program. AI Magazine 21(1) (2000) 95-100
24. St.rang T., Linnhoff-Popien C.: A Cont.ext. Modeling Survey. Sixt.h International Conference on Ubiquitous Computing (UbiComp2004) (2004) 34-41
25. Terziyan V.Y., Puuronen S.: Formal Aspects of Context. P. Bonzon, M. Cavalcanti and R. Nossum eds. Kluwer Academic (2000
26. Thomason R.H.: Representing and Reasoning with Context. Procs. of the International Conference on Art.ificial Intelligence and Symbolic Computation (1998) 1476 LNCS 29-41 Springer
27. 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-374 Springer
28. 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-165
29. OWL Web Ontology Language-Semantics and Abstract Syntax. Recommendation 10 (2004) http:j(www.w3.org(TR(owl-semantics