The following pages link to (Q4400802):
Displayed 4 items.
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (Q2304532) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)