113
click to vote
FOIKS
2004
Springer
15 years 8 months ago
2004
Springer
Despite the fact that thousands of applications manipulate plans, there has been no work to date on managing large databases of plans. In this paper, we first propose a formal mod...