Calvanese, D., Eiter, T., & Ortiz, M. (2014). Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata. Information and Computation, 237, 12–55. https://doi.org/10.1016/j.ic.2014.04.002 ( 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., ERDEM, E., ERDOGAN, H., & FINK, M. (2013). Finding Similar/Diverse Solutions in Answer Set Programming. Theory and Practice of Logic Programming, 13(3), 303–359. https://doi.org/10.1017/s1471068411000548 ( reposiTUm)

Calvanese, D., Ortiz, M., Simkus, M., & Stefanoni, G. (2013). Reasoning about Explanations for Negative Query Answers in DL-Lite. Journal of Artificial Intelligence Research, 48, 635–669. https://doi.org/10.1613/jair.3870 ( reposiTUm)

Bischof, S., Decker, S., Krennwallner, T., & Polleres, A. (2012). Mapping between RDF and XML with XSPARQL. Journal on Data Semantics, 1(3), 147–185. https://doi.org/10.1007/s13740-012-0008-7 ( 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)

Eiter, T., Ortiz, M., & Šimkus, M. (2012). Conjunctive query answering in the description logic SH using knots. Journal of Computer and System Sciences, 78(1), 47–85. https://doi.org/10.1016/j.jcss.2011.02.012 ( reposiTUm)

Brewka, G., Eiter, T., & Truszczyński, M. (2011). Answer Set Programming at a Glance. Communications of the ACM, 54(12), 92–103. https://doi.org/10.1145/2043174.2043195 ( reposiTUm)

Eiter, T., & Šimkus, M. (2010). FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols. ACM Transactions on Computational Logic, 11(2), 1–50. https://doi.org/10.1145/1656242.1656249 ( reposiTUm)

De Bruijn, J., & Heymans, S. (2010). Logical Foundations of RDF(S) with Datatypes. Journal of Artificial Intelligence Research, 38, 535–568. https://doi.org/10.1613/jair.3088 ( reposiTUm)

Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2008). Exploiting conjunctive queries in description logic programs. Annals of Mathematics and Artificial Intelligence, 53(1–4), 115–152. https://doi.org/10.1007/s10472-009-9111-3 ( reposiTUm)

Šimkus, M. (2015). Binary Frontier-Guarded ASP with Function Symbols. In N. Bassiliades, G. Gottlob, F. Sadri, A. Paschke, & D. Roman (Eds.), Rule Technologies: Foundations, Tools, and Applications (pp. 311–327). Springer LNCS. https://doi.org/10.1007/978-3-319-21542-6_20 ( reposiTUm)

Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2013). Evolving Graph Databases under Description Logic Constraints. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics (pp. 120–131). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55141 ( reposiTUm)

Bienvenu, M., Ortiz de la Fuente, M. M., Simkus, M., & Xiao, G. (2013). Tractability Guarantees for DL-Lite Query Answering. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics (pp. 41–52). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55142 ( 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., & 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)

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)

Bienvenu, M., Ortiz de la Fuente, M. M., Simkus, M., & Xiao, G. (2013). Tractable Queries for Lightweight Description Logics. In F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (pp. 768–774). AAAI Press. http://hdl.handle.net/20.500.12708/55042 ( reposiTUm)

Bienvenu, M., Ortiz de la Fuente, M. M., & Simkus, M. (2013). Conjunctive Regular Path Queries in Lightweight Description Logics. In F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (pp. 761–767). AAAI Press. http://hdl.handle.net/20.500.12708/55043 ( reposiTUm)

Wang, Y., You, J.-H., Yuan, L. Y., Shen, Y.-D., & Eiter, T. (2013). Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. In D. Lembo & W. Faber (Eds.), Web Reasoning and Rule Systems (pp. 168–182). https://doi.org/10.1007/978-3-642-39666-3_13 ( reposiTUm)

Eiter, T., Krennwallner, T., Schneider, P., & Xiao, G. (2012). Uniform Evaluation of Nonmonotonic DL-Programs. In T. Lukasiewicz & A. Sali (Eds.), Foundations of Information and Knowledge Systems (pp. 1–22). Springer. https://doi.org/10.1007/978-3-642-28472-4_1 ( reposiTUm)

Ortiz, M., & Šimkus, M. (2012). Reasoning and Query Answering in Description Logics. In T. Eiter & T. Krennwallner (Eds.), Reasoning Web - Semantic Technologies for Advanced Query Answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings (pp. 1–53). Springer LNCS. https://doi.org/10.1007/978-3-642-33158-9_1 ( reposiTUm)

