Daniel Bresnahan

Daniel Bresnahan is a faculty member at the University of Nebraska at Omaha within the College of Information Science and Technology, Department of Computer Science. His research focuses on computational logic and algorithm optimization, particularly in the domain of Answer Set Programming (ASP).

His work centers on improving the efficiency of logic programming systems through grounding size estimation and program rewriting techniques. Key publications include:

• System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics (2023)
• Grounding Size Predictions for Answer Set Programs (2019)
• Automatic Program Rewriting for Non-Ground Answer Set Programs (2019)

These contributions explore performance prediction, combinatorial problem solving, and automated transformation of logic programs, with a focus on enhancing system efficiency through declarative programming methods.