1283 search results - page 33 / 257 » A Survey on Temporal Logics |
179
click to vote
EPIA
2009
Springer
16 years 20 days ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
134
click to vote
ENTCS
2002
15 years 5 months ago
2002
We show that the category of coalgebras of a wide-pullback preserving endofunctor on a category of presheaves is itself a category of presheaves. This illustrates a connection bet...
173
click to vote
ICTL
1994
15 years 10 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
144
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
177
Voted
QEST
2007
IEEE
16 years 11 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...