Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects

Authors:
Richmond H. Thomason
Affiliations:
-
Venue:
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Year:
1999

Citing 4
Cited 3

Reasoning about knowledge

Reasoning about knowledge
Modality in dialogue: planning, pragmatics and computation

Modality in dialogue: planning, pragmatics and computation
Representing and Reasoning with Context

AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Non-omniscient belief as context-based reasoning

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Embodied Context Semantics

Semantics in Data and Knowledge Bases
Making contextual intensional logic nonmonotonic

CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Higher-order aspects and context in SUMO

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents Contextual Intensional Logic, a type-theoretic logic intended as a general foundation for reasoning about context. I motivate and illustrate the logical framework, and conclude by indicating extensions that may be desirable.