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

No abstract is available for this paper.

• Publication year

  1971

• Venue

  International Joint Conference on Artificial Intelligence

• Publication date

  1971-09-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/0004-3702(71)90010-5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Artificial Intelligence in Medicine: 23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part I

  2025cited by this paper
• GPS : a case study in generality and problem solving

  1971cited by this paper
• Toward automatic program synthesis

  1971cited by this paper
• Extracting Information from Resolution Proof Trees

  1971cited by this paper
• Robot Planning, Execution, and Monitoring in an Uncertain Environment

  1971cited by this paper
• Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.

  1971cited by this paper
• Problem-solving methods in artificial intelligence

  1971cited by this paper
• Monitored Execution of Robot Plans Producted by STRIPS

  1971influential reference
• Planner: a language for manipulating models and proving theorems in a robot" ijcai-69

  1970cited by this paper
• PROW: A Step Toward Automatic Program Writing

  1969cited by this paper
• Application of Theorem Proving to Problem Solving

  1969influential reference
• Motivation and Personality

  1954cited by this paper
• APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING

  year unknowncited by this paper

• Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning

  2026cites this paper
• 3D Space as a Scratchpad for Editable Text-to-Image Generation

  2026cites this paper
• Why Reasoning Fails to Plan: A Planning-Centric Analysis of Long-Horizon Decision Making in LLM Agents

  2026cites this paper
• MATEO: A Multimodal Benchmark for Temporal Reasoning and Planning in LVLMs

  2026cites this paper
• A Beacon Based Solution for Autonomous UUVs GNSS-Denied Stealthy Navigation

  2026cites this paper
• Teaching LLMs to Ask: Self-Querying Category-Theoretic Planning for Under-Specified Reasoning

  2026cites this paper
• Effective Task Planning with Missing Objects using Learning-Informed Object Search

  2026cites this paper
• Joint Learning of Hierarchical Neural Options and Abstract World Model

  2026cites this paper
• Validating Generalist Robots with Situation Calculus and STL Falsification

  2026cites this paper
• Scene graph-driven reasoning for action planning of humanoid robot

  2026cites this paper
• Coordinated Control of Multiple Construction Machines Using LLM-Generated Behavior Trees with Flag-Based Synchronization

  2026cites this paper
• Zero-shot adaptable task planning for autonomous construction robots: a comparative study of lightweight single and multi-AI agent systems

  2026cites this paper
• Efficient Planning in Reinforcement Learning via Model Introspection

  2026cites this paper
• Continual learning and refinement of causal models through dynamic predicate invention

  2026cites this paper
• LLM-KGFP: A Chain-of-Thought-Driven Knowledge Graph Planner for Autonomous Rover Operations in Lunar Polar Shadowed Regions

  2026cites this paper
• Intermediate Results on the Complexity of STRIPS$_{1}^{1}$

  2026cites this paper
• SoK: Agentic Skills -- Beyond Tool Use in LLM Agents

  2026cites this paper
• Affordance-Aware Interactive Decision-Making and Execution for Ambiguous Instructions

  2026cites this paper
• Visual-Language-Guided Task Planning for Horticultural Robots

  2026cites this paper
• Enhancing Hierarchical Reinforcement Learning With Symbolic Planning for Long-Horizon Tasks

  2026cites this paper
• LURE: Learning from Demonstration for Underwater Robust Execution

  2025cites this paper
• Personalized open world plan generation for safety-critical human centered autonomous systems: A case study on Artificial Pancreas

  2025cites this paper
• Towards Zero-Knowledge Task Planning via a Language-based Approach

  2025cites this paper
• Using VLM Reasoning to Constrain Task and Motion Planning

  2025cites this paper
• A Symbolic Incubator for Training Planners via Recognition-Based Feedback

  2025cites this paper
• APThreatHunter: An automated planning-based threat hunting framework

  2025cites this paper
• BLIPS-PA: a qualitative-physics-based method for fault causality and probabilistic analysis of novel designs

  2025cites this paper
• Scalable Task Planning via Large Language Models and Structured World Representations

  2025cites this paper
• Dynamic Tree Databases in Automated Planning

  2025cites this paper
• Who is Helping Whom? Analyzing Inter-dependencies to Evaluate Cooperation in Human-AI Teaming

  2025cites this paper
• How can we assess human-agent interactions? Case studies in software agent design

  2025cites this paper
• A Concept of Possibility for Real-World Events

  2025cites this paper
• RobotFleet: An Open-Source Framework for Centralized Multi-Robot Task Planning

  2025cites this paper
• SLAP: Shortcut Learning for Abstract Planning

  2025cites this paper
• CLGA: A Collaborative LLM Framework for Dynamic Goal Assignment in Multi-Robot Systems

  2025cites this paper
• Is This Plan Necessarily Redundant? On the Computational Complexity of Unobserved Domain Learning

  2025influential citation
• Agentic AI: The age of reasoning—A review

  2025cites this paper
• What Makes You Special? Contrastive Heuristics Based on Qualified Dominance

  2025cites this paper
• The Computational Evolution of Cognitive Architectures

  2025cites this paper
• Fast Task Planning With Neuro-Symbolic Relaxation

  2025cites this paper
• Symmetry-Aware Transformer Training for Automated Planning

  2025cites this paper
• Do Think Tags Really Help LLMs Plan? A Critical Evaluation of ReAct-Style Prompting

  2025cites this paper
• LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems

  2025cites this paper
