260 search results - page 1 / 52 » Monodic Temporal Resolution |
CADE
2003
Springer
14 years 4 months ago
2003
Springer
CADE
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
SLOGICA
2008
13 years 3 months ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
CADE
2004
Springer
14 years 4 months ago
2004
Springer
DLOG
2003
13 years 6 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...