Information and Computation - Semantics of Data Types
Cyc: toward programs with common sense
Communications of the ACM
A database interface based on Montagues's approach to the interpretation of natural language
International Journal of Man-Machine Studies
Logic and information
Subsumption and classification-based reasoning in object-based representations
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Handbook of logic in computer science (vol. 2)
Type-theoretical grammar
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Formalizing context in intuitionistic type theory
Fundamenta Informaticae
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
A Unifying Theory of Dependent Types: The Schematic Approach
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Constructions: A Higher Order Proof System for Mechanizing Mathematics
EUROCAL '85 Invited Lectures from the European Conference on Computer Algebra-Volume I - Volume I
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Perceptual Components for Context Aware Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
Representing and Reasoning with Context
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Journal of Functional Programming
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Context-based design of mobile applications for museums: a survey of existing practices
Proceedings of the 7th international conference on Human computer interaction with mobile devices & services
Records and Record Types in Semantic Theory
Journal of Logic and Computation
Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
Journal of Logic and Computation
Representing Context for Multiagent Trust Modeling
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
Dynamic context management for pervasive applications
The Knowledge Engineering Review
A Type Driven Theory of Predication with Complex Types
Fundamenta Informaticae - Logic for Pragmatics
A note on the transitivity of parthood
Applied Ontology
Seeking a foundation for context-aware computing
Human-Computer Interaction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Creating ontologies for content representation: the OntoSeed suite
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Using activity theory to model context awareness
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
Hierarchically merging plans in decomposable domains
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Dynamic context generation for natural language understanding: a multifaceted knowledge approach
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Fundamenta Informaticae
Using a dependently-typed language for expressing ontologies
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Formal foundations for situation awareness based on dependent type theory
Information Fusion
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
Hi-index | 0.00 |
In the area of knowledge representation, a challenging topic is the formalization of context knowledge on the basis of logical foundations and ontological semantics. However, most attempts to provide a formal model of contexts suffer from a number of difficulties, such as limited expressiveness of representation, restricted variable quantification, lack of (meta) reasoning about properties, etc. In addition, type theory originally developed for formal modeling of mathematics has also been successfully applied to the correct specification of programs and in the semantics of natural language. In this paper, we suggest a type theoretical approach to the problem of context and action modeling. Type theory is used both for representing the system's knowledge of the discourse domain and for reasoning about it. For that purpose, we extend an existing dependent type theory having nice properties, with context-based rules and appropriate inductive types. We claim that the resulting theory exploiting the power of dependent types is able to provide a very expressive system together with a unified theory allowing higher-order reasoning.