3515 search results - page 181 / 703 » On the semantics of Strategy Logic |
204
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
211
click to vote
CISC
2009
Springer
15 years 5 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
227
click to vote
ICDAR
2005
IEEE
16 years 27 days ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
210
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
176
click to vote
CCIA
2007
Springer
16 years 1 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...