797 search results - page 95 / 160 » Bayesian Robot Programming |
131
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
131
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
EWSPT
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...
110
click to vote
EUROGP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper describes the first attempt to introduce evolutionarily designed players into the international Robocode league, a simulationbased game wherein robotic tanks ...
98
Voted
NIPS
2007
15 years 3 months ago
2007
The control of high-dimensional, continuous, non-linear dynamical systems is a key problem in reinforcement learning and control. Local, trajectory-based methods, using techniques...