Cited by 4,882AI-based Problem Solving and PlanningLogic, Reasoning, and KnowledgeConstraint Satisfaction and Optimization

The DOI matches its Crossref record; 13 of the 13 references it cites were found in a registry or an index.

Strips: A new approach to the application of theorem proving to problem solving

Fikes, Richard E., Nilsson, Nils J.·1971·Artificial Intelligence

DOI 10.1016/0004-3702(71)90010-5

Open this paper in CoChat — free account

Integrity signals

Registry

Crossref · 10.1016/0004-3702(71)90010-5

Cites

13 of 13 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Motivation and Personality
(1997) · Naming the Mind: How Psychology Found its Language · doi:10.4135/9781446221815.n7 · Cited by 15,148
Some Philosophical Problems from the Standpoint of Artificial Intelligence
McCarthy, J., & Hayes, P. J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50033-7 · Cited by 3,296
Problem-Solving Methods in Artificial Intelligence
Nilsson, N. J. (1971) · CERN Document Server (European Organization for Nuclear Research) · Cited by 1,607
Self-citation
GPS : a case study in generality and problem solving
Ernst, G. W., & Newell, A. (1969) · Cited by 503
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.
Green, C. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50019-2 · Cited by 459
Application of Theorem Proving to Problem Solving
Green, C. (1969) · doi:10.21236/ada459656 · Cited by 290
Toward automatic program synthesis
Manna, Z., & Waldinger, R. J. (1971) · Communications of the ACM · doi:10.1145/362566.362568 · Cited by 285
PROW: a step toward automatic program writing
Waldinger, R. J., & Lee, R. C. T. (1969) · International Joint Conference on Artificial Intelligence · Cited by 114
Extracting information from resolution proof trees
Luckham, D. C., & Nilsson, N. J. (1971) · Artificial Intelligence · doi:10.1016/0004-3702(71)90003-8 · Cited by 61
Self-citation
Monitored Execution of Robot Plans Produced by Strips
Fikes, R. E. (1971) · doi:10.21236/ada459662 · Cited by 57
Self-citation

Show all 13 references

Research works printed but not linked: 1

Garvey, 1969, User's guide to QA3.5 Question-Answering System, Stanford Research Institute Artifical Intelligence Group Technical Note 15

Sorted by citations

