5216 search results - page 41 / 1044 » Planning as Model Checking |
STTT
2010
13 years 5 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
QEST
2010
IEEE
13 years 8 months ago
2010
IEEE
SIGMOD
1996
ACM
14 years 3 months ago
1996
ACM
We investigate the problem of incremental maintenance of an SQL view in the face of database updates, and show that it is possible to reduce the total time cost of view maintenanc...
AAAI
1994
14 years 9 days 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, ...
ICCD
2005
IEEE
14 years 4 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...