5216 search results - page 514 / 1044 » Planning as Model Checking |
199
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
174
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present a multiagent model in which agents have a perception upon their shared environment, a measure is associated to the agents' perception field. We apply...
159
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Temporal Networks play an important role in solving planning problems and they are also used, though not as frequently, when solving scheduling problems. In this paper we propose ...
173
click to vote
IJCAI
2007
15 years 8 months ago
2007
In recent years, there has been a growing interest in using rich representations such as relational languages for reinforcement learning. However, while expressive languages have ...
211
click to vote
AIPS
2006
15 years 8 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...