4266 search results - page 156 / 854 » A Framework for Defining Logics |
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
105
click to vote
DLOG
2009
14 years 7 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
DSVIS
2000
Springer
15 years 2 months ago
2000
Springer
This article proposes a framework that will help analyze current and future output multimodal user interfaces. We first define an output multimodal system. We then present our fram...
WETICE
1996
IEEE
15 years 2 months ago
1996
IEEE
This paper explores generating and conveying confidence in enterprise security. An enterprise assurance framework provides a structure enterprise assurance evidence that strengthe...