Dana S. Nau

Available identifiers

zbMath Open nau.dana-sDBLPn/DanaSNauWikidataQ5214819 ScholiaQ5214819MaRDI QIDQ622119

List of research outcomes

Publication	Date of Publication	Type
On the nature and role of modal truth criteria in planning	2022-09-22	Paper
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning	2018-08-14	Paper
When is it better not to look ahead?	2011-01-31	Paper
Artificial Intelligence and Automation	2010-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4449309	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4708326	2003-06-17	Paper
IMPACTing SHOP: Putting an AI planner into a multi-agent environment	2003-03-10	Paper
Complexity, decidability and undecidability results for domain-independent planning	2003-02-04	Paper
Complexity results for HTN planning	1998-03-04	Paper
Manufacturing cell formation by state-space search	1997-03-11	Paper
Systematic approach to analysing the manufacturability of machined parts	1996-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q3491029	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5750459	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3771662	1986-01-01	Paper
A formal model of diagnostic inference. II. Algorithmic solution and application	1985-01-01	Paper
A formal model of diagnostic inference. I. Problem formulation and decomposition	1985-01-01	Paper
General branch and bound, and its relation to \(A^*\) and \(AO^*\)	1984-01-01	Paper
Pathology on game trees revisited, and an alternative to minimaxing	1983-01-01	Paper
Decision Quality As a Function of Search Depth on Game Trees	1983-01-01	Paper
On game graph structure and its influence on pathology	1983-01-01	Paper
The last player theorem	1982-01-01	Paper
An investigation of the causes of pathology in games	1982-01-01	Paper
A mathematical analysis of human leukocyte antigen serology	1978-01-01	Paper

Research outcomes over time

This page was built for person: Dana S. Nau