Concepedia

Dana Nau

DN

Statistics

Publications

8

Citations

183

H-Index

8

Active since

1990

Affiliations

University of Maryland, College Park(Current)

Research Institute for Advanced Computer Science

Dana Nau is an author at University of Maryland, College Park specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningMechanism DesignLogic ProgrammingMathematical ProgrammingGamesDesignBusiness

Publications per year

1990–2010

8

Publications

8

WFS + branch and bound = stable models

V. S. Subrahmanian, Dana Nau, Carlo Vago · IEEE Transactions on Knowledge and Data Engineering · 1995 · 67 citations

Mathematical Programming, Engineering, Well-founded Semantics +19

Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030,000 worlds

Samir Khuller, María Vanina Martínez, Dana Nau et al. · Annals of Mathematics and Artificial Intelligence · 2007 · 41 citations

Computational Science, Probabilistic Ontology, Engineering +11

Optimization of multiple-goal plans with limited interaction

Dana Nau, Qiang Yang, James Hendler · 1990 · 17 citations

Mathematical Programming, Limited Interaction, Engineering +5

ITS: an efficient limited-memory heuristic tree search algorithm

Subrata Ghosh, Ambuj Mahanti, Dana Nau · National Conference on Artificial Intelligence · 1994 · 14 citations

A logic of motion

Fusun Yaman, Dana Nau, V. S. Subrahmanian · Principles of Knowledge Representation and Reasoning · 2004 · 12 citations

Applied Logic, Engineering, Classical Logic +17

1–5 of 8