STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

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 · see citing works

Problem-Solving Methods in Artificial Intelligence

Nilsson, N. J. (1971) · CERN Document Server (European Organization for Nuclear Research) · Cited by 1,607 · see citing works

GPS : a case study in generality and problem solving

Ernst, G. W., & Newell, A. (1969) · Cited by 508 · see citing works

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 · see citing works

Application of Theorem Proving to Problem Solving

Green, C. (1969) · doi:10.21236/ada459656 · Cited by 290 · see citing works

Toward automatic program synthesis

Manna, Z., & Waldinger, R. J. (1971) · Communications of the ACM · doi:10.1145/362566.362568 · Cited by 285 · see citing works

PROW: a step toward automatic program writing

Waldinger, R. J., & Lee, R. C. T. (1969) · International Joint Conference on Artificial Intelligence · Cited by 114 · see citing works

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 · see citing works

Monitored Execution of Robot Plans Produced by Strips

Fikes, R. E. (1971) · doi:10.21236/ada459662 · Cited by 57 · see citing works

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot

Hewitt, C. E. (1970) · DSpace@MIT (Massachusetts Institute of Technology) · Cited by 51 · see citing works

Robot planning, execution, and monitoring in an uncertain environment

Munson, J. H. (1971) · International Joint Conference on Artificial Intelligence · Cited by 34 · see citing works

Monitored Execution of Robot Plans Producted by STRIPS .

Fikes, R. E. (1971) · IFIP Congress · Cited by 25 · see citing works

Motivation and Personality

(1997) · Naming the Mind: How Psychology Found its Language · doi:10.4135/9781446221815.n7 · Cited by 3 · see citing works

Maintaining knowledge about temporal intervals

Allen, J. F. (1983) · Communications of the ACM · doi:10.1145/182.358434 · Cited by 7,593 · see citing works

Intelligent agents: theory and practice

Wooldridge, M., & Jennings, N. R. (1995) · The Knowledge Engineering Review · doi:10.1017/s0269888900008122 · Cited by 6,810 · see citing works

The interdisciplinary study of coordination

Malone, T. W., & Crowston, K. (1994) · ACM Computing Surveys · doi:10.1145/174666.174668 · Cited by 3,504 · see citing works

Being There: Putting Brain, Body and World Together Again.

van Gelder, T., & Clark, A. (1998) · The Philosophical Review · doi:10.2307/2998391 · Cited by 3,131 · see citing works

Being there: putting brain, body, and world together again

(1997) · Choice Reviews Online · doi:10.5860/choice.34-6204 · Cited by 2,631 · see citing works

Towards a General Theory of Action and Time

Allen, J. F. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90008-0 · Cited by 3,073 · see citing works

Untitled work

(2006) · Cited by 2,256 · see citing works

A Roadmap of Agent Research and Development

Jennings, N. R., Sycara, K. P., & Wooldridge, M. (1998) · Autonomous Agents and Multi-Agent Systems · doi:10.1023/a:1010090405266 · Cited by 2,163 · see citing works

Qualitative Process Theory

Forbus, K. D. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90038-9 · Cited by 2,491 · see citing works

Intention is choice with commitment

Cohen, P. R., & Levesque, H. J. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90055-5 · Cited by 1,863 · see citing works

The FF Planning System: Fast Plan Generation Through Heuristic Search

Hoffmann, J., & Nebel, B. (2001) · Journal of Artificial Intelligence Research · doi:10.1613/jair.855 · Cited by 1,840 · see citing works

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Fox, M., & Long, D. (2003) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1129 · Cited by 1,741 · see citing works

Plans and situated actions: The problem of human-machine communication

Agre, P. E. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90078-e · Cited by 1,684 · see citing works

EXPERT SYSTEMS WITH APPLICATIONS

Communication, S., Been-chian Chien, A., Jung Yi Lin, A., Tzung-pei Hong, B., & Com/locate/eswa, W. E. (2004) · Expert Systems with Applications · doi:10.1016/j.eswa.2004.10.010 · Cited by 1,670 · see citing works

Software agents: an overview

Nwana, H. S. (1996) · The Knowledge Engineering Review · doi:10.1017/s026988890000789x · Cited by 1,588 · see citing works

Robot Operating System 2: Design, architecture, and uses in the wild

