Sciweavers

1219 search results - page 159 / 244
» Combining planning and motion planning
Sort
View
PADL
2004
Springer
15 years 11 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
ICRA
2003
IEEE
150views Robotics» more  ICRA 2003»
15 years 11 months ago
i-Fork: a flexible AGV system using topological and grid maps
- In this paper we describe the navigation and planning of the i-Fork system, a flexible AGV intended to operate in partially structured warehouses where frequent floor plant layou...
Humberto Martínez Barberá, Juan Petr...
CPAIOR
2010
Springer
15 years 11 months ago
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
Elvin Coban, John N. Hooker
ESAW
2006
Springer
15 years 10 months ago
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down"
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
Maarten Sierhuis
FLAIRS
2006
15 years 7 months ago
Resolving Noun Compounds with Multi-Use Domain Knowledge
In this paper we describe a system for semantic interpretation of noun compounds that relies on world and domain knowledge from a knowledge base. This architecture combines domain...
Alicia Tribble, Scott E. Fahlman