Sciweavers

1431 search results - page 40 / 287
» Planning for Welfare to Work
Sort
View
CP
2005
Springer
15 years 3 months ago
Encoding HTN Planning as a Dynamic CSP
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
Pavel Surynek, Roman Barták
SAINT
2003
IEEE
15 years 3 months ago
Planning For Web Services the Hard Way
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
Mark James Carman, Luciano Serafini
MKWI
2008
157views Business» more  MKWI 2008»
14 years 11 months ago
Semantic-Based Planning of Process Models
: Process modelling has proved to be a powerful instrument to describe and manage the increasingly complex processes within and across enterprises. Yet, it requires a significant a...
Matthias Henneberger, Bernd Heinrich, Florian Laut...
AIPS
2006
14 years 11 months ago
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
Jörg Hoffmann, Carla P. Gomes, Bart Selman
GROUP
2009
ACM
14 years 7 months ago
Supporting collaborative sensemaking in map-based emergency management and planning
Emergency management and planning often involves multiple domain experts with diverse knowledge backgrounds and responsibilities. Current practices in emergency management and pla...
Anna Wu, Xiaolong Zhang