2573 search results - page 78 / 515 » Combinations of Modal Logics |
234
click to vote
IEAAIE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...
124
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
124
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
116
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
133
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community: