Sciweavers

5243 search results - page 26 / 1049
» Reasoning About Strategies
Sort
View
94
Voted
TARK
2009
Springer
15 years 7 months ago
Reasoning about knowledge of unawareness revisited
Joseph Y. Halpern, Leandro Chaves Rêgo
70
Voted
LPNMR
2005
Springer
15 years 5 months ago
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
Alberto Finzi, Thomas Lukasiewicz
72
Voted
LPAR
2004
Springer
15 years 5 months ago
Reasoning About Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
106
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
Reasoning About Alternative Requirements Options
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
Axel van Lamsweerde
110
Voted
RR
2007
Springer
15 years 6 months ago
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...