Macenski, S., Foote, T., Gerkey, B., Lalancette, C., & Woodall, W. (2022) · Science Robotics · doi:10.1126/scirobotics.abm6074 · Cited by 1,585 · see citing works

Fast planning through planning graph analysis

Blum, A. L., & Furst, M. L. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00047-1 · Cited by 1,566 · see citing works

Agent theories, architectures, and languages: A survey

Wooldridge, M., & Jennings, N. R. (1995) · Lecture notes in computer science · doi:10.1007/3-540-58855-8_1 · Cited by 1,367 · see citing works

A Cognitive Model of Planning*

Hayes‐Roth, B., & Hayes-Roth, F. A. (1979) · Cognitive Science · doi:10.1207/s15516709cog0304_1 · Cited by 1,203 · see citing works

Planning in a hierarchy of abstraction spaces

Sacerdoti, E. D. (1974) · Artificial Intelligence · doi:10.1016/0004-3702(74)90026-5 · Cited by 1,185 · see citing works

Plans and resource‐bounded practical reasoning

Bratman, M. E., Israel, D. J., & Pollack, M. E. (1988) · Computational Intelligence · doi:10.1111/j.1467-8640.1988.tb00284.x · Cited by 1,137 · see citing works

Planning for conjunctive goals

Chapman, D. (1987) · Artificial Intelligence · doi:10.1016/0004-3702(87)90092-0 · Cited by 1,116 · see citing works

Decision-Theoretic Planning: Structural Assumptions and Computational Leverage

Boutilier, C. E., Dean, T., & Hanks, S. (1999) · Journal of Artificial Intelligence Research · doi:10.1613/jair.575 · Cited by 1,088 · see citing works

GOLOG: A Logic Programming Language for Dynamic Domains

Levesque, H., Reiter, R., Lespérance, Y., Lin, F.-Z., & Scherl, R. (1997) · The Journal of Logic Programming · doi:10.1016/s0743-1066(96)00121-5 · Cited by 1,323 · see citing works

Learning and executing generalized robot plans

Fikes, R. E., Hart, P. E., & Nilsson, N. J. (1972) · Artificial Intelligence · doi:10.1016/0004-3702(72)90051-3 · Cited by 1,025 · see citing works

Planning as heuristic search

Bonet, B., & Geffner, H. (2001) · Artificial Intelligence · doi:10.1016/s0004-3702(01)00108-4 · Cited by 975 · see citing works

Non-monotonic logic I

McDermott, D., & Doyle, J. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90012-0 · Cited by 912 · see citing works

Intentions in Communication

(1990) · The MIT Press eBooks · doi:10.7551/mitpress/3839.001.0001 · Cited by 901 · see citing works

Reactive reasoning and planning

Georgeff, M., & Lansky, A. (1987) · National Conference on Artificial Intelligence · Cited by 888 · see citing works

Handbook of Knowledge Representation

Harmelen, F. V., Lifschitz, V., & Porter, B. (2008) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(07)x0300-6 · Cited by 862 · see citing works

The computational complexity of propositional STRIPS planning

Bylander, T. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90081-7 · Cited by 866 · see citing works

Bringing Semantics to Web Services: The OWL-S Approach

MARTIN, D. J., Paolucci, M., McIlraith, S. A., Burstein, M. H., McDermott, D., McGuinness, D. L., Parsia, B., Payne, T. R., Sabou, M., Solanki, M., et al. (2005) · Lecture notes in computer science · doi:10.1007/978-3-540-30581-1_4 · Cited by 822 · see citing works

Knowledge Representation and Reasoning

Lee, N. (2024) · Encyclopedia of Computer Graphics and Games · doi:10.1007/978-3-031-23161-2_300700 · Cited by 819 · see citing works

Survey of the State of the Art in Natural Language Generation: Core tasks, applications and evaluation

Gatt, A., & Krahmer, E. (2018) · Journal of Artificial Intelligence Research · doi:10.1613/jair.5477 · Cited by 776 · see citing works

Analyzing intention in utterances

Allen, J. F., & Perrault, C. R. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90042-9 · Cited by 769 · see citing works

A temporal logic for reasoning about processes and plans

McDermott, D. (1982) · Cognitive Science · doi:10.1016/s0364-0213(82)90003-9 · Cited by 758 · see citing works

Elements of a plan-based theory of speech acts

