Comploi-Taupe, R., Friedrich, G., Schekotihin, K., & Weinzierl, A. (2023). Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach. Journal of Artificial Intelligence Research, 76, 59–114. https://doi.org/10.1613/jair.1.14091 ( reposiTUm)

Eiter, T., Ichise, R., Parreira, J. X., Schneider, P., & Zhao, L. (2021). Deploying Spatial-Stream Query Answering in C-ITS Scenarios. Semantic Web, 12(1), 41–77. https://doi.org/10.3233/sw-200408 ( reposiTUm)

WEINZIERL, A., TAUPE, R., & FRIEDRICH, G. (2020). Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. Theory and Practice of Logic Programming, 20(5), 609–624. https://doi.org/10.1017/s1471068420000332 ( reposiTUm)

TAUPE, R., WEINZIERL, A., & FRIEDRICH, G. (2020). Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. Theory and Practice of Logic Programming, 20(5), 799–814. https://doi.org/10.1017/s1471068420000368 ( reposiTUm)

Dodaro, C., Eiter, T., Ogris, P., & Schekotihin, K. (2020). Managing Caching Strategies for Stream Reasoning with Reinforcement Learning. Theory and Practice of Logic Programming, 20(5: 36th International Conference on Logic Programming Special issue I), 625–640. https://doi.org/10.1017/s147106842000037x ( reposiTUm)

Schüller, P., & Benz, M. (2018). Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation. Machine Learning, 107(7), 1141–1169. https://doi.org/10.1007/s10994-018-5708-2 ( reposiTUm)

Taupe, R., Friedrich, G., Schekotihin, K., & Weinzierl, A. (2021). Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics. In Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021) (p. 8). CEUR-WS. http://hdl.handle.net/20.500.12708/55694 ( reposiTUm)

Eiter, T., Falkner, A., Schneider, P., & Schüller, P. (2020). ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (p. 7). IOS Press - Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/58244 ( reposiTUm)

Bogaerts, B., Marynissen, S., & Weinzierl, A. (2020). Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming. In M. V. Martinez & I. Varzinczak (Eds.), NMR 2020 Workshop Notes (p. 9). http://hdl.handle.net/20.500.12708/55542 ( reposiTUm)

Schüller, P. (2019). The Hexlite Solver. In Logics in Artificial Intelligence (pp. 593–607). Springer, Cham, Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-19570-0_39 ( reposiTUm)

Saribatur, Z. G., Schüller, P., & Eiter, T. (2019). Abstraction for Non-ground Answer Set Programs. In F. Calimeri, N. Leone, & M. Manna (Eds.), Logics in Artificial Intelligence (pp. 576–592). Springer LNCS. https://doi.org/10.1007/978-3-030-19570-0_38 ( reposiTUm)

Bomanson, J., Janhunen, T., & Weinzierl, A. (2019). Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2694–2702). AAAI Press. https://doi.org/10.1609/aaai.v33i01.33012694 ( reposiTUm)

Taupe, R., Weinzierl, A., & Friedrich, G. (2019). Degrees of Laziness in Grounding. In M. Balduccini, Y. Lierler, & S. Woltran (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 298–311). https://doi.org/10.1007/978-3-030-20528-7_22 ( reposiTUm)

Taupe, R., Schekotihin, K., Schüller, P., Weinzierl, A., & Friedrich, G. (2018). Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. In Workshop on Trends and Applications of Answer Set Programming (p. 15). http://hdl.handle.net/20.500.12708/57611 ( reposiTUm)

Saribatur, Z. G., Schüller, P., & Eiter, T. (2018). Abstraction for Non-Ground Answer Set Programs. In 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018). 2nd Workshop on Trends and Applications of Answer Set Programming 2018, Wien, Austria. http://hdl.handle.net/20.500.12708/57536 ( reposiTUm)

Schüller, P. (2018). The Hexlite Solver. In Workshop on Trends and Applications of Answer Set Programming (p. 15). http://hdl.handle.net/20.500.12708/57328 ( reposiTUm)

Weinzierl, A., Taupe, R., & Friedrich, G. (2020). Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. ICLP 2020, Rende, Italy. http://hdl.handle.net/20.500.12708/87110 ( reposiTUm)

Taupe, R., Weinzierl, A., & Friedrich, G. (2020). Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. ICLP 2020, Rende, Italy. http://hdl.handle.net/20.500.12708/87111 ( reposiTUm)

Weinzierl, A., Taupe, R., & Friedrich, G. (2020). Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. arXiv. https://doi.org/10.48550/arXiv.2008.03526 ( reposiTUm)

Taupe, R., Weinzierl, A., & Friedrich, G. (2020). Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. arXiv. https://doi.org/10.48550/arXiv.2008.03100 ( reposiTUm)