624 search results - page 2 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
AAAI
1994
13 years 6 months ago
1994
This paper presents snlp+ebl, the first implementation of explanation based learning techniques for a partial order planner. We describe the basic learning framework of snlp+ebl, ...
AIPS
1996
13 years 6 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
AI
2000
Springer
13 years 4 months ago
2000
Springer
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...