Pages that link to "Item:Q2734936"
From MaRDI portal
The following pages link to Encoding domain and control knowledge for propositional planning (Q2734936):
Displaying 5 items.
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- Generating effective symmetry-breaking predicates for search problems (Q2741511) (← links)
- SAS+ planning as satisfiability (Q2887072) (← links)