-
2
-
-
0013365496
-
Conformant planning via symbolic model checking
-
A. Cimatti, and M. Roveri Conformant planning via symbolic model checking JAIR 13 2000 305 338
-
(2000)
JAIR
, vol.13
, pp. 305-338
-
-
Cimatti, A.1
Roveri, M.2
-
4
-
-
84881072062
-
A computing procedure for quantification theory
-
M. Davis, and H. Putnam A computing procedure for quantification theory J. ACM 7 3 1960 201 215
-
(1960)
J. ACM
, vol.7
, Issue.3
, pp. 201-215
-
-
Davis, M.1
Putnam, H.2
-
5
-
-
84919401135
-
A machine program for theorem proving
-
M. Davis, G. Logemann, and D. Loveland A machine program for theorem proving Comm. ACM 5 7 1962 394 397
-
(1962)
Comm. ACM
, vol.5
, Issue.7
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
6
-
-
0036377352
-
The FF planning system: Fast plan generation through heuristic search
-
J. Hoffmann, and B. Nebel The FF planning system: Fast plan generation through heuristic search J. Artificial Intelligence Res. 14 2001 253 302
-
(2001)
J. Artificial Intelligence Res.
, vol.14
, pp. 253-302
-
-
Hoffmann, J.1
Nebel, B.2
-
9
-
-
0002889051
-
Planning as satisfiability with expressive action languages: Concurrency, constraints, and nondeterminism
-
A. Cohn F. Giunchiglia B. Selman Breckenridge, CO Morgan Kaufmann San Mateo, CA
-
E. Giunchiglia Planning as satisfiability with expressive action languages: Concurrency, constraints, and nondeterminism A. Cohn F. Giunchiglia B. Selman Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR-00) Breckenridge, CO 2000 Morgan Kaufmann San Mateo, CA
-
(2000)
Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR-00)
-
-
Giunchiglia, E.1
-
10
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
B. Meltzer D. Michie Edinburgh University Press Edinburgh, UK
-
J. McCarthy, and P.J. Hayes Some philosophical problems from the standpoint of artificial intelligence B. Meltzer D. Michie Machine Intelligence, vol. 4 1969 Edinburgh University Press Edinburgh, UK 463 502
-
(1969)
Machine Intelligence, Vol. 4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
11
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
T. Bylander The computational complexity of propositional STRIPS planning Artificial Intelligence 69 1-2 1994 165 204
-
(1994)
Artificial Intelligence
, vol.69
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
12
-
-
77952044626
-
Polynomial-length planning spans the polynomial hierarchy
-
S. Flesca S. Greco N. Leone G. Ianni Cosenza, Italy Springer-Verlag Berlin
-
H. Turner Polynomial-length planning spans the polynomial hierarchy S. Flesca S. Greco N. Leone G. Ianni Logics in Artificial Intelligence - 8th European Conference JELIA-02 Cosenza, Italy 2002 Springer-Verlag Berlin 111 124
-
(2002)
Logics in Artificial Intelligence - 8th European Conference JELIA-02
, pp. 111-124
-
-
Turner, H.1
-
14
-
-
26444605769
-
Extracting small unsatisfiable cores from unsatisfiable boolean formulas
-
L. Zhang, S. Malik, Extracting small unsatisfiable cores from unsatisfiable boolean formulas, in: Proc. SAT-03, 2003
-
(2003)
Proc. SAT-03
-
-
Zhang, L.1
Malik, S.2
-
15
-
-
0031074857
-
Fast planning through planning graph analysis
-
A.L. Blum, and M.L. Furst Fast planning through planning graph analysis Artificial Intelligence 90 1-2 1997 279 298
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1-2
, pp. 279-298
-
-
Blum, A.L.1
Furst, M.L.2
-
16
-
-
0034852165
-
-
M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, and S. Malik Chaff: Engineering an efficient SAT solver in: Proceedings of the 38th Design Automation Conference (DAC-01), 2001 http://www.ee.princeton.edu/~chaff/ DAC2001v56.pdf
-
Chaff: Engineering an Efficient SAT Solver
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
19
-
-
4644364683
-
Conformant planning via symbolic model checking and heuristic search
-
A Cimatti, M. Roveri, and P. Bertoli Conformant planning via symbolic model checking and heuristic search Artificial Intelligence 159 1-2 2004 127 206
-
(2004)
Artificial Intelligence
, vol.159
, Issue.1-2
, pp. 127-206
-
-
Cimatti, A.1
Roveri, M.2
Bertoli, P.3
-
25
-
-
0033332766
-
Constructing conditional plans by a theorem-prover
-
J. Rintanen Constructing conditional plans by a theorem-prover J. Artificial Intelligence Res. 10 1999 323 352
-
(1999)
J. Artificial Intelligence Res.
, vol.10
, pp. 323-352
-
-
Rintanen, J.1
-
26
-
-
0037372121
-
A logic programming approach to knowledge-state planning, II: The DLVK system
-
T. Eiter, W. Faber, N. Leone, and G. Pfeifer A logic programming approach to knowledge-state planning, II: The DLVK system Artificial Intelligence 144 1-2 2003 157 211
-
(2003)
Artificial Intelligence
, vol.144
, Issue.1-2
, pp. 157-211
-
-
Eiter, T.1
Faber, W.2
Leone, N.3
Pfeifer, G.4
-
27
-
-
84898688040
-
Combining the expressiveness of UCPOP with the efficiency of Graphplan
-
S. Steel R. Alami Recent Advances in AI Planning. 4th European Conference on Planning (ECP'97) Toulouse, Springer-Verlag Berlin
-
B.C. Gazen, and C. Knoblock Combining the expressiveness of UCPOP with the efficiency of Graphplan S. Steel R. Alami Recent Advances in AI Planning. 4th European Conference on Planning (ECP'97) Toulouse, France Lecture Notes in Artificial Intelligence vol. 1348 1997 Springer-Verlag Berlin 221 233
-
(1997)
France Lecture Notes in Artificial Intelligence
, vol.1348
, pp. 221-233
-
-
Gazen, B.C.1
Knoblock, C.2
|