Recommendations
Cites work
- scientific article; zbMATH DE number 3463194 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3310089 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- A Selection Problem of Shared Fixed Costs and Network Flows
- Discussion and correspondence: A note on the Towers of Hanoi problem
- Formal theories of knowledge in AI and robotics
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Planning for conjunctive goals
- STRIPS: A new approach to the application of theorem proving to problem solving
Cited in
(69)- The scope and limits of simulation in automated reasoning
- Acquiring search-control knowledge via static analysis
- The logical foundations of goal-regression planning in autonomous agents
- Hierarchical task network and operator-based planning: two complementary approaches to real-world planning
- Actions over core-closed knowledge bases
- How does a box work? A study in the qualitative dynamics of solid objects
- Reasoning about partially ordered events
- A state space analysis of propose-and-revise
- Automatically selecting and using primary effects in planning: Theory and experiments.
- Permissive planning: Extending classical planning to uncertain task domains.
- Sound and efficient closed-world reasoning for planning
- Towards Real-World HTN Planning Agents
- LINGUISTIC GEOMETRY: METHODOLOGY AND TECHNIQUES
- Deriving consensus in multiagent systems
- Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results
- On the undecidability of probabilistic planning and related stochastic optimization problems
- The influence of k-dependence on the complexity of planning
- Event scheduling using allen's algebra
- scientific article; zbMATH DE number 1974087 (Why is no real title available?)
- Knowledge and communication: A first-order theory
- Planning for conjunctive goals
- A new deductive approach to planning
- Engineering and compiling planning domain models to promote validity and efficiency
- Artificial intelligence and human decision making
- Modality and interrupts
- Theory and algorithms for plan merging
- The roles of associational and causal reasoning in problem solving.
- A probabilistic analysis of propositional STRIPS planning
- A unified framework for explanation-based generalization of partially ordered and partially instantiated plans
- Localized planning with action-based constraints
- Processes and continuous change in a SAT-based planner
- Interpreting a dynamic and uncertain world: task-based control
- Planning parallel actions
- scientific article; zbMATH DE number 67469 (Why is no real title available?)
- A theory of conflict resolution in planning
- The computational complexity of propositional STRIPS planning
- Approximate planning
- Partial-order planning: Evaluating possible efficiency gains
- Stochastic dynamic programming with factored representations
- Embedding decision-analytic control in a learning architecture
- Planning for temporally extended goals.
- Network languages for complex systems
- Collaborative planning with confidentiality
- Set-structured and cost-sharing heuristics for classical planning
- A geometric approach to error detection recovery for robot motion planning with uncertainty
- Kernel functions for case-based planning
- Multi-contributor causal structures for planning: A formalization and evaluation
- Default reasoning by deductive planning
- Reasoning about actions with imprecise and incomplete state descriptions
- Remote Agent: to boldly go where no AI system has gone before
- On the nature and role of modal truth criteria in planning
- Complexity results for HTN planning
- A logic of time, chance, and action for representing plans
- State-variable planning under structural restrictions: algorithms and complexity
- On point-based temporal disjointness
- Anticipation of goals in automated planning
- Complexity, decidability and undecidability results for domain-independent planning
- Explaining by evidence
- On information invariants in robotics
- Translations of network languages
- Network languages for intelligent control
- Fast planning through planning graph analysis
- Calculating criticalities
- Network languages for concurrent multiagent systems
- On the evaluation of agent behaviors
- Integrating planning and learning: the PRODIGY architecture
- Solve-and-robustify
- Multiple perspective dynamic decision making
- On the computational complexity of temporal projection, planning, and plan validation
This page was built for publication: Planning for conjunctive goals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101262)
