Dana S. Nau

MaRDI QIDQ622119zbMATH OpenDBLPWikidataFDO

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
On the nature and role of modal truth criteria in planning Artificial Intelligence	2022-09-22	Paper
Extending classical planning with state constraints: heuristics and search for optimal planning Journal of Artificial Intelligence Research	2018-08-14	Paper
When is it better not to look ahead? Artificial Intelligence	2011-01-31	Paper
Artificial intelligence and automation Springer Handbook of Automation	2010-11-30	Paper
scientific article; zbMATH DE number 2038904 (Why is no real title available?)	2004-02-08	Paper
scientific article; zbMATH DE number 1929233 (Why is no real title available?)	2003-06-17	Paper
IMPACTing SHOP: Putting an AI planner into a multi-agent environment Annals of Mathematics and Artificial Intelligence	2003-03-10	Paper
Complexity, decidability and undecidability results for domain-independent planning Artificial Intelligence	2003-02-04	Paper
Complexity results for HTN planning Annals of Mathematics and Artificial Intelligence	1998-03-04	Paper
Manufacturing cell formation by state-space search Annals of Operations Research	1997-03-11	Paper
Systematic approach to analysing the manufacturability of machined parts CAD. Computer-Aided Design	1996-03-05	Paper
scientific article; zbMATH DE number 4164200 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4185081 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4031040 (Why is no real title available?)	1986-01-01	Paper
A formal model of diagnostic inference. II. Algorithmic solution and application Information Sciences	1985-01-01	Paper
A formal model of diagnostic inference. I. Problem formulation and decomposition Information Sciences	1985-01-01	Paper
General branch and bound, and its relation to \(A^*\) and \(AO^*\) Artificial Intelligence	1984-01-01	Paper
Pathology on game trees revisited, and an alternative to minimaxing Artificial Intelligence	1983-01-01	Paper
Decision Quality As a Function of Search Depth on Game Trees Journal of the ACM	1983-01-01	Paper
On game graph structure and its influence on pathology International Journal of Computer & Information Sciences	1983-01-01	Paper
The last player theorem Artificial Intelligence	1982-01-01	Paper
An investigation of the causes of pathology in games Artificial Intelligence	1982-01-01	Paper
A mathematical analysis of human leukocyte antigen serology Mathematical Biosciences	1978-01-01	Paper

Research outcomes over time

This page was built for person: Dana S. Nau