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 601–700 of 1,011

Rigor mortis: A response to Nilsson's “Logic and artificial intelligence”
Birnbaum, L. A. (1991) · Artificial Intelligence · doi:10.1016/0004-3702(91)90050-t · Cited by 52
DPOCL
Young, R. M., & Moore, J. D. (1994) · International Conference on Natural Language Generation · doi:10.3115/1641417.1641419 · Cited by 52
Computational Coordination Mechanisms: A tale of a struggle for flexibility
Cabitza, F., & Simone, C. (2013) · Computer Supported Cooperative Work (CSCW) · doi:10.1007/s10606-013-9187-5 · Cited by 50
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
Akman, V., Erdoğan, S. T., Lee, J., Lifschitz, V., & Turner, H. (2003) · Artificial Intelligence · doi:10.1016/j.artint.2003.08.002 · Cited by 51
Mental Models – General Introduction and Review of Their Application to Human-Centred Security
Volkamer, M., & Renaud, K. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-42001-6_18 · Cited by 53
Reactive high-level behavior synthesis for an Atlas humanoid robot
Maniatopoulos, S., Schillinger, P., Pong, V. H., Conner, D. C., & Kress‐Gazit, H. (2016) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra.2016.7487613 · Cited by 51
Why Can’t You Do That HAL? Explaining Unsolvability of Planning Tasks
Sreedharan, S., Srivastava, S., Smith, D. E., & Subbarao Kambhampati, B. (2019) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2019/197 · Cited by 53
TALplanner and Other Extensions to Temporal Action Logic
Kvarnström, J. (2005) · Cited by 51
Intelligent Planning of Construction Projects
Kartam, N., & Levitt, R. E. (1990) · Journal of Computing in Civil Engineering · doi:10.1061/(asce)0887-3801(1990)4:2(155 · Cited by 51
A SYSTEM AND CONTROL THEORETIC PERSPECTIVE ON ARTIFICIAL INTELLIGENCE PLANNING SYSTEMS
Passino, K. M., & Antsaklis, P. J. (1989) · Applied Artificial Intelligence · doi:10.1080/08839518908949915 · Cited by 51
Human Plausible Reasoning for Intelligent Help
Virvou, M. K., & du Boulay, B. (1999) · User Modeling and User-Adapted Interaction · doi:10.1023/a:1008385523066 · Cited by 51
A synthesis method for chemical plant operating procedures
Fusillo, R. H., & Powers, G. J. (1987) · Computers & Chemical Engineering · doi:10.1016/0098-1354(87)85018-4 · Cited by 51
An Artificial Intelligence Approach to the Scheduling of Flexible Manufacturing Systems
Shaw, M. J., & Whinston, A. B. (1989) · IIE Transactions · doi:10.1080/07408178908966221 · Cited by 51
Artificial intelligence and automatic programming in CAI
Koffman, E. B., & Blount, S. E. (1975) · Artificial Intelligence · doi:10.1016/0004-3702(75)90001-6 · Cited by 51
Agent Based Modeling and Simulation
Bandini, S., Manzoni, S., & Vizzari, G. (2009) · Springer eBooks · doi:10.1007/978-0-387-30440-3_12 · Cited by 51
A survey of visual navigation: From geometry to embodied AI
Zhang, T., Hu, X., Xiao, J., & Zhang, G. (2022) · Engineering Applications of Artificial Intelligence · doi:10.1016/j.engappai.2022.105036 · Cited by 53
Agentic AI: The age of reasoning—A review
Nisa, U., Shirazi, M., Saip, M. A., & Pozi, M. S. M. (2025) · Journal of Automation and Intelligence · doi:10.1016/j.jai.2025.08.003 · Cited by 84
Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach
Natarajan, S., Joshi, S., Tadepalli, P. V., Kristian Kersting, B., & SHAVLIK, J. W. (2011) · doi:10.5591/978-1-57735-516-8/ijcai11-239 · Cited by 50
Multiobjective heuristic state-space planning
Refanidis, I., & Vlahavas, I. P. (2003) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00371-5 · Cited by 50
Learning probabilistic relational planning rules
Pasula, H., Zettlemoyer, L., & Kaelbling, L. P. (2003) · Cited by 50
AND/OR net representation for robotic task sequence planning
Cao, T., & Sanderson, A. C. (1998) · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · doi:10.1109/5326.669552 · Cited by 50
A Vertical and Cyber–Physical Integration of Cognitive Robots in Manufacturing
Krueger, V., Chazoule, A., Crosby, M., Lasnier, A., Pedersen, M. R., Rovida, F., Nalpantidis, L., Petrick, R. P. A., Toscano, C., & Veiga, G. M. (2016) · Proceedings of the IEEE · doi:10.1109/jproc.2016.2521731 · Cited by 50
Analogy-Based Reasoning in Classifier Construction
Wojna, A. (2005) · Lecture notes in computer science · doi:10.1007/11574798_11 · Cited by 51
Intelligent mobile agents in elderly care
Camarinha-Matos, L. M., & Vieira, W. (1999) · Robotics and Autonomous Systems · doi:10.1016/s0921-8890(98)00083-9 · Cited by 50
The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning
Refanidis, I., & Vlahavas, I. P. (2001) · Journal of Artificial Intelligence Research · doi:10.1613/jair.893 · Cited by 50
A therapy planning architecture that combines decision theory and artificial intelligence techniques
Langlotz, C. P., Fagan, L. M., Tu, S. W., Sikic, B. I., & Shortliffe, E. H. (1987) · Computers and Biomedical Research · doi:10.1016/0010-4809(87)90059-0 · Cited by 48
Towards Combining HTN Planning and Geometric Task PlanningPreprint
de Silva, L., Pandey, A. K., Gharbi, M., & Alami, R. (2013) · arXiv (Cornell University) · doi:10.48550/arxiv.1307.1482 · Cited by 50
Annie: Automated Generation of Adaptive Learner Guidance for Fun Serious Games
Thomas, J. M., & Young, R. M. (2010) · IEEE Transactions on Learning Technologies · doi:10.1109/tlt.2010.32 · Cited by 48
Using artificial intelligence techniques to support project management
Levitt, R. E., & Kunz, J. (1987) · Artificial intelligence for engineering design analysis and manufacturing · doi:10.1017/s0890060400000111 · Cited by 49
A Reminder about the Importance of Computing and Exploiting Invariants in Planning
Alcázar, V., & Torralba, Á. (2015) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v25i1.13708 · Cited by 49
Learning action models with minimal observability
Aineto, D., Jiménez Celorrio, S., & Onaindia, E. (2019) · Artificial Intelligence · doi:10.1016/j.artint.2019.05.003 · Cited by 57
Case-based planning
Cox, M. T., Muñoz‐Avila, H., & Bergmann, R. (2005) · The Knowledge Engineering Review · doi:10.1017/s0269888906000592 · Cited by 49
WSBen: A Web Services Discovery and Composition Benchmark
Oh, S., Kil, H., Lee, D., & Kumara, S. T. (2006) · IEEE International Conference on Web Services (ICWS) · doi:10.1109/icws.2006.148 · Cited by 49
Alma-O
Apt, K. R., Brunekreef, J., Partington, V., & Schaerf, A. (1998) · ACM Transactions on Programming Languages and Systems · doi:10.1145/293677.293679 · Cited by 49
A linguistic approach to geometric reasoning
Stilman, B. (1993) · Computers & Mathematics with Applications · doi:10.1016/0898-1221(93)90049-2 · Cited by 49
A Resource Logic for Multi-Agent Plan Merging
Weerdt, M. M. D., Bos, A., Tonino, H., & Witteveen, C. (2003) · Annals of Mathematics and Artificial Intelligence · doi:10.1023/a:1020236119243 · Cited by 49
A reliable natural language interface to household appliances
Yates, A., Etzioni, O., & Weld, D. S. (2003) · ACM International Conference on Intelligent User Interfaces (IUI) · doi:10.1145/604045.604075 · Cited by 49
Opportunistic control of action in intelligent agents
Hayes‐Roth, B. (1993) · IEEE Transactions on Systems Man and Cybernetics · doi:10.1109/21.257755 · Cited by 49
Path Planning in Dynamic Environment using Fuzzy Cognitive Maps
Vaščák, J., & Rutrich, M. (2008) · IEEE World Symposium on Applied Machine Intelligence and Informatics (SAMI) · doi:10.1109/sami.2008.4469153 · Cited by 48
Behavior Trees for Computer Games
Sekhavat, Y. A. (2017) · International Journal of Artificial Intelligence Tools · doi:10.1142/s0218213017300010 · Cited by 48
Autonomous Navigation Framework for Intelligent Robots Based on a Semantic Environment Modeling
Joo, S.-H., Manzoor, S., Rocha, Y. G., Bae, S.-H., Lee, K.-H., Kuc, T., & Kim, M. (2020) · Applied Sciences · doi:10.3390/app10093219 · Cited by 49
Verifiable Self-Aware Agent-Based Autonomous Systems
Dennis, L. A., & Fisher, M. (2020) · Proceedings of the IEEE · doi:10.1109/jproc.2020.2991262 · Cited by 48
Integrating AI planning techniques with workflow management system
R-Moreno, M. D., & Kearney, P. (2002) · Knowledge-Based Systems · doi:10.1016/s0950-7051(01)00167-8 · Cited by 48
ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions
Bui, T. D., Heylen, D., Poel, M., & Nijholt, A. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45751-8_9 · Cited by 48
Network Languages for Complex Systems
Stilman, B. (1993) · Computers & Mathematics with Applications · doi:10.1016/0898-1221(93)90331-o · Cited by 48
Planning and Control in Artificial Intelligence: A Unifying Perspective
Bonet, B., & Geffner, H. (2001) · Applied Intelligence · doi:10.1023/a:1011286518035 · Cited by 48
Managing the Flow of Ideas: A Local Management Approach to Message Design
O’Keefe, B. J., & Lambert, B. L. (1995) · Annals of the International Communication Association · doi:10.1080/23808985.1995.11678907 · Cited by 48
A knowledge representation and inference system for procedural law
Nitta, K., Nagao, J., & Mizutori, T. (1988) · New Generation Computing · doi:10.1007/bf03037414 · Cited by 48
The strategic level and the tactical level of behaviour
Ruini, F., Petrosino, G., Saglimbeni, F., & Parisi, D. (2010) · Institution of Engineering and Technology eBooks · doi:10.1049/pbce071e_ch10 · Cited by 47
PlanSys2: A Planning System Framework for ROS2
Martín, F., Ginés, J., Olivera, V. M., & Rodríguez-Lera, F. J. (2021) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros51168.2021.9636544 · Cited by 47
Progress in Case-Based Planning
Borrajo, D., Roubickova, A., & Serina, I. (2015) · ACM Computing Surveys · doi:10.1145/2674024 · Cited by 47
KVP: A knowledge of volumes approach to robot task planning
Gaschler, A., Petrick, R. P. A., Giuliani, M., Rickert, M., & Knoll, A. (2013) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2013.6696354 · Cited by 47
IQ-ASyMTRe: Forming Executable Coalitions for Tightly Coupled Multirobot Tasks
Zhang, Y., & Parker, L. E. (2012) · IEEE Transactions on Robotics · doi:10.1109/tro.2012.2228135 · Cited by 47
Adaptively distributing cognition: A decision-making perspective on human - computer interaction
Payne, S. J., Howes, A., & Reader, W. R. (2001) · Behaviour and Information Technology · doi:10.1080/01449290110078680 · Cited by 47
Angelic hierarchical planning: optimal and online algorithms
Marthi, B., Russell, S., & Wolfe, J. (2008) · Cited by 47
A Formal Model-Based Design Method for Robotic Systems
Wang, R., Guan, Y., Song, H. H., Li, X., Li, X., Shi, Z., & Xiaoyu Song, B. (2018) · IEEE Systems Journal · doi:10.1109/jsyst.2018.2867285 · Cited by 47
Decision Theory, the Situation Calculus and Conditional Plans
Poole, D. (1998) · Cited by 47
On the Computational Complexity of Temporal Projection, Planning, and Plan Validation
Nebel, B., & Bäckström, C. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90005-1 · Cited by 62
Diagnosis of single and multi-agent plans
Witteveen, C., Roos, N., van der Krogt, R., & Weerdt, M. M. D. (2005) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/1082473.1082596 · Cited by 47
Artificial intelligence and rational self-government
Doyle, J. (2018) · KiltHub Repository · doi:10.1184/r1/6603662 · Cited by 47
Toward a Theory of Communication and Cooperation for Multiagent Planning
Werner, E. J. (1988) · Cited by 47
User Interface Affordances in a Planning Representation
Amant, R. S. (1999) · Hum. Comput. Interact. · doi:10.1207/s15327051hci1403_3 · Cited by 65
A distributed knowledge-based approach to flexible automation: The contract net framework
Shaw, M. J., & Whinston, A. B. (1988) · International Journal of Flexible Manufacturing Systems · doi:10.1007/bf00713160 · Cited by 47
An automatic assembly planning system
Huang, Y. F., & Lee, C. S. G. (2002) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1990.126237 · Cited by 47
A procedural logic
Georgeff, M., Lansky, A., & Bessìère, P. (1985) · International Joint Conference on Artificial Intelligence · Cited by 47
ASC: Adaptive Skill Coordination for Robotic Mobile Manipulation
Yokoyama, N., Clegg, A., Truong, J., Undersander, E., Yang, T.-Y., Arnaud, S., Ha, S., Batra, D., & Rai, A. (2023) · IEEE Robotics and Automation Letters · doi:10.1109/lra.2023.3336109 · Cited by 46
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators
Francés, G. M., Ramírez, M., Lipovetzky, N., & Geffner, H. (2017) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2017/600 · Cited by 46
Case-Based Plan Recognition in Computer Games
Fagan, M., & Cunningham, P. (2007) · Springer eBooks · doi:10.1007/3-540-45006-8_15 · Cited by 46
Coordinated execution of tasks in a multiagent environment
King, J., Pretty, R., & Gosine, R. G. (2003) · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · doi:10.1109/tsmca.2003.817387 · Cited by 46
Causation, Action, and Counterfactuals
Pearl, J. (1997) · Springer eBooks · doi:10.1007/978-94-017-0487-8_18 · Cited by 46
An overview of nonprocedural languages
Leavenoworth, B. M., & Sammet, J. Ε. (1974) · doi:10.1145/800233.807040 · Cited by 46
On the complexity of planning for agent teams and its implications for single agent planning
Brafman, R. I., & Domshlak, C. (2012) · Artificial Intelligence · doi:10.1016/j.artint.2012.08.005 · Cited by 45
What Is Robotics? Why Do We Need It and How Can We Get It?
Koditschek, D. E. (2021) · Annual Review of Control Robotics and Autonomous Systems · doi:10.1146/annurev-control-080320-011601 · Cited by 51
Linear temporal logic as an executable semantics for planning languages
Mayer, M. C., Limongelli, C., Orlandini, A., & Poggioni, V. (2006) · Journal of Logic Language and Information · doi:10.1007/s10849-006-9022-1 · Cited by 45
On the Compilability and Expressive Power of Propositional Planning Formalisms
Nebel, B. (2000) · Journal of Artificial Intelligence Research · doi:10.1613/jair.735 · Cited by 45
Context aware service composition
Vuković, M. (2021) · doi:10.48456/tr-700 · Cited by 45
An architecture for adversarial planning
Applegate, C., Elsaesser, C., & Sanborn, J. (1990) · IEEE Transactions on Systems Man and Cybernetics · doi:10.1109/21.47820 · Cited by 45
High-Level Planning and Control with Incomplete Information Using POMDP's
Bonet, B. (1998) · Cited by 45
A Review of knowledge-based planning techniques
Tate, A. (1984) · The Knowledge Engineering Review · doi:10.1017/s0269888900000485 · Cited by 48
CaMeL: Learning Method Preconditions for HTN Planning
Ilghami, O., Nau, D. S., Muñoz‐Avila, H., & Aha, D. W. (2006) · doi:10.21236/ada448055 · Cited by 45
An Integrative Framework for Artificial Intelligence Education
Langley, P. (2019) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v33i01.33019670 · Cited by 48
Intuitive task programming of stud welding robots for ship construction
Andersen, R. S., Bøgh, S., Moeslund, T. B., & Madsen, O. (2015) · IEEE International Conference on Industrial Technology (ICIT) · doi:10.1109/icit.2015.7125587 · Cited by 44
Goal Recognition Design for Non-Optimal Agents
Keren, S., Gal, A., & Karpas, E. (2015) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v29i1.9645 · Cited by 44
Landmark-based approaches for goal recognition as planning
Pereira, R. F., Oren, N., & Meneguzzi, F. R. (2020) · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · doi:10.1016/j.artint.2019.103217 · Cited by 44
Projection Using Regression and Sensors
Giacomo, G. D., & Levesque, H. J. (1999) · Cited by 44
Augmenting BDI Agents with Deliberative Planning Techniques
Walczak, A., Braubach, L., Pokahr, A., & Lamersdorf, W. (2007) · Springer eBooks · doi:10.1007/978-3-540-71956-4_7 · Cited by 44
An overview on test generation from functional requirements
Escalona, M. J., Gutiérrez, J., Mejías, M., Aragón, G., Ramos, I. M., Valderrama, J. T., & Mayo, F. J. D. (2011) · Journal of Systems and Software · doi:10.1016/j.jss.2011.03.051 · Cited by 44
Generating Task-Oriented Interactions of Service Robots
Kim, Y., & Yoon, W. C. (2014) · IEEE Transactions on Systems Man and Cybernetics Systems · doi:10.1109/tsmc.2014.2298214 · Cited by 44
Genetic programming for medical classification: a program simplification approach
Zhang, M., & Wong, P. (2008) · Genetic Programming and Evolvable Machines · doi:10.1007/s10710-008-9059-9 · Cited by 44
Self-Imitation and Environmental Scaffolding for Robot Teaching
Saunders, J., Nehaniv, C. L., Dautenhahn, K., & Alissandrakis, A. (2007) · International Journal of Advanced Robotic Systems · doi:10.5772/5703 · Cited by 44
Autonomous vehicles
Meyrowitz, A. L., Blidberg, D. R., & Michelson, R. C. (1996) · Proceedings of the IEEE · doi:10.1109/5.533960 · Cited by 44
Expressive equivalence of planning formalisms
Bäckström, C. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00081-b · Cited by 44
A First Order Theory of Planning, Knowledge, and Action
Morgenstern, L. (1986) · Elsevier eBooks · doi:10.1016/b978-0-934613-04-0.50010-7 · Cited by 44
GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables
Refanidis, I., & Vlahavas, I. P. (2000) · Lecture notes in computer science · doi:10.1007/10720246_27 · Cited by 44
Taxonomic Plan Reasoning
Devanbu, P. T., & Litman, D. (1996) · Artificial Intelligence · doi:10.1016/0004-3702(95)00091-7 · Cited by 59
GODDESS: A Goal-Directed Decision Structuring System
Pearl, J., Millán, A. G. L., & Saleh, J. (1982) · IEEE Transactions on Pattern Analysis and Machine Intelligence · doi:10.1109/tpami.1982.4767242 · Cited by 44
Overloading Intentions for Efficient Practical Reasoning
Pollack, M. E. (1991) · Noûs · doi:10.2307/2216076 · Cited by 44
ARGO: AN ANALOGICAL REASONING SYSTEM FOR SOLVING DESIGN PROBLEMS
Huhns, M. N., & Acosta, R. D. (1992) · Elsevier eBooks · doi:10.1016/b978-0-12-660562-4.50010-8 · Cited by 44
Reinventing Shakey
Shanahan, M. (2000) · Springer eBooks · doi:10.1007/978-1-4615-1567-8_11 · Cited by 44
Planning with Smart Objects
Abacı, T., Cı́ger, J., & Thalmann, D. (2005) · Cited by 43

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