UCPOP: A Sound, Complete, Partial Order Planner for ADL

No abstract is available for this paper.

• Publication year

  1992

• Venue

  International Conference on Principles of Knowledge Representation and Reasoning

• Publication date

  1992-10-25

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Partial-Order Planning: Evaluating Possible Efficiency Gains

  1994cited by this paper
• A Structural Theory of Explanation-Based Learning

  1993cited by this paper
• Achieving the Functionality of Filter Conditions in a Partial Order Planner

  1992cited by this paper
• Systematic Nonlinear Planning

  1991cited by this paper
• Regression planning

  1991cited by this paper
• Automatically generating abstractions for problem solving

  1991cited by this paper
• Commitment Strategies in Planning: A Comparative Analysis

  1991cited by this paper
• Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects

  1991cited by this paper
• Readings in qualitative reasoning about physical systems

  1990cited by this paper
• Why PRODIGY/EBL Works

  1990cited by this paper
• Explanation-Based Learning: A Problem Solving Perspective

  1989cited by this paper
• ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus

  1989cited by this paper
• Quantitative Results Concerning the Utility of Explanation-based Learning

  1988cited by this paper
• Synthesizing plans that contain actions with context‐dependent effects 1

  1988cited by this paper
• Planning for Conjunctive Goals

  1987cited by this paper
• Toward a mathematical theory of plan synthesis

  1987cited by this paper
• Depth-First Iterative-Deepening: An Optimal Admissible Tree Search

  1985cited by this paper
• Plan Synthesis: A Logical Perspective

  1981cited by this paper
• First-Order Dynamic Logic

  1979cited by this paper
• Generating Project Networks

  1977cited by this paper
• A Computer Model of Skill Acquisition

  1975cited by this paper
• STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

  1971cited by this paper
• Stanford University

  1966influential reference

• Optiplan : Encodage CSP pour planification HTN-POCL optimale

  2025cites this paper
• Enhancing Hierarchical Task Network Planning through Ant Colony Optimization in Refinement Process

  2025cites this paper
• Authors' Values and Attitudes Towards AI-bridged Scalable Personalization of Creative Language Arts

  2024cites this paper
• Improving Plan Execution Flexibility using Block-Substitution

  2024cites this paper
• Revisiting block deordering in finite-domain state variable planning

  2024cites this paper
• Beyond Automation: The Evolution of SaaS through AI Generators

  2024cites this paper
• Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting

  2024cites this paper
• Improving execution concurrency in partial-order plans via block-substitution

  2024cites this paper
• Planning with Object Creation

  2024cites this paper
• Lifted Planning: Recent Advances in Planning Using First-Order Representations

  2024cites this paper
• An Adaptation Technique to Enhance HTN Planning

  2023cites this paper
• A Landmark-Cut Heuristic for Lifted Optimal Planning

  2023cites this paper
• Planning as Theorem Proving with Heuristics

  2023cites this paper
• Lifted Stackelberg Planning

  2023cites this paper
• A unified constraint-based approach for plan and goal recognition from unreliable observations

  2023cites this paper
• Landmark Heuristics for Lifted Classical Planning

  2022cites this paper
• TaleBrush: Sketching Stories with Generative Pretrained Language Models

  2022cites this paper
• Neural Story Planning

  2022cites this paper
• Semi-autonomous Planning: A novel approach for plan segmentation in multiagent planning

  2022cites this paper
• Learning temporal action models from multiple plans: A constraint satisfaction approach

  2022cites this paper
• Don't Give Me That Story! -- A Human-Centered Framework for Usable Narrative Planning

  2022cites this paper
• Encoding Lifted Classical Planning in Propositional Logic

  2022cites this paper
• A constraint-based approach to learn temporal features on action models from multiple plans

  2022cites this paper
• Exploring Lifted Planning Encodings in Essence Prime

  2021cites this paper
• Modelling Character Knowledge in Plan-Based Interactive Narrative to Extend Accomodative Mediation

  2021cites this paper
• Delete-Relaxation Heuristics for Lifted Classical Planning

  2021cites this paper
• Computing Opportunities to Augment Plans for Novel Replanning during Execution

  2021cites this paper
• Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning

  2021cites this paper
• Forward Chaining Hierarchical Partial-Order Planning

  2021cites this paper
• Sabre: A Narrative Planner Supporting Intention and Deep Theory of Mind

  2021cites this paper
• Intelligent Execution through Plan Analysis

  2021cites this paper
• Merits of Hierarchical Story and Discourse Planning with Merged Languages

  2021cites this paper
• Landmark Heuristics for Lifted Planning - Extended Abstract

  2021cites this paper
• Task Scoping: Generating Task-Specific Abstractions for Planning

  2021cites this paper
• Knowledge Engineering Tools and Techniques for AI Planning

  2020cites this paper
• Analysis of Methods and Information Technologies for Dynamic Planning of Smart City Development

  2020cites this paper
• An Intelligent Storytelling System for Narrative Conflict Generation and Resolution

  2020cites this paper