Maintaining knowledge about temporal intervals
Allen, J. F. (1983) · Communications of the ACM · doi:10.1145/182.358434 · Cited by 7,593
Intelligent agents: theory and practice
Wooldridge, M., & Jennings, N. R. (1995) · The Knowledge Engineering Review · doi:10.1017/s0269888900008122 · Cited by 6,810
The interdisciplinary study of coordination
Malone, T. W., & Crowston, K. (1994) · ACM Computing Surveys · doi:10.1145/174666.174668 · Cited by 3,504
Being There: Putting Brain, Body and World Together Again.
van Gelder, T., & Clark, A. (1998) · The Philosophical Review · doi:10.2307/2998391 · Cited by 3,134
Being there: putting brain, body, and world together again
(1997) · Choice Reviews Online · doi:10.5860/choice.34-6204 · Cited by 2,631
Towards a general theory of action and time
Allen, J. F. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90008-0 · Cited by 2,596
Untitled work
(2006) · Cited by 2,256
A Roadmap of Agent Research and Development
Jennings, N. R., Sycara, K. P., & Wooldridge, M. (1998) · Autonomous Agents and Multi-Agent Systems · doi:10.1023/a:1010090405266 · Cited by 2,247
Qualitative Process Theory
Forbus, K. D. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90038-9 · Cited by 2,491
Intention is choice with commitment
Cohen, P. R., & Levesque, H. J. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90055-5 · Cited by 1,863
The FF Planning System: Fast Plan Generation Through Heuristic Search
Hoffmann, J., & Nebel, B. (2001) · Journal of Artificial Intelligence Research · doi:10.1613/jair.855 · Cited by 1,840
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
Fox, M., & Long, D. (2003) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1129 · Cited by 1,741
Plans and situated actions: The problem of human-machine communication
Agre, P. E. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90078-e · Cited by 1,684
EXPERT SYSTEMS WITH APPLICATIONS
Communication, S., Been-chian Chien, A., Jung Yi Lin, A., Tzung-pei Hong, B., & Com/locate/eswa, W. E. (2004) · Expert Systems with Applications · doi:10.1016/j.eswa.2004.10.010 · Cited by 1,670
Software agents: an overview
Nwana, H. S. (1996) · The Knowledge Engineering Review · doi:10.1017/s026988890000789x · Cited by 1,588
Robot Operating System 2: Design, architecture, and uses in the wild
Macenski, S., Foote, T., Gerkey, B., Lalancette, C., & Woodall, W. (2022) · Science Robotics · doi:10.1126/scirobotics.abm6074 · Cited by 1,585
Fast planning through planning graph analysis
Blum, A. L., & Furst, M. L. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00047-1 · Cited by 1,566
Agent theories, architectures, and languages: A survey
Wooldridge, M., & Jennings, N. R. (1995) · Lecture notes in computer science · doi:10.1007/3-540-58855-8_1 · Cited by 1,367
A Cognitive Model of Planning*
Hayes‐Roth, B., & Hayes-Roth, F. A. (1979) · Cognitive Science · doi:10.1207/s15516709cog0304_1 · Cited by 1,263
Planning in a hierarchy of abstraction spaces
Sacerdoti, E. D. (1974) · Artificial Intelligence · doi:10.1016/0004-3702(74)90026-5 · Cited by 1,185
Plans and resource‐bounded practical reasoning
Bratman, M. E., Israel, D. J., & Pollack, M. E. (1988) · Computational Intelligence · doi:10.1111/j.1467-8640.1988.tb00284.x · Cited by 1,137
Planning for conjunctive goals
Chapman, D. (1987) · Artificial Intelligence · doi:10.1016/0004-3702(87)90092-0 · Cited by 1,116
Decision-Theoretic Planning: Structural Assumptions and Computational Leverage
Boutilier, C. E., Dean, T., & Hanks, S. (1999) · Journal of Artificial Intelligence Research · doi:10.1613/jair.575 · Cited by 1,088
GOLOG: A Logic Programming Language for Dynamic Domains
Levesque, H., Reiter, R., Lespérance, Y., Lin, F.-Z., & Scherl, R. (1997) · The Journal of Logic Programming · doi:10.1016/s0743-1066(96)00121-5 · Cited by 1,323
Learning and executing generalized robot plans
Fikes, R. E., Hart, P. E., & Nilsson, N. J. (1972) · Artificial Intelligence · doi:10.1016/0004-3702(72)90051-3 · Cited by 1,025
Self-citation
Planning as heuristic search
Bonet, B., & Geffner, H. (2001) · Artificial Intelligence · doi:10.1016/s0004-3702(01)00108-4 · Cited by 975
The rise and potential of large language model based agents: a survey
Xi, Z., Chen, W., Guo, X., He, W., Ding, Y., Hong, B., Zhang, M., Wang, J., Jin, S., Zhou, E., et al. (2025) · Science China Information Sciences · doi:10.1007/s11432-024-4222-0 · Cited by 970
Non-monotonic logic I
McDermott, D., & Doyle, J. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90012-0 · Cited by 912
Intentions in Communication
(1990) · The MIT Press eBooks · doi:10.7551/mitpress/3839.001.0001 · Cited by 901
Reactive reasoning and planning
Georgeff, M., & Lansky, A. (1987) · National Conference on Artificial Intelligence · Cited by 888
Handbook of Knowledge Representation
Harmelen, F. V., Lifschitz, V., & Porter, B. (2008) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(07)x0300-6 · Cited by 862
The computational complexity of propositional STRIPS planning
Bylander, T. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90081-7 · Cited by 866
Bringing Semantics to Web Services: The OWL-S Approach
MARTIN, D. J., Paolucci, M., McIlraith, S. A., Burstein, M. H., McDermott, D., McGuinness, D. L., Parsia, B., Payne, T. R., Sabou, M., Solanki, M., et al. (2005) · Lecture notes in computer science · doi:10.1007/978-3-540-30581-1_4 · Cited by 822
Knowledge Representation and Reasoning
Lee, N. (2024) · Encyclopedia of Computer Graphics and Games · doi:10.1007/978-3-031-23161-2_300700 · Cited by 819
Survey of the State of the Art in Natural Language Generation: Core tasks, applications and evaluation
Gatt, A., & Krahmer, E. (2018) · Journal of Artificial Intelligence Research · doi:10.1613/jair.5477 · Cited by 776
Analyzing intention in utterances
Allen, J. F., & Perrault, C. R. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90042-9 · Cited by 769
A temporal logic for reasoning about processes and plans
McDermott, D. (1982) · Cognitive Science · doi:10.1016/s0364-0213(82)90003-9 · Cited by 758
Elements of a plan-based theory of speech acts
Cohen, P. R., & Perrault, C. R. (1979) · Cognitive Science · doi:10.1016/s0364-0213(79)80006-3 · Cited by 733
A domain-independent framework for modeling emotion
Gratch, J. S., & Marsella, S. (2004) · Cognitive Systems Research · doi:10.1016/j.cogsys.2004.02.002 · Cited by 748
How Can the Human Mind Occur in the Physical Universe?
Anderson, J. R. (2007) · doi:10.1093/acprof:oso/9780195324259.001.0001 · Cited by 1,483
Remote Agent: To Boldly Go Where No AI System Has Gone Before
Muscettola, N., Nayak, P., Pell, B., & Williams, B. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00068-x · Cited by 844
AND/OR Graph Representation of Assembly Plans
Honicm, L. S., Arthur, M., & Sanderson, C. (1986) · Cited by 687
Generating project networks
Tate, A. (1977) · International Joint Conference on Artificial Intelligence · Cited by 634
Untitled work
(1994) · Cited by 625
Actions and Events in Interval Temporal Logic
Allen, J. F., & Ferguson, G. (1997) · Springer eBooks · doi:10.1007/978-0-585-28322-7_7 · Cited by 620
ProgPrompt: Generating Situated Robot Task Plans using Large Language Models
Singh, I., Blukis, V., Mousavian, A., Goyal, A., Xu, D., Tremblay, J., Fox, D., Thomason, J., & Garg, A. (2023) · 2023 IEEE International Conference on Robotics and Automation (ICRA) · doi:10.1109/icra48891.2023.10161317 · Cited by 613
An Introduction to Least Commitment Planning
Weld, D. S. (1994) · doi:10.1609/aimag.v15i4.1109 · Cited by 588
Perceptual Structures and Distributed Motor Control
Arbib, M. A. (1981) · Comprehensive physiology · doi:10.1002/cphy.cp010233 · Cited by 584
Constraint-directed search : a case study of job-shop scheduling
Fox, M. S. (2018) · doi:10.1184/r1/6552371 · Cited by 524
Systematic nonlinear planning
McAllester, D., & Rosenblitt, D. (1991) · Cited by 525
Reaching Agreements Through Argumentation: A Logical Model and Implementation
Kraus, S., Sycara, K., & Evenchik, A. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00078-2 · Cited by 616
Narrative Planning: Balancing Plot and Character
Riedl, M. O., & Young, R. M. (2010) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2989 · Cited by 522
The nonlinear nature of plans
Sacerdoti, E. D. (1975) · Defense Technical Information Center (DTIC) · Cited by 503
Bringing Semantics to Web Services with OWL-S
MARTIN, D. J., Burstein, M. H., McDermott, D., McIlraith, S. A., Paolucci, M., Sycara, K. P., McGuinness, D. L., Evren Sirin, A., & Srinivasan, N. (2007) · World Wide Web · doi:10.1007/s11280-007-0033-x · Cited by 499
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition
Dechter, R. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90046-3 · Cited by 495
A Temporal Logic for Reasoning About Processes and Plans
McDermott, D. (1982) · Cognitive Sciences · doi:10.1207/s15516709cog0602_1 · Cited by 999
Derivational analogy : a theory of reconstructive problem solving and expertise acquisition
Carbonell, J. (2018) · KiltHub Repository · doi:10.1184/r1/6604739 · Cited by 474
Robot skills for manufacturing: From concept to industrial deployment
Pedersen, M. R., Nalpantidis, L., Andersen, R. S., Schou, C., Bøgh, S., Krüger, V., & Madsen, O. (2015) · Robotics and Computer-Integrated Manufacturing · doi:10.1016/j.rcim.2015.04.002 · Cited by 464
Recent Advances in AI Planning
Weld, D. S. (1999) · doi:10.1609/aimag.v20i2.1459 · Cited by 454
Nonmonotonic causal theories
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., & Turner, H. (2004) · Artificial Intelligence · doi:10.1016/j.artint.2002.12.001 · Cited by 509
Actions and Events in Interval Temporal Logic
Allen, J. F., & Ferguson, G. (1994) · Journal of Logic and Computation · doi:10.1093/logcom/4.5.531 · Cited by 852
Answer set programming and plan generation
Lifschitz, V. (2002) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00186-8 · Cited by 443
Unifying SAT-based and graph-based planning
Kautz, H., & Selman, B. (1999) · Cited by 429
Integrated Task and Motion Planning
Garrett, C. R., Chitnis, R., Holladay, R., Kim, B., Silver, T., Kaelbling, L. P., & Lozano‐Pérez, T. (2021) · Annual Review of Control Robotics and Autonomous Systems · doi:10.1146/annurev-control-091420-084139 · Cited by 501
Autonomous agents modelling other agents: A comprehensive survey and open problems
Albrecht, S. V., & Stone, P. (2018) · Artificial Intelligence · doi:10.1016/j.artint.2018.01.002 · Cited by 417
An architecture for adaptive intelligent systems
Hayes‐Roth, B. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00004-k · Cited by 419
The Metric-{FF} Planning System: Translating {"Ignoring Delete Lists"} To Numeric State Variables
Hoffmann, J. (2003) · Max Planck Digital Library · Cited by 410
A Survey of Methods for Safe Human-Robot Interaction
Lasota, P. A., Fong, T., & Shah, J. (2017) · Foundations and Trends in Robotics · doi:10.1561/2300000052 · Cited by 408
O-Plan: The open planning architecture
Currie, K., & Tate, A. (1991) · Artificial Intelligence · doi:10.1016/0004-3702(91)90024-e · Cited by 407
Learning by Analogy: Formulating and Generalizing Plans from Past Experience
Carbonell, J. (1983) · Springer eBooks · doi:10.1007/978-3-662-12405-5_5 · Cited by 405
COMPLEXITY RESULTS FOR SAS+ PLANNING
Bäckström, C., & Nebel, B. (1995) · Computational Intelligence · doi:10.1111/j.1467-8640.1995.tb00052.x · Cited by 399
Intelligent control
Hayes‐Roth, B. (1993) · Artificial Intelligence · doi:10.1016/0004-3702(93)90188-h · Cited by 402
Elements of a Plan‐Based Theory of Speech Acts*
Cohen, P. R., & Perrault, C. R. (1979) · Cognitive Science · doi:10.1207/s15516709cog0303_1 · Cited by 842
Generality in artificial intelligence
McCarthy, J. (1987) · Communications of the ACM · doi:10.1145/33447.33448 · Cited by 391
A Plan Recognition Model for Subdialogues in Conversations
Litman, D. J., & Allen, J. (1987) · Cognitive Science · doi:10.1016/s0364-0213(87)80005-8 · Cited by 383
Planning in Time: Windows and Durations for Activities and Goals
Vere, S. A. (1983) · IEEE Transactions on Pattern Analysis and Machine Intelligence · doi:10.1109/tpami.1983.4767389 · Cited by 382
REASONING ABOUT KNOWLEDGE AND ACTION
Moore, R. C. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50037-4 · Cited by 379
Believable Social and Emotional Agents.
Reilly, W. S. N. (1996) · Cited by 377
Learning to program in LISP
Anderson, J. R., Farrell, R., & Sauers, R. (1984) · Cognitive Science · doi:10.1016/s0364-0213(84)80013-0 · Cited by 377
Anytime Point-Based Approximations for Large POMDPs
Pineau, J., Gordon, G., & Thrun, S. (2006) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2078 · Cited by 376
Relational Reinforcement Learning
Džeroski, S., De Raedt, L., & Driessens, K. (2001) · Machine Learning · doi:10.1023/a:1007694015589 · Cited by 371
Integrating planning and learning: the PRODIGY architecture
Veloso, M., Carbonell, J., PÉREZ, A., Borrajo, D., Fink, E., & Blythe, J. (1995) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/09528139508953801 · Cited by 365
Fast Planning Through Planning Graph Analysis.
Blum, A. L., & Furst, M. L. (1995) · doi:10.21236/ada303260 · Cited by 364
Constraint propagation algorithms for temporal reasoning: a revised report
Vilain, M., Kautz, H. A., & Beek, P. V. (1989) · Elsevier eBooks · doi:10.1016/b978-1-4832-1447-4.50034-1 · Cited by 468
Agent Programming in 3APL
Hindriks, K., de Boer, F. D., van der Hoek, W., & Meyer, J. (1999) · Autonomous Agents and Multi-Agent Systems · doi:10.1023/a:1010084620690 · Cited by 417
Stochastic dynamic programming with factored representations
Boutilier, C., Dearden, R., & Goldszmidt, M. (2000) · Artificial Intelligence · doi:10.1016/s0004-3702(00)00033-3 · Cited by 361
IQA: Visual Question Answering in Interactive Environments
Gordon, D., Kembhavi, A., Rastegari, M., Redmon, J., Fox, D., & Farhadi, A. (2018) · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · doi:10.1109/cvpr.2018.00430 · Cited by 377
Cognitive Wheels: The Frame Problem of AI.
Dennett, D. C. (1984) · Cited by 353
Toward a perception-based theory of probabilistic reasoning with imprecise probabilities
Zadeh, L. A. (2002) · Journal of Statistical Planning and Inference · doi:10.1016/s0378-3758(01)00212-9 · Cited by 351
An algorithm for probabilistic planning
Kushmerick, N., Hanks, S., & Weld, D. S. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00087-h · Cited by 348
Procedural knowledge
Georgeff, M., & Lansky, A. (1986) · Proceedings of the IEEE · doi:10.1109/proc.1986.13639 · Cited by 435
UMCP: a sound and complete procedure for hierarchical task-network planning
Erol, K., Hendler, J., & Nau, D. S. (1994) · Cited by 335
To Afford or Not to Afford: A New Formalization of Affordances Toward Affordance-Based Robot Control
Şahi̇n, E., Çakmak, M., Doğar, M. R., Uğur, E., & Üçoluk, G. (2007) · Adaptive Behavior · doi:10.1177/1059712307084689 · Cited by 328
Social Dialongue with Embodied Conversational Agents
Bickmore, T., & Cassell, J. (2005) · Text, Speech and Language Technology · doi:10.1007/1-4020-3933-6_2 · Cited by 324
TALE-SPIN, an interactive program that writes stories
Meehan, J. (1977) · Cited by 315
A multivalued logic approach to integrating planning and control
Saffiotti, A., Konolige, K., & Ruspini, E. H. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00088-i · Cited by 308
JAM
Huber, M. J. (1999) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/301136.301202 · Cited by 303
Planning with incomplete information as heuristic search in belief space
Bonet, B., & Geffner, H. (2000) · Cited by 297
The 1998 AI Planning Systems Competition
McDermott, D. M. (2000) · The AI Magazine · doi:10.1609/aimag.v21i2.1506 · Cited by 294
Geometric reasoning about mechanical assembly
Wilson, R. H., & Latombe, J. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90048-5 · Cited by 292

