1614 search results - page 131 / 323 » Planning as Temporal Reasoning |
166
click to vote
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
146
click to vote
CHARME
1993
Springer
15 years 10 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
190
click to vote
RAS
2010
15 years 4 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
177
click to vote
FLAIRS
2007
15 years 8 months ago
2007
POMDPs are a popular framework for representing decision making problems that contain uncertainty. The high computational complexity of finding exact solutions to POMDPs has spaw...
150
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...