2299 search results - page 44 / 460 » Inference and Learning in Planning |
IUI
2003
ACM
15 years 2 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
Mobile robots often rely upon systems that render sensor data and perceptual features into costs that can be used in a planner. The behavior that a designer wishes the planner to ...
AII
1989
15 years 1 months ago
1989
This paper surveys recent results concerning the inference of deterministic finite automata (DFAs). The results discussed determine the extent to which DFAs can be feasibly inferr...
WMTE
2005
IEEE
15 years 3 months ago
2005
IEEE
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
68
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the n...