4595 search results - page 13 / 919 » Reasoning about Plans |
ASE
2006
14 years 10 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
PDC
2004
ACM
15 years 3 months ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
KI
2008
Springer
14 years 10 months ago
2008
Springer
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
107
click to vote
ECP
1997
Springer
15 years 2 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...