REDL, C. (2019). Inlining External Sources in Answer Set Programs. Theory and Practice of Logic Programming, 19(3), 360–411. https://doi.org/10.1017/s147106841800056x ( reposiTUm)

KAMINSKI, T., EITER, T., & INOUE, K. (2018). Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory and Practice of Logic Programming, 18(3–4), 571–588. https://doi.org/10.1017/s1471068418000261 ( 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)

Eiter, T., & Weinzierl, A. (2017). Preference-Based Inconsistency Management in Multi-Context Systems. Journal of Artificial Intelligence Research, 60, 347–424. https://doi.org/10.1613/jair.5416 ( reposiTUm)

REDL, C. (2016). The DLVHEX System for Knowledge Representatin: Recent Advances (System Description). Theory and Practice of Logic Programming, 16(5–6), 866–883. https://doi.org/10.1017/s1471068416000211 ( reposiTUm)

Ianni, G., Calimeri, F., Germano, S., Humenberger, A., Redl, C., Stepanova, D., Tucci, A., & Wimmer, A. (2016). Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. IEEE Transactions on Computational Intelligence and AI in Games, 8(2), 128–139. https://doi.org/10.1109/tciaig.2015.2509600 ( reposiTUm)

Shen, Y.-D., & Eiter, T. (2021). Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). In C. Bessiere (Ed.), Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-20) (pp. 5040–5044). http://hdl.handle.net/20.500.12708/55568 ( reposiTUm)

Eiter, T., & Kaminski, T. D. (2019). Pruning External Minimality Checking for ASP Using Semantic Dependencies. In M. Balduccini, Y. Lierler, & S. Woltran (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 326–339). Springer. https://doi.org/10.34726/721 ( reposiTUm)

Leutgeb, L., & Weinzierl, A. (2018). Techniques for Efficient Lazy-Grounding ASP Solving. In D. Seipel, M. Hanus, & S. Abreu (Eds.), Declarative Programming and Knowledge Management (pp. 132–148). Springer International Publishing. https://doi.org/10.1007/978-3-030-00801-7_9 ( reposiTUm)

Taupe, R., Weinzierl, A., & Schenner, G. (2017). Introducing Heuristics for Lazy-Grounding ASP Solving. In M. Gebser, M. Maratea, & F. Ricca (Eds.), 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) (p. 13). http://hdl.handle.net/20.500.12708/57263 ( reposiTUm)

Leutgeb, L., & Weinzierl, A. (2017). Techniques for Efficient Lazy-Grounding ASP Solving. In D. Seipel, M. Hanus, & S. Abreu (Eds.), Declare 2017 - Conference on Declarative Programming (p. 16). http://hdl.handle.net/20.500.12708/57220 ( reposiTUm)

Redl, C. (2017). Explaining Inconsistency in Answer Set Programs and Extensions. In Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) (pp. 176–190). http://hdl.handle.net/20.500.12708/55705 ( reposiTUm)

Redl, C. (2017). Answer Set Programs with Queries over Subprograms. In Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) (pp. 160–175). Springer. http://hdl.handle.net/20.500.12708/56904 ( reposiTUm)

Kaminski, T. (2017). Answer Set Programs with External Source Access: Integrated Evaluation and New Applications. In M. De Vos (Ed.), LPNMR 2017 Doctoral Consortium (pp. 17–22). http://hdl.handle.net/20.500.12708/56687 ( reposiTUm)

Redl, C. (2017). On Equivalance and Inconsistency of Answer Set Programs with External Sources. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) (pp. 1222–1228). http://hdl.handle.net/20.500.12708/56575 ( reposiTUm)

Redl, C. (2017). Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) (pp. 1229–1235). http://hdl.handle.net/20.500.12708/56574 ( reposiTUm)

Rath, J., & Redl, C. (2017). Integrating Answer Set Programming with Procedural Languages. In Y. Lierler & W. Taha (Eds.), Practical Aspects of Declarative Languages (pp. 50–67). Springer. https://doi.org/10.1007/978-3-319-51676-9_4 ( reposiTUm)

Redl, C. (2017). Extending Answer Set Programs with Interpreted Functions as First-class Citizens. In Y. Lierler & W. Taha (Eds.), Practical Aspects of Declarative Languages (pp. 68–85). Springer. https://doi.org/10.1007/978-3-319-51676-9_5 ( reposiTUm)

Eiter, T., Kaminski, T., & Weinzierl, A. (2017). Lazy-Grounding for Answer Set Programs with External Source Access. In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. ijcai.org. https://doi.org/10.24963/ijcai.2017/141 ( reposiTUm)

Redl, C. (2017). Conflict-driven ASP Solving with External Sources and Program Splits. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) (pp. 1239–1246). AAAI Press. http://hdl.handle.net/20.500.12708/56928 ( reposiTUm)

Eiter, T., Kaminski, T., Redl, C., & Weinzierl, A. (2016). Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (pp. 1058–1065). IJCAI/AAAI Press. http://hdl.handle.net/20.500.12708/56579 ( reposiTUm)

Redl, C. (2016). Automated Benchmarking of KR-Systems. In Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Genua, Italy, EU. http://hdl.handle.net/20.500.12708/56572 ( reposiTUm)

Eiter, T., Redl, C., & Schüller, P. (2016). Problem Solving Using the HEX Family. In 60 Birthday: Gabriele Kern-Isberner, 2016 (pp. 150–174). College Publications. http://hdl.handle.net/20.500.12708/56573 ( reposiTUm)

De Rosis, A., Eiter, T., Redl, C., & Ricca, F. (2015). Constraint Answer Set Programming based on HEX-Programs. In Proceedings of the 8th Workshop on Answer Set Programming and Other Computing Paradigms (p. 15). http://hdl.handle.net/20.500.12708/55894 ( reposiTUm)

Kaminski, T., Eiter, T., & Inoue, K. (2018). Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming. 28th International Conference on Inductive Logic Programming, Ferrara, Italy. http://hdl.handle.net/20.500.12708/86800 ( reposiTUm)

Weinzierl, A. (2015). Twelve speedy tricks for answering NP-complete problems. TNG Big Techday 8, München, Deutschland, EU. http://hdl.handle.net/20.500.12708/86214 ( reposiTUm)

Redl, C. (2016). The ABC Benchmarking System User Manual (INFSYS RR-1843-16-01). http://hdl.handle.net/20.500.12708/38954 ( reposiTUm)

Eiter, T., Mehuljic, M., Redl, C., & Schüller, P. (2015). User Guide: dlvhex 2.X (INFSYS RR-1843-15-05). http://hdl.handle.net/20.500.12708/38596 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2015). Computing Repairs of Inconsistent DL-programs over EL Ontologies (INFSYS RR-1843-15-08). http://hdl.handle.net/20.500.12708/38690 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2015). Data Repair of Inconsistent Nonmonotonic Description Logic Programs (INFSYS RR-1843-15-03). http://hdl.handle.net/20.500.12708/38689 ( reposiTUm)

Eiter, T., Redl, C., & Schüller, P. (2015). Problem Solving Using the HEX Family (NFSYS RR-1843-15-07). http://hdl.handle.net/20.500.12708/38688 ( reposiTUm)