Pages that link to "Item:Q2360182"

The following pages link to Planning with regression analysis in transaction logic (Q2360182):

Displayed 3 items.

• Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) ‎ (← links)
• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) ‎ (← links)
• Non-commutative propositional logic with short-circuit evaluation (Q5862001) ‎ (← links)