1614 search results - page 134 / 323 » Planning as Temporal Reasoning |
180
click to vote
AAAI
2006
15 years 7 months ago
2006
Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy ...
145
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
167
click to vote
WSC
1997
15 years 7 months ago
1997
One of the key issues in reasoning with multiple interacting intelligent agents is how to model and code the decision making process of the agents. In Artificial Intelligence (AI...
166
click to vote
ISMB
1993
15 years 7 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
193
click to vote
FLAIRS
2009
15 years 4 months ago
2009
In this paper, we investigate the hypothesis that plan recognition can significantly improve the performance of a casebased reinforcement learner in an adversarial action selectio...