Strips: A new approach to the application of theorem proving to problem solving

1971/12/01 by Richard E. Fikes, Richard Fikes, Nils J. Nilsson · 4,082 citations
Computer Science · Mathematics · #Algebra over a field #Algorithm #Artificial intelligence #Automated theorem proving #Boolean satisfiability problem #Calculus (dental) #Computer science #Discrete mathematics #First-order logic #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical optimization #Mathematics #Problem solver #Pure mathematics #Resolution (logic) #STRIPS #Sequence (biology) #Solver

paper · doi:10.1016/0004-3702(71)90010-5

published in Artificial Intelligence 2(3-4), 189-208 (Elsevier BV)

openalex publication_date 1971/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05

Cited by

• Beyond Preferences in AI Alignment
• Retriever: Composing Closed-Loop Asynchronous Robot Programs
• Composable Verification Pipelines for Multi-Agent Systems
• The Illusion of Diminishing Returns: Measuring Long Horizon Execution in LLMs
• Rearrangement: A Challenge for Embodied AI
• Algorithms for the Greater Good! On Mental Modeling and Acceptable Symbiosis in Human-AI Collaboration
• Time Sensitive Multiple POIs Route Planning on Bus Networks
• Psychologically inspired planning method for smart relocation task
• SymStep: Symbolic Step Verification for Logical Reasoning
• Goal Recognition over Imperfect Domain Models
• Lang2Manip: A Tool for LLM-Based Symbolic-to-Geometric Planning for Manipulation
• Bounty Hunter: Autonomous, Comprehensive Emulation of Multi-Faceted Adversaries
• Model-First Reasoning LLM Agents: Reducing Hallucinations through Explicit Problem Modeling
• Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains
• Towards Trustworthy Multi-Turn LLM Agents via Behavioral Guidance
• End-to-end PDDL Planning with Hardcoded and Dynamic Agents
• LLM-Based Generalizable Hierarchical Task Planning and Execution for Heterogeneous Robot Teams with Event-Driven Replanning
• Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
• Dynamic Tree Databases in Automated Planning
• What Happened? Leveraging VerbNet to Predict the Effects of Actions in Procedural Text
• Reasoning about RoboCup Soccer Narratives
• ScheduleStream: Temporal Planning with Samplers for GPU-Accelerated Multi-Arm Task and Motion Planning & Scheduling
• SLAP: Shortcut Learning for Abstract Planning
• Using VLM Reasoning to Constrain Task and Motion Planning
• Explainable Goal-Driven Agents and Robots -- A Comprehensive Review
• Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (extended version)
• Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
• Learning Causal Models of Autonomous Agents using Interventions
• A Concept of Possibility for Real-World Events
• Extracting Action Sequences from Texts Based on Deep Reinforcement Learning
• Artificial Neural Networks that Learn to Satisfy Logic Constraints
• TGE-viz : Transition Graph Embedding for Visualization of Plan Traces and Domains
• TiPToP: A Modular Open-Vocabulary Robot Manipulation System That Plans
• Learning Action Models from Disordered and Noisy Plan Traces
• APThreatHunter: An automated planning-based threat hunting framework
• Logic programming for deliberative robotic task planning
• PDDLGym: Gym Environments from PDDL Problems
• A Mimamsa Inspired Framework For Instruction Sequencing In AI Agents
• Diverse Planning with Simulators via Linear Temporal Logic
• RobotFleet: An Open-Source Framework for Centralized Multi-Robot Task Planning
• Inductive Policy Selection for First-Order MDPs
• How can we assess human-agent interactions? Case studies in software agent design
• LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
• Language Model as Planner and Formalizer under Constraints
• Temporal Reasoning About Uncertain Worlds
• Preference-Based Long-Horizon Robotic Stacking with Multimodal Large Language Models
• Vision Language Models Cannot Plan, but Can They Formalize?
• A Good Plan is Hard to Find: Aligning Models with Preferences is Misaligned with What Helps Users
• SPAR: Scalable LLM-based PDDL Domain Generation for Aerial Robotics
• TextWorld: A Learning Environment for Text-based Games
• Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
• Guiding Robot Exploration in Reinforcement Learning via Automated Planning
• ConceptBot: Enhancing Robot's Autonomy through Task Decomposition with Large Language Models and Knowledge Graph
• Generalized Planning With Deep Reinforcement Learning
• Precise but Natural Specification for Robot Tasks
• Business Negotiation Definition Language
• Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies
• Osprey: Production-Ready Agentic AI for Safety-Critical Control Systems
• LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems
• Bilevel MCTS for Amortized O(1) Node Selection in Classical Planning
• Timeline-based planning: Expressiveness and Complexity
• Cathoristic logic: A modal logic of incompatible propositions
• Symmetry-Aware Transformer Training for Automated Planning
• Probabilistic Planning by Probabilistic Programming
• Fast Task Planning with Neuro-Symbolic Relaxation
• Exploring compact reinforcement-learning representations with linear regression
• Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems
• Handling Uncertainty during Plan Recognition in Task-Oriented Consultation Systems
• Decoupling Learning Rules from Representations
• The Complexity of Modified Instances
• One-shot Policy Elicitation via Semantic Reward Manipulation
• Two Sources of Control over the Generation of Software Instructions
• Towards a computational theory of human daydreaming
• ProTo: Program-Guided Transformer for Program-Guided Tasks
• ANA at SemEval-2020 Task 4: mUlti-task learNIng for cOmmonsense reasoNing (UNION)
• Order Matters: Generating Progressive Explanations for Planning Tasks in Human-Robot Teaming
• Analysis of AI Techniques for Orchestrating Edge-Cloud Application Migration
• Cost Optimal Planning as Satisfiability
• A Mid-level Planning System for Object Reorientation
• PSALM-V: Automating Symbolic Planning in Interactive Visual Environments with Large Language Models
• A Comment On "The Illusion of Thinking": Reframing the Reasoning Cliff as an Agentic Gap
• Action Language BC+
• Raising a Hardness Result
• Meta-learning how to Share Credit among Macro-Actions
• Heuristic Approaches for Goal Recognition in Incomplete Domain Models
• GRIP: Generative Robust Inference and Perception for Semantic Robot Manipulation in Adversarial Environments
• Hierarchical Language Models for Semantic Navigation and Manipulation in an Aerial-Ground Robotic System
• Towards Combining HTN Planning and Geometric Task Planning
• Why Couldn't You do that? Explaining Unsolvability of Classical Planning Problems in the Presence of Plan Advice
• Habitat 2.0: Training Home Assistants to Rearrange their Habitat
• Using SMT Solvers to Validate Models for AI Problems
• Robot Operating System 2: Design, architecture, and uses in the wild
• Model-Based AI planning and Execution Systems for Robotics
• iGibson 2.0: Object-Centric Simulation for Robot Learning of Everyday Household Tasks
• Flexible and Efficient Long-Range Planning Through Curious Exploration
• Understanding Physical Properties of Unseen Deformable Objects by Leveraging Large Language Models and Robot Actions
• Partial-Order, Partially-Seen Observations of Fluents or Actions for Plan Recognition as Planning
• Task Planning in Robotics: an Empirical Comparison of PDDL-based and ASP-based Systems
• Tunneling Neural Perception and Logic Reasoning through Abductive Learning
• Automatic Programming: Large Language Models and Beyond
• iCORPP: Interleaved Commonsense Reasoning and Probabilistic Planning on Robots
• A Survey of Knowledge-based Sequential Decision Making under Uncertainty
• Make Planning Research Rigorous Again!
• Embodied AI with Foundation Models for Mobile Service Robots: A Systematic Review
• An Action Language for Multi-Agent Domains: Foundations
• STRIPS Action Discovery
• Human-like Semantic Navigation for Autonomous Driving using Knowledge Representation and Large Language Models
• Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
• Unifying Inference-Time Planning Language Generation
• Model Elicitation through Direct Questioning
• Learning from Less: Guiding Deep Reinforcement Learning with Differentiable Symbolic Planning
• Embodied AI in Machine Learning -- is it Really Embodied?
• Online Explanation Generation for Human-Robot Teaming
• Stochastic Planning and Lifted Inference
• Discovering Generalizable Skills via Automated Generation of Diverse Tasks
• Representations for robot knowledge in the KnowRob framework
• Implementing Industrial Multi-agent Systems Using JACKTM
• Progressive Explanation Generation for Human-robot Teaming
• Machine Common Sense
• Decision-Theoretic Planning: Structural Assumptions and Computational Leverage
• Think First, Diffuse Fast: Improving Diffusion Language Model Reasoning via Autoregressive Plan Conditioning
• Reasoning agents in a dynamic world: The frame problem
• Zero-shot adaptable task planning for autonomous construction robots: a comparative study of lightweight single and multi-AI agent systems
• Pseudo-Boolean Proof Logging for Optimal Classical Planning
• Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph
• Generalized Inverse Planning: Learning Lifted non-Markovian Utility for Generalizable Task Representation
• Software agents: an overview
• Active model learning and diverse action sampling for task and motion planning
• Deliberative acting, planning and learning with hierarchical operational models
• Online Goal Recognition using Path Signature and Dynamic Time Warping
• Task and Situation Structures for Service Agent Planning
• Robotic playing for hierarchical complex skill learning
• Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
• A flexible coupling approach to multi-agent planning under incomplete information
• MPTP: Motion-planning-aware task planning for navigation in belief space
• Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
• AI and Robotics; Flexibility and Integration
• Compromise strategies for action selection. [europepmc]
• Biological and artificial cognition: what can we learn about mechanisms by modelling physical cognition problems using artificial intelligence planning techniques? [europepmc]
• The interaction of representation and reasoning. [europepmc]
• Everyday robotic action: lessons from human action control. [europepmc]
• Biological Agency: Its Subjective Foundations and a Large-Scale Taxonomy. [europepmc]
• Learning and Acting in Peripersonal Space: Moving, Reaching, and Grasping. [europepmc]
• An Embodied Agent Learning Affordances With Intrinsic Motivations and Solving Extrinsic Tasks With Attention and One-Step Planning. [europepmc]
• ToyArchitecture: Unsupervised learning of interpretable models of the environment. [europepmc]
• An Automated Planning Model for HRI: Use Cases on Social Assistive Robotics. [europepmc]
• Comparing Plan Recognition Algorithms Through Standard Plan Libraries. [europepmc]
• Models of Intervention: Helping Agents and Human Users Avoid Undesirable Outcomes. [europepmc]
• Task Roadmaps: Speeding up Task Replanning. [europepmc]
• Simulated mental imagery for robotic task planning. [europepmc]
• Logic + probabilistic programming + causal laws. [europepmc]
• Autonomous Robot Task Execution in Flexible Manufacturing: Integrating PDDL and Behavior Trees in ARIAC 2023. [europepmc]
• Humans Select Subgoals That Balance Immediate and Future Cognitive Costs During Physical Assembly. [europepmc]
• A review of embodied intelligence systems: a three-layer framework integrating multimodal perception, world modeling, and structured strategies. [europepmc]