154
Voted
TIME
15 years 10 months ago
2007 IEEE 
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
146
click to vote
TIME
15 years 10 months ago
2007 IEEE 
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
127
Voted
TIME
15 years 10 months ago
2007 IEEE  163
Voted
TIME
15 years 10 months ago
2007 IEEE 
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
129
click to vote
TIME
15 years 10 months ago
2007 IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
|
Automated Reasoning