Sciweavers

4595 search results - page 38 / 919
» Reasoning about Plans
Sort
View
76
Voted
TARK
2009
Springer
15 years 4 months ago
Reasoning about knowledge of unawareness revisited
Joseph Y. Halpern, Leandro Chaves Rêgo
61
Voted
LPNMR
2005
Springer
15 years 3 months ago
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
Alberto Finzi, Thomas Lukasiewicz
LPAR
2004
Springer
15 years 3 months ago
Reasoning About Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
BIRTHDAY
2009
Springer
15 years 5 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
95
Voted
RR
2007
Springer
15 years 4 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, ...