1614 search results - page 125 / 323 » Planning as Temporal Reasoning |
144
click to vote
AIPS
2003
15 years 7 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...
195
click to vote
TIME
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
167
click to vote
AAAI
2007
15 years 8 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
154
click to vote
BIRTHDAY
2005
Springer
16 years 5 hour ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
197
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...