Cohen, P. R., & Perrault, C. R. (1979) · Cognitive Science · doi:10.1016/s0364-0213(79)80006-3 · Cited by 733 · see citing works

A domain-independent framework for modeling emotion

Gratch, J. S., & Marsella, S. (2004) · Cognitive Systems Research · doi:10.1016/j.cogsys.2004.02.002 · Cited by 728 · see citing works

How Can the Human Mind Occur in the Physical Universe?

Anderson, J. R. (2007) · doi:10.1093/acprof:oso/9780195324259.001.0001 · Cited by 1,483 · see citing works

Remote Agent: To Boldly Go Where No AI System Has Gone Before

Muscettola, N., Nayak, P., Pell, B., & Williams, B. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00068-x · Cited by 841 · see citing works

AND/OR Graph Representation of Assembly Plans

Honicm, L. S., Arthur, M., & Sanderson, C. (1986) · Cited by 687 · see citing works

Generating project networks

Tate, A. (1977) · International Joint Conference on Artificial Intelligence · Cited by 634 · see citing works

Untitled work

(1994) · Cited by 625 · see citing works

Actions and Events in Interval Temporal Logic

Allen, J. F., & Ferguson, G. (1997) · Springer eBooks · doi:10.1007/978-0-585-28322-7_7 · Cited by 620 · see citing works

ProgPrompt: Generating Situated Robot Task Plans using Large Language Models

Singh, I., Blukis, V., Mousavian, A., Goyal, A., Xu, D., Tremblay, J., Fox, D., Thomason, J., & Garg, A. (2023) · 2023 IEEE International Conference on Robotics and Automation (ICRA) · doi:10.1109/icra48891.2023.10161317 · Cited by 613 · see citing works

An Introduction to Least Commitment Planning

Weld, D. S. (1994) · doi:10.1609/aimag.v15i4.1109 · Cited by 588 · see citing works

Perceptual Structures and Distributed Motor Control

Arbib, M. A. (1981) · Comprehensive physiology · doi:10.1002/cphy.cp010233 · Cited by 576 · see citing works

Constraint-directed search : a case study of job-shop scheduling

Fox, M. S. (2018) · doi:10.1184/r1/6552371 · Cited by 527 · see citing works

Systematic nonlinear planning

McAllester, D., & Rosenblitt, D. (1991) · Cited by 525 · see citing works

Reaching Agreements Through Argumentation: A Logical Model and Implementation

Kraus, S., Sycara, K., & Evenchik, A. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00078-2 · Cited by 616 · see citing works

Narrative Planning: Balancing Plot and Character

Riedl, M. O., & Young, R. M. (2010) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2989 · Cited by 522 · see citing works

The nonlinear nature of plans

Sacerdoti, E. D. (1975) · Defense Technical Information Center (DTIC) · Cited by 503 · see citing works

Bringing Semantics to Web Services with OWL-S

MARTIN, D. J., Burstein, M. H., McDermott, D., McIlraith, S. A., Paolucci, M., Sycara, K. P., McGuinness, D. L., Evren Sirin, A., & Srinivasan, N. (2007) · World Wide Web · doi:10.1007/s11280-007-0033-x · Cited by 499 · see citing works

Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition

Dechter, R. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90046-3 · Cited by 495 · see citing works

A Temporal Logic for Reasoning About Processes and Plans

McDermott, D. (1982) · Cognitive Sciences · doi:10.1207/s15516709cog0602_1 · Cited by 999 · see citing works

Derivational analogy : a theory of reconstructive problem solving and expertise acquisition

Carbonell, J. (2018) · KiltHub Repository · doi:10.1184/r1/6604739 · Cited by 474 · see citing works

Robot skills for manufacturing: From concept to industrial deployment

Pedersen, M. R., Nalpantidis, L., Andersen, R. S., Schou, C., Bøgh, S., Krüger, V., & Madsen, O. (2015) · Robotics and Computer-Integrated Manufacturing · doi:10.1016/j.rcim.2015.04.002 · Cited by 464 · see citing works

Recent Advances in AI Planning

Weld, D. S. (1999) · doi:10.1609/aimag.v20i2.1459 · Cited by 454 · see citing works

Nonmonotonic causal theories

Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., & Turner, H. (2004) · Artificial Intelligence · doi:10.1016/j.artint.2002.12.001 · Cited by 509 · see citing works

Actions and Events in Interval Temporal Logic

