The following pages link to David E. Smith (Q1060860):
Displaying 10 items.
- Ordering conjunctive queries (Q1060862) (← links)
- Controlling recursive inference (Q1097714) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- Reasoning about action. II: The qualification problem (Q1103420) (← links)
- Controlling backward inference (Q1123001) (← links)
- Extracting mutual exclusion invariants from lifted temporal planning domains (Q1639696) (← links)
- Sequential Monte Carlo in reachability heuristics for probabilistic planning (Q2389632) (← links)
- (Q3624010) (← links)
- (Q4449301) (← links)
- Contrastive Explanations of Plans through Model Restrictions (Q5026205) (← links)
