Eiter, T., Krennwallner, T., Prandtstetter, M., Rudloff, C., Schneider, P., & Straub, M. (2016). Semantically Enriched Multi-Modal Routing. International Journal of Intelligent Transportation Systems Research, 14(1), 20–35. https://doi.org/10.1007/s13177-014-0098-8 ( 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)

Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., & Schüller, P. (2016). A model building framework for answer set programming with external computations. Theory and Practice of Logic Programming, 16(4), 418–464. https://doi.org/10.1017/s1471068415000113 ( reposiTUm)

Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2015). Distributed Evaluation of Nonmonotonic Multi-Context Systems. Journal of Artificial Intelligence Research, 52, 543–600. https://doi.org/10.1613/jair.4574 ( reposiTUm)

Shen, Y.-D., Wang, K., Eiter, T., Fink, M., Redl, C., Krennwallner, T., & Deng, J. (2014). FLP answer set semantics without circular justifications for general logic programs. Artificial Intelligence, 213, 1–41. https://doi.org/10.1016/j.artint.2014.05.001 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2014). Efficient HEX-Program Evaluation based on Unfounded Sets. Journal of Artificial Intelligence Research, 49, 269–321. https://doi.org/10.1613/jair.4175 ( reposiTUm)

EITER, T., FINK, M., KRENNWALLNER, T., & REDL, C. (2012). Conflict-driven ASP solving with external sources. Theory and Practice of Logic Programming, 12(4–5), 659–679. https://doi.org/10.1017/s1471068412000233 ( reposiTUm)

Calimeri, F., Ianni, G., Krennwallner, T., & Ricca, F. (2012). The Answer Set Programming Competition. AI Magazine, 33(4), 114–118. http://hdl.handle.net/20.500.12708/163871 ( 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)

Eiter, T., Pan, J. Z., Schneider, P., Šimkus, M., & Xiao, G. (2015). A Rule-based Framework for Creating Instance Data from OpenStreetMap. In B. ten Cate & A. Mileo (Eds.), Web Reasoning and Rule Systems (pp. 93–104). Springer LNCS. https://doi.org/10.1007/978-3-319-22002-4_8 ( reposiTUm)

Feier, C., & Eiter, T. (2015). Reasoning with Forest Logic Programs Using Fully Enriched Automata. In F. Calimeri, G. Ianni, & M. Truszczynski (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 346–353). Springer. https://doi.org/10.1007/978-3-319-23264-5_29 ( reposiTUm)

Eiter, T., & Simkus, M. (2015). Linking Open-World Knowledge Bases Using Nonmonotonic Rules. In F. Calimeri, G. Ianni, & M. Truszczynski (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 294–308). Springer LNCS. https://doi.org/10.1007/978-3-319-23264-5_25 ( reposiTUm)

Feier, C., & Eiter, T. (2015). Reasoning with Forest Logic Programs Using Fully Enriched Automata. In O. Papini (Ed.), Joint Ontology Workshops 2015 (p. 10). CEUR-WS.org. http://hdl.handle.net/20.500.12708/55418 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2014). hex-Programs with Existential Quantification. In M. Hanus & R. Rocha (Eds.), Declarative Programming and Knowledge Management (pp. 99–117). Springer. https://doi.org/10.1007/978-3-319-08909-6_7 ( reposiTUm)

Eiter, T., Fink, M., Redl, C., & Stepanova, D. (2014). Exploiting Support Sets for Answer Set Programs with External Evaluations. In C. E. Brodley & P. Stone (Eds.), Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence (pp. 1041–1048). AAAI Press. http://hdl.handle.net/20.500.12708/55270 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2014). Towards Practical Deletion Repair of Inconsistent DL-programs. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics (pp. 169–180). CEUR-WS. http://hdl.handle.net/20.500.12708/55751 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2014). Towards Practical Deletion Repair of Inconsistent DL-programs. In T. Schaub, G. Friedrich, & B. O´Sullivan (Eds.), Proceedings of the 21st European Conference on Artificial Intelligence (pp. 285–290). Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/55753 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2014). Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies. In E. Fermé & J. Leite (Eds.), Logics in Artificial Intelligence (pp. 426–441). Springer. https://doi.org/10.1007/978-3-319-11558-0_30 ( reposiTUm)