Allen, J. F., & Ferguson, G. (1994) · Journal of Logic and Computation · doi:10.1093/logcom/4.5.531 · Cited by 852 · see citing works

Answer set programming and plan generation

Lifschitz, V. (2002) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00186-8 · Cited by 443 · see citing works

Unifying SAT-based and graph-based planning

Kautz, H., & Selman, B. (1999) · Cited by 429 · see citing works

Integrated Task and Motion Planning

Garrett, C. R., Chitnis, R., Holladay, R., Kim, B., Silver, T., Kaelbling, L. P., & Lozano‐Pérez, T. (2021) · Annual Review of Control Robotics and Autonomous Systems · doi:10.1146/annurev-control-091420-084139 · Cited by 422 · see citing works

Autonomous agents modelling other agents: A comprehensive survey and open problems

Albrecht, S. V., & Stone, P. (2018) · Artificial Intelligence · doi:10.1016/j.artint.2018.01.002 · Cited by 417 · see citing works

An architecture for adaptive intelligent systems

Hayes‐Roth, B. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00004-k · Cited by 410 · see citing works

The Metric-{FF} Planning System: Translating {"Ignoring Delete Lists"} To Numeric State Variables

Hoffmann, J. (2003) · Max Planck Digital Library · Cited by 410 · see citing works

A Survey of Methods for Safe Human-Robot Interaction

Lasota, P. A., Fong, T., & Shah, J. (2017) · Foundations and Trends in Robotics · doi:10.1561/2300000052 · Cited by 408 · see citing works

O-Plan: The open planning architecture

Currie, K., & Tate, A. (1991) · Artificial Intelligence · doi:10.1016/0004-3702(91)90024-e · Cited by 407 · see citing works

Learning by Analogy: Formulating and Generalizing Plans from Past Experience

Carbonell, J. (1983) · Springer eBooks · doi:10.1007/978-3-662-12405-5_5 · Cited by 405 · see citing works

COMPLEXITY RESULTS FOR SAS+ PLANNING

Bäckström, C., & Nebel, B. (1995) · Computational Intelligence · doi:10.1111/j.1467-8640.1995.tb00052.x · Cited by 399 · see citing works

Intelligent control

Hayes‐Roth, B. (1993) · Artificial Intelligence · doi:10.1016/0004-3702(93)90188-h · Cited by 399 · see citing works

Elements of a Plan‐Based Theory of Speech Acts*

Cohen, P. R., & Perrault, C. R. (1979) · Cognitive Science · doi:10.1207/s15516709cog0303_1 · Cited by 396 · see citing works

Generality in artificial intelligence

McCarthy, J. (1987) · Communications of the ACM · doi:10.1145/33447.33448 · Cited by 391 · see citing works

A Plan Recognition Model for Subdialogues in Conversations

Litman, D. J., & Allen, J. (1987) · Cognitive Science · doi:10.1016/s0364-0213(87)80005-8 · Cited by 383 · see citing works

Planning in Time: Windows and Durations for Activities and Goals

Vere, S. A. (1983) · IEEE Transactions on Pattern Analysis and Machine Intelligence · doi:10.1109/tpami.1983.4767389 · Cited by 382 · see citing works

REASONING ABOUT KNOWLEDGE AND ACTION

Moore, R. C. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50037-4 · Cited by 379 · see citing works

Believable Social and Emotional Agents.

Reilly, W. S. N. (1996) · Cited by 378 · see citing works

Learning to program in LISP

Anderson, J. R., Farrell, R., & Sauers, R. (1984) · Cognitive Science · doi:10.1016/s0364-0213(84)80013-0 · Cited by 377 · see citing works

Anytime Point-Based Approximations for Large POMDPs

Pineau, J., Gordon, G., & Thrun, S. (2006) · Journal of Artificial Intelligence Research · doi:10.1613/jair.2078 · Cited by 376 · see citing works

Relational Reinforcement Learning

Džeroski, S., De Raedt, L., & Driessens, K. (2001) · Machine Learning · doi:10.1023/a:1007694015589 · Cited by 371 · see citing works

Integrating planning and learning: the PRODIGY architecture

Veloso, M., Carbonell, J., PÉREZ, A., Borrajo, D., Fink, E., & Blythe, J. (1995) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/09528139508953801 · Cited by 365 · see citing works

