2649 search results - page 80 / 530 » Temporal Theories of Reasoning |
153
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
140
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
177
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
150
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
160
click to vote
AAAI
2007
15 years 8 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...