Nicholas Hippen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

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)
Nicholas Hippen, Yuliya Lierler
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. JELIA (2021)
Nicholas Hippen, Yuliya Lierler
Automatic Program Rewriting in Non-Ground Answer Set Programs. PADL (2019)