Xiao, G., & Ma, Y. (2012). Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. In C. Bessiere, L. D. Raedt, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, & P. Lucas (Eds.), Proceedings of 20th European Conference on Artificial Intelligence (pp. 864–869). IOS Press. http://hdl.handle.net/20.500.12708/54367 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2012). Semantic Independence in DL-programs. In M. Krötzsch & U. Straccia (Eds.), Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings (pp. 58–74). Springer. http://hdl.handle.net/20.500.12708/54366 ( reposiTUm)

Xiao, G., Eiter, T., & Heymans, S. (2012). The DReW System for Nonmonotonic DL-Programs. In J. Li (Ed.), Proceedings of Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference. Sprlinger. http://hdl.handle.net/20.500.12708/54368 ( reposiTUm)

Fink, M. (2012). Paraconsistent Hybrid Theories. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 (pp. 391–401). AAAI Press. http://hdl.handle.net/20.500.12708/54439 ( reposiTUm)

Calvanese, D., Ortiz de la Fuente, M. M., Simkus, M., & Stefanoni, G. (2012). The Complexity of Explaining Negative Query Answers in DL-Lite. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012 (pp. 583–587). AAAI Press. http://hdl.handle.net/20.500.12708/54355 ( reposiTUm)

Bienvenu, M., Ortiz de la Fuente, M. M., & Simkus, M. (2012). Answering Expressive Path Queries over Lightweight DL Knowledge Bases. In Y. Kazakov, D. Lembo, & F. Wolter (Eds.), Proc. of the 2012 International Workshop on Description Logics (DL 2012) (pp. 81–91). http://hdl.handle.net/20.500.12708/54354 ( reposiTUm)

Eiter, T., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2012). Towards Practical Query Answering for Horn SHIQ. In Y. Kazakov, D. Lembo, & F. Wolter (Eds.), Proc. of the 2012 International Workshop on Description Logics (DL 2012) (pp. 158–168). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/54289 ( reposiTUm)

Eiter, T., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2012). Query Rewriting for Horn-SHIQ Plus Rules. In J. Hoffmann & B. Selman (Eds.), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (pp. 726–733). AAAI Press. http://hdl.handle.net/20.500.12708/54357 ( reposiTUm)

Feier, C. (2012). Worst-Case Optimal Reasoning with Forest Logic Programs. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), 13th International Conference on Principles of Knowledge Representation and Reasoning (pp. 608–612). AAAI Press. http://hdl.handle.net/20.500.12708/54421 ( 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)

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)

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)

Ortiz de la Fuente, M. M., Rudolph, S., & Simkus, M. (2011). Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. In T. Walsh (Ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (pp. 1039–1044). AAAI Press/International Joint Conferences on Artificial Intelligence. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-178 ( 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)

Drescher, C., Eiter, T., Fink, M., Krennwallner, T., & Walsh, T. (2011). Symmetry Breaking for Distributed Multi-Context Systems. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning. 11th International Conference, LPNMR 2011 (pp. 26–39). Springer. https://doi.org/10.1007/978-3-642-20895-9_5 ( reposiTUm)

Pührer, J., Heymans, S., & Eiter, T. (2010). Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. In A. Lora, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, & T. Tudorache (Eds.), The Semantic Web: Research and Applications : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 2, 2010, Proceedings, Part I (pp. 183–197). Springer. https://doi.org/10.1007/978-3-642-13486-9_13 ( reposiTUm)

Xiao, G., Heymans, S., & Eiter, T. (2010). DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs. In T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, & F. Lévy (Eds.), 1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010) (p. 14). Ontorule Project. http://hdl.handle.net/20.500.12708/53386 ( reposiTUm)

Heymans, S., Korf, R., Erdmann, M., Puehrer, J., & Eiter, T. (2010). F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. In H. Coelho, R. Studer, & M. Wooldridge (Eds.), 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. https://doi.org/10.1109/wi-iat.2010.44 ( reposiTUm)

Ortiz de la Fuente, M. M., Rudolph, S., & Simkus, M. (2010). Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010) (pp. 269–279). AAAI Press, Menlo Park. http://hdl.handle.net/20.500.12708/53391 ( reposiTUm)

