109
click to vote
TIME
15 years 6 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...
108
click to vote
TIME
15 years 6 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...
TIME
15 years 6 months ago
2007 IEEE  118
click to vote
TIME
15 years 6 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...
TIME
15 years 6 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