The computational complexity of propositional STRIPS planning 论文

1994Artificial Intelligence引用 856
Logic, Reasoning, and KnowledgeConstraint Satisfaction and OptimizationAI-based Problem Solving and Planning