260 search results - page 1 / 52 » Monodic Temporal Resolution |
CADE
2003
Springer
15 years 10 months ago
2003
Springer
CADE
2005
Springer
15 years 10 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
14 years 8 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
15 years 10 months ago
2004
Springer
DLOG
2003
14 years 11 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...