Sciweavers

Share
2340 search results - page 1 / 468
» Pdk: The System and Its Language
Sort
View
TABLEAUX
2005
Springer
8 years 9 months ago
Pdk: The System and Its Language
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...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
JOLLI
2007
128views more  JOLLI 2007»
8 years 4 months ago
Linear temporal logic as an executable semantics for planning languages
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...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
EMNLP
2009
8 years 2 months ago
It's Not You, it's Me: Detecting Flirting and its Misperception in Speed-Dates
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...
Rajesh Ranganath, Dan Jurafsky, Dan McFarland
ENTCS
2008
175views more  ENTCS 2008»
8 years 4 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
books