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

Items 101–200 of 1,011

A plan-based analysis of indirect speech acts
Perrault, C. R., & Allen, J. F. (1980) · doi:10.5555/972537.972540 · Cited by 288
Automatically generating abstractions for planning
Knoblock, C. A. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90069-8 · Cited by 288
Inner Monologue: Embodied Reasoning through Planning with Language Models
Huang, W., Xia, F., Xiao, T., Chan, H., Liang, J., Florence, P., Zeng, A., Tompson, J., Mordatch, I., Chebotar, Y., et al. (2022) · arXiv · doi:10.48550/arxiv.2207.05608 · Cited by 287
Learning to Program in LISP1
Anderson, J. R., Farrell, R., & Sauers, R. (1984) · Cognitive Science · doi:10.1207/s15516709cog0802_1 · Cited by 422
The Cambridge Handbook of Artificial Intelligence
Alonso, E. (2014) · Cambridge University Press eBooks · doi:10.1017/cbo9781139046855 · Cited by 304
Planning for temporally extended goals
Fahiem Bacchus, A., & Kabanza, F. (1998) · Annals of Mathematics and Artificial Intelligence · doi:10.1023/a:1018985923441 · Cited by 280
Planning in interplanetary space: theory and practice
Jónsson, A., Morris, P. H., Muscettola, N., Rajan, K., & Smith, B. (2000) · Cited by 279
Ordered Landmarks in Planning
Hoffmann, J., Porteous, J., & Sebastiá, L. (2004) · Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) · Cited by 277
Encoding plans in propositional logic
Kautz, H., McAllester, D., & Selman, B. (1996) · Cited by 273
Planning with Pattern Databases
Edelkamp, S. (2014) · Cited by 270
Achieving Several Goals Simultaneously**The research reported herein was sponsored by the National Science Foundation under Grant GJ-36146.
Waldinger, R. J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50022-2 · Cited by 263
Planning using a temporal world model
Allen, J. F., & Koomen, J. A. G. M. (1983) · Cited by 263
A Hybrid Approach to Intricate Motion, Manipulation and Task Planning
Cambon, S., Alami, R., & Gravot, F. (2009) · The International Journal of Robotics Research · doi:10.1177/0278364908097884 · Cited by 256
Negotiated Collusion: Modeling Social Language and its Relationship Effects in Intelligent Agents
Cassell, J., & Bickmore, T. (2003) · User Modeling and User-Adapted Interaction · doi:10.1023/a:1024026532471 · Cited by 253
Relational agents : effecting change through human-computer relationships
Bickmore, T. (2003) · Cited by 252
Reasoning about action I
Ginsberg, M. L., & Smith, D. E. (1988) · Artificial Intelligence · doi:10.1016/0004-3702(88)90011-2 · Cited by 252
Conditional Nonlinear Planning
Peot, M. A., & Smith, D. E. (1992) · Elsevier eBooks · doi:10.1016/b978-0-08-049944-4.50027-6 · Cited by 252
Improving Robot Controller Transparency Through Autonomous Policy Explanation
Hayes, B., & Shah, J. A. (2017) · IEEE/ACM International Conference on Human-Robot Interaction · doi:10.1145/2909824.3020233 · Cited by 359
Case-based planning: A framework for planning from experience
Hammond, K. J. (1990) · Cognitive Science · doi:10.1016/0364-0213(90)90018-r · Cited by 250
Declarative Agent Languages and Technologies IV
BALDONI, M., & Endriss, U. (2006) · Lecture notes in computer science · doi:10.1007/11961536 · Cited by 247
Plan recognition as planning
Ramírez, M., & Geffner, H. (2009) · Cited by 244
From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning
Konidaris, G., Kaelbling, L. P., & Lozano‐Pérez, T. (2018) · Journal of Artificial Intelligence Research · doi:10.1613/jair.5575 · Cited by 250
ON THE SEMANTICS OF STRIPS
Lifschitz, V. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-30-9.50004-4 · Cited by 237
Explainable Reinforcement Learning: A Survey and Comparative Review
Milani, S., Topin, N., Veloso, M., & Fang, F. (2023) · ACM Computing Surveys · doi:10.1145/3616864 · Cited by 347
On the undecidability of probabilistic planning and related stochastic optimization problems
Madani, O., Hanks, S., & Condon, A. (2003) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00378-8 · Cited by 234
Issue-based Dialogue Management
Larsson, S. (2002) · Cited by 232
A Concise Introduction to Models and Methods for Automated Planning
Geffner, H., & Bonet, B. (2013) · Synthesis lectures on artificial intelligence and machine learning · doi:10.2200/s00513ed1v01y201306aim022 · Cited by 233
Integrating planning, execution and monitoring
Ambros‐Ingerson, J., & Steel, S. (1988) · National Conference on Artificial Intelligence · Cited by 227
Autonomous Military Robotics: Risk, Ethics, and Design
Lin, P. K., Bekey, G. A., & Abney, K. (2008) · doi:10.21236/ada534697 · Cited by 227
From decision theory to decision aiding methodology
Tsoukiàs, A. (2007) · European Journal of Operational Research · doi:10.1016/j.ejor.2007.02.039 · Cited by 252
Expert crowdsourcing with flash teams
Retelny, D., Robaszkiewicz, S., To, A., Lasecki, W. S., Patel, J., Rahmati, N., Doshi, T. S., Valentine, M., & Bernstein, M. S. (2014) · ACM Symposium on User Interface Software and Technology (UIST) · doi:10.1145/2642918.2647409 · Cited by 232
Complexity results for HTN planning
Erol, K., Hendler, J., & Nau, D. S. (1996) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/bf02136175 · Cited by 222
The Pleadings Game
Gordon, T. F. (1994) · Artificial Intelligence and Law · doi:10.1007/bf00871972 · Cited by 222
A planning system for robot construction tasks
Fahlman, S. E. (1974) · Artificial Intelligence · doi:10.1016/0004-3702(74)90008-3 · Cited by 220
Planning as Model Checking
Giunchiglia, F., & Traverso, P. (2000) · Lecture notes in computer science · doi:10.1007/10720246_1 · Cited by 219
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Norvig, P. (1992) · Cited by 219
A case study in programming a quantum annealer for hard operational planning problems
Rieffel, E. G., Venturelli, D., O’Gorman, B., Do, M. B., Prystay, E. M., & Smelyanskiy, V. (2014) · Quantum Information Processing · doi:10.1007/s11128-014-0892-x · Cited by 221
A robust and fast action selection mechanism for planning
Bonet, B., Loerincs, G., & Geffner, H. (1997) · Cited by 216
On the undecidability of probabilistic planning and infinite-horizon partially observable Markov decision problems
Madani, O., Hanks, S., & Condon, A. (1999) · Cited by 213
Believable agents: building interactive personalities
Loyall, A. B. (1997) · Cited by 211
TextWorld: A Learning Environment for Text-Based Games
Côté, M.-A., Kádár, Á., Yuan, X., Kybartas, B., Barnes, T., Fine, E., Moore, J. A. Y., Hausknecht, M., Asri, L. E., Adada, M., et al. (2019) · Communications in computer and information science · doi:10.1007/978-3-030-24337-1_3 · Cited by 210
Counterfactuals
Ginsberg, M. L. (1986) · Artificial Intelligence · doi:10.1016/0004-3702(86)90067-6 · Cited by 218
Artificial Intelligence, Logic and Formalizing Common Sense
McCarthy, J. (1989) · Springer eBooks · doi:10.1007/978-94-009-2448-2_6 · Cited by 208
Meta-rules: Reasoning about control
Davis, R. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90043-0 · Cited by 208
Constraint-Based Attribute and Interval Planning
Frank, J., & Jónsson, A. (2003) · Constraints · doi:10.1023/a:1025842019552 · Cited by 206
Learning while searching in constraint-satisfaction-problems
Dechter, R. (1986) · Cited by 206
Complexity, decidability and undecidability results for domain-independent planning
Erol, K., Nau, D. S., & Subrahmanian, V. S. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00080-k · Cited by 205
STRATEGIES OF COOPERATION IN DISTRIBUTED PROBLEM SOLVING††The work reported here was supported by Contract MDA903-82-C-0061 from the Information Processing Technology Office of the Defense Advanced Projects Agency (DOD).
Cammarata, S. J., McArthur, D., & Steeb, R. (1988) · Elsevier eBooks · doi:10.1016/b978-0-934613-63-7.50012-7 · Cited by 205
A Framework for Push-Grasping in Clutter
Doğar, M. R., & Srinivasa, S. S. (2011) · Robotics: Science and Systems · doi:10.15607/rss.2011.vii.009 · Cited by 203
The Automatic Inference of State Invariants in TIM
Fox, M., & Long, D. P. (1998) · Journal of Artificial Intelligence Research · doi:10.1613/jair.544 · Cited by 200
Explaining and repairing plans that fail
Hammond, K. J. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90040-7 · Cited by 200
Planning under time constraints in stochastic domains
Dean, T., Kaelbling, L. P., Kirman, J., & Nicholson, A. E. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00086-g · Cited by 201
Learning action models from plan examples using weighted MAX-SAT
Yang, Q., Wu, K., & Jiang, Y. (2007) · Artificial Intelligence · doi:10.1016/j.artint.2006.11.005 · Cited by 206
Logic and artificial intelligence
Nilsson, N. J. (1991) · Artificial Intelligence · doi:10.1016/0004-3702(91)90049-p · Cited by 198
Self-citation
Derivational Analogy in PRODIGY: Automating Case Acquisition, Storage, and Utilization
Veloso, M., & Carbonell, J. (1993) · Machine Learning · doi:10.1023/a:1022686910523 · Cited by 198
The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' to Numeric State Variables
Hoffmann, J. (2003) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1144 · Cited by 197
Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators
Botea, A., Enzenberger, M., Mueller, M., & Schaeffer, J. (2005) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1696 · Cited by 197
Maintaining Knowledge about Temporal Intervals
Allen, J. F. (1990) · Elsevier eBooks · doi:10.1016/b978-1-4832-1447-4.50033-x · Cited by 196
Execution monitoring in robotics: A survey
Pettersson, O. (2005) · Robotics and Autonomous Systems · doi:10.1016/j.robot.2005.09.004 · Cited by 195
Planning and Acting*
McDermott, D. (1978) · Cognitive Science · doi:10.1016/s0364-0213(78)80001-9 · Cited by 194
Relational reinforcement learning
Džeroski, S., Raedt, L. D., & Blockeel, H. (1998) · Lecture notes in computer science · doi:10.1007/bfb0027307 · Cited by 196
PDDLStream: Integrating Symbolic Planners and Blackbox Samplers via Optimistic Adaptive Planning
Garrett, C. R., Lozano-Pérez, T., & Kaelbling, L. P. (2020) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v30i1.6739 · Cited by 191
A Collaborative Planning Model of Intentional Structure
Lochbaum, K. E. (1998) · Cited by 192
Tell me Dave: Context-sensitive grounding of natural language to manipulation instructions
Misra, D., Sung, J., Lee, K., & Saxena, A. (2014) · Int. J. Robotics Res. · doi:10.1177/0278364915602060 · Cited by 313
Model Checking vs. Theorem Proving: A Manifesto
Halpern, J. Y., & Vardi, M. Y. (1991) · Elsevier eBooks · doi:10.1016/b978-0-12-450010-5.50015-3 · Cited by 190
Building Multirobot Coalitions Through Automated Task Solution Synthesis
Parker, L. E., & Tang, F. (2006) · Proceedings of the IEEE · doi:10.1109/jproc.2006.876933 · Cited by 189
From one to many: planning for loosely coupled multi-agent systems
Brafman, R. I., & Domshlak, C. (2008) · Cited by 188
Model-based programming of intelligent embedded systems and robotic space explorers
Williams, B. C., Ingham, M. D., Chung, S., & Elliott, P. H. (2003) · Proceedings of the IEEE · doi:10.1109/jproc.2002.805828 · Cited by 187
Untitled work
(2010) · Cited by 186
Learning Symbolic Models of Stochastic Domains
Pasula, H., Zettlemoyer, L., & Kaelbling, L. P. (2007) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2113 · Cited by 185
THE EVOLVING ROLES OF MODELS IN DECISION SUPPORT SYSTEMS*
BONCZEK, R. H., Holsapple, C. W., & Whinston, A. B. (1980) · Decision Sciences · doi:10.1111/j.1540-5915.1980.tb01143.x · Cited by 184
Interpreting discourse: Coherence and the analysis of ethnographic interviews
Agar, M., & Hobbs, J. R. (1982) · Discourse Processes · doi:10.1080/01638538209544529 · Cited by 188
Conversational Case-Based Reasoning
Aha, D. W., Breslow, L. A., & Muñoz‐Avila, H. (2001) · Applied Intelligence · doi:10.1023/a:1008346807097 · Cited by 182
Ramification and causality
Thielscher, M. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00033-1 · Cited by 181
Web Service Composition as AI Planning { a Survey ⁄
Peer, J. (2005) · Cited by 179
Planning for Contingencies: A Decision-based Approach
Pryor, L. M., & Collins, G. C. (1996) · Journal of Artificial Intelligence Research · doi:10.1613/jair.277 · Cited by 178
Computational research on interaction and agency
Agre, P. E. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00054-5 · Cited by 176
Statistical Relational Artificial Intelligence
Raedt, L. D., Kersting, K., Natarajan, S., & Poole, D. (2016) · Synthesis lectures on artificial intelligence and machine learning · doi:10.2200/s00692ed1v01y201601aim032 · Cited by 267
A cognitive approach to human communication: An action assembly theory
Greene, J. O. (1984) · Communication Monographs · doi:10.1080/03637758409390203 · Cited by 175
Planning in a hierarchy of abstraction spaces
Sacerdott, E. D. (1973) · Cited by 176
Local Search Algorithms for SAT: An Empirical Evaluation
Hoos, H. H., & Stützle, T. (2000) · Journal of Automated Reasoning · doi:10.1023/a:1006350622830 · Cited by 175
Coordinating, Planning and Control
Dean, T. (1991) · Defense Technical Information Center (DTIC) · doi:10.21236/ada254568 · Cited by 174
Monotonic Solution of The Frame Problem in The Situation Calculus
Schubert, L. K. (1990) · Studies in cognitive systems · doi:10.1007/978-94-009-0553-5_2 · Cited by 172
The uses of plans
Pollack, M. E. (1992) · Artificial Intelligence · doi:10.1016/0004-3702(92)90104-6 · Cited by 168
Complexity results for planning
Bylander, T. (1991) · International Joint Conference on Artificial Intelligence · Cited by 167
Planning english referring expressions
Appelt, D. E. (1985) · Artificial Intelligence · doi:10.1016/0004-3702(85)90011-6 · Cited by 167
A comprehensive framework for testing graphical user interfaces
Soffa, M. L., & Memon, A. M. (2001) · Cited by 166
CPlan: a constraint programming approach to planning
van Beek, P., & Chen, X. (1999) · Cited by 166
Brainchildren: essays on designing minds
(1998) · Choice Reviews Online · doi:10.5860/choice.35-6203 · Cited by 165
Representations for robot knowledge in the KnowRob framework
Tenorth, M., & Beetz, M. (2017) · Artificial Intelligence · doi:10.1016/j.artint.2015.05.010 · Cited by 173
Hive: distributed agents for networking things
Minar, N., Gray, M., Roup, O., Krikorian, R., & Maes, P. (2003) · International Symposium on Agent Systems and Applications and International Symposium on Mobile Agents (ASA/MA) · doi:10.1109/asama.1999.805398 · Cited by 163
Expert computer systems
Nau (1983) · Computer · doi:10.1109/mc.1983.1654302 · Cited by 162
Persistence, Intention, and Commitment
Cohen, P. R., & Levesque, H. J. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-30-9.50016-0 · Cited by 161
Incremental Task and Motion Planning: A Constraint-Based Approach
Dantam, N. T., Kingston, Z. K., Chaudhuri, S., & Kavraki, L. E. (2016) · Robotics: Science and Systems · doi:10.15607/rss.2016.xii.002 · Cited by 160
Artificial Intelligence
Poole, D., & Mackworth, A. K. (2017) · Cambridge University Press eBooks · doi:10.1017/9781108164085 · Cited by 173
Toward an interdisciplinary theory of coordinationPreprint
Malone, T. W., & Crowston, K. (1991) · RePEc: Research Papers in Economics · Cited by 159
How to progress a database
Lin, F., & Reiter, R. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00044-6 · Cited by 155
The eightfold way of deliberation dialogue
McBurney, P., Hitchcock, D. L., & Parsons, S. (2006) · International Journal of Intelligent Systems · doi:10.1002/int.20191 · Cited by 159
Automated composition of Web services via planning in asynchronous domains
Bertoli, P., Pistore, M., & Traverso, P. (2009) · Artificial Intelligence · doi:10.1016/j.artint.2009.12.002 · Cited by 155
Object–Action Complexes: Grounded abstractions of sensory–motor processes
Krüger, N., Geib, C., Piater, J., Petrick, R. P. A., Steedman, M. J., Wörgötter, F., Ude, A., Asfour, T., Kraft, D., Omrčen, D., et al. (2011) · Robotics and Autonomous Systems · doi:10.1016/j.robot.2011.05.009 · Cited by 155

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