Fast Planning Through Planning Graph Analysis.

Blum, A. L., & Furst, M. L. (1995) · doi:10.21236/ada303260 · Cited by 364 · see citing works

Constraint propagation algorithms for temporal reasoning: a revised report

Vilain, M., Kautz, H. A., & Beek, P. V. (1989) · Elsevier eBooks · doi:10.1016/b978-1-4832-1447-4.50034-1 · Cited by 468 · see citing works

Agent Programming in 3APL

Hindriks, K., de Boer, F. D., van der Hoek, W., & Meyer, J. (1999) · Autonomous Agents and Multi-Agent Systems · doi:10.1023/a:1010084620690 · Cited by 417 · see citing works

Stochastic dynamic programming with factored representations

Boutilier, C., Dearden, R., & Goldszmidt, M. (2000) · Artificial Intelligence · doi:10.1016/s0004-3702(00)00033-3 · Cited by 361 · see citing works

IQA: Visual Question Answering in Interactive Environments

Gordon, D., Kembhavi, A., Rastegari, M., Redmon, J., Fox, D., & Farhadi, A. (2018) · 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.2018.00430 · Cited by 362 · see citing works

Cognitive Wheels: The Frame Problem of AI.

Dennett, D. C. (1984) · Cited by 353 · see citing works

Toward a perception-based theory of probabilistic reasoning with imprecise probabilities

Zadeh, L. A. (2002) · Journal of Statistical Planning and Inference · doi:10.1016/s0378-3758(01)00212-9 · Cited by 351 · see citing works

An algorithm for probabilistic planning

Kushmerick, N., Hanks, S., & Weld, D. S. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00087-h · Cited by 348 · see citing works

Procedural knowledge

Georgeff, M., & Lansky, A. (1986) · Proceedings of the IEEE · doi:10.1109/proc.1986.13639 · Cited by 435 · see citing works

UMCP: a sound and complete procedure for hierarchical task-network planning

Erol, K., Hendler, J., & Nau, D. S. (1994) · Cited by 335 · see citing works

To Afford or Not to Afford: A New Formalization of Affordances Toward Affordance-Based Robot Control

Şahi̇n, E., Çakmak, M., Doğar, M. R., Uğur, E., & Üçoluk, G. (2007) · Adaptive Behavior · doi:10.1177/1059712307084689 · Cited by 328 · see citing works

Social Dialongue with Embodied Conversational Agents

Bickmore, T., & Cassell, J. (2005) · Text, Speech and Language Technology · doi:10.1007/1-4020-3933-6_2 · Cited by 324 · see citing works

TALE-SPIN, an interactive program that writes stories

Meehan, J. (1977) · Cited by 315 · see citing works

A multivalued logic approach to integrating planning and control

Saffiotti, A., Konolige, K., & Ruspini, E. H. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00088-i · Cited by 308 · see citing works

JAM

Huber, M. J. (1999) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/301136.301202 · Cited by 303 · see citing works

Planning with incomplete information as heuristic search in belief space

Bonet, B., & Geffner, H. (2000) · Cited by 297 · see citing works

The 1998 AI Planning Systems Competition

McDermott, D. M. (2000) · The AI Magazine · doi:10.1609/aimag.v21i2.1506 · Cited by 294 · see citing works

Geometric reasoning about mechanical assembly

Wilson, R. H., & Latombe, J. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90048-5 · Cited by 292 · see citing works

A plan-based analysis of indirect speech acts

Perrault, C. R., & Allen, J. F. (1980) · doi:10.5555/972537.972540 · Cited by 288 · see citing works

ARTIFIC~L r~rELUOE~CE 189 STRIPS: A New Approach to the Application of.Theorem Proving to Problem Solving'

Fikes, R. E., Nhsson, N. J., & Raphael, R. B. (2008)

608 STRIPS: A NEW APPROACH TO THE APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING

Fikes, R. E. (2008)

A Review of "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving by R.E. Fikes, N.J. Nillson, 1971"

Fikes, R. E., Nillson, N. J., & Cocosco, C. A. (1998)

Problem solving by searching for models with a theorem prover

Lee, S.-J., & Plaisted, D. A. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90082-5 · Cited by 12 · see citing works

ON THE SEMANTICS OF STRIPS

Lifschitz, V. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-30-9.50004-4 · Cited by 237 · see citing works