Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Artificial intelligence and mathematical theory of computation
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A Novel Architecture for Situation Awareness Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Hi-index | 0.00 |
Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...