UCPOP: a sound, complete, partial order planner for ADL 论文

1992Principles of Knowledge Representation and Reasoning引用 688
Formal Methods in VerificationSynthesis and properties of polymers
Formal Methods in VerificationSynthesis and properties of polymers
相关技术:Formal Methods in Verification
关系图谱

UCPOP: a sound, complete, partial order planner for ADL · 相关技术

相关技术

Formal Methods in Verification