1614 search results - page 52 / 323 » Planning as Temporal Reasoning |
AAAI
2006
15 years 3 months ago
2006
Planning under uncertainty has been well studied, but usually the uncertainty is in action outcomes. This work instead investigates uncertainty in the amount of time that actions ...
KR
2010
Springer
15 years 6 months ago
2010
Springer
119
click to vote
NIPS
2003
15 years 3 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
118
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
129
click to vote
FOIKS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...