Calimeri, F., Fink, M., Germano, S., Ianni, G., Redl, C., & Wimmer, A. (2013). AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. In M. Baldoni, F. Chesani, P. Mello, & M. Montali (Eds.), Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013 (pp. 29–35). http://hdl.handle.net/20.500.12708/54777 ( reposiTUm)

Fink, M., Germano, S., Ianni, G., Redl, C., & Schüller, P. (2013). ActHEX: Implementing HEX Programs with Action Atoms. In P. Cabalar & T. C. Son (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 317–322). Springer. https://doi.org/10.1007/978-3-642-40564-8_31 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2013). Data Repair of Inconsistent DL-programs. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (pp. 869–876). AAAI Press. http://hdl.handle.net/20.500.12708/54813 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2013). Inconsistency Management for Description Logic Programs and Beyond. In Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings (pp. 1–3). http://hdl.handle.net/20.500.12708/54814 ( reposiTUm)

Eiter, T., Krennwallner, T., & Redl, C. (2013). HEX-Programs with Nested Program Calls. In H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, & A. Wolf (Eds.), Applications of Declarative Programming and Knowledge Management (pp. 269–278). Springer. https://doi.org/10.1007/978-3-642-41524-1_15 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2013). Grounding HEX-Programs with Expanding Domains. In D. Pearce, S. Tasharrofi, E. Ternovska, & C. Vidal (Eds.), 2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV’13) (p. 13). http://hdl.handle.net/20.500.12708/54766 ( reposiTUm)

Eiter, T., Krennwallner, T., & Schneider, P. (2013). Lightweight Spatial Conjunctive Query Answering Using Keywords. In P. Cimiano, O. Corcho, V. Presutti, L. Hollink, & S. Rudolph (Eds.), The Semantic Web: Semantics and Big Data (pp. 243–258). Springer. https://doi.org/10.1007/978-3-642-38288-8_17 ( reposiTUm)

Charwat, G., Ianni, G., Krennwallner, T., Kronegger, M., Pfandler, A., Redl, C., Schwengerer, M., Spendier, L., Wallner, J. P., & Xiao, G. (2013). VCWC: A Versioning Competition Workflow Compiler. In T. C. Son & P. Cabalar (Eds.), 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013) (pp. 233–238). Springer. http://hdl.handle.net/20.500.12708/54641 ( reposiTUm)

Alviano, M., Calimeri, F., Charwat, G., Dao-Tran, M., Dodaro, C., Ianni, G., Krennwallner, T., Kronegger, M., Oetsch, J., Pfandler, A., Puehrer, J., Redl, C., Ricca, F., Schneider, P., Schwengerer, M., Spendier, L., Wallner, J. P., & Xiao, G. (2013). The Fourth Answer Set Programming Competition: Preliminary Report. In P. Cabalar & T. C. Son (Eds.), 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013) (pp. 42–53). Springer. http://hdl.handle.net/20.500.12708/54640 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2013). Liberal Safety for Answer Set Programs with External Sources. In M. desJardins & M. Littman (Eds.), Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13) (pp. 267–275). AAAI Press. http://hdl.handle.net/20.500.12708/54593 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2013). Defeasibility in contextual reasoning with CKR. In Working Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013) (p. 13). http://hdl.handle.net/20.500.12708/54892 ( reposiTUm)

Antić, C., Eiter, T., & Fink, M. (2013). Hex Semantics via Approximation Fixpoint Theory. In P. Cabalar & T. C. Son (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 102–115). https://doi.org/10.1007/978-3-642-40564-8_11 ( reposiTUm)

Redl, C. (2012). Answer Set Programming with External Sources. In A. Dovier & V. S. Costa (Eds.), Technical Communications of the 28th International Conference on Logic Programming (pp. 469–475). Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. http://hdl.handle.net/20.500.12708/54420 ( reposiTUm)

Eiter, T., Krennwallner, T., Prandtstetter, M., Rudloff, C., Schneider, P., & Straub, M. (2012). Semantically Enriched Multi-Modal Routing. In V. Blervaque & R. Pfliegl (Eds.), 19th ITS World Congress (ITS World 2012) (p. 10). ERTICO-ITS Europe. http://hdl.handle.net/20.500.12708/54222 ( reposiTUm)

