142 search results - page 6 / 29 » Automated Planning Using Quantum Computation |
LPNMR
1999
Springer
14 years 3 days ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
UKCBR
1995
13 years 11 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...
NCA
2008
IEEE
14 years 2 months ago
2008
IEEE
Wireless mesh networks are a promising backbonesolution for applications in industrial automation. However, high availability of the communication channel is not inherently guaran...