List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Contrastive Explanations of Plans through Model Restrictions Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
| Extracting mutual exclusion invariants from lifted temporal planning domains Artificial Intelligence | 2018-06-13 | Paper |
| Sequential Monte Carlo in reachability heuristics for probabilistic planning Artificial Intelligence | 2009-07-17 | Paper |
| Planning graph heuristics for belief space search | 2009-04-28 | Paper |
| scientific article; zbMATH DE number 2038898 (Why is no real title available?) (available as arXiv preprint) | 2004-02-08 | Paper |
| Controlling backward inference Artificial Intelligence | 1989-01-01 | Paper |
| Reasoning about action. I: A possible worlds approach Artificial Intelligence | 1988-01-01 | Paper |
| Reasoning about action. II: The qualification problem Artificial Intelligence | 1988-01-01 | Paper |
| Controlling recursive inference Artificial Intelligence | 1986-01-01 | Paper |
| Ordering conjunctive queries Artificial Intelligence | 1985-01-01 | Paper |
Research outcomes over time
This page was built for person: David E. Smith
