2649 search results - page 129 / 530 » Temporal Theories of Reasoning |
172
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
135
click to vote
AAAI
2000
15 years 8 months ago
2000
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
217
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
167
click to vote
FORMATS
2005
Springer
16 years 1 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
146
click to vote
CHARME
1993
Springer
15 years 10 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...