1283 search results - page 56 / 257 » A Survey on Temporal Logics |
170
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
178
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
Most approaches to the visual perception of humans do not include high-level activity recognitition. This paper presents a system that fuses and interprets the outputs of several c...
182
click to vote
AAAI
2012
13 years 8 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
180
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
141
click to vote
IANDC
2007
15 years 6 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...