• Preference-based AI Planning for Web Service Composition

  2020cites this paper
• FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning

  2020cites this paper
• Lifted Successor Generation Using Query Optimization Techniques

  2020cites this paper
• A Systematic Literature Mapping of Artificial Intelligence Planning in Software Testing

  2020cites this paper
• An Interactive Tool for Plan Generation, Inspection, and Visualization

  2020cites this paper
• POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization

  2020cites this paper
• Planning in Artificial Intelligence

  2020cites this paper
• Proof-Carrying Plans: a Resource Logic for AI Planning

  2020cites this paper
• Task Scoping: Building Goal-Specific Abstractions for Planning in Complex Domains

  2020influential citation
• Learning How to Ground a Plan - Partial Grounding in Classical Planning

  2019cites this paper
• Hierarchical planning through propositional logic : highly efficient, versatile, and flexible

  2019cites this paper
• Towards Lifted Encodings for Numeric Planning in Essence Prime

  2019cites this paper
• Risk-bounded coordination of human-robot teams through concurrent intent recognition and adaptation

  2019cites this paper
• Hybrid planning and distributed iterative repair for multi-robot missions with communication losses

  2019cites this paper
• Anticipatory Thinking: A Metacognitive Capability

  2019influential citation
• Acquiring planning models from narrative synopses

  2019cites this paper
• A Connectionist model of Planning via Back-chaining Search

  2019cites this paper
• End-user Robot Programming in Cobotic Environments

  2019cites this paper
• Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic

  2019cites this paper
• Eliminating Redundant Actions in Partially Ordered Plans - A Complexity Analysis

  2019cites this paper
• HEART: Using Abstract Plans as a Guarantee of Downward Refinement in Decompositional Planning

  2019cites this paper
• Discovering state constraints for planning with conditional effects in Discoplan (part I)

  2019cites this paper
• Beyond the frontiers of timeline-based planning

  2019cites this paper
• A companion-system architecture for realizing individualized and situation-adaptive user assistance

  2018cites this paper
• Hybrid planning - from theory to practice

  2018cites this paper
• Planification par fusions incr\'ementales de graphes

  2018cites this paper
• How explainable plans can make planning faster

  2018cites this paper
• Subjective Experience of Plan-Based Intention Revision

  2018cites this paper
• Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams

  2018cites this paper
• PDDL4J: a planning domain description library for java

  2018cites this paper
• Contributions à la planification automatique pour la conduite de systèmes autonomes

  2018cites this paper
• Mixed-integer linear programming models for least-commitment partial-order planning

  2017cites this paper
• Effective planning with expressive languages

  2017cites this paper
• To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process

  2017cites this paper
• Intelligent Planning Methods and Features of Their Usage for Development Automation of Dynamic Integrated Expert Systems

  2017cites this paper
• Learning from conflict in multi-agent, classical, and temporal planning

  2017cites this paper
• Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

  2017cites this paper
• Structural plan similarity based on refinements in the space of partial plans

  2017cites this paper
• Planification d'actions hiérarchique pour la simulation tactique. (Hierarchical Action Planning for Tactical Simulation)

  2017cites this paper
• HOKAGE: A Heuristic Lifted Planning Algorithm for Generating Diverse Generalized Plans

  2017cites this paper
• Non-Cooperative Games for Self-Interested Planning Agents

  2017cites this paper
• Measuring Presence in a Police Use of Force Simulation

  2017cites this paper
• A configurable partial-order planning approach for field level operation strategies of PLC-based industry 4.0 automated manufacturing systems

  2017cites this paper
• Defeasible-argumentation-based multi-agent planning

  2017cites this paper
• Hybrid mission planning with coalition formation

  2017cites this paper
• Action Planning based on Open Knowledge Graphs and LOD (Poster)

  2017cites this paper
• Intelligent software environment for integrated expert system designing and development

  2017cites this paper
• User-Centered Planning

  2017cites this paper
• Change the Plan - How Hard Can That Be?

  2016cites this paper
• Symbolic discrete-time planning with continuous numeric action parameters for agent-controlled processes

  2016cites this paper
• Constraint-based Methods for Human-aware Planning

  2016cites this paper
• Modelo de landmarks temporales para problemas de planificación temporal altamente restringidos

  2016influential citation
• Defeasible Argumentation for Cooperative Multi-Agent Planning

  2016influential citation
• BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract)

  2016influential citation
• More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks

  2016cites this paper
• Planification multirobot pour des missions de surveillance avec contraintes de communication

  2016cites this paper
• Question Answering in the Context of Stories Generated by Computers

  2016cites this paper
• A compact task representation for hierarchical robot control

  2016cites this paper
• Optimización de dominios de Planning

  2016cites this paper
• Scalable Methods and Expressive Models for Planning Under Uncertainty

  2016cites this paper
• Automated Planning and Acting

  2016cites this paper
• Lexicalized Reasoning about Actions

  2016cites this paper
• PuK-Workshop : Planen / Scheduling und Konfigurieren / Entwerfen

  2016cites this paper