858 search results - page 144 / 172 » Planning and defeasible reasoning |
TARK
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— A number of advanced sampling strategies have been proposed in recent years to address the narrow passage problem for probabilistic roadmap (PRM) planning. These sampling strat...
ISESE
2005
IEEE
14 years 2 months ago
2005
IEEE
Exploratory testing (ET) – simultaneous learning, test design, and test execution – is an applied practice in industry but lacks research. We present the current knowledge of ...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
WISER
2004
ACM
14 years 1 months ago
2004
ACM
Much work in software architecture has been inspired by work in physical architecture, in particular Alexander’s work on ‘design patterns’. By contrast, Alexander’s work i...