104 search results - page 19 / 21 » HTN Planning: Complexity and Expressivity |
SEMWEB
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a framework for robustly recognizing physical team behaviors by exploiting spatio-temporal patterns. Agent team behaviors in athletic and military domains typi...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
MMDB
2003
ACM
14 years 18 days ago
2003
ACM
The increased use of video data sets for multimedia-based applications has created a demand for strong video database support, including efficient methods for handling the content...
AGP
2010
IEEE
14 years 14 days ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...