1283 search results - page 8 / 257 » A Survey on Temporal Logics |
TKDE
2002
14 years 9 months ago
2002
ARTMED
2007
14 years 10 months ago
2007
AGP
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper we give a summary of our recent survey of practical applications of Logic Programming in Italy. The survey covers a 25 year time-span. Information was mainly gathere...
JUCS
2010
14 years 8 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
164
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...