The following pages link to SHOP2 (Q29791):
Displaying 7 items.
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
- Task decomposition on abstract states, for planning under nondeterminism (Q835827) (← links)
- Modular robotic systems: methods and algorithms for abstraction, planning, control, and synchronization (Q892190) (← links)
- Learning action models from plan examples using weighted MAX-SAT (Q1028900) (← links)
- A compiler for MSVL and its applications (Q1630985) (← links)
- ML-plan: automated machine learning via hierarchical planning (Q1631803) (← links)
- HTN-like solutions for classical planning problems: an application to BDI agent systems (Q1727994) (← links)