Beck, H., Eiter, T., & Krennwallner, T. (2012). Inconsistency Managment for Traffic Regulations. In B. Srivastava, F. Lecue, & A. Joshi (Eds.), The AAAI 2012 Workshop on Semantic Cities (p. 6). AAAI Press. http://hdl.handle.net/20.500.12708/54135 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Eliminating Unfounded Set Checking for HEX-Programs. In M. Fink & Y. Lierler (Eds.), Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary (p. 15). CoRR - Computing Research Repository. http://hdl.handle.net/20.500.12708/54189 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Exploiting Unfounded Sets for HEX-Program Evaluation. In L. F. del Cerro, A. Herzig, & J. Mengin (Eds.), Logics in Artificial Intelligence (pp. 160–175). Springer. https://doi.org/10.1007/978-3-642-33353-8_13 ( reposiTUm)

Beck, H., Eiter, T., & Krennwallner, T. (2012). Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. In L. F. del Cerro, A. Herzig, & J. Mengin (Eds.), Logics in Artificial Intelligence (pp. 80–93). Springer. https://doi.org/10.1007/978-3-642-33353-8_7 ( reposiTUm)

Redl, C., Eiter, T., & Krennwallner, T. (2011). Declarative Belief Set Merging Using Merging Plans. In R. Rocha & J. Launchbury (Eds.), Practical Aspects of Declarative Languages (pp. 99–114). Springer. https://doi.org/10.1007/978-3-642-18378-2_10 ( reposiTUm)

Eiter, T., Krennwallner, T., & Redl, C. (2011). Nested HEX-Programs. In H. Tompits (Ed.), 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) (p. 6). Computing Research Repository (CoRR), arXiv. http://hdl.handle.net/20.500.12708/53703 ( reposiTUm)

Eiter, T., Krennwallner, T., & Redl, C. (2011). Declarative Merging of and Reasoning about Decision Diagrams. In A. Dal Palù, A. Dovier, & A. Formisano (Eds.), Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011) (p. 13). Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia. http://hdl.handle.net/20.500.12708/53667 ( reposiTUm)

Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning. 11th International Conference, LPNMR 2011 (pp. 93–106). Springer. https://doi.org/10.1007/978-3-642-20895-9_10 ( reposiTUm)

Reasoning Web. Semantic Technologies for Advanced Query Answering. (2012). In T. Eiter & T. Krennwallner (Eds.), Lecture Notes in Computer Science. Springer LNCS 7487. https://doi.org/10.1007/978-3-642-33158-9 ( reposiTUm)

Calimeri, F., Fink, M., Germano, S., Humenberger, A., Ianni, G., Redl, C., Stepanova, D., & Tucci, A. (2014). AngryHEX: An Angry Birds-playing Agent based on HEX-Programs. AngryBirds Competition 2014, Prague, Czech Republic, EU. http://hdl.handle.net/20.500.12708/85870 ( reposiTUm)

Calimeri, F., Fink, M., Germano, S., Ianni, G., Redl, C., Stepanova, D., & Wimmer, A. (2013). AngryHEX: An Angry Birds-playing Agent based on HEX-Programs. AngryBirds Competition 2013, Beijing, China, Non-EU. http://hdl.handle.net/20.500.12708/85642 ( reposiTUm)

Fink, M. (2011). HEX Programs with Action Atoms. DIADEM 1.0 Workshop, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/85201 ( reposiTUm)

Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., & Schüller, P. (2015). A Model Building Framework for Answer Set Programming with External Computations (INFSYS RR-1843-15-01). http://hdl.handle.net/20.500.12708/38595 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2014). Domain Expansion for ASP-Programs with External Sources (INFSYS RR-1843-14-02). http://hdl.handle.net/20.500.12708/38150 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Improving HEX-Program Evaluation based on Unfounded Sets (RR-1843-12-08). http://hdl.handle.net/20.500.12708/37793 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2012). Conflict-driven ASP Solving with External Sources. arXiv. http://hdl.handle.net/20.500.12708/176427 ( reposiTUm)