Authors: Fikes, R. E., & Nilsson, N. J.
Affiliations: SRI International (US)
Venue: Artificial Intelligence
Publisher: Elsevier BV
Published: 1971-12
Volume: 2
Issue: 3-4
Pages: 189-208
ISSN: 0004-3702 (ISSN-L)
DOI: 10.1016/0004-3702(71)90010-5
OpenAlex: W2337392266
Cited by: 4,882
References: 13
Citations by year: 2026: 53 · 2025: 86 · 2024: 71 · 2023: 94 · 2022: 132 · 2021: 135 · 2020: 138 · 2019: 112 · 2018: 169 · 2017: 133 · 2016: 114 · 2015: 128 · 2014: 165 · 2013: 159 · 2012: 157
FWCI: 16.74
Type: journal article
Language: en
Open access: closed
Licence: www.elsevier.com/tdm/userlicense/1.0/ (tdm)
Locations: Artificial Intelligence (publishedVersion)
American Association for Artificial Intelligence eBooks
International Joint Conference on Artificial Intelligence
Topics: Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
Physical Sciences › Computer Science › Artificial Intelligence › Constraint Satisfaction and Optimization
Keywords: STRIPS, problem solving, theorem proving, means-ends analysis, world models, first-order logic, operator sequences, goal satisfaction

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review

Strips: A new approach to the application of theorem proving to problem solving

Overview

Integrity signals

Verification

Claims the paper makes

Claims other papers make about this one

Citations

Cites

Cited by

Related

Metadata

Record

About these checks