3885 search results - page 758 / 777 » Clarifying Goal Models |
114
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
132
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Human users trying to plan and accomplish informationdependent goals in highly dynamic environments with prevalent uncertainty must consult various types of information s...
146
Voted
AAAI
2010
15 years 4 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
140
Voted
AIPS
2010
15 years 4 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
131
Voted
AAMAS
2008
Springer
15 years 3 months ago
2008
Springer
The ability to create effective multi-agent organizations is key to the development of larger, more diverse multi-agent systems. In this article we present KB-ORG: a fully automate...