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 401–500 of 1,011
Exploring compact reinforcement-learning representations with linear regressionPreprint
Walsh, T. J., Szita, I., Diuk, C., & Littman, M. L. (2009) · Conference on Uncertainty in Artificial Intelligence · doi:10.48550/arxiv.1205.2606 · Cited by 122
Action-model acquisition for planning via transfer learning
Zhuo, H. H., & Yang, Q. (2014) · Artificial Intelligence · doi:10.1016/j.artint.2014.03.004 · Cited by 84
Learning-assisted automated planning: looking back, taking stock, going forward
Zimmerman, T. L., & Subbarao Kambhampati, B. (2003) · doi:10.1609/aimag.v24i2.1705 · Cited by 85
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length
Edelkamp, S., & Helmert, M. (2000) · Lecture notes in computer science · doi:10.1007/10720246_11 · Cited by 81
Hierarchical planning involving deadlines, travel time, and resources
Dean, T., Firby, R. J., & Miller, D. (1988) · Computational Intelligence · doi:10.1111/j.1467-8640.1988.tb00287.x · Cited by 84
Kusyk, J., Saeed, S. M., & Uyar, M. Ü. (2021) · IEEE Transactions on Quantum Engineering · doi:10.1109/tqe.2021.3068355 · Cited by 91
MOBMAS: A methodology for ontology-based multi-agent systems development
Tran, Q.-N. N., & Low, G. C. (2007) · Information and Software Technology · doi:10.1016/j.infsof.2007.07.005 · Cited by 84
DUTTON, D. M., & Conroy, G. V. (1997) · The Knowledge Engineering Review · doi:10.1017/s026988899700101x · Cited by 83
Symbolic pattern databases in heuristic search planning
Edelkamp, S. (2002) · Cited by 83
A model for deliberation, action, and introspection
Doyle, J. (1981) · ACM SIGART Bulletin · doi:10.1145/1056748.1056749 · Cited by 85
Interactive and interpretable machine learning models for human machine collaboration
Kim, B. (2015) · DSpace@MIT (Massachusetts Institute of Technology) · Cited by 83
Helmert, M., Haslum, P., Hoffmann, J., & Nissim, R. (2014) · Journal of the ACM · doi:10.1145/2559951 · Cited by 85
Sampling-based methods for factored task and motion planning
Garrett, C. R., Lozano‐Pérez, T., & Kaelbling, L. P. (2018) · The International Journal of Robotics Research · doi:10.1177/0278364918802962 · Cited by 82
Miguelañez, E., Patrón, P., Brown, K., Pétillot, Y., & Lane, D. M. (2010) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2010.46 · Cited by 82
Modeling simultaneous actions and continuous processes
Hendrix, G. G. (1973) · Artificial Intelligence · doi:10.1016/0004-3702(73)90010-6 · Cited by 82
Back to the Blocks World: Learning New Actions through Situated Human-Robot Dialogue
She, L., Yang, S., Cheng, Y. H., Jia, Y., Chai, J. Y., & Xi, N. (2014) · Annual Meeting of the Special Interest Group on Discourse and Dialogue · doi:10.18653/v1/w14-4313 · Cited by 81
Review of mission planning for autonomous marine vehicle fleets
Thompson, F., & Guihen, D. (2018) · Journal of Field Robotics · doi:10.1002/rob.21819 · Cited by 87
Automated Planning for Robotics
Karpas, E., & Magazzeni, D. (2019) · Annual Review of Control Robotics and Autonomous Systems · doi:10.1146/annurev-control-082619-100135 · Cited by 88
Keren, S., Gal, A., & Karpas, E. (2014) · Proceedings of the International Conference on Automated Planning and Scheduling · doi:10.1609/icaps.v24i1.13617 · Cited by 81
Baier, J. A., & McIlraith, S. A. (2008) · AI Magazine · doi:10.1609/aimag.v29i4.2204 · Cited by 81
Sensor-based robot motion generation in unknown, dynamic and troublesome scenarios
Mínguez, J., & Montano, L. (2005) · Robotics and Autonomous Systems · doi:10.1016/j.robot.2005.06.001 · Cited by 81
Practical solution techniques for first-order MDPs
Sanner, S., & Boutilier, C. E. (2008) · Artificial Intelligence · doi:10.1016/j.artint.2008.11.003 · Cited by 81
Active Perception and Reinforcement Learning
Whitehead, S. D., & Ballard, D. H. (1990) · Machine Learning Proceedings 1990 · doi:10.1016/b978-1-55860-141-3.50025-0 · Cited by 81
Formal semantics for an abstract agent programming language
Hindriks, K. V., A, F. S. D. B., van der Hoek, W., & Meyer, J. C. (1998) · Lecture notes in computer science · doi:10.1007/bfb0026761 · Cited by 81
Internal Models and Anticipations in Adaptive Learning Systems
Butz, M. V., Sigaud, O., & Gérard, P. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-45002-3_6 · Cited by 82
Formalizing Properties of Agents
Goodwin, R. (1995) · Journal of Logic and Computation · doi:10.1093/logcom/5.6.763 · Cited by 80
Classical computationalism and the many problems of cognitive relevance
Samuels, R. (2010) · Studies in History and Philosophy of Science Part A · doi:10.1016/j.shpsa.2010.07.006 · Cited by 79
Teaching Robots New Actions through Natural Language Instructions
She, L., Cheng, Y., Chai, J. Y., Jia, Y., Yang, S., & Xi, N. (2014) · IEEE RO-MAN · doi:10.1109/roman.2014.6926362 · Cited by 79
Object-Centric Task and Motion Planning in Dynamic Environments
Migimatsu, T., & Bohg, J. (2020) · IEEE Robotics and Automation Letters · doi:10.1109/lra.2020.2965875 · Cited by 79
Explainable goal-driven agents and robots-a comprehensive review
Sado, F., Loo, C. K., Liew, W. S., Kerzel, M., & Wermter, S. (2023) · ACM Computing Surveys · doi:10.1145/3564240 · Cited by 79
“The model employs communicable predicates for natural language communication, i.e., Boolean classiiers similar to traditional STRIPS-style [45] planning predicates with associated natural language descriptions, to translate attributes from sets of states to natural language and back (Fig.”
BackgroundLEARNING BY ANALOGY: FORMULATING AND GENERALIZING PLANS FROM PAST EXPERIENCE
Carbonell, J. (1983) · Elsevier eBooks · doi:10.1016/b978-0-08-051054-5.50009-1 · Cited by 79
Plan execution monitoring and control architecture for mobile robots
Noreils, F. R., & Chatila, R. (1995) · IEEE Transactions on Robotics and Automation · doi:10.1109/70.370506 · Cited by 79
Learning STRIPS Operators from Noisy and Incomplete ObservationsPreprint
Mourão, K., Zettlemoyer, L. S., Petrick, R. P. A., & Steedman, M. (2012) · arXiv (Cornell University) · doi:10.48550/arxiv.1210.4889 · Cited by 90
A computational model of analogical problem solving
Carbonell, J. (1981) · Cited by 78
ROS commander (ROSCo): Behavior creation for home robots
Nguyen, H., Ciocarlie, M., Hsiao, K., & Kemp, C. C. (2013) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra.2013.6630616 · Cited by 78
Trends in service robots for the disabled and the elderly
Kawamura, K., & Iskarous, M. (2002) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.1994.407636 · Cited by 78
Causal Graph Based Decomposition of Factored MDPs
Jönsson, A., & Barto, A. G. (2006) · Cited by 78
Taming Numbers and Durations in the Model Checking Integrated Planning System
Edelkamp, S. (2003) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1302 · Cited by 78
Unifying planning and scheduling as timelines in a component-based perspective
Cesta, A., Fratini, S., & Pecora, F. (2008) · Örebro University (Örebro University) · Cited by 77
Hierarchical Plan Representations for Encoding Strategic Game AI
Hoang, H. H., Lee-Urban, S., & Muñoz‐Avila, H. (2005) · Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment · doi:10.1609/aiide.v1i1.18717 · Cited by 77
Ontañón, S., Mishra, K., Sugandh, N., & Ram, A. (2010) · International Conference on Climate Informatics · doi:10.1111/j.1467-8640.2009.00344.x · Cited by 98
Learning Planning Operators by Observation and Practice.
Wang, X. (1994) · Cited by 77
Robot programming by Demonstration (RPD): Supporting the induction by human interaction
Friedrich, H., M�nch, S., Dillmann, R., Bocionek, S., & Sassin, M. (1996) · Machine Learning · doi:10.1007/bf00117443 · Cited by 77
SPAR: a planner that satisfies operational and geometric goals in uncertain environments
Hutchinson, S., & Kak, A. C. (1990) · doi:10.1609/aimag.v11i1.823 · Cited by 77
Reinforcement learning for the adaptive control of perception and action
Whitehead, S. D. (1992) · UR Research (University of Rochester) · Cited by 77
Discovering Semantic Web services using SPARQL and intelligent agents
Sbodio, M. L., MARTIN, D. J., & Moulin, C. (2010) · Journal of Web Semantics · doi:10.1016/j.websem.2010.05.002 · Cited by 76
A case-based approach for coordinated action selection in robot soccer
Ros, R., Arcos, J. L., de Mántaras, R. L., & Veloso, M. (2009) · Artificial Intelligence · doi:10.1016/j.artint.2009.02.004 · Cited by 76
Refinement Planning as a Unifying Framework for Plan Synthesis
Subbarao Kambhampati, B. (1997) · AI Magazine · doi:10.21918/aimag.v18i2.1295 · Cited by 76
Tracking user goals in an information-seeking environment
Carberry, S. (1983) · National Conference on Artificial Intelligence · Cited by 76
Lakshmanan, R., & Stephanopoulos, G. (1988) · Computers & Chemical Engineering · doi:10.1016/0098-1354(88)87022-4 · Cited by 76
Artificial intelligence: tools, techniques, and applications
Grant, T. J. (1985) · European Journal of Operational Research · doi:10.1016/0377-2217(85)90260-7 · Cited by 76
Planning under Incomplete Knowledge
Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. (2000) · Lecture notes in computer science · doi:10.1007/3-540-44957-4_54 · Cited by 75
Discovery as Autonomous Learning from the Environment
Shen, W. (1993) · Machine Learning · doi:10.1007/bf00993064 · Cited by 75
Knowledge-based proof planning
Erica Melis, C., & Siekmann, J. H. (1999) · Artificial Intelligence · doi:10.1016/s0004-3702(99)00076-4 · Cited by 75
Integrating planning and scheduling in workflow domains
R-Moreno, M. D., Borrajo, D., Cesta, A., & Oddi, A. (2006) · Expert Systems with Applications · doi:10.1016/j.eswa.2006.05.027 · Cited by 74
Architectures and applications of intelligent agents: A survey
Müller, J. P. (1999) · The Knowledge Engineering Review · doi:10.1017/s0269888998004020 · Cited by 74
MERGING SEPARATELY GENERATED PLANS WITH RESTRICTED INTERACTIONS
Yang, Q., Nau, D. S., & Hendler, J. (1992) · International Conference on Climate Informatics · doi:10.1111/j.1467-8640.1992.tb00383.x · Cited by 79
Discourse interpretation and the scope of operators
Poesio, M. (1994) · UR Research (University of Rochester) · Cited by 73
AI planning and scheduling in the medical hospital environment
Spyropoulos, C. D. (2000) · Artificial Intelligence in Medicine · doi:10.1016/s0933-3657(00)00059-2 · Cited by 73
Learning Feasibility for Task and Motion Planning in Tabletop Environments
Wells, A. M., Dantam, N. T., Shrivastava, A., & Kavraki, L. E. (2019) · IEEE Robotics and Automation Letters · doi:10.1109/lra.2019.2894861 · Cited by 72
A unifying semantics for time and events
Bennett, B., & Galton, A. (2003) · Artificial Intelligence · doi:10.1016/j.artint.2003.02.001 · Cited by 72
Multi-agent Planning An introduction to planning and coordination
Weerdt, M. M. D., ter Mors, A., & Witteveen, C. (2005) · Cited by 72
Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning
Gerevini, A., & Schubert, L. K. (1996) · Journal of Artificial Intelligence Research · doi:10.1613/jair.316 · Cited by 72
Automating Knowledge Discovery Workflow Composition Through Ontology-Based Planning
Žáková, M., Křemen, P., Železný, F., & Nada Lavrač, A. (2010) · IEEE Transactions on Automation Science and Engineering · doi:10.1109/tase.2010.2070838 · Cited by 71
A Survey of the Ontogeny of Tool Use: From Sensorimotor Experience to Planning
Guérin, F., Krüger, N., & Kraft, D. (2012) · IEEE Transactions on Autonomous Mental Development · doi:10.1109/tamd.2012.2209879 · Cited by 75
Building and Refining Abstract Planning Cases by Change of Representation Language
Bergmann, R., & Wilke, W. (1995) · Journal of Artificial Intelligence Research · doi:10.1613/jair.160 · Cited by 71
Learning procedural knowledge through observation
van Lent, M., & Laird, J. E. (2001) · International Conference on Knowledge Capture · doi:10.1145/500737.500765 · Cited by 71
Parameterized Complexity in Cognitive Modeling: Foundations, Applications and Opportunities
van Rooij, I., & Wareham, T. (2007) · The Computer Journal · doi:10.1093/comjnl/bxm034 · Cited by 70
Automated Planning for Business Process Management
Marrella, A. (2018) · Journal on Data Semantics · doi:10.1007/s13740-018-0096-0 · Cited by 70
CHALLENGING THE COMPUTATIONAL METAPHOR: IMPLICATIONS FOR HOW WE THINK
Stein, L. A. (1999) · Cybernetics & Systems · doi:10.1080/019697299125073 · Cited by 70
An Integrated Approach of Learning, Planning, and Execution
García-Martínez, R., & Borrajo, D. (2000) · Journal of Intelligent & Robotic Systems · doi:10.1023/a:1008134010576 · Cited by 70
Inductive Learning of Reactive Action Models
Benson, S. (1995) · Elsevier eBooks · doi:10.1016/b978-1-55860-377-6.50015-3 · Cited by 70
A representation language language
Greiner, R., & Lenat, D. B. (1980) · Cited by 70
Carbonell, J., & Gil, Y. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-41-5.50029-5 · Cited by 70
Pragmatics and Computational Linguistics
Jurafsky, D. S. (2006) · Wiley eBooks · doi:10.1002/9780470756959.ch26 · Cited by 71
Rule-Based Event Processing and Reaction Rules
Paschke, A., & Kozlenkov, A. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-04985-9_8 · Cited by 69
CPOCL: A Narrative Planner Supporting Conflict
Ware, S. G., & Young, R. (2011) · Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment · doi:10.1609/aiide.v7i1.12428 · Cited by 69
A review of learning planning action models
Arora, A., Fiorino, H., Pellier, D., Métivier, M., & Pesty, S. (2018) · The Knowledge Engineering Review · doi:10.1017/s0269888918000188 · Cited by 76
Lazy approximation for solving continuous finite-horizon MDPs
Li, L., & Littman, M. L. (2005) · Cited by 69
Generating perception requests and expectations to verify the execution of plans
Doyle, R. J., Atkinson, D., & Doshi, R. S. (1986) · Cited by 69
Task planning in robotics: an empirical comparison of PDDL- and ASP-based systems
Jiang, Y., Zhang, S., Khandelwal, P., & Stone, P. (2019) · Frontiers of Information Technology & Electronic Engineering · doi:10.1631/fitee.1800514 · Cited by 68
Plant-Wide Waste Management. 1. Synthesis and Multiobjective Design
Chakraborty, A., & Linninger, A. A. (2002) · Industrial & Engineering Chemistry Research · doi:10.1021/ie010741o · Cited by 68
Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence
Beetz, M., Jain, D., Mösenlechner, L., Tenorth, M., Kunze, L., Blodow, N., & Pangercic, D. (2012) · Proceedings of the IEEE · doi:10.1109/jproc.2012.2200552 · Cited by 68
Nareyek, A., Freuder, E. C., Fourer, R., Giunchiglia, E., Goldman, R. P., Kautz, H., Rintanen, J., & Tate, A. (2005) · IEEE Intelligent Systems · doi:10.1109/mis.2005.25 · Cited by 68
Learning Task Models from Multiple Human Demonstrations
Ekvall, S., & Kragić, D. (2006) · IEEE RO-MAN · doi:10.1109/roman.2006.314460 · Cited by 68
Inductive Policy Selection for First-Order MDPsPreprint
Yoon, S., Fern, A., & Givan, R. L. (2012) · arXiv (Cornell University) · doi:10.48550/arxiv.1301.0614 · Cited by 70
DEL Planning and Some Tractable Cases
Löwe, B., Pacuit, E., & Witzel, A. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-24130-7_13 · Cited by 67
Ability and Knowing How in the Situation Calculus
Lespérance, Y., Levesque, H. J., Lin, F., & Scherl, R. B. (2000) · Studia Logica · doi:10.1023/a:1026761331498 · Cited by 67
Reasoning About Action I: A Possible Worlds Approach
Ginsberg, M. L., & Smith, D. E. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-32-3.50020-4 · Cited by 67
AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI
Liang, B., Wang, Y., & Tong, C. (2025) · Mathematics · doi:10.3390/math13111707 · Cited by 100
Planning formalisms and authoring in interactive storytelling
Charles, F., Lozano, M., Mead, S. J., Fornés, A., & Cavazza, M. (2003) · Cited by 66
Merging Agents and Services — the JIAC Agent Platform
Hirsch, B., Konnerth, T., & Heßler, A. (2009) · Springer eBooks · doi:10.1007/978-0-387-89299-3_5 · Cited by 66
Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning
Meneguzzi, F. R., & de Silva, L. (2013) · The Knowledge Engineering Review · doi:10.1017/s0269888913000337 · Cited by 66
A brief review of affordance in robotic manipulation research
Yamanobe, N., Wan, W., Ramírez-Alpizar, I. G., Petit, D., Tsuji, T., Akizuki, S., Hashimoto, M., Nagata, K., & Harada, K. (2017) · Advanced Robotics · doi:10.1080/01691864.2017.1394912 · Cited by 66
Plan management in the medical domain
Miksch, S. (1999) · Cited by 66
From scenarios to timed automata: building specifications from users requirements
Somé, S. S., Rachida Dssouli, A., & Vaucher, J. G. (2002) · Asia-Pacific Software Engineering Conference (APSEC) · doi:10.1109/apsec.1995.496953 · Cited by 66
Forbus, K. D. (1984) · Elsevier eBooks · doi:10.1016/b978-0-444-87670-6.50006-6 · Cited by 66
Gil, Y., Gonzalez-Calero, P. A., Kim, J., Moody, J., & Ratnakar, V. (2011) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/0952813x.2010.490962 · Cited by 65
Object Action Complexes as an Interface for Planning and Robot Control
Geib, C., Mourão, K., Petrick, R. P. A., Pugeault, N., Steedman, M. J., Krüger, N., & Wörgötter, F. (2006) · Surrey Research Insight Open Access (The University of Surrey) · Cited by 65
Geometric backtracking for combined task and motion planning in robotic systems
Bidot, J., Karlsson, L., Lagriffoul, F., & Saffiotti, A. (2015) · Artificial Intelligence · doi:10.1016/j.artint.2015.03.005 · Cited by 64
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
