892 search results - page 42 / 179 » Strategies in sentential reasoning |
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
AAMAS
1999
Springer
13 years 8 months ago
1999
Springer
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
We discuss the use of social networks in implementing viral marketing strategies. While influence maximization has been studied in this context (see Chapter 24 of [10]), we study ...
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...