Searching for "STRIPS A New Approach to the Application of Theorem Proving to Problem Solving." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
A Review of "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving by R
- …STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving by R.E. Fikes, N…
- Add To MetaCart
-
Intelligence, pages 318--323. IEEE Computer Society Press, New York, 1994. 223 [116] W. A. Tackett.
- … and N. Nilsson. Strips: A new approach to the application of theorem proving to problem solving…
- Add To MetaCart
-
Domain-Independent Planning: Representation and Plan Generation
- … approach to the application of theorem proving to problem solving," Artificial Intelligence, 2:198- 208…
- Cited by 127 (1 self) – Add To MetaCart
-
ELIZA, but cleverer: Designing persuasive artificial agents
- …. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving…
- Add To MetaCart
-
Computational Dialogue Speech Acts and Planning Statistical Approaches R. Agerri Computational
- …. and Nilsson, N. (1971). Strips: A new approach to the application of theorem proving to problem solving…
- Add To MetaCart
-
Planning, Truth Criteria and the Systematic Approach to Action and Change
- …. Richard E. Fikes and Nils J. Nilsson. STRIPS: A new approach to the application of theorem proving…
- Cited by 1 (1 self) – Add To MetaCart
-
Bibliography
- … Nilsson. Strips: A new approach to the application of theorem proving to problem solving. , 2…
- Add To MetaCart
-
Strategies
- …, 1971] Fikes, R. E. and Nilsson, N. J.; 1971. STRIPS: A new approach to the application of theorem…
- Add To MetaCart
Showing 1 through 8.
