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 701–800 of 1,011

Advanced user assistance based on AI planning
Biundo, S., Bercher, P., Geier, T., Müller, F., & Schattenberg, B. (2010) · Cognitive Systems Research · doi:10.1016/j.cogsys.2010.12.005 · Cited by 43
New trends in constraint satisfaction, planning, and scheduling: a survey
Barták, R., Salido, M. A., & Rossi, F. (2010) · Knowledge engineering review (Print) · doi:10.1017/s0269888910000202 · Cited by 44
The PORSCE II framework: using AI planning for automated Semantic Web service composition
Hatzi, O., Vrakas, D., Bassiliades, N., Anagnostopoulos, D., & Vlahavas, I. P. (2013) · The Knowledge Engineering Review · doi:10.1017/s0269888912000392 · Cited by 43
Goal Recognition in Latent Space
Amado, L., Pereira, R. F., Aires, J. P., Magnaguagno, M. C., Granada, R., & Meneguzzi, F. R. (2018) · International Joint Conference on Neural Networks (IJCNN) · doi:10.1109/ijcnn.2018.8489653 · Cited by 43
Learning Domain-Independent Planning Heuristics with Hypergraph Networks
Shen, W., Trevizan, F., & Thiébaux, S. (2020) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v30i1.6754 · Cited by 43
The Search for Adaptability, Flexibility, and Individualization: Approaches to Curriculum in Intelligent Tutoring Systems
McCalla, G. I. (1992) · Springer eBooks · doi:10.1007/978-3-642-77512-3_6 · Cited by 43
Learning Declarative Control Rules for Constraint-BAsed Planning
Huang, Y., Selman, B., & Kautz, H. (2000) · Cited by 43
Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan
Srivastava, B., Subbarao Kambhampati, B., & Do, M. B. (2001) · Artificial Intelligence · doi:10.1016/s0004-3702(01)00122-9 · Cited by 43
AN IMPLEMENTATION OF A MULTI-AGENT PLAN SYNCHRONIZER
Stuart, C. (1988) · Elsevier eBooks · doi:10.1016/b978-0-934613-63-7.50025-5 · Cited by 43
Genetic programming and AI planning systems
Spector, L. C. (1994) · Cited by 43
Robot motion planning with uncertainty in the geometric models of the robot and environment: A formal framework for error detection and recovery
Donald, B. R. (1986) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1986.1087480 · Cited by 43
The roles of associational and causal reasoning in problem solving
Simmons, R. G. (1992) · Artificial Intelligence · doi:10.1016/0004-3702(92)90070-e · Cited by 43
THE REPRESENTATION OF EVENTS IN MULTIAGENT DOMAINS
Georgeff, M. (1988) · Elsevier eBooks · doi:10.1016/b978-0-934613-63-7.50024-3 · Cited by 43
Answering Questions about Complex Events
Sinha, S. (2008) · UC Berkeley · Cited by 43
Functional Strips: A More Flexible Language for Planning and Problem Solving
Geffner, H. (2000) · Springer eBooks · doi:10.1007/978-1-4615-1567-8_9 · Cited by 42
Building behavior trees from observations in real-time strategy games
Robertson, G., & Watson, I. D. (2015) · International Conference on Innovations in Intelligent Systems and Applications (INISTA) · doi:10.1109/inista.2015.7276774 · Cited by 42
Specification and Analysis of Dynamic Authorisation Policies
Becker, M. Y. (2009) · IEEE Computer Security Foundations Workshop (CSFW) · doi:10.1109/csf.2009.14 · Cited by 42
Models and methods for plan diagnosis
Roos, N., & Witteveen, C. (2007) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-007-9017-6 · Cited by 42
A modular action description language
Lifschitz, V., & Ren, W. (2006) · Cited by 42
Towards Shared Autonomy for Robotic Tasks in Manufacturing
Pichler, A., Akkaladevi, S. C., Ikeda, M., Hofmann, M., Plasch, M., Wögerer, C., & Fritz, G. (2017) · Procedia Manufacturing · doi:10.1016/j.promfg.2017.07.139 · Cited by 42
Unsolvability Certificates for Classical Planning
Eriksson, S., Röger, G., & Helmert, M. (2017) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v27i1.13818 · Cited by 42
Modelling reversible execution of robotic assembly
Laursen, J. S., Ellekilde, L., & Schultz, U. P. (2018) · Robotica · doi:10.1017/s0263574717000613 · Cited by 42
Semantic Robot Programming for Goal-Directed Manipulation in Cluttered Scenes
Zeng, Z., Zhou, Z., Sui, Z., & Jenkins, O. C. (2018) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra.2018.8460538 · Cited by 43
Towards Deliberative Control in Marine Robotics
Rajan, K., Py, F., & Barreiro, J. (2012) · Springer eBooks · doi:10.1007/978-1-4614-5659-9_3 · Cited by 42
Theories of abstraction
Giunchiglia, F., Villafiorita, A., & Walsh, T. (1997) · Cited by 42
Control knowledge in planning: benefits and tradeoffs
Huang, Y., Selman, B., & Kautz, H. (1999) · Cited by 42
A general programming language for unified planning and control
Levinson, R. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00075-c · Cited by 42
Requirements for belief models in cooperative dialogue
Taylor, J. A., Carletta, J., & Mellish, C. (1996) · User Modeling and User-Adapted Interaction · doi:10.1007/bf00126653 · Cited by 42
ACTIONS, PROCESSES, AND CAUSALITY
Georgeff, M. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-30-9.50008-1 · Cited by 42
A formal logic of plans in temporally rich domains
Pelavin, R., & Allen, J. F. (1986) · Proceedings of the IEEE · doi:10.1109/proc.1986.13638 · Cited by 52
End-to-End Service Support for Mashups
Bouguettaya, A., Nepal‬, ‪., Sherchan, W., Zhou, X., Wu, J. X., Chen, S., Liu, D., Li, L., Wang, H., & Liu, X. (2010) · IEEE Transactions on Services Computing · doi:10.1109/tsc.2010.34 · Cited by 41
A Formal Theory of Commonsense Psychology: How People Think People Think
Gordon, A. S., & Hobbs, J. R. (2017) · CERN Document Server (European Organization for Nuclear Research) · Cited by 42
PDDL4J: a planning domain description library for java
Pellier, D., & Fiorino, H. (2017) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/0952813x.2017.1409278 · Cited by 41
Verification and validation meet planning and scheduling
Bensalem, S., Havelund, K., & Orlandini, A. (2013) · International Journal on Software Tools for Technology Transfer · doi:10.1007/s10009-013-0294-x · Cited by 41
Task planning under uncertainty using a spreading activation network
Bagchi, S., Biswas, G., & Kawamura, K. (2000) · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · doi:10.1109/3468.895887 · Cited by 41
Probabilistic Situation Calculus
Mateus, P., Pacheco, A., Pinto, J. A., Sernadas, A., & Sernadas, C. (2001) · Annals of Mathematics and Artificial Intelligence · doi:10.1023/a:1016738205696 · Cited by 40
Conceptual dependency and its descendants
Lytinen, S. L. (1992) · Computers & Mathematics with Applications · doi:10.1016/0898-1221(92)90136-6 · Cited by 40
Privacy preserving plans in partially observable environments
Keren, S., Gal, A., & Karpas, E. (2016) · International Joint Conference on Artificial Intelligence · Cited by 40
Distilling Task Knowledge from How-To Communities
Chu, C. X., Tandon, N., & Weikum, G. (2017) · International World Wide Web Conference (WWW) · doi:10.1145/3038912.3052715 · Cited by 40
A Gentle Introduction to Epistemic Planning: The DEL Approach
Bolander, T. (2017) · Electronic Proceedings in Theoretical Computer Science · doi:10.4204/eptcs.243.1 · Cited by 40
The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework
Dantam, N. T., Chaudhuri, S., & Kavraki, L. E. (2018) · IEEE Robotics & Automation Magazine · doi:10.1109/mra.2018.2815081 · Cited by 40
Combining Reinforcement Learning with Symbolic Planning
Grounds, M., & Kudenko⋆, D. (2008) · Springer eBooks · doi:10.1007/978-3-540-77949-0_6 · Cited by 40
A principled approach to developing legal knowledge systems
van Kralingen, R. W., Visser, P. R. S., Bench-Capon, T. J. M., & van den Herik, H. J. (1999) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.1999.0300 · Cited by 40
Dynamic reasoning with qualified syllogisms
Schwartz, D. G. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(97)00020-9 · Cited by 40
Generation of macro-operators via investigation of action dependencies in plans
Chrpa, L. (2010) · The Knowledge Engineering Review · doi:10.1017/s0269888910000159 · Cited by 40
Modeling the Interplay Between Emotion and Decision-Making .
Gratch, J. S. (2000) · Cited by 40
An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving
Smith, R. W., Biermann, A. W., & Hipp, D. R. (1995) · Cited by 40
Using Guidelines to Constrain Interactive Case-Based HTN Planning
Muñoz‐Avila, H., McFarlane, D. C., Aha, D. W., Len Breslow, Z., Ballas, J. A., & Nau, D. S. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48508-2_21 · Cited by 40
Proceedings of the Eighteenth Conference on Computational Natural Language Learning
(2014) · doi:10.3115/v1/w14-16 · Cited by 41
Artificial Intelligence, Logic, and Formalising Common Sense
McCarthy, J. (2022) · doi:10.1002/9781119815075.ch6 · Cited by 40
A self-adaptation scheme for workflow management in multi-agent systems
Hsieh, F.-S., & Lin, J.-B. (2013) · Journal of Intelligent Manufacturing · doi:10.1007/s10845-013-0818-y · Cited by 39
Learning STRIPS Action Models with Classical Planning
Aineto, D., Jiménez, S., & Onaindía, E. (2018) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v28i1.13870 · Cited by 39
A regrasp planning component for object reorientation
Wan, W., Igawa, H., Harada, K., Onda, H., Nagata, K., & Yamanobe, N. (2018) · Autonomous Robots · doi:10.1007/s10514-018-9781-y · Cited by 39
Sequential Manipulation Planning on Scene Graph
Jiao, Z., Niu, Y., Zhang, Z., Zhu, S. C., Zhu, Y., & Liu, H. (2022) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros47612.2022.9981735 · Cited by 39
Review: Intelligent Agents for Computer Games
Nareyek, A. (2000) · Computers and Games · doi:10.1007/3-540-45579-5_28 · Cited by 43
Rearrangement of multiple movable objects - integration of global and local planning methodology
Ota, J. (2004) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.2004.1308111 · Cited by 39
Action Based Collaboration Analysis for Group Learning
Mühlenbrock, M. (2001) · Cited by 39
Modelling and solving English Peg Solitaire
Jefferson, C., Miguel, A., Miguel, I., & Tarim, Ş. A. (2005) · Computers & Operations Research · doi:10.1016/j.cor.2005.01.018 · Cited by 39
Memoryful Branching-Time Logic
Kupferman, O., & Vardi, M. Y. (2006) · ACM/IEEE Symposium on Logic in Computer Science (LICS) · doi:10.1109/lics.2006.34 · Cited by 39
Scaling up Planning by Teasing Out Resource Scheduling
Srivastava, B., & Subbarao Kambhampati, B. (2000) · Lecture notes in computer science · doi:10.1007/10720246_14 · Cited by 39
A comparative analysis of partial order planning and task reduction planning
Subbarao Kambhampati, B. (1995) · ACM SIGART Bulletin · doi:10.1145/202187.202192 · Cited by 39
Control for Intelligent Tutoring Systems: A Blackboard-based Dynamic Instructional Planner
Murray, W. R. (1989) · AI Communications · doi:10.3233/aic-1989-2201 · Cited by 39
Triggering Replanning in an Integrated Workflow Planning and Enactment System
Schuschel, H., & Weske, M. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30204-9_22 · Cited by 38
The complexity of agent design problems: Determinism and history dependence
Wooldridge, M., & Dunne, P. E. S. (2005) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/s10472-005-9003-0 · Cited by 38
Implementing Mental Models
Blythe, J., & Camp, L. J. (2012) · IEEE Security and Privacy Workshops (SPW) · doi:10.1109/spw.2012.31 · Cited by 38
The first learning track of the international planning competition
Fern, A., Khardon, R., & Tadepalli, P. V. (2011) · Machine Learning · doi:10.1007/s10994-011-5234-y · Cited by 38
Cognitive models of discourse comprehension for narrative generation
Niehaus, J., & Young, R. M. (2014) · Literary and Linguistic Computing · doi:10.1093/llc/fqu056 · Cited by 38
Physical Causality of Action Verbs in Grounded Language Understanding
Gao, Q., Doering, M., Yang, S., & Chai, J. Y. (2016) · Proceedings of the conference - Association for Computational Linguistics. Meeting · doi:10.18653/v1/p16-1171 · Cited by 39
From Offline Towards Real-Time Verification for Robot Systems
Wang, R., Wei, Y., Song, H. H., Jiang, Y., Guan, Y., Xiaoyu Song, B., & Li, X. (2018) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2017.2788901 · Cited by 38
Advancing multi-vehicle deployments in oceanographic field experiments
Ferreira, A. S., Costa, M., Py, F., Pinto, J., Silva, M. A., Nimmo-Smith, A., Johansen, T. A., de Sousa, J. B., & Rajan, K. (2018) · Autonomous Robots · doi:10.1007/s10514-018-9810-x · Cited by 38
Deployment and evaluation of a flexible human–robot collaboration model based on AND/OR graphs in a manufacturing environment
Murali, P. K., Darvish, K., & Mastrogiovanni, F. (2020) · Intelligent Service Robotics · doi:10.1007/s11370-020-00332-9 · Cited by 38
Receding Horizon Task and Motion Planning in Changing Environments
Castaman, N., Pagello, E., Menegatti, E., & Pretto, A. (2021) · Robotics and Autonomous Systems · doi:10.1016/j.robot.2021.103863 · Cited by 38
INTELLWHEELS - A Development Platform for Intelligent Wheelchairs for Disabled People
Braga, R. A. M., Petry, M. R., Moreira, A. P., & Reis, L. P. (2008) · International Conference on Informatics in Control, Automation and Robotics (ICINCO) · doi:10.5220/0001501701150121 · Cited by 38
Learning from planner performance
Roberts, M., & Howe, A. E. (2008) · Artificial Intelligence · doi:10.1016/j.artint.2008.11.009 · Cited by 38
Forecasting and assessing the impact of artificial intelligence on society
Firschein, O., Fischler, M. A., Coles, L. S., & Tenenbaum, J. M. (1973) · International Joint Conference on Artificial Intelligence · Cited by 38
Schema Learning: Experience-Based Construction of Predictive Action Models
Holmes, M. P., & Charles (2004) · Cited by 38
Concept and Design of the Intellwheels Platform for Developing Intelligent Wheelchairs
Braga, R. A. M., Petry, M. R., Moreira, A. P., & Reis, L. P. (2009) · Lecture notes in electrical engineering · doi:10.1007/978-3-642-00271-7_14 · Cited by 38
An Overview of Planning Under Uncertainty
Blythe, J. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48317-9_4 · Cited by 38
An efficient robot planner which generates its own procedures
Siklóssy, L., & Dreussi, J. (1973) · International Joint Conference on Artificial Intelligence · Cited by 38
Agent-Based Collaborative Design of Parts in Assembly
Mori, T., & Cutkosky, M. R. (1998) · doi:10.1115/detc98/cie-5697 · Cited by 38
Lifted Inference and Learning in Statistical Relational Models
den Broeck, G. V. (2013) · Lirias · Cited by 38
Guest Editors' Introduction: Approaches to Knowledge Representation
McCalla, & Cercone (1983) · Computer · doi:10.1109/mc.1983.1654192 · Cited by 38
Semantic Web Services with Web Ontology Language (OWL-S) - Specification of Agent-Services for DARPA Agent Markup Language (DAML)
Sycara, K. P. (2006) · doi:10.21236/ada457387 · Cited by 38
Composable Planning with AttributesPreprint
Zhang, A., Lerer, A. K., Sukhbaatar, S., Fergus, R., & Szlam, A. D. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1803.00512 · Cited by 44
A unifying action calculus
Thielscher, M. (2010) · Artificial Intelligence · doi:10.1016/j.artint.2010.04.010 · Cited by 37
Argumentation–based negotiation planning for autonomous agents
Monteserin, A., & Amandi, A. (2011) · Decision Support Systems · doi:10.1016/j.dss.2011.02.016 · Cited by 37
Goal Recognition Design with Non-Observable Actions
Keren, S., Gal, A., & Karpas, E. (2016) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v30i1.10403 · Cited by 37
Integration of Planning with Recognition for Responsive Interaction Using Classical Planners
Freedman, R. G., & Shlomo Zilberstein, B. (2017) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v31i1.11188 · Cited by 37
Automated Creation of Pattern Database Search Heuristics
Edelkamp, S. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-74128-2_3 · Cited by 37
Computing ramifications by postprocessing
Thielscher, M. (1995) · Cited by 37
Partial and total-order planning: evidence from normal and prefrontally damaged populations
Rattermann, M. J., Spector, L. C., Grafman, J. H., Levin, H. S., & Harward, H. N. (2001) · Cognitive Science · doi:10.1207/s15516709cog2506_3 · Cited by 37
Exploring Internal Simulation of Perception in Mobile Robots
Jirenhed, D.-A., Hesslow, G., & Ziemke, T. (2001) · Cited by 37
Translations of network languages
Stilman, B. (1994) · Computers & Mathematics with Applications · doi:10.1016/0898-1221(94)90037-x · Cited by 37
Assumptive planning and execution: A simple, working robot architecture
Nourbakhsh, I., & Genesereth, M. (1996) · Autonomous Robots · doi:10.1007/bf00162467 · Cited by 37
State-space problem-reduction, and theorem proving—some relationships
VanderBrug, G. J., & Minker, J. (1975) · Communications of the ACM · doi:10.1145/360666.360672 · Cited by 37
Generalizing nonlinear planning to handle complex goals and actions with context-dependent effects
Pednault, E. (1991) · International Joint Conference on Artificial Intelligence · Cited by 37
Planning for reactive robot behavior
Lyons, D. M., & Hendriks, A. J. (2003) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1992.220001 · Cited by 37
Automated Planning for Liner Shipping Fleet Repositioning
Tierney, K., Coles, A., Coles, A., Kroer, C., Britt, A., & Jensen, R. M. (2012) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v22i1.13500 · Cited by 36
Decision-Theoretic Control of Planetary Rovers
Shlomo Zilberstein, B., Washington, R. M., Bernstein, D. S., & Mouaddib, A. (2002) · Lecture notes in computer science · doi:10.1007/3-540-37724-7_16 · Cited by 36
A generic library of problem solving methods for scheduling applications
Rajpathak, D. G., Motta, E., Zdráhal, Z., & Roy, R. (2006) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2006.85 · Cited by 36

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