Bienvenu, M., Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2010). Query Answering in the Description Logic S. In V. Haarslev, D. Toman, & G. Weddell (Eds.), Proceedings of the 23rd International Workshop on Description Logics (DL-2010) (pp. 149–160). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/53392 ( reposiTUm)

Heymans, S., Eiter, T., & Xiao, G. (2010). Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. In H. Coelho, R. Studer, & M. Wooldridge (Eds.), 19th European Conference on Artificial Intelligence (ECAI 2010) (pp. 35–40). IOS Press. http://hdl.handle.net/20.500.12708/53384 ( reposiTUm)

Eiter, T., Mushthofa, M., & Faber, W. (2010). Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. In M. Fox & D. Poole (Eds.), Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010) (pp. 303–308). AAAI Press. http://hdl.handle.net/20.500.12708/53560 ( reposiTUm)

Krennwallner, T. (2010). Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems. In T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, & F. Lévy (Eds.), 1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010) (p. 41). Ontorule Project. http://hdl.handle.net/20.500.12708/53595 ( reposiTUm)

Fink, M., & Pearce, D. (2009). Some Equivalence Concepts for Hybrid Theories. In Proceedings of the 13th Conference of the Spanish Organization for Artificial Intelligence (CAEPIA 2009) (pp. 327–336). Spanish Association for Artifical Intelligence. http://hdl.handle.net/20.500.12708/52829 ( reposiTUm)

Šimkus, M. (2009). Fusion of Logic Programming and Description Logics. In P. Hill & D. S. Warren (Eds.), Logic Programming (pp. 551–552). LNCS, Springer. https://doi.org/10.1007/978-3-642-02846-5_59 ( reposiTUm)

Eiter, T., Fink, M., & Krennwallner, T. (2009). Decomposition of Declarative Knowledge Bases with External Functions. In C. Boutilier (Ed.), Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 752–758). AAAI Press. http://hdl.handle.net/20.500.12708/52683 ( reposiTUm)

Eiter, T., Ianni, G., & Krennwallner, T. (2009). Answer Set Programming: A Primer. In S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M.-C. Rousset, & R. Schmidt (Eds.), Reasoning Web. Semantic Technologies for Information Systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures (pp. 40–110). Springer. https://doi.org/10.1007/978-3-642-03754-2_2 ( reposiTUm)

Dao-Tran, M., Eiter, T., & Krennwallner, T. (2009). Realizing Default Logic over Description Logic Knowledge Bases. In C. Sossai & G. Chemello (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty (pp. 602–613). Springer. https://doi.org/10.1007/978-3-642-02906-6_52 ( reposiTUm)

Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2009). Modular Nonmonotonic Logic Programming Revisited. In P. Hill & D. S. Warren (Eds.), Logic Programming (pp. 145–159). Springer. https://doi.org/10.1007/978-3-642-02846-5_16 ( reposiTUm)

Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., & Krennwallner, T. (2009). Combining Nonmonotonic Knowledge Bases with External Sources. In S. Ghilardi & R. Sebastiani (Eds.), Frontiers of Combining Systems (pp. 18–42). Springer. https://doi.org/10.1007/978-3-642-04222-5_2 ( reposiTUm)

Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Query Answering in Description Logics with Transitive Roles. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 759–764). AAAI Press. http://hdl.handle.net/20.500.12708/52739 ( reposiTUm)

Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2009). Regular Path Queries in Expressive Description Logics with Nominals. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 714–720). AAAI Press. http://hdl.handle.net/20.500.12708/52740 ( reposiTUm)

Eiter, T., & Simkus, M. (2009). Bidirectional Answer Set Programs with Function Symbols. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 765–771). AAAI Press. http://hdl.handle.net/20.500.12708/52741 ( reposiTUm)

Eiter, T., Lutz, C., Ortiz, M., & Šimkus, M. (2009). Query Answering in Description Logics: The Knots Approach. In H. Ono, M. Kanazawa, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information and Computation (pp. 26–36). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-02261-6_3 ( reposiTUm)

Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2008). Exploiting Conjunctive Queries in Description Logic Programs. In M. Kaminski & M. Truszczynski (Eds.), Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM) (p. 9). http://hdl.handle.net/20.500.12708/52306 ( reposiTUm)

