R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3--4):189--208, 1971. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Learning about Constraints by Reflection - William Murdock And (Correct)
No context found.
R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3--4):189--208, 1971.
Automatically Generating Abstractions for Problem Solving - Knoblock (1991) (56 citations) (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3/4):189--208, 1971.
Learning Abstraction Hierarchies for Problem Solving - Knoblock (1990) (46 citations) (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3/4):189--208, 1971.
Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc (Correct)
No context found.
R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189--208, 1971.
Journal of Artificial Intelligence Research 15 (2001).. - Jose Luis Ambite (Correct)
No context found.
Fikes, R. E., & Nilsson, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2 (3/4), 189--208.
Schema Learning: Experience-Based - Construction Of Predictive (Correct)
No context found.
R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189--208, 1971.
A Model for Deliberation, Action, and Introspection - Doyle (1980) (1 citation) (Correct)
No context found.
Fikes, R. E., and Nilsson, N. J., 1971. STRIPS: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2, 189-208.
Acquiring Domain-Specific Planners by Example - Elly Winner Manuela (Correct)
No context found.
Richard Fikes and Nils J. Nilsson. Strips: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3-4):189--208, 1971.
Journal of Machine Learning Research 7 (2006) 2259-2301.. - Anders Jonsson Anders (Correct)
No context found.
R. Fikes and N. Nilsson. Strips: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2:189--208, 1971.
Action Planning for Graph Transition Systems - Edelkamp, Jabbar, al. (2005) (Correct)
No context found.
Fikes, R., and Nilsson, N. 1971. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2:189--208.
Employing External Reasoners in Proof - Planning Erica Melis (1999) (Correct)
No context found.
R.E. Fikes and N.J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2:189--208, 1971.
Action Planning for Directed Model Checking of Petri Nets - Edelkamp, Jabbar (2005) (Correct)
No context found.
Fikes, R. and N. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971), pp. 189--208.
Non-trivial Symbolic Computations in Proof - Planning Volker Sorge (2000) (Correct)
No context found.
R. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189--208, 1971.
Prodigy Bidirectional Planning - Fink, Blythe (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3--4):189-- 208, 1971.
Bringing Semantics to Web Services: The OWL-S Approach - Martin, Paolucci.. (2005) (1 citation) (Correct)
No context found.
R. Fikes and N. J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2, pp. 189-208, 1971.
Planning with Primary Eects: Experiments and Analysis - Eugene Fink Computer (1995) (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, pages 189--208, 1971.
Justified Plans and Ordered Hierarchies - Eugene Fink In (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, pages 189-- 208, 1971. 106
Characterizing and Automatically Finding Primary Effects in.. - Fink, Yang (1993) (1 citation) (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, pages 189--208, 1971.
Automatically Selecting and Using Primary Effects in Planning.. - Fink, Yang (1994) (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189--208, 1971.
Search Reduction in Planning with Primary Effects - Fink, Yang (1994) (Correct)
No context found.
Richard E. Fikes and Nils J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, pages 189-- 208, 1971.
Planning for Semantic Web Services - Evren Sirin And (2004) (2 citations) (Correct)
No context found.
R. E. Fikes and N. J. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. In J. Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 88--97. Kaufmann, San Mateo, CA, 1990.
RRT-Plan: a Randomized Algorithm for STRIPS Planning - Daniel Burfoot And (Correct)
No context found.
Fikes, R., and Nilsson, N. J. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. In IJCAI, 608--620.
Journal of Intelligent and Robotic Systems 29: 47--78, 2000. - An Integrated Approach (Correct)
No context found.
Fikes, R. E. and Nilsson, N. J.: 1971, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2, 189--208.
Extended Markov Tracking with an Application to Control - Zinovi Rabinovich And (2004) (Correct)
No context found.
R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189--208, 1971.
Assembly and Task Planning: A Taxonomy - Gottschlich, Ramos, Lyons (2003) (1 citation) (Correct)
No context found.
R. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Arti cial Intelligence, 2:189-208, 1971.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC