Sciweavers

864 search results - page 128 / 173
» Plan Generation and Plan Execution in Agent Programming
Sort
View
HYBRID
2010
Springer
13 years 10 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
ATAL
2007
Springer
14 years 2 months ago
A Q-decomposition and bounded RTDP approach to resource allocation
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, a Qdecomposition...
Pierrick Plamondon, Brahim Chaib-draa, Abder Rezak...
AAAI
1993
13 years 9 months ago
The Semantics of Event Prevention
In planning tasks an agent may often find himself in a situation demanding that he choose an action that would prevent some unwanted event from occurring. Similarly, in tasks invo...
Charles L. Ortiz Jr.
SIGMOD
2009
ACM
190views Database» more  SIGMOD 2009»
14 years 8 months ago
Optimizing complex extraction programs over evolving text data
Most information extraction (IE) approaches have considered only static text corpora, over which we apply IE only once. Many real-world text corpora however are dynamic. They evol...
Fei Chen 0002, Byron J. Gao, AnHai Doan, Jun Yang ...
HICSS
2003
IEEE
134views Biometrics» more  HICSS 2003»
14 years 1 months ago
Scheduling the Supply Chain by Teams of Agents
When a supply chain is established supply chain management (SCM) needs supporting tools for the tasks of operative planning, scheduling, and coordination. These tasks have to be p...
Jürgen Sauer, Hans-Jürgen Appelrath