810 search results - page 147 / 162 » Solving Time-Dependent Planning Problems |
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
IADIS
2004
15 years 1 months ago
2004
This paper describes a different approach to teaching a web-applications course. Rather than lecturing, the instructor organizes material and serves as a guide as students work th...
IJCAI
2001
15 years 1 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
115
click to vote
ENTCS
2002
14 years 11 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
105
click to vote
NPL
2007
14 years 11 months ago
2007
Autonomous mobile robots form an important research topic in the field of robotics due to their near-term applicability in the real world as domestic service robots. These robots ...