Eiter, T., Ianni, G., Krennwallner, T., & Polleres, A. (2008). Rules and Ontologies for the Semantic Web. In C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, & S. Schaffert (Eds.), Reasoning Web (pp. 1–53). Springer. https://doi.org/10.1007/978-3-540-85658-0_1 ( reposiTUm)

Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2007). Exploiting Conjunctive Queries in Description Logic Programs. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, & S. Tessaris (Eds.), Proceedings of the 2007 International Workshop on Description Logics (DL2007) (pp. 259–266). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51937 ( reposiTUm)

Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2011). Dynamic Distributed Nonmontonic Multi-Context Systems. In G. Brewka, V. Marek, & M. Truszczynski (Eds.), Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary. College Publications. http://hdl.handle.net/20.500.12708/27169 ( reposiTUm)

Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., & Maluszynski, J. (2009). Hybrid Reasoning with Rules and Ontologies. In F. Bry & J. Maluszynski (Eds.), Semantic Techniques for the Web (pp. 1–49). Springer. https://doi.org/10.1007/978-3-642-04581-3_1 ( 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)

Eiter, T., El Ghali, A., Fernández, S., Heymans, S., Krennwallner, T., & Lévy, F. (Eds.). (2010). BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings. Ontorule Project. http://hdl.handle.net/20.500.12708/23196 ( reposiTUm)

Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., & Schmidt, R. (Eds.). (2009). Reasoning Web. Semantic Technologies for Information Systems. Springer LNCS. https://doi.org/10.1007/978-3-642-03754-2 ( 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)

Krennwallner, T. (2011). Promoting Modular Nonmonotonic Logic Programs. Net2 WP3 Mini-Workshop, Galway, Ireland, EU. http://hdl.handle.net/20.500.12708/85144 ( reposiTUm)

Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. http://hdl.handle.net/20.500.12708/85169 ( reposiTUm)

Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. http://hdl.handle.net/20.500.12708/85168 ( reposiTUm)

Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Distributed Nonmonotonic Multi-Context Systems. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85013 ( reposiTUm)

Ortiz de la Fuente, M. M. (2009). Querying Expressive Knowledge Bases. Seminar of the Artificial Intelligence Research Group, University Rey Juan Carlos (GIA - URJC), University Rey Juan Carlos. Madrid, Spain, EU. http://hdl.handle.net/20.500.12708/84976 ( reposiTUm)

Ortiz de la Fuente, M. M. (2009). Querying Description Logic Knowledge Bases: automata-theoretic techniques. Moscow-Vienna Workshop on Logic and Computation 2009, Wien, Austria. http://hdl.handle.net/20.500.12708/84975 ( reposiTUm)

Ortiz de la Fuente, M. M. (2009). Query Answering in Horn-SHIQ. Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy, EU. http://hdl.handle.net/20.500.12708/84972 ( reposiTUm)

Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2009). Reasoning with knots. Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko, Non-EU. http://hdl.handle.net/20.500.12708/84974 ( reposiTUm)

Simkus, M. (2009). Bidirectional Answer Set Programs with Function Symbols. Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy, EU. http://hdl.handle.net/20.500.12708/84973 ( reposiTUm)

Ortiz de la Fuente, M. M. (2009). Query Answering over expressive DL Ontologies. Seminar of the Artificial Intelligence Department, Technical University of Madrid (DIA - UPM), Technical University of Madrid, Madrid, Spain, EU. http://hdl.handle.net/20.500.12708/84977 ( reposiTUm)

Ortiz de la Fuente, M. M. (2008). The combined complexity of query answering in expressive DLs. Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy, EU. http://hdl.handle.net/20.500.12708/84971 ( 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., Ianni, G., Lukasiewicz, T., & Schindlauer, R. (2009). Well-Founded Semantics for Description Logic Programs in the Semantic Web (INFSYS RR 1843-09-01). http://hdl.handle.net/20.500.12708/36178 ( reposiTUm)

Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2009). Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata (INFSYS RR-1843-09-04). http://hdl.handle.net/20.500.12708/36175 ( reposiTUm)

Eiter, T., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Conjunctive Query Answering in the Description Logic SH using Knots (INFSYS RR-1843-09-03). http://hdl.handle.net/20.500.12708/36176 ( reposiTUm)

Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Query answering in description logics with transitive roles (INFSYS RR-1843-09-02). http://hdl.handle.net/20.500.12708/36177 ( reposiTUm)

Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2008). Exploiting Conjunctive Queries in Description Logic Programs (INFSYS RR-1843-08-02). http://hdl.handle.net/20.500.12708/35019 ( 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)