Login / Signup
Nicholas Hippen
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Propositional Theories
Logic Programs
Fixpoint
Stable Models
Top Venues
PADL
CoRR
JELIA
</>
Publications
</>
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)