David E. Smith

Available identifiers

zbMath Open smith.david-eMaRDI QIDQ1060860

List of research outcomes

Publication	Date of Publication	Type
Contrastive Explanations of Plans through Model Restrictions	2022-02-07	Paper
Extracting mutual exclusion invariants from lifted temporal planning domains	2018-06-13	Paper
Sequential Monte Carlo in reachability heuristics for probabilistic planning	2009-07-17	Paper
Planning graph heuristics for belief space search	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4449301	2004-02-08	Paper
Controlling backward inference	1989-01-01	Paper
Reasoning about action. I: A possible worlds approach	1988-01-01	Paper
Reasoning about action. II: The qualification problem	1988-01-01	Paper
Controlling recursive inference	1986-01-01	Paper
Ordering conjunctive queries	1985-01-01	Paper

Research outcomes over time

This page was built for person: David E. Smith