Nicholas Hippen

According to our database, Nicholas Hippen authored at least 3 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics.

Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler

Theory Pract. Log. Program., January, 2024

2021

Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics.

Nicholas Hippen, Yuliya Lierler

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2019

Automatic Program Rewriting in Non-Ground Answer Set Programs.

Nicholas Hippen, Yuliya Lierler

Proceedings of the Practical Aspects of Declarative Languages, 2019