5 search results - page 1 / 1 » Decidability of the Interval Temporal Logic ABB over the Nat... |
STACS
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
IWINAC
2009
Springer
13 years 11 months ago
2009
Springer
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
LOGCOM
2007
13 years 4 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...