• A Good Plan is Hard to Find: Aligning Models with Preferences is Misaligned with What Helps Users

  2025cites this paper
• Experience-Driven NeuroSymbolic System for Efficient Robotic Bolt Disassembly

  2025cites this paper
• SPAR: Scalable LLM-based PDDL Domain Generation for Aerial Robotics

  2025cites this paper
• Vision Language Models Cannot Plan, but Can They Formalize?

  2025cites this paper
• Eliciting problem specifications for LLM-Modulo cognitive systems

  2025cites this paper
• LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language

  2025cites this paper
• Model-based AI planning and execution platforms for robotics

  2025cites this paper
• A Mimamsa Inspired Framework For Instruction Sequencing In AI Agents

  2025cites this paper
• Diverse Planning with Simulators via Linear Temporal Logic

  2025cites this paper
• Catch Me If You Can: Rogue AI Detection and Correction at Scale

  2025cites this paper
• Large Language Models as Narrative Planning Search Guides

  2025cites this paper
• Automation of triangle straightedge-and-compass constructions using automated planning

  2025cites this paper
• Ontological framework for high-level task replanning for autonomous robotic systems

  2025cites this paper
• A review of embodied intelligence systems: a three-layer framework integrating multimodal perception, world modeling, and structured strategies

  2025cites this paper
• ScheduleStream: Temporal Planning with Samplers for GPU-Accelerated Multi-Arm Task and Motion Planning & Scheduling

  2025cites this paper
• Leveraging Symbolic Models in Reinforcement Learning for Multi-skill Chaining*

  2025cites this paper
• Think Small, Plan Smart: Minimalist Symbolic Abstraction and Heuristic Subspace Search for LLM-Guided Task Planning

  2025cites this paper
• Adaptation of Task Goal States from Prior Knowledge

  2025cites this paper
• Generating Symbolic World Models via Test-time Scaling of Large Language Models

  2025influential citation
• Hierarchical Language Models for Semantic Navigation and Manipulation in an Aerial‐Ground Robotic System

  2025cites this paper
• Knowledge-Based Planning for Human-Robot Collaborative Tasks

  2025cites this paper
• Single-shot policy explanation to improve task performance via semantic reward coaching

  2025cites this paper
• BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots

  2025cites this paper
• Human-like Semantic Navigation for Autonomous Driving using Knowledge Representation and Large Language Models

  2025cites this paper
• Embodied AI in Machine Learning - is it Really Embodied?

  2025cites this paper
• Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language

  2025cites this paper
• Excuse My Explanations: Integrating Excuses and Model Reconciliation for Actionable Explanations

  2025cites this paper
• An Actor–Critic-Based Hyper-Heuristic Autonomous Task Planning Algorithm for Supporting Spacecraft Adaptive Space Scientific Exploration

  2025cites this paper
• Model-Based AI planning and Execution Systems for Robotics

  2025cites this paper
• Robo-Troj: Attacking LLM-based Task Planners

  2025cites this paper
• Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code

  2025cites this paper
• Foundation models and intelligent decision-making: Progress, challenges, and perspectives

  2025cites this paper
• On Removing Left Recursion from Totally-ordered HTN Domain Models

  2025cites this paper
• Learning from Less: Guiding Deep Reinforcement Learning with Differentiable Symbolic Planning

  2025cites this paper
• Unifying Inference-Time Planning Language Generation

  2025cites this paper
• Make Planning Research Rigorous Again!

  2025cites this paper
• Understanding Physical Properties of Unseen Deformable Objects by Leveraging Large Language Models and Robot Actions

  2025cites this paper
• Meta-learning how to Share Credit among Macro-Actions

  2025cites this paper
• Advancements and future directions of artificial intelligence in tumor imaging: A comprehensive review of techniques and applications

  2025cites this paper
• PSALM-V: Automating Symbolic Planning in Interactive Visual Environments with Large Language Models

  2025cites this paper
• A Comment On "The Illusion of Thinking": Reframing the Reasoning Cliff as an Agentic Gap

  2025cites this paper
• A closed-loop architecture with knowledge-of-results feedback for neural-symbolic planning

  2025cites this paper
• Analysis of AI Techniques for Orchestrating Edge-Cloud Application Migration

  2025cites this paper
• Bilevel MCTS for Amortized O(1) Node Selection in Classical Planning

  2025cites this paper
• Backwards Planning from Onward Task Demonstrations via Vision-Language Models

  2025cites this paper
• Osprey: Production-ready agentic AI for safety-critical control systems

  2025cites this paper
• Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies

  2025cites this paper
• ConceptBot: Enhancing Robot's Autonomy through Task Decomposition with Large Language Models and Knowledge Graph

  2025cites this paper
• Task Planning for Embodied Intelligent Robots

  2025cites this paper
• The Illusion of Diminishing Returns: Measuring Long Horizon Execution in LLMs

  2025cites this paper
• Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning

  2025cites this paper
• MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration

  2025cites this paper
• Hybrid Bi-LSTM Framework for Aspect-Based Sentiment Analysis in E-Commerce Reviews

  2025cites this paper
• Estimating the difficulty of abstract classes of problems

  2025cites this paper
• Preference-Based Long-Horizon Robotic Stacking with Multimodal Large Language Models

  2025cites this paper
• Language Model as Planner and Formalizer under Constraints

  2025cites this paper
• Pseudo-Boolean Proof Logging for Optimal Classical Planning

  2025cites this paper