Daniel Bresnahan

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Abductive Logic Programming

Answer Set Semantics

Top Venues

Theory Pract. Log. Program.

Publications

Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. Theory Pract. Log. Program. 24 (1) (2024)
Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. CoRR (2023)