1167 search results - page 14 / 234 » A Really Temporal Logic |
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
CORR
2006
Springer
13 years 7 months ago
2006
Springer
IJCAI
2007
13 years 9 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
AUSAI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...