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
https://portal.mardi4nfdi.de/entity/Q3624010	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David E. Smith