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
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
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?
In the citing paper
“Related to program synthesis are the fields of automated theorem proving (Loveland, 2016) and automated planning (Ghallab et al., 2004).Both areas study methods for efficient automated reasoning over formal models, with the former focused on reasoning over mathematical theories and program logics, and with the latter, by analogy (Fikes & Nilsson, 1971), focused on reasoning over theories of”
From Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems (2024) · cites this paper as Fikes & Nilsson, 1971
In the citing paper
“The factored form subsumes STRIPS operators, where the add and delete lists are the difference between an object before and after, with conditional effects organized by type rather than enumerated [Fikes and Nilsson, 1971, Pednault, 1989, McDermott et al., 1998].”
From OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3 (2026) · cites this paper as Fikes and Nilsson, 1971
In the citing paper
“Regression planning presupposes a goal written as a conjunction of facts with operators that declare which facts they add and delete, the STRIPS form [Fikes and Nilsson, 1971].”
From OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3 (2026) · cites this paper as Fikes and Nilsson, 1971
Citations
Cites
(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-citationGPS : a case study in generality and problem solving
Ernst, G. W., & Newell, A. (1969) · Cited by 503
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-citationMonitored Execution of Robot Plans Produced by Strips
Fikes, R. E. (1971) · doi:10.21236/ada459662 · Cited by 57
Self-citation
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
Cited by
Sorted by citations
Items 201–300 of 1,011
On the logic of cooperation and propositional control
van der Hoek, W., & Wooldridge, M. (2005) · Artificial Intelligence · doi:10.1016/j.artint.2005.01.003 · Cited by 155
The Effects of Operator Implementation Cost on Planfulness of Problem Solving and Learning
O'Hara, K. P., & Payne, S. J. (1998) · Cognitive Psychology · doi:10.1006/cogp.1997.0676 · Cited by 155
Selectively generalizing plans for problem-solving
Minton, S. (1985) · International Joint Conference on Artificial Intelligence · Cited by 155
Barrett, A., & Weld, D. S. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90012-4 · Cited by 155
Architectural foundations for real-time performance in intelligent agents
Hayes‐Roth, B. (1990) · Real-Time Systems · doi:10.1007/bf01840468 · Cited by 149
Goldenberg, M., Felner, A., Stern, R., Sharon, G., Sturtevant, N., Holte, R. C., & Schaeffer, J. (2014) · Journal of Artificial Intelligence Research · doi:10.1613/jair.4171 · Cited by 149
Cohen, P. R., Perrault, C. R., & Allen, J. F. (1981) · Defense Technical Information Center (DTIC) · doi:10.4324/9781315802671-19 · Cited by 149
Semantic Issues in the Verification of Agent Communication Languages
Wooldridge, M. (2000) · Autonomous Agents and Multi-Agent Systems · doi:10.1023/a:1010090027213 · Cited by 149
Using planning techniques in intelligent tutoring systems
Peachey, D., & McCalla, G. I. (1986) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(86)80041-4 · Cited by 149
Anytime synthetic projection: maximizing the probability of goal satisfaction
Drummond, M., & Bresina, J. L. (1990) · National Conference on Artificial Intelligence · Cited by 148
Cooperative Multi-Agent Planning
Torreño, A., Onaindia, E., Komenda, A., & Štolba, M. (2017) · ACM Computing Surveys · doi:10.1145/3128584 · Cited by 147
On Fault Detection and Diagnosis in Robotic Systems
Khalastchi, E., & Kalech, M. (2018) · ACM Computing Surveys · doi:10.1145/3146389 · Cited by 151
GARI: a problem solver that plans how to machine mechanical parts
Descotte, Y., & Latombe, J. (1981) · International Joint Conference on Artificial Intelligence · Cited by 146
A Planning Framework for Non-Prehensile Manipulation under Clutter and Uncertainty
Doğar, M. R., & Srinivasa, S. S. (2012) · Autonomous Robots · doi:10.1007/s10514-012-9306-z · Cited by 145
Principles of Synthetic Intelligence PSI: An Architecture of Motivated Cognition
Bach, J. (2009) · Oxford University Press eBooks · doi:10.1093/acprof:oso/9780195370676.001.0001 · Cited by 146
An overview of transaction logic
Bonner, A. J., & Kifer, M. (1994) · Theoretical Computer Science · doi:10.1016/0304-3975(94)90190-2 · Cited by 145
Trends in distributed artificial intelligence
Chaib-draa, B., Moulin, B., Mandiau, R., & Millot, P. (1992) · Artificial Intelligence Review · doi:10.1007/bf00155579 · Cited by 145
Blythe, J. (1999) · doi:10.1609/aimag.v20i2.1455 · Cited by 145
The Deterministic Part of IPC-4: An Overview
Hoffmann, J., & Edelkamp, S. (2005) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1677 · Cited by 145
When is temporal planning really temporal
Cushing, W., Subbarao Kambhampati, B., & Weld, D. S. (2007) · Cited by 144
Case-Based Planning and Execution for Real-Time Strategy Games
Ontañón, S., Mishra, K., Sugandh, N., & Ram, A. (2007) · International Conference on Case-Based Reasoning · doi:10.1007/978-3-540-74141-1_12 · Cited by 173
A Temporal Description Logic for Reasoning about Actions and Plans
Artale, A., & Enrico Franconi, B. (1998) · Journal of Artificial Intelligence Research · doi:10.1613/jair.516 · Cited by 143
Mechanisms of planning and problem solving in the brain
Albus, J. S. (1979) · Mathematical Biosciences · doi:10.1016/0025-5564(79)90063-4 · Cited by 143
A model of plan inference that distinguishes between the beliefs of actors and observers
Pollack, M. E. (1986) · Proceedings of the conference - Association for Computational Linguistics. Meeting · doi:10.3115/981131.981160 · Cited by 143
Cooperating Agents: A Unified Theory of Communication and Social Structure
Werner, E. J. (1989) · Elsevier eBooks · doi:10.1016/b978-1-55860-092-8.50005-8 · Cited by 142
Thielscher, M. (1999) · Artificial Intelligence · doi:10.1016/s0004-3702(99)00033-8 · Cited by 141
Making compromises among antagonist constraints in a planner
Descotte, Y., & Latombe, J. (1985) · Artificial Intelligence · doi:10.1016/0004-3702(85)90053-0 · Cited by 141
A survey on integration of large language models with intelligent robots
Kim, Y., Kim, D., Choi, J., Park, J., Oh, N., & Park, D. (2024) · Intelligent Service Robotics · doi:10.1007/s11370-024-00550-5 · Cited by 179
Gratch, J. S. (2000) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/336595.337516 · Cited by 141
Sampling-Based Motion and Symbolic Action Planning with geometric and differential constraints
Plaku, E., & Hager, G. D. (2010) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.2010.5509563 · Cited by 138
FFRob: Leveraging symbolic planning for efficient task and motion planning
Garrett, C. R., Lozano‐Pérez, T., & Kaelbling, L. P. (2017) · The International Journal of Robotics Research · doi:10.1177/0278364917739114 · Cited by 138
A hierarchical architecture for behavior-based robots
Nicolescu, M. N., & Matarić, M. J. (2002) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/544741.544798 · Cited by 138
Concepts and methods of decision making
Bouyssou, D., Didier Dubois, A., Pirlot, M., & Prade, H. M. (2009) · HAL · Cited by 138
Solving the Rubik’s cube with deep reinforcement learning and search
Agostinelli, F., McAleer, S., Shmakov, A., & Baldi, P. (2019) · Nature Machine Intelligence · doi:10.1038/s42256-019-0070-z · Cited by 136
Automated Test Case Generation from Dynamic Models
Fröhlich, P., & Link, J. (2000) · Lecture notes in computer science · doi:10.1007/3-540-45102-1_23 · Cited by 137
Search and Reasoning in problem solving
Simon, H. A. (1983) · Artificial Intelligence · doi:10.1016/s0004-3702(83)80003-4 · Cited by 137
Alan Turing and the development of Artificial Intelligence
Muggleton, S. (2014) · AI Communications · doi:10.3233/aic-130579 · Cited by 159
Abstraction and approximate decision-theoretic planning
Dearden, R., & Boutilier, C. E. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00023-9 · Cited by 140
Crowd simulation for emergency response using BDI agents based on immersive virtual reality
Shendarkar, A., Vasudevan, K., Lee, S., & Son, Y. (2008) · Simulation Modelling Practice and Theory · doi:10.1016/j.simpat.2008.07.004 · Cited by 135
On the Compilability and Expressive Power of Propositional Planning Formalisms
Nebel, B. (1998) · Cited by 134
Dialogue Games for Agent Argumentation
McBurney, P., & Parsons, S. (2009) · Springer eBooks · doi:10.1007/978-0-387-98197-0_13 · Cited by 133
The LPSAT Engine & Its Application to Resource Planning
Wolfman, S. A., & Weld, D. S. (1999) · International Joint Conference on Artificial Intelligence · Cited by 133
Learning abstraction hierarchies for problem solving
Knoblock, C. A. (1990) · Cited by 133
A tale of two explanations: Enhancing human trust by explaining robot behavior
Edmonds, M., Gao, F., Liu, H., Xie, X., Qi, S., Rothrock, B., Zhu, Y., Wu, Y. N., Lu, H., & Zhu, S. C. (2019) · Science Robotics · doi:10.1126/scirobotics.aay4663 · Cited by 135
Decomposition Techniques for Planning in Stochastic Domains
Dean, T., & Lin, S. (1995) · Cited by 132
A heuristic search approach to planning with temporally extended preferences
Baier, J. A., Fahiem Bacchus, A., & McIlraith, S. A. (2008) · Artificial Intelligence · doi:10.1016/j.artint.2008.11.011 · Cited by 132
HTN planning: Overview, comparison, and beyond
Georgievski, I., & Aiello, M. (2015) · Artificial Intelligence · doi:10.1016/j.artint.2015.02.002 · Cited by 187
“Teach Me–Show Me”—End-User Personalization of a Smart Home and Companion Robot
Saunders, J., Syrdal, D. S., Koay, K. L., Burke, N., & Dautenhahn, K. (2015) · IEEE Transactions on Human-Machine Systems · doi:10.1109/thms.2015.2445105 · Cited by 130
Overview of Scheduling and Planning of Batch Process Operations
Reklaitis, G. (1996) · Springer eBooks · doi:10.1007/978-3-642-60972-5_27 · Cited by 145
Alterman, R. (1988) · Cognitive Science · doi:10.1016/0364-0213(88)90028-6 · Cited by 130
Autonomous industrial mobile manipulation (AIMM): past, present and future
Hvilshøj, M., Bøgh, S., Nielsen, O. S., & Madsen, O. (2012) · Industrial Robot the international journal of robotics research and application · doi:10.1108/01439911211201582 · Cited by 129
Teaching robots by moulding behavior and scaffolding the environment
Saunders, J., Nehaniv, C. L., & Dautenhahn, K. (2006) · ACM/IEEE International Conference on Human-Robot Interaction (HRI) · doi:10.1145/1121241.1121263 · Cited by 129
Visual Semantic Planning Using Deep Successor Representations
Zhu, Y., Gordon, D., Kolve, E., Fox, D., Fei-Fei, L., Gupta, A., Mottaghi, R., & Farhadi, A. (2017) · IEEE/CVF International Conference on Computer Vision (ICCV) · doi:10.1109/iccv.2017.60 · Cited by 129
Intelligent Scheduling with Machine Learning Capabilities: The Induction of Scheduling Knowledge
Shaw, M. J., Park, S. C., & Raman, N. (1992) · IIE Transactions · doi:10.1080/07408179208964213 · Cited by 129
Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition
Wang, X. (1995) · Elsevier eBooks · doi:10.1016/b978-1-55860-377-6.50074-8 · Cited by 129
Cyber-Physical Systems: Imminent Challenges
Broy, M., Cengarle, M. V., & Geisberger, E. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-34059-8_1 · Cited by 128
Crowd Simulation for Emergency Response using BDI Agent Based on Virtual Reality
Shendarkar, A., Vasudevan, K., Lee, S., & Son, Y. (2006) · Winter Simulation Conference · doi:10.1109/wsc.2006.323128 · Cited by 128
Conversation as Planned Behavior
Hobbs, J. R., & Evans, D. A. (1980) · Cognitive Science · doi:10.1207/s15516709cog0404_2 · Cited by 128
The Detection and Exploitation of Symmetry in Planning Problems
Fox, M., & Long, D. P. (1999) · Cited by 127
An incremental constraint-based framework for task and motion planning
Dantam, N. T., Kingston, Z. K., Chaudhuri, S., & Kavraki, L. E. (2018) · The International Journal of Robotics Research · doi:10.1177/0278364918761570 · Cited by 124
A heuristic estimator for means-ends analysis in planning
McDermott, D. (1996) · Cited by 125
Unscripted narrative for affectively driven characters
Aylett, R. S., Louchart, S., Dias, J., Paiva, A., Vala, M., Woods, S. N., & Hall, L. E. (2006) · IEEE Computer Graphics and Applications · doi:10.1109/mcg.2006.71 · Cited by 125
Combining the expressivity of UCPOP with the efficiency of Graphplan
Gazen, B. C., & Knoblock, C. A. (1997) · Lecture notes in computer science · doi:10.1007/3-540-63912-8_88 · Cited by 124
Plans, Affordances, And Combinatory Grammar
Steedman, M. J. (2002) · Linguistics and Philosophy · doi:10.1023/a:1020820000972 · Cited by 128
Automatic OBDD-based generation of universal plans in non-deterministic domains
Cimatti, A., Roveri, M., & Traverso, P. (1998) · Cited by 123
On the automatic generation of assembly plans
Wolter, J. (1991) · Springer eBooks · doi:10.1007/978-1-4615-4038-0_11 · Cited by 123
TouringMachines: an architecture for dynamic, rational, mobile agents
Ferguson, I. A. (2021) · doi:10.48456/tr-273 · Cited by 123
FFRob: An Efficient Heuristic for Task and Motion Planning
Garrett, C. R., Lozano‐Pérez, T., & Kaelbling, L. P. (2015) · Springer tracts in advanced robotics · doi:10.1007/978-3-319-16595-0_11 · Cited by 122
Neural Task Graphs: Generalizing to Unseen Tasks From a Single Video Demonstration
Huang, D.-A., Nair, S., Xu, D., Zhu, Y., Garg, A., Fei-Fei, L., Savarese, S., & Niebles, J. C. (2019) · 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.2019.00876 · Cited by 122
The Berkeley UNIX Consultant Project
Wilensky, R., Chin, D. N., Luria, M., Martin, J., Mayfield, J., & Wu, D. (2000) · Springer eBooks · doi:10.1007/978-94-010-0874-7_5 · Cited by 122
A multi-level planning and navigation system for a mobile robot: a first approach to HILARE
Giralt, G., Sobek, R. P., & Chatila, R. (1979) · International Joint Conference on Artificial Intelligence · Cited by 121
Reasoning about partially ordered events
Dean, T., & Boddy, M. (1988) · Artificial Intelligence · doi:10.1016/0004-3702(88)90087-2 · Cited by 121
Applying planning to interactive storytelling
Porteous, J., Cavazza, M., & Charles, F. (2010) · ACM Transactions on Intelligent Systems and Technology · doi:10.1145/1869397.1869399 · Cited by 120
Planning as Temporal Reasoning.
Allen, J. F. (1991) · Cited by 120
A theory of action for multi-agent planning
Georgeff, M. (1988) · Elsevier eBooks · doi:10.1016/b978-0-934613-63-7.50023-1 · Cited by 52
The Restaurant Game: Learning Social Behavior and Language from Thousands of Players Online
Orkin, J., & Roy, D. K. (2007) · Cited by 119
Diagnosis based on explicit means-end models
Larsson, J. E. (1996) · Artificial Intelligence · doi:10.1016/0004-3702(94)00043-3 · Cited by 119
Decision Theory and Artificial Intelligence II: The Hungry Monkey*
Feldman, J. A., & Sproull, R. F. (1977) · Cognitive Science · doi:10.1207/s15516709cog0102_2 · Cited by 119
Learning and Inductive Inference
(1982) · Elsevier eBooks · doi:10.1016/b978-0-86576-091-2.50009-5 · Cited by 119
Elements of a Plan-Based Theory of Speech Acts
Cohen, P. R., & Perrault, C. R. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-44972-0_1 · Cited by 118
Chapter 24 Multi-Agent Systems
van der Hoek, W., & Wooldridge, M. (2008) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(07)03024-6 · Cited by 118
A Survey on Case-Based Planning
Spalazzi, L. (2001) · Artificial Intelligence Review · doi:10.1023/a:1011081305027 · Cited by 118
Can AI planners solve practical problems?
Wilkins, D. (1990) · International Conference on Climate Informatics · doi:10.1111/j.1467-8640.1990.tb00297.x · Cited by 178
Architectural Foundations for Real-Time Performance in Intelligent Agents
Hayes‐Roth, B. (1993) · Springer eBooks · doi:10.1007/978-3-642-77927-5_27 · Cited by 118
A Taxonomy of Organizational Dependencies and Coordination Mechanisms
Crowston, K. (2011) · DSpace@MIT (Massachusetts Institute of Technology) · Cited by 118
Motion Planning with Complex Goals
Bhatia, A., Maly, M. R., Kavraki, L. E., & Vardi, M. Y. (2011) · IEEE Robotics & Automation Magazine · doi:10.1109/mra.2011.942115 · Cited by 118
Component-based synthesis for complex APIs
Feng, Y., Martins, R., Wang, Y., Dillig, I., & Reps, T. (2016) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · doi:10.1145/3009837.3009851 · Cited by 117
A Generalized Decision Support System Using Predicate Calculus and Network Data Base Management
BONCZEK, R. H., Holsapple, C. W., & Whinston, A. B. (1981) · Operations Research · doi:10.1287/opre.29.2.263 · Cited by 116
Automata-Theoretic Approach to Planning for Temporally Extended Goals
Giacomo, G. D., & Vardi, M. Y. (2000) · Lecture notes in computer science · doi:10.1007/10720246_18 · Cited by 115
Partial-Order Planning with Concurrent Interacting Actions
Boutilier, C. E., & Brafman, R. I. (2001) · Journal of Artificial Intelligence Research · doi:10.1613/jair.740 · Cited by 115
GRAMMPS: a generalized mission planner for multiple mobile robots in unstructured environments
Brumitt, B. L., & Stentz, A. (2002) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.1998.677360 · Cited by 115
The acquisition of robust and flexible cognitive skills.
Taatgen, N. A., Huss, D., Dickison, D., & Anderson, J. R. (2008) · Journal of Experimental Psychology: General · doi:10.1037/0096-3445.137.3.548 · Cited by 115
Sebeok, T. A., & Umiker-Sebeok, D. J. (1987) · De Gruyter eBooks · Cited by 115
A logic programming approach to knowledge-state planning, II: The system
Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. (2003) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00367-3 · Cited by 114
Ziparo, V. A., Iocchi, L., Lima, P. U., Nardi, D., & Palamara, P. F. (2010) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-010-9146-1 · Cited by 114
Context-mediated behavior for intelligent agents
Turner, R. M. (1998) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.1997.0173 · Cited by 114
AND/OR graph representation of assembly plans
de Mello, L. S. H., & Sanderson, A. C. (1990) · IEEE Transactions on Robotics and Automation · doi:10.1109/70.54734 · Cited by 114
A review of machine learning for automated planning
Jiménez, S., de la Rosa, T., Fernández, S., Fernández, F., & Borrajo, D. (2012) · The Knowledge Engineering Review · doi:10.1017/s026988891200001x · Cited by 123
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
Corso, A., Moss, R. J., Koren, M., Lee, R., & Kochenderfer, M. J. (2021) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1.12716 · Cited by 187
ASyMTRe: Automated Synthesis of Multi-Robot Task Solutions through Software Reconfiguration
Tang, F., & Parker, L. E. (2006) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.2005.1570327 · Cited by 112
Metadata
- 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)
- 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
- 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
