17 search results - page 1 / 4 » A Hierarchical Analysis of Propositional Temporal Logic base... |
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
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...
BIRTHDAY
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
VL
2007
IEEE
13 years 11 months ago
2007
IEEE
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
EPIA
1989
Springer
13 years 9 months ago
1989
Springer
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...