5216 search results - page 647 / 1044 » Planning as Model Checking |
125
click to vote
WSCG
2001
15 years 8 months ago
2001
the problem of locating services in a given context requires a methematical abstraction so that its complexity can be managed by means of an iterative search through context simul...
192
click to vote
FLAIRS
1998
15 years 8 months ago
1998
1 The Decision Support Information Gathering System, Digs, uses influence diagrams to model user's decisions and to calculate the value of imperfect information for each avail...
140
Voted
FLAIRS
2000
15 years 8 months ago
2000
Thispaper describesAPE(the Atlas PlanningEngine),the reactive planner at the center of the Atlas dialogue managementsystem. The goal of Atlas is to build conversation-basedsystems...
172
click to vote
AIPS
2009
15 years 7 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
217
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...