Dana S. Nau

From MaRDI portal
Person:622119

Available identifiers

zbMath Open nau.dana-sDBLPn/DanaSNauWikidataQ5214819 ScholiaQ5214819MaRDI QIDQ622119

List of research outcomes





PublicationDate of PublicationType
On the nature and role of modal truth criteria in planning2022-09-22Paper
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning2018-08-14Paper
When is it better not to look ahead?2011-01-31Paper
Artificial Intelligence and Automation2010-11-30Paper
https://portal.mardi4nfdi.de/entity/Q44493092004-02-08Paper
https://portal.mardi4nfdi.de/entity/Q47083262003-06-17Paper
IMPACTing SHOP: Putting an AI planner into a multi-agent environment2003-03-10Paper
Complexity, decidability and undecidability results for domain-independent planning2003-02-04Paper
Complexity results for HTN planning1998-03-04Paper
Manufacturing cell formation by state-space search1997-03-11Paper
Systematic approach to analysing the manufacturability of machined parts1996-03-05Paper
https://portal.mardi4nfdi.de/entity/Q34910291989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57504591989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37716621986-01-01Paper
A formal model of diagnostic inference. II. Algorithmic solution and application1985-01-01Paper
A formal model of diagnostic inference. I. Problem formulation and decomposition1985-01-01Paper
General branch and bound, and its relation to \(A^*\) and \(AO^*\)1984-01-01Paper
Pathology on game trees revisited, and an alternative to minimaxing1983-01-01Paper
Decision Quality As a Function of Search Depth on Game Trees1983-01-01Paper
On game graph structure and its influence on pathology1983-01-01Paper
The last player theorem1982-01-01Paper
An investigation of the causes of pathology in games1982-01-01Paper
A mathematical analysis of human leukocyte antigen serology1978-01-01Paper

Research outcomes over time

This page was built for person: Dana S. Nau