161
Voted
TIME
15 years 11 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...
152
click to vote
TIME
15 years 11 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...
166
click to vote
TIME
15 years 11 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...
134
click to vote
TIME
15 years 11 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