2226 search results - page 1 / 446 » Pdk: The System and Its Language |
TABLEAUX
2005
Springer
13 years 9 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
JOLLI
2007
13 years 4 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
EMNLP
2009
13 years 2 months ago
2009
Automatically detecting human social intentions from spoken conversation is an important task for dialogue understanding. Since the social intentions of the speaker may differ fro...
TON
2012
11 years 6 months ago
2012
TITS
2002
13 years 4 months ago
2002
The wide variety of remote sensors used in Intelligent Transportation Systems (ITS) applications (loops, probe vehicles, radar, cameras, etc.) has created a need for general method...