On the nature and role of modal truth criteria in planning

DOI10.1016/0004-3702(94)00095-6OpenAlexW2015250277MaRDI QIDQ2674199

Dana S. Nau, Subbarao Kambhampati

Publication date: 22 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)00095-6

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• UCPOP

Cites Work

• Unnamed Item
• Unnamed Item
• Planning for conjunctive goals
• On the complexity of blocks-world planning
• Reasoning about partially ordered events
• On the computational complexity of temporal projection, planning, and plan validation
• A unified framework for explanation-based generalization of partially ordered and partially instantiated plans
• Multi-contributor causal structures for planning: A formalization and evaluation
• Complexity, decidability and undecidability results for domain-independent planning
• Regression planning

This page was built for publication: On the nature and role of modal truth criteria in planning