238 search results - page 11 / 48 » Planning as Satisfiability |
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
Navigational queries on Web-accessible life science sources pose unique query optimization challenges. The objects in these sources are interconnected to objects in other sources, ...
AAAI
2006
13 years 11 months ago
2006
We describe an application of AI search and information visualization techniques to the problem of school redistricting, in which students are assigned to home schools within a co...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
ENGL
2008
13 years 10 months ago
2008
For lifestyle-related disease caused by recent change of eating habits in Japan, this paper proposes a menu planning method using rough set theory, and it can satisfy each individu...