Wissenschaftliche Artikel

Eiter, T., Geibinger, T., Musliu, N., Oetsch, J., Skočovský, P., & Stepanova, D. (2024). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. Theory and Practice of Logic Programming, 24(2). https://doi.org/10.1017/S1471068424000061 ( reposiTUm)

Eiter, T., Geibinger, T., Higuera Ruiz, N. N., Musliu, N., Oetsch, J., Pfliegler, D., & Stepanova, D. (2024). Adaptive large-neighbourhood search for optimisation in answer-set programming. Artificial Intelligence, 337, Article 104230. https://doi.org/10.1016/j.artint.2024.104230 ( reposiTUm)

Eiter, T., Hecher, M., & Kiesel, R. P. D. (2024). aspmc: New frontiers of algebraic answer set counting. Artificial Intelligence, 330, Article 104109. https://doi.org/10.1016/j.artint.2024.104109 ( reposiTUm)

Bonte, P., Calbimonte, J.-P., de Leng, D., Dell’Aglio, D., Valle, E. D., Eiter, T., Giannini, F., Heintz, F., Kostyantyn Shchekotykhin, Le Phuoc, D., Mileo, A., Schneider, P., Tommasini, R., Urbani, J., & Ziffer, G. (2024). Grounding stream reasoning research. Transactions on Graph Data and Knowledge, 2(1). https://doi.org/10.4230/TGDK.2.1.2 ( reposiTUm)

Eiter, T., & Kiesel, R. P. D. (2023). Semiring Reasoning Frameworks in AI and Their Computational Complexity. Journal of Artificial Intelligence Research, 77, 207–293. https://doi.org/10.1613/jair.1.13970 ( reposiTUm)

Wang, Y., Eiter, T., Zhang, Y., & Lin, F. (2023). Witnesses for Answer Sets of Logic Programs. ACM Transactions on Computational Logic, Article 3568955. https://doi.org/10.1145/3568955 ( reposiTUm)

EITER, T., GEIBINGER, T., MUSLIU, N., OETSCH, J., SKOČOVSKÝ, P., & STEPANOVA, D. (2023). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory and Practice of Logic Programming, 23(6), 1281–1306. https://doi.org/10.1017/S1471068423000017 ( reposiTUm)

EITER, T., MAHER, M., PONTELLI, E., DE RAEDT, L., & TRUSZCZYNSKI, M. (2023). The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory and Practice of Logic Programming, 23(1). https://doi.org/10.1017/S1471068422000394 ( reposiTUm)

Eiter, T., Higuera Ruiz, N. N., Oetsch, J., & Pritz, M. (2022). A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Theory and Practice of Logic Programming, 22(5), 739–754. https://doi.org/10.1017/S1471068422000229 ( reposiTUm)

EITER, T., MAHER, M., PONTELLI, E., DE RAEDT, L., & TRUSZCZYNSKI, M. (2022). Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory and Practice of Logic Programming, 22(6), 770–775. https://doi.org/10.1017/S1471068422000345 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2022). Reasoning on DL-LiteR with Defeasibility in ASP. Theory and Practice of Logic Programming, 22(2), 254–304. https://doi.org/10.1017/s1471068421000132 ( reposiTUm)

BOZZATO, L., EITER, T., & SERAFINI, L. (2022). Reasoning on with Defeasibility in ASP. Theory and Practice of Logic Programming, 22(2), 254–304. https://doi.org/10.1017/S1471068421000132 ( reposiTUm)

SARIBATUR, Z. G., & EITER, T. (2021). Omission-Based Abstraction for Answer Set Programs - ERRATUM. Theory and Practice of Logic Programming, 21(2), 292–292. https://doi.org/10.1017/s1471068420000125 ( reposiTUm)

Eiter, T., & Kaminski, T. (2021). Pruning external minimality checking for answer set programs using semantic dependencies. Artificial Intelligence, 290(103402), 103402. https://doi.org/10.1016/j.artint.2020.103402 ( 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)

Bozatto, L., Eiter, T., & Kiesel, R. P. D. (2021). Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory and Practice of Logic Programming, 21(5), 593–609. https://doi.org/10.1017/s1471068421000284 ( reposiTUm)

Saribatur, Z. G., Eiter, T., & Schüller, P. (2021). Abstraction for non-ground answer set programs. Artificial Intelligence, 300(103563), 103563. https://doi.org/10.1016/j.artint.2021.103563 ( reposiTUm)

Eiter, T., & Kiesel, R. (2020). ASP(AC): Answer Set Programming with Algebraic Constraints. Theory and Practice of Logic Programming, 20(6), 895–910. https://doi.org/10.1017/s1471068420000393 ( reposiTUm)

SARIBATUR, Z. G., & EITER, T. (2020). Omission-based Abstraction for Answer Set Programs. Theory and Practice of Logic Programming, 21(2), 145–195. https://doi.org/10.1017/s1471068420000095 ( reposiTUm)

Eiter, T., Maratea, M., & Vallati, M. (2020). Preface: Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Fundamenta Informaticae, 174(3–4), i–iii. https://doi.org/10.3233/FI-2020-1939 ( 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)

Moser, B., Dorffner, G., Eiter, T., Faber, W., Klambauer, G., Legenstein, R., Nessler, B., Polleres, A., & Woltran, S. (2020). Österreichische AI Strategie aus Sicht der Wissenschaft. OCG Journal, 01–02, 14–17. http://hdl.handle.net/20.500.12708/141528 ( reposiTUm)

Eiter, T., Füreder, H., Kasslatter, F., Xavier Parreira, J., & Schneider, P. (2019). Towards a Semantically Enriched Local Dynamic Map. International Journal of Intelligent Transportation Systems Research, 17(1), 32–48. https://doi.org/10.1007/s13177-018-0154-x ( reposiTUm)

Eiter, T., & Kern-Isberner, G. (2019). A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Kuenstliche Intelligenz, 33(1), 9–33. https://doi.org/10.1007/s13218-018-0564-6 ( reposiTUm)

Shen, Y.-D., & Eiter, T. (2019). Determining Inference Semantics for Disjunctive Logic Programs. Artificial Intelligence, 277(103165), 103165. https://doi.org/10.1016/j.artint.2019.103165 ( reposiTUm)

Weinzierl, A., Bogaerts, B., Bomanson, J., Eiter, T., Friedrich, G., Janhunen, T., Kaminski, T., Langowski, M., Leutgeb, L., Schenner, G., & Taupe, R. (2019). The Alpha Solver for Lazy-GroundingAnswer-Set Programming. ALP Newsletter, 12. http://hdl.handle.net/20.500.12708/144033 ( reposiTUm)

Eiter, T., Ogris, P., & Schekotihin, K. (2019). A Distributed Approach to LARS Stream Reasoning (System paper). Theory and Practice of Logic Programming, 19(5–6), 974–989. https://doi.org/10.1017/s1471068419000309 ( reposiTUm)

Dell´Aglio, D., Eiter, T., Heintz, F., & Le Phuoc, D. (2019). Special issue on stream reasoning. Semantic Web, 10(3), 453–455. https://doi.org/10.3233/sw-190351 ( reposiTUm)

Eiter, T., Kaminski, T., Redl, C., & Weinzierl, A. (2018). Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Journal of Artificial Intelligence Research. https://doi.org/10.1613/jair.1.11221 ( reposiTUm)

Eiter, T., Esparza, J., Palamidessi, C., Plotkin, G., & Shankar, N. (2018). Alonzo Church Award 2018 - Call for Nominations. European Association for Theoretical Computer Science. Bulletin, 124, 2. http://hdl.handle.net/20.500.12708/144628 ( 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)

Eiter, T., Friedrich, G., Taupe, R., & Weinzierl, A. (2018). Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. Kuenstliche Intelligenz, 32(2–3), 197–198. https://doi.org/10.1007/s13218-018-0536-x ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2018). Enhancing Contextualized Knowledge Repositories with Justifiable Exceptions. Artificial Intelligence, 257, 72–126. https://doi.org/10.1016/j.artint.2017.12.005 ( reposiTUm)

Beck, H., Dao-Tran, M., & Eiter, T. (2018). LARS: A Logic-based Framework for Analytic Reasoning over Streams. Artificial Intelligence, 261, 16–70. https://doi.org/10.1016/j.artint.2018.04.003 ( reposiTUm)

Beck, H., Dao-Tran, M., Eiter, T., & Folie, C. (2018). Stream Reasoning with LARS. Kuenstliche Intelligenz, 32(2–3), 193–195. https://doi.org/10.1007/s13218-018-0537-9 ( reposiTUm)

Eiter, T., Germano, S., Ianni, G., Kaminski, T. D., Redl, C., Schüller, P., & Weinzierl, A. (2018). The DLVHEX System. Kuenstliche Intelligenz. https://doi.org/10.1007/s13218-018-0535-y ( 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)

Eiter, T. (2016). Obituary Peter Lucas. Almanach, Österreichische Akademie Der Wissenschaften, 166, 330–333. http://hdl.handle.net/20.500.12708/150131 ( reposiTUm)

Eiter, T. (2016). Obituary Helmut Veith (1971-2016). ACM SIGLOG News, 3(2), 3–5. http://hdl.handle.net/20.500.12708/150129 ( reposiTUm)

Amendola, G., Eiter, T., Fink, M., Leone, N., & Moura, J. (2016). Semi-equilibrium models for paracoherent answer set programs. Artificial Intelligence, 234, 219–271. http://hdl.handle.net/20.500.12708/149771 ( reposiTUm)

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)

Eiter, T., & Shen, Y.-D. (2016). Evaluating epistemic negation in answer set programming. Artificial Intelligence, 237, 115–135. http://hdl.handle.net/20.500.12708/149772 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2016). Data repair of inconsistent nonmonotonic description logic programs. Artificial Intelligence, 239, 7–53. http://hdl.handle.net/20.500.12708/149773 ( reposiTUm)

Brewka, G., Eiter, T., & Truszczynski, M. (2016). Answer Set Programming: An Introduction to the Special Issue. AI Magazine, 37(3), 5–6. http://hdl.handle.net/20.500.12708/149779 ( reposiTUm)

Eiter, T., Fink, M., & Stepanova, D. (2016). Computing Repairs of Inconsistent DL-Programs over EL Ontologies. Journal of Artificial Intelligence Research, 56, 463–515. http://hdl.handle.net/20.500.12708/149778 ( reposiTUm)

Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2016). Domain Expansion for ASP-Programs with External Sources. Journal of Artificial Intelligence Research, 233, 84–121. http://hdl.handle.net/20.500.12708/148290 ( 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)

EITER, T., & TONI, F. (2015). Introduction to the 31st International Conference on Logic Programming Special Issue. Theory and Practice of Logic Programming, 15(4–5), 413–418. https://doi.org/10.1017/s1471068415000356 ( reposiTUm)

Beck, H., Dao-Tran, M., & Eiter, T. (2015). What is the Semantics of Your SPARQL Extension? ALP Newsletter, Vol. 28, No. 4, December 2015, 28. http://hdl.handle.net/20.500.12708/151858 ( 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)

Eiter, T., Krennwallner, T., Prandtstetter, M., Rudloff, C., Schneider, P., & Straub, M. (2014). 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)

Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2014). Finding Explanations of Inconsistency in Multi-Context Systems. Artificial Intelligence, 216, 233–274. https://doi.org/10.1016/j.artint.2014.07.008 ( reposiTUm)

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., 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., Pührer, J., Tompits, H., & Woltran, S. (2013). Model-Based Recasting in Answer-Set Programming. Journal of Applied Non-Classical Logics, 23(1–2), 75–104. https://doi.org/10.1080/11663081.2013.799318 ( 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)

Eiter, T., & Gottlob, G. (2013). Marco Cadoli’s Work on Nonmonotonic Reasoning. Intelligenza Artificiale, 7(1), 7–17. http://hdl.handle.net/20.500.12708/155845 ( 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)

Miljanovic, M., Egly, U., & Eiter, T. (2012). Detection of Windows in Facades Using Image Processing Algorithms. Indian Journal of Computer Science and Engineering, 3(4), 539–547. http://hdl.handle.net/20.500.12708/164414 ( 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)

Eiter, T., Ianni, G., Lukasiewicz, T., & Schindlauer, R. (2011). Well-founded semantics for description logic programs in the Semantic Web. ACM Transactions on Computational Logic, 12(2), 1–41. https://doi.org/10.1145/1877714.1877717 ( 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., ERDEM, E., ERDOGAN, H., & FINK, M. (2011). 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)

Bruijn, J. D., Eiter, T., Polleres, A., & Tompits, H. (2011). Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination. ACM Transactions on Computational Logic, 12(3), 1–39. https://doi.org/10.1145/1929954.1929957 ( 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)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2010). Updating action domain descriptions. Artificial Intelligence, 174(15), 1172–1221. https://doi.org/10.1016/j.artint.2010.07.004 ( reposiTUm)

Reiterer, A., Lehmann, M., Miljanovic, M., Ali, H., Paar, G., Egly, U., Eiter, T., & Kahmen, H. (2009). A 3D optical deformation measurement system supported by knowledge-based and learning techniques. Journal of Applied Geodesy, 3(1), 1–13. http://hdl.handle.net/20.500.12708/165576 ( reposiTUm)

Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2008). Combining Answer Set Programming with Description Logics for the Semantic Web. Artificial Intelligence, 172(12–13), 1495–1539. https://doi.org/10.1016/j.artint.2008.04.002 ( reposiTUm)

Reiterer, A., Egly, U., Eiter, T., & Kahmen, H. (2008). A knowledge-based videotheodolite measurement system for object representation /monitoring. Advances in Engineering Software, 39(10), 821–827. http://hdl.handle.net/20.500.12708/168962 ( reposiTUm)

Eiter, T., & Wang, K. (2008). Semantic Forgetting in Answer Set Programming. Artificial Intelligence, 172(14), 1644–1672. https://doi.org/10.1016/j.artint.2008.05.002 ( reposiTUm)

Baral, C., Eiter, T., Bjäreland, M., & Nakamura, M. (2008). Maintenance goals of agents in a dynamic environment: Formulation and policy construction. Artificial Intelligence, 172(12–13), 1429–1469. https://doi.org/10.1016/j.artint.2008.03.005 ( reposiTUm)

Eiter, T., Makino, K., & Gottlob, G. (2008). Computational Aspects of Monotone Dualization: A Brief Survey. Discrete Applied Mathematics, 156(11), 2035–2049. https://doi.org/10.1016/j.dam.2007.04.017 ( reposiTUm)

Eiter, T., Fink, M., Greco, G., & Lembo, D. (2008). Repair Localization for Query Answering from Inconsistent Databases. ACM Transactions on Database Systems, 33(2), 10:01-10:51. http://hdl.handle.net/20.500.12708/169726 ( reposiTUm)

Ortiz, M., Calvanese, D., & Eiter, T. (2008). Data complexity of query answering in expressive Description Logics via tableaux. Journal of Automated Reasoning, 41(1), 61–98. https://doi.org/10.1007/s10817-008-9102-9 ( 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)

Eiter, T., Franconi, E., & Kifer, M. (2008). Rules and Rule Markup Languages for the Semantic Web. Fundamenta Informaticae, 82(3), i. http://hdl.handle.net/20.500.12708/22869 ( reposiTUm)

Eiter, T., Faber, W., Fink, M., & Woltran, S. (2007). Complexity results for answer set programming with bounded predicate arities and implications. Annals of Mathematics and Artificial Intelligence, 51(2–4), 123–165. https://doi.org/10.1007/s10472-008-9086-5 ( reposiTUm)

Eiter, T., Erdem, E., Faber, W., & Senko, J. (2007). A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution. Fundamenta Informaticae, 79(1–2), 25–69. http://hdl.handle.net/20.500.12708/169658 ( reposiTUm)

Eiter, T., & Makino, K. (2007). On Computing all Abductive Explanations from a Propositional Horn Theory. Journal of the ACM, 54(5), 24. https://doi.org/10.1145/1284320.1284323 ( reposiTUm)

Eiter, T., Fink, M., & Woltran, S. (2007). Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. ACM Transactions on Computational Logic, 8(3), 1–53. http://hdl.handle.net/20.500.12708/169634 ( reposiTUm)

Eiter, T., Fink, M., & Tompits, H. (2007). A Knowledge-Based Approach for Selecting Information Sources. Theory and Practice of Logic Programming, 7(3), 249–300. http://hdl.handle.net/20.500.12708/169633 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2007). Comparing Action Descriptions based on Semantic Preferences. Annals of Mathematics and Artificial Intelligence, 50(3–4), 273–304. http://hdl.handle.net/20.500.12708/169636 ( reposiTUm)

Eiter, T., & Libkin, L. (2007). Preface: Database Theory. Theoretical Computer Science, 371(3), 147. https://doi.org/10.1016/j.tcs.2006.11.004 ( reposiTUm)

Eiter, T., & Polleres, A. F. (2006). Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications. Theory and Practice of Logic Programming, 6(1–2), 23–60. http://hdl.handle.net/20.500.12708/173435 ( reposiTUm)

Eiter, T., & Gottlob, G. (2006). Reasoning Under Minimal Upper Bounds in Propositional Logic. Theoretical Computer Science, 369, 82–115. http://hdl.handle.net/20.500.12708/173436 ( reposiTUm)

Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., & Scarcello, F. (2006). The DLV System for knowledge representation and reasoning. ACM Transactions on Computational Logic, VOL. 7(3), 499–562. http://hdl.handle.net/20.500.12708/173399 ( reposiTUm)

Eiter, T., & Lukasiewicz, T. (2006). Causes and Explanations in the Structural-Model Approach: Tractable Cases. Artificial Intelligence, 170(6–7), 542–580. http://hdl.handle.net/20.500.12708/173415 ( reposiTUm)

Dix, J., & Eiter, T. (2005). Answer Set Programming and Agents. AgentLink News, 19, 14–17. http://hdl.handle.net/20.500.12708/173373 ( reposiTUm)

Eiter, T., & Lembo, D. (2005). Preface. Journal of Applied Logic, 3(2), 251–252. http://hdl.handle.net/20.500.12708/173371 ( reposiTUm)

Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2005). Reasoning about Evolving Nonmonotonic Knowledge Bases. ACM Transactions on Computational Logic, 6(2), 389–440. http://hdl.handle.net/20.500.12708/173370 ( reposiTUm)

Cadoli, M., Eiter, T., & Gottlob, G. (2005). Complexity of Nested Circumscription and Nested Abnormality Theories. ACM Transactions on Computational Logic, 6(2), 232–272. http://hdl.handle.net/20.500.12708/173369 ( reposiTUm)

Beiträge in Tagungsbänden

Eiter, T., & Geibinger, T. (2025). A Sequent Calculus for Answer Set Entailment. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 4463–4472). https://doi.org/10.24963/ijcai.2025/497 ( reposiTUm)

Collevati, M., Eiter, T., & Higuera Ruiz, N. N. (2024). Leveraging Neurosymbolic AI for Slice Discovery. In T. R. Besold, A. Garcez, E. Jimenez-Ruiz, R. Confalonieri, P. Madhyastha, & B. Wagner (Eds.), Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part I (pp. 403–418). Springer. https://doi.org/10.1007/978-3-031-71167-1_22 ( reposiTUm)

Cabalar, P., Eiter, T., & Soldà, D. (2024). Contracted Temporal Equilibrium Logic. In P. Marquis, M. M. Ortiz de la Fuente, & M. Pagnucco (Eds.), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 221–231). IJCAI Organization. https://doi.org/10.24963/kr.2024/21 ( reposiTUm)

Eiter, T., Hadl, J., Higuera Ruiz, N. N., & Oetsch, J. (2024). Declarative Knowledge Distillation from Large Language Models forVisual Question Answering Datasets. In K. Satoh, H.-T. Nguyen, & F. Toni (Eds.), Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024). https://doi.org/10.48550/ARXIV.2410.09428 ( reposiTUm)

Eiter, T., Fichte, J. K., Hecher, M., & Woltran, S. (2024). Epistemic Logic Programs: Non-Ground and Counting Complexity. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,2024 (pp. 3333–3341). https://doi.org/10.24963/ijcai.2024/369 ( reposiTUm)

Eiter, T., & Geibinger, T. (2023). Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract). In Proceedings of the 2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI 2023) (pp. 1–6). ( reposiTUm)

Kiesel, R., & Eiter, T. (2023). Knowledge Compilation and More with SharpSAT-TD. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th IInternational Conference on Principles of Knowledge Representation and Reasoning (pp. 406–416). IJCAI Organization. https://doi.org/10.24963/kr.2023/40 ( reposiTUm)

Soldà, D., López Miguel, I. D., Bartocci, E., & Eiter, T. (2023). Progression for Monitoring in Temporal ASP. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 2170–2177). Frontiers. https://doi.org/10.3233/FAIA230513 ( reposiTUm)

Ciabattoni, A., Eiter, T., & Hatschka, C. (2023). Deontic Paradoxes in ASP with Weak Constraints. In Proceedings 39th International Conference on Logic Programming (pp. 367–380). ( reposiTUm)

Eiter, T., Geibinger, T., Higuera, N., & Oetsch, J. (2023). A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 3668–3676). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/408 ( reposiTUm)

Eiter, T., Geibinger, T., & Oetsch, J. (2023). Contrastive Explanations for Answer-Set Programs. In Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (pp. 73–89). Springer. https://doi.org/10.1007/978-3-031-43619-2_6 ( reposiTUm)

Eiter, T., & Geibinger, T. (2023). Explaining Answer-Set Programs with Abstract Constraint Atoms. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3193–3202). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/356 ( reposiTUm)

Bozzato, L., Eiter, T., Kiesel, R. P. D., & Stepanova, D. (2023). Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. In Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023). 16th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2023), London, United Kingdom of Great Britain and Northern Ireland (the). CEUR-WS.org. https://doi.org/10.34726/5412 ( reposiTUm)

Eiter, T., Higuera Ruiz, N. N., & Oetsch, J. (2023). A modular neurosymbolic approach for visual graph question answering. In A. S. d’Avila Garcez, T. R. Besold, M. Gori, & E. Jiménez-Ruiz (Eds.), Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2023) (pp. 139–149). CEUR-WS.org. https://doi.org/10.34726/5409 ( reposiTUm)

Bozzato, L., Eiter, T., & Kiesel, R. P. D. (2022). Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). In Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022). 35th International Workshop on Description Logics (DL 2022), Haifa, Israel. ( reposiTUm)

Eiter, T., & Schneider, P. (2022). A Qualitative Temporal Extension of Here-and-There Logic. In Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022 (pp. 159–176). https://doi.org/10.1007/978-3-031-15707-3 ( reposiTUm)

Eiter, T., Geibinger, T., Higuera, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract). In Proceedings of the 5th Workshop on Trends and Applications of Answer Set Programming. 5th Workshop on Trends and Applications of Answer Set Programming, Vienna, Austria. ( reposiTUm)

Eiter, T., Geibinger, T., Higuera Ruiz, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract). In Proceedings of the 38th International Conference on Logic Programming. 38th International Conference on Logic Programming, Haifa, Israel. Open Publishing Association. http://hdl.handle.net/20.500.12708/139851 ( reposiTUm)

Saribatur, Z. G., Eiter, T., & Schüller, P. (2022). Abstraction for Non-Ground Answer Set Programs (Extended Abstract). In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 5767–5771). https://doi.org/10.24963/ijcai.2022/807 ( reposiTUm)

Urbani, J., Krötzsch, M., & Eiter, T. (2022). Chasing Streams with Existential Rules. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems (pp. 415–419). IJCAI Organization. https://doi.org/10.24963/kr.2022/43 ( reposiTUm)

Eiter, T., Geibinger, T., Higuera Ruiz, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). Large-Neighbourhood Search for Optimisation in Answer-Set Solving. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (pp. 5616–5625). AAAI Press. https://doi.org/10.1609/aaai.v36i5.20502 ( reposiTUm)

Eiter, T., Geibinger, T., Gisbrecht, A., Higuera Ruiz, N. N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography. In KEPS 2022 Workshop on Knowledge Engineering for Planning and Scheduling. Workshop on Knowledge Engineering for Planning and Scheduling, Singapore. http://hdl.handle.net/20.500.12708/139763 ( reposiTUm)

Eiter, T., Geibinger, T., Higuera, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. In G. Kern-Isberner, G. Lackemeyer, & T. Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems (pp. 565–569). IJCAI Organization. https://doi.org/10.24963/kr.2022/58 ( reposiTUm)

Eiter, T., Hecher, M., & Kiesel, R. (2021). Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. In Proceedings of the 37th International Conference on Logic Programming (ICLP 2021). 37th International Conference on Logic Programming (ICLP 2021), Unknown. http://hdl.handle.net/20.500.12708/58728 ( reposiTUm)

Eiter, T., Hecher, M., & Kiesel, R. (2021). Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, Unknown. https://doi.org/10.24963/kr.2021/26 ( reposiTUm)

Eiter, T., & Kiesel, R. P. D. (2021). On the Complexity of Sum-of-Products Problems over Semirings. In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021 (pp. 6304–6311). http://hdl.handle.net/20.500.12708/55669 ( reposiTUm)

Eiter, T., Artikis, A., Margara, A., & Vansummeren, S. (2021). Dagstuhl Seminar on the Foundations of Composite Event Recognition. In ACM SIGMOD Record (pp. 24–27). ACM SIGMOND Record. https://doi.org/10.1145/3456859.3456865 ( reposiTUm)

Eiter, T., Le-Phuoc, D., & Le-Tuan, A. (2021). A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion. In AAAI 2021 Proceedings (pp. 4996–5005). AAAI Press. http://hdl.handle.net/20.500.12708/55682 ( 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., Geibinger, T., Musliu, N., Oetsch, J., Skočovský, P., & Stepanova, D. (2021). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, Unknown. https://doi.org/10.24963/kr.2021/27 ( reposiTUm)

Eiter, T., Hunter, A., & Schwarzentruber, F. (2021). How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. In Z.-H. Zhou (Ed.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI. https://doi.org/10.24963/ijcai.2021/257 ( reposiTUm)

Le-Tuan, A., Nguyen Duc, M., Chien-Quang, L., Tran, T.-K., Hauswirth, M., Eiter, T., & Le Phuoc, D. (2021). CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion. In 5th Stream Reasoning Workshop (SRW 2021). 5th Stream Reasoning Workshop (SRW 2021), Mailand, Italy. http://hdl.handle.net/20.500.12708/58752 ( reposiTUm)

Eiter, T., & Kiesel, R. P. D. (2020). Weighted LARS for Quantitative Stream Reasoning. In 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (pp. 729–736). http://hdl.handle.net/20.500.12708/58341 ( reposiTUm)

Shen, Y.-D., & Eiter, T. (2020). Considering Constraint Monotonicity and Foundedness in Answer Set Programming. In Proceedings of the 4th Workshop on Trends and Applications of Answer Set Programming. 4th Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), Klagenfurt, Austria. http://hdl.handle.net/20.500.12708/58255 ( 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)

Saribatur, Z. G., & Eiter, T. (2020). A Semantic Perspective on Omission Abstraction in ASP. In D. Calvanese & E. Erdem (Eds.), Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization. https://doi.org/10.24963/kr.2020/75 ( reposiTUm)

Le-Phuoc, D., & Eiter, T. (2020). An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks. In Proceedings of the CIKM 2020 Workshops, co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020) Galway, Ireland, October 19-23, 2020 (pp. 1–5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55570 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2020). Reasoning with Justifiable Exceptions in Contextual Hierarchies. In G. De Giacomo (Ed.), 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) (pp. 2889–2890). IOS Press - Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/55569 ( reposiTUm)

Shen, Y.-D., & Eiter, T. (2019). Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). http://hdl.handle.net/20.500.12708/58334 ( reposiTUm)

Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019). http://hdl.handle.net/20.500.12708/58339 ( 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)

Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. In Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence (pp. 7–13). http://hdl.handle.net/20.500.12708/57937 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2019). A Datalog Translation for Reasoning on DL-lite_R with Defeasibility. In Informal Proceedings of the 32nd International Workshop on Description Logics (DL-2019), Oslo, Norway, June 18-21, 2019 (p. 13). CEUR-WS.org. http://hdl.handle.net/20.500.12708/58059 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2019). Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP. In P. Fodor, M. Montali, D. Calvanese, & D. Roman (Eds.), Rules and Reasoning (pp. 19–35). LNCS, Springer. https://doi.org/10.1007/978-3-030-31095-0_2 ( reposiTUm)

Kaminski, T., Eiter, T., & Inoue, K. (2019). Meta-Interpretive Learning Using HEX-Programs. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Macao, Macao. https://doi.org/10.24963/ijcai.2019/860 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2019). Justifiable Exceptions in General Contextual Hierarchies. In Modeling and Using Context (pp. 26–39). LNCS, Springer. https://doi.org/10.1007/978-3-030-34974-5_3 ( reposiTUm)

Eiter, T., Ogris, P., & Schekotihin, K. (2019). Distributed Stream Reasoning with LARS and ASP. In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). http://hdl.handle.net/20.500.12708/55725 ( 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)

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)

Timm, I. J., Staab, S., Siebers, M., Schon, C., Schmid, U., Sauerwald, K., Reuter, L., Ragni, M., Niederee, C., Maus, H., Kern-Isberner, G., Eiter, T., Jilek, C., Friemann, P., Dengel, A., Dames, H., Bock, T., Berndt, J. O., & Beierle, C. (2018). Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. In KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. Springer. https://doi.org/10.1007/978-3-030-00111-7_30 ( reposiTUm)

Saribatur, Z. G., & Eiter, T. (2018). Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. In Workshop on Answer Set Programming and Other Computing Paradigms. 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP’18), Oxford, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/56703 ( reposiTUm)

Eiter, T., Ichise, R., Xavier Parreira, J., Schneider, P., & Zhao, L. (2018). Deploying Spatial-Stream Query Answering in C-ITS Scenarios. In Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings (pp. 386–406). https://doi.org/10.1007/978-3-030-03667-6_25 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2018). Reasoning with Justifiable Exceptions in Contextual Hierarchies. In Proceedings 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), October 30 -- November 2, 2018, Tempe, Arizona, USA (pp. 329–338). AAAI Press. http://hdl.handle.net/20.500.12708/57710 ( reposiTUm)

Beck, H., Dao-Tran, M., & Eiter, T. (2018). LARS: A Logic-Based Framework for Analytic Reasoning over Streams. In SOFSEM 2018: Theory and Practice of Computer Science (pp. 87–93). https://doi.org/10.1007/978-3-319-73117-9_6 ( reposiTUm)

Saribatur, Z. G., & Eiter, T. (2018). Omission-Based Abstraction for Answer Set Programs. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning. 16th International Conference on Principles of Knowledge Representation and Reasoning - KR 2018, Tempe, United States of America (the). AAAI Press. http://hdl.handle.net/20.500.12708/57590 ( reposiTUm)

Eiter, T., & Weinzierl, A. (2018). Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, United Kingdom of Great Britain and Northern Ireland (the). https://doi.org/10.24963/ijcai.2018/791 ( reposiTUm)

Bozzato, L., Eiter, T., & Serafini, L. (2018). Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, United Kingdom of Great Britain and Northern Ireland (the). https://doi.org/10.24963/ijcai.2018/786 ( reposiTUm)

Eiter, T., Parreira, J., & Schneider, P. (2017). Detecting Mobility Patterns using Spatial Query Answering over Streams. In D. Dell´Aglio, D. Anicic, P. Barnaghi, E. Della Valle, D. McGuinness, L. Bozzato, T. Eiter, M. Homola, & D. Porello (Eds.), Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017) (pp. 17–32). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/57301 ( reposiTUm)

Ramanayake, R., & Ciabattoni, A. (2017). Bunched Hypersequent Calculi for Distributive Substructural Logics. In T. Eiter (Ed.), LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 417–434). Springer LNCS. http://hdl.handle.net/20.500.12708/57070 ( reposiTUm)

Lellmann, B. (2017). A uniform framework for substructural logics with modalities. In T. Eiter (Ed.), LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017 (pp. 435–455). EasyChair EPiC Series in Computing. http://hdl.handle.net/20.500.12708/57108 ( reposiTUm)

Beck, H., Bierbaumer, B., Dao-Tran, M., Eiter, T., Hellwagner, H., & Schekotihin, K. (2017). Stream reasoning-based control of caching strategies in CCN routers. In 2017 IEEE International Conference on Communications (ICC). IEEE Xplore Digital Library. https://doi.org/10.1109/icc.2017.7996762 ( reposiTUm)

Eiter, T., Parreira, J. X., & Schneider, P. (2017). Spatial Ontology-Mediated Query Answering over Mobility Streams. In E. Blomqvist, D. Maynard, A. Gangemi, R. Hoekstra, P. Hitzler, & O. Hartig (Eds.), The Semantic Web (pp. 219–237). Springer Lecture Notes in Computer Science LNCS. https://doi.org/10.1007/978-3-319-58068-5_14 ( reposiTUm)

BECK, H., EITER, T., & FOLIE, C. (2017). Ticker: A system for incremental ASP-based stream reasoning. In Theory and Practice of Logic Programming (pp. 744–763). Cambridge University Press. https://doi.org/10.1017/s1471068417000370 ( reposiTUm)

Saribatur Yaman, Z. G., Baral, C., & Eiter, T. (2017). Reactive Maintenance Policies over Equalized States in Dynamic Environments. In E. Oliveira, J. Gama, Z. Vale, & H. L. Cardoso (Eds.), Progress in Artificial Intelligence : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings. Springer Cham. https://doi.org/10.1007/978-3-319-65340-2_58 ( reposiTUm)

Eiter, T., Kaminski, T. D., Redl, C., Schüller, P., & Weinzierl, A. (2017). Answer Set Programming with External Source Access. In G. Ianni, D. Lembo, L. Bertossi, W. Faber, B. Glimm, G. Gottlob, & S. Staab (Eds.), Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Springer. https://doi.org/10.1007/978-3-319-61033-7_7 ( reposiTUm)

Eiter, T., & Dao-Tran, M. (2017). Streaming Multi-Context Systems. In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2017/139 ( 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)

Eiter, T., & Shen, Y.-D. (2017). Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2017/722 ( reposiTUm)

Kiesl, B., Suda, M., Seidl, M., Tompits, H., & Biere, A. (2017). Blocked Clauses in First-Order Logic. In T. Eiter & D. Sands (Eds.), LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EasyChair. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3121 ( reposiTUm)

Eiter, T. (2016). Artificial Intelligence at the Gates of Dawn? In M. Pinzger (Ed.), 46. Jahrestag der Gesellschaft fuer Informatik (pp. 37–38). Lni / Gi. http://hdl.handle.net/20.500.12708/56835 ( reposiTUm)

Fichte, J., Hecher, M., Morak, M., & Woltran, S. (2016). Counting Answer Sets via Dynamic Programming. In T. Eiter, W. Faber, & S. Woltran (Eds.), Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016) (p. 14). http://hdl.handle.net/20.500.12708/56808 ( reposiTUm)

Bliem, B., Ordyniak, S., & Woltran, S. (2016). Clique-Width and Directed Width Measures for Answer-Set Programming. In T. Eiter, W. Faber, & S. Woltran (Eds.), Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016) (p. 17). http://hdl.handle.net/20.500.12708/56809 ( 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)

Eiter, T., & Kaminski, T. D. (2016). Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. In L. Michael & A. Kakas (Eds.), Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (pp. 223–239). 15th European Conference, JELIA 2016. https://doi.org/10.1007/978-3-319-48758-8_15 ( reposiTUm)

Saribatur Yaman, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In L. Michael & A. Kakas (Eds.), Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (pp. 463–480). Springer. https://doi.org/10.1007/978-3-319-48758-8_30 ( reposiTUm)

Beck, H., Bierbaumer, B., Dao-Tran, M., Eiter, T., Hellwagner, H., & Schekotihin, K. (2016). Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. In L. Michael & A. C. Kakas (Eds.), Logics in Artificial Intelligence (pp. 522–528). Springer. https://doi.org/10.1007/978-3-319-48758-8_34 ( 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)

Eiter, T., Füreder, H., Kasslatter, F., Parreira, J., & Schneider, P. (2016). Towards a Semantically Enriched Local Dynamic Map. In E. Chung & B. Smith (Eds.), 23rd World Congress on Intelligent Transport Systems 2016. IEEE. http://hdl.handle.net/20.500.12708/56863 ( reposiTUm)

Eiter, T., Lukasiewicz, T., & Predoiu, L. (2016). Generalized Consistent Query Answering under Existential Rules. In J. P. Delgrande & F. Wolter (Eds.), Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) (pp. 359–368). http://hdl.handle.net/20.500.12708/56833 ( reposiTUm)

Eiter, T., Parreira, J., & Schneider, P. (2016). Towards Spatial Ontology-Mediated Query Answering over Mobility Streams. In D. Dell´Aglio, E. Della Valle, T. Eiter, & M. Krötzsch (Eds.), Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016) (pp. 13–24). CEUR. http://hdl.handle.net/20.500.12708/55453 ( reposiTUm)

Saribatur, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In G. Kern-Isberner & R. Wassermann (Eds.), Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (pp. 143–152). http://hdl.handle.net/20.500.12708/56763 ( reposiTUm)

Beck, H., Dao-Tran, M., & Eiter, T. (2016). Equivalent Stream Reasoning Programs. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (pp. 929–935). IJCAI/AAAI Press. http://hdl.handle.net/20.500.12708/56817 ( 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)

Charwat, G. (2015). Dynamic Programming on Tree Decompositions using Binary Decision Diagrams. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015 (p. 10). CEUR-WS.org. http://hdl.handle.net/20.500.12708/56219 ( 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)

Dao-Tran, M., Beck, H., & Eiter, T. (2015). Towards Comparing RDF Stream Processing Semantics. In 1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015. (pp. 15–27). http://hdl.handle.net/20.500.12708/56298 ( 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)

Dao-Tran, M., Beck, H., & Eiter, T. (2015). Contrasting RDF Stream Processing Semantics. In 5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, YiChang, China. (p. 8). http://hdl.handle.net/20.500.12708/56297 ( reposiTUm)

Beck, H., Dao-Tran, M., & Eiter, T. (2015). Answer Update for Rule-based Stream Reasoning. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia. (pp. 2741–2747). http://hdl.handle.net/20.500.12708/56296 ( 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)

Schüller, P., & Weinzierl, A. (2015). Answer Set Application Programming: a Case Study on Tetris. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) (p. 14). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55416 ( reposiTUm)

Kiesl, B., Schüller, P., & Tompits, H. (2015). On Structural Analysis of Non-Ground Answer-Set Programs. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) (p. 14). http://hdl.handle.net/20.500.12708/56289 ( 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)

Beck, H., Dao-Tran, M., Eiter, T., & Fink, M. (2015). LARS: A Logic-based Framework for Analyzing Reasoning over Streams. In Proceedings of the 29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA. (pp. 1431–1438). http://hdl.handle.net/20.500.12708/56294 ( 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)

Bozzato, L., Eiter, T., & Serafini, L. (2014). Defeasibility in Contextual Reasoning with CKR. In L. Giordano, V. Gliozzi, & G. L. Pozzato (Eds.), Proceedings of the 29th Italian Conference on Computational Logic (pp. 132–146). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55390 ( reposiTUm)

Eiter, T., Schneider, P., Simkus, M., & Xiao, G. (2014). Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57. In Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) (pp. 51–57). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55387 ( 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)

Bienvenu, M., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Nested Regular Path Queries in Description Logics. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014) (pp. 218–227). AAAI Press. http://hdl.handle.net/20.500.12708/55963 ( reposiTUm)

Amendola, G., Eiter, T., & Leone, N. (2014). Modular Paracoherent Answer Sets. In E. Fermé & J. Leite (Eds.), Logics in Artificial Intelligence (pp. 457–471). LNCS/Springer. https://doi.org/10.1007/978-3-319-11558-0_32 ( reposiTUm)

Beck, H., Dao-Tran, M., Eiter, T., & Fink, M. (2014). Towards Ideal Semantics for Analyzing Stream Reasoning. In International Workshop on Reactive Concepts in Knowledge Representation 2014 (pp. 17–22). http://hdl.handle.net/20.500.12708/55986 ( reposiTUm)

Beck, H., Dao-Tran, M., Eiter, T., & Fink, M. (2014). Towards a Logic-Based Framework for Analyzing Stream Reasoning. In 3rd International Workshop on Ordering and Reasoning (pp. 11–22). http://hdl.handle.net/20.500.12708/55388 ( 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)

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)

Stepanova, D. (2014). Inconsistencies in Hybrid Knowledge Bases. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning. Proceedings (pp. 1–4). AAAI Press. http://hdl.handle.net/20.500.12708/55752 ( reposiTUm)

Dunne, P. E., Dvorak, W., Linsbichler, T., & Woltran, S. (2014). Characteristics of Multiple Viewpoints in Abstract Argumentation. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (pp. 72–81). AAAI Press. http://hdl.handle.net/20.500.12708/55234 ( 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)

Bozzato, L., Eiter, T., & Serafini, L. (2014). Contextualized Knowledge Repositories with Justifiable Exceptions. 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. 112–123). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55719 ( reposiTUm)

Strass, H., & Wallner, J. P. (2014). Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (pp. 101–110). AAAI Press. http://hdl.handle.net/20.500.12708/55119 ( 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)

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)

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)

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)

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)

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)

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)

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., 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)

Gottlob, G., Orsi, G., Pieris, A., & Šimkus, M. (2012). Datalog and Its Extensions for Semantic Web Databases. 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. 54–77). Springer LNCS. https://doi.org/10.1007/978-3-642-33158-9_2 ( 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., 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)

Le-Phuoc, D., Dao-Tran, M., Pham, M.-D., Boncz, P., Eiter, T., & Fink, M. (2012). Linked Stream Data Processing Engines: Facts and Figures. In P. Cudre-Mauroux (Ed.), The Semantic Web – ISWC 2012 (pp. 300–312). Springer. https://doi.org/10.1007/978-3-642-35173-0_20 ( 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)

Dao-Tran, M., Eiter, T., Fink, M., Weidinger, G., & Weinzierl, A. (2012). OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. In L. F. del Cerro, A. Herzig, & J. Mengin (Eds.), Logics in Artificial Intelligence (pp. 480–483). Springer. https://doi.org/10.1007/978-3-642-33353-8_38 ( 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)

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)

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)

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)

Antoniou, G., Eiter, T., & Wang, K. (2012). Forgetting for Defeasible Logic. In N. Bjørner & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 77–91). LNCS, Springer. https://doi.org/10.1007/978-3-642-28717-6_9 ( 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)

Lackner, M., & Pfandler, A. (2012). Fixed-Parameter Algorithms for Finding Minimal Models. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. on Principles of Knowledge Representation and Reasoning (p. 11). AAAI Press. http://hdl.handle.net/20.500.12708/54179 ( reposiTUm)

Faber, W., Truszczynski, M., & Woltran, S. (2012). Strong Equivalence of Qualitative Optimization Problems. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. on Principles of Knowledge Representation and Reasoning (pp. 188–198). AAAI Press. http://hdl.handle.net/20.500.12708/54159 ( reposiTUm)

Creignou, N., Papini, O., Pichler, R., & Woltran, S. (2012). Belief Revision within Fragments of Propositional Logic. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. on Principles of Knowledge Representation and Reasoning (p. 11). AAAI Press. http://hdl.handle.net/20.500.12708/54154 ( reposiTUm)

Dvorak, W., Järvisalo, M., Wallner, J. P., & Woltran, S. (2012). Complexity-Sensitive Decision Procedures for Abstract Argumentation. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. of Principles of Knowledge Representation and Reasoning (pp. 54–64). AAAI Press. http://hdl.handle.net/20.500.12708/54155 ( reposiTUm)

Eiter, T., Fink, M., Ianni, G., & Schüller, P. (2011). Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. In A. Mileo & M. Fink (Eds.), Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications (p. 13). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/53654 ( 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)

Xiao, G., & Eiter, T. (2011). Inline Evaluation of Hybrid Knowledge Bases - PhD Description. In S. Rudolph & C. Gutierrez (Eds.), Web Reasoning and Rule Systems - 5th International Conference (pp. 300–305). Springer LNCS. http://hdl.handle.net/20.500.12708/53739 ( 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)

Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2011). Model Streaming for Distributed Multi-Context Systems. In A. Mileo & M. Fink (Eds.), 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications (p. 12). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/53632 ( reposiTUm)

Eiter, T., Fink, M., & Schüller, P. (2011). Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 107–119). Springer. https://doi.org/10.1007/978-3-642-20895-9_11 ( reposiTUm)

Brewka, G., Eiter, T., Fink, M., & Weinzierl, A. (2011). Managed Multi-Context Systems. In T. Walsh (Ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (pp. 786–791). AAAI Press/International Joint Conferences on Artificial Intelligence. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-138 ( 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)

Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2011). First-Order Encodings of Modular Nonmonotonic Logic Programs. In O. de Moor, G. Gottlob, T. Furche, & A. Sellers (Eds.), Datalog Reloaded, 1st International Workshop on Datalog 2010 (pp. 59–77). Springer. http://hdl.handle.net/20.500.12708/53303 ( reposiTUm)

Vicovac, T., Reiterer, A., Egly, U., Eiter, T., & Rieke-Zapp, D. (2010). Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System. In M. Bramer (Ed.), Artificial Intelligence in Theory and Practice III (pp. 215–224). Springer. https://doi.org/10.1007/978-3-642-15286-3_21 ( reposiTUm)

Vicovac, T., Reiterer, A., Egly, U., Eiter, T., & Rieke-Zapp, D. (2010). Intelligent Deformation Interpretation. In A. Reiterer, U. Egly, M. Heinert, & B. Riedel (Eds.), Application of Artificial Intelligence and Innovations in Engineering Geodesy (AIEG 2010) (pp. 10–20). http://hdl.handle.net/20.500.12708/42560 ( 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)

Schüller, P., Eiter, T., & Fink, M. (2010). Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 315–316). http://hdl.handle.net/20.500.12708/53119 ( reposiTUm)

Bairakdar, S. E.-D., Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Decomposition of Distributed Nonmonotonic Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 24–37). Springer. https://doi.org/10.1007/978-3-642-15675-5_5 ( reposiTUm)

Bairakdar, S. E.-D., Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 352–355). Springer. https://doi.org/10.1007/978-3-642-15675-5_30 ( 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)

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., Fink, M., & Weinzierl, A. (2010). Preference-Based Inconsistency Assessment in Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 143–155). Springer. https://doi.org/10.1007/978-3-642-15675-5_14 ( reposiTUm)

Weinzierl, A., Fink, M., & Eiter, T. (2010). Meta-Reasoning in Multi-Context Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 303–304). http://hdl.handle.net/20.500.12708/53394 ( 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)

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)

Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Distributed Nonmonotonic Multi-Context Systems. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010) (pp. 60–70). AAAI Press. http://hdl.handle.net/20.500.12708/53058 ( reposiTUm)

Bairakdar, S. E.-D., Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Decomposition of Distributed Nonmonotonic Multi-Context Systems. In T. Meyer & E. Ternovska (Eds.), 13th International Workshop on Non-Monotonic Reasoning (p. 7). http://hdl.handle.net/20.500.12708/53105 ( reposiTUm)

Bögl, M., Eiter, T., Fink, M., & Schüller, P. (2010). The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 356–359). Lecture Notes in Artificial Intelligence/Springer. https://doi.org/10.1007/978-3-642-15675-5_31 ( reposiTUm)

Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2010). Finding Explanations of Inconsistency in Multi-Context Systems. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10) (pp. 329–339). AAAI Press. http://hdl.handle.net/20.500.12708/53103 ( reposiTUm)

Eiter, T., Fink, M., & Moura, J. (2010). Paracoherent Answer Set Programming. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 (pp. 486–496). AAAI Press. http://hdl.handle.net/20.500.12708/53419 ( reposiTUm)

Vicovac, T., Reiterer, A., Egly, U., Eiter, T., & Rieke-Zapp, D. (2009). First Developement steps for an Automated Knowledge-Based Deformation Interpretation System. In A. Grün & H. Kahmen (Eds.), Optical 3-D Measurement Techniques IX (pp. 61–90). http://hdl.handle.net/20.500.12708/42385 ( reposiTUm)

Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2009). Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems. In J. P. Delgrande & A. Mileo (Eds.), Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009 (p. 4). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/52823 ( reposiTUm)

Heymans, S., Feier, C., & Eiter, T. (2009). A Reasoner for Simple Conceptual Logic Programs. In Web Reasoning and Rule Systems (pp. 55–70). Springer. https://doi.org/10.1007/978-3-642-05082-4_5 ( 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., Fink, M., & Krennwallner, T. (2009). Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 87–100). Springer. https://doi.org/10.1007/978-3-642-04238-6_10 ( 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, 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)

Brewka, G., & Eiter, T. (2009). Argumentation Context Systems: A Framework for Abstract Group Argumentation. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 44–57). LNCS, Springer. https://doi.org/10.1007/978-3-642-04238-6_7 ( reposiTUm)

Brewka, G., & Eiter, T. (2009). From Data Integration towards Knowledge Mediation. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 610–612). LNCS, Springer. https://doi.org/10.1007/978-3-642-04238-6_66 ( 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., Erdem, E., Erdoğan, H., & Fink, M. (2009). Finding Similar or Diverse Solutions in Answer Set Programming. In P. Hill & D. S. Warren (Eds.), Logic Programming (pp. 342–356). Springer. https://doi.org/10.1007/978-3-642-02846-5_29 ( 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., 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)

Reiterer, A., Lehmann, M., Miljanovic, M., Ali, H., Paar, G., Egly, U., Eiter, T., & Kahmen, H. (2008). Deformation Monitoring using a new kind of Optical 3D Measurement System: Components and Perspectives. In Measuring the Change (p. 10). http://hdl.handle.net/20.500.12708/42215 ( reposiTUm)

Reiterer, A., Lehmann, M., Miljanovic, M., Ali, H., Paar, G., Egly, U., Eiter, T., & Kahmen, H. (2008). Ein bildgestütztes 3D Deformationsmesssystem (An Image-Based 3D Deformation Measurement System). In Journal of Alpine Geology, Pangeo 2008 (p. 87). Mitt. Ges. Geol. Bergbaustud. Österr. http://hdl.handle.net/20.500.12708/42265 ( 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., Fink, M., & Krennwallner, T. (2008). Decomposing HEX-Programs: Preliminary Results. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 29–30). http://hdl.handle.net/20.500.12708/52311 ( 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., & Makino, K. (2008). New Results for Horn Cores and Envelopes of Horn Disjunctions. In M. Ghallab, C. Spyropoulos, N. Fakotakis, & N. Avouris (Eds.), 18th European Conference on Artificial Intelligence (pp. 60–64). IOS Press. http://hdl.handle.net/20.500.12708/52625 ( reposiTUm)

Eiter, T., Fink, M., & Senko, J. (2008). Error Classification in Action Descriptions: A Heuristic Approach. In D. Fox & C. P. Gomes (Eds.), Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 (pp. 905–910). AAAI Press. http://hdl.handle.net/20.500.12708/52190 ( reposiTUm)

Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2008). Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. In D. Fox & C. P. Gomes (Eds.), 23rd AAAI Conference on Artificial Intelligence (pp. 504–510). AAAI Press. http://hdl.handle.net/20.500.12708/52283 ( reposiTUm)

Eiter, T., Ortiz, M., & Šimkus, M. (2008). Reasoning Using Knots. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 377–390). Lecture Notes in Computer Science, Springer. https://doi.org/10.1007/978-3-540-89439-1_27 ( reposiTUm)

Eiter, T., Gottlob, G., Ortiz, M., & Šimkus, M. (2008). Query Answering in the Description Logic Horn-SHIQ. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (pp. 166–179). Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-540-87803-2_15 ( reposiTUm)

Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2008). Conjunctive Query Answering in SH using Knots. In F. Baader, C. Lutz, & B. Motik (Eds.), Proceedings of the 21st International Workshop on Description Logics (DL2008) (p. 11). CEUR Workshop proceedings. http://hdl.handle.net/20.500.12708/52270 ( reposiTUm)

Eiter, T. (2008). SMS and ASP: Hype or TST? In M. Garcia de la Banda & E. Pontelli (Eds.), Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings (pp. 77–82). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_13 ( reposiTUm)

De Bruijn, J., Eiter, T., & Tompits, H. (2008). Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. In G. Brewka & J. Lang (Eds.), Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR’08) (pp. 485–495). AAAI Press. http://hdl.handle.net/20.500.12708/52557 ( reposiTUm)

Reiterer, A., & Eiter, T. (2007). A New Methode for the Evaluation of Point Detectors. In A. Grün & H. Kahmen (Eds.), Optical 3-D Measurement Techniques VIII (pp. 242–247). http://hdl.handle.net/20.500.12708/42086 ( reposiTUm)

Reiterer, A., & Eiter, T. (2007). Ein neues Verfahren zur Evaluierung von Punkterfassungsalgorithmen (IOPs). In T. Luhmann & C. Müller (Eds.), Photogrammetrie, Laserscanning, Optische 3D-Messtechniken (pp. 156–163). Wichmann Verlag. http://hdl.handle.net/20.500.12708/42056 ( reposiTUm)

Bry, F., Eisinger, N., Eiter, T., Furche, T., Gottlob, G., Ley, C., Linse, B., Pichler, R., & Wei, F. (2007). Foundations of Rule-Based Query. In Reasoning Web (pp. 1–153). Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/51850 ( reposiTUm)

Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2007). Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (pp. 391–396). AAAI Press. http://hdl.handle.net/20.500.12708/51871 ( reposiTUm)

De Bruijn, J., Eiter, T., Polleres, A. F., & Tompits, H. (2007). Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination. In M. Veloso (Ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) (pp. 304–309). AAAI Press/IJCAI. http://hdl.handle.net/20.500.12708/51912 ( reposiTUm)

Eiter, T., Erdem, E., & Faber, W. (2007). On Reversing Actions: Algorithms and Complexity. In M. Veloso (Ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) (pp. 336–341). AAAI Press/IJCAI. http://hdl.handle.net/20.500.12708/51911 ( reposiTUm)

Eiter, T., Fink, M., Tompits, H., & Woltran, S. (2007). Complexity Results for Checking Equivalence of Stratified Logic Programs. In M. Veloso (Ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) (pp. 330–335). AAAI Press. http://hdl.handle.net/20.500.12708/51779 ( reposiTUm)

Van Nieuwenborgh, D., Eiter, T., & Vermeir, D. (2007). Conditional Planning with External Functions. In C. Baral, G. Brewka, & J. Schlipf (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 214–227). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-72200-7_19 ( 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)

Eiter, T. (2007). Answer Set Programming for the Semantic Web (Tutorial). In I. Niemelä & V. Dahl (Eds.), Proceedings 23th International Conference on Logic Programming (ICLP 2007) (pp. 23–26). Springer Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/51943 ( reposiTUm)

Brewka, G., & Eiter, T. (2007). Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (pp. 385–390). AAAI Press. http://hdl.handle.net/20.500.12708/51915 ( reposiTUm)

Simkus, M., & Eiter, T. (2007). FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. In N. Dershowitz & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 514–530). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-75560-9_37 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning. In Y. Sure & J. Domingue (Eds.), The Semantic Web: Research and Applications. Proceedings 3rd European Conference on Semantic Web (ESWC 2006) (pp. 273–287). Lecture Notes in Computer Science. Springer. http://hdl.handle.net/20.500.12708/51579 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In M. Fink, H. Tompits, & S. Woltran (Eds.), Proceedings 20th Workshop on Logic Programming and Constraint Systems (WLP ’06) (pp. 206–210). http://hdl.handle.net/20.500.12708/51580 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., & Wang, K. (2006). Forgetting in Managing Rules and Ontologies. In T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, & Y.-M. Cheung (Eds.), Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06) (pp. 411–419). IEEE Computer Society Press. http://hdl.handle.net/20.500.12708/51645 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., & Wang, K. (2006). Forgetting in Managing Rules and Ontologies. In A. F. Polleres, S. Decker, G. Gupta, & J. De Bruijn (Eds.), Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (pp. 1–16). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51641 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Resolving Conflicts in Action Descriptions. In J. Dix & A. Hunter (Eds.), Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track (pp. 353–360). TU Clausthal, Institut fuer Informatik. http://hdl.handle.net/20.500.12708/51557 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Comparing Action Descriptions Based on Semantic Preferences. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13 -- 15, 2006 (pp. 124–137). Springer. http://hdl.handle.net/20.500.12708/51562 ( reposiTUm)

Eiter, T., Fink, M., & Senko, J. (2006). A Tool for Answering Queries on Action Descriptions. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006 (pp. 473–476). Springer. http://hdl.handle.net/20.500.12708/51563 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Resolving Conflicts in Action Descriptions. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Eds.), Proceedings of the 17th Eureopean Conference on Artificial Intelligence, ECAI’2006, Riva del Garda, Italy, August 29 -- September 1, 2006 (pp. 367–371). IOS Press. http://hdl.handle.net/20.500.12708/51560 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Comparing Action Descriptions Based on Semantic Preferences. In U. Junker & W. Kiessling (Eds.), Informal Proceedings Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, August 28 -- 29, 2006 (pp. 15–22). http://hdl.handle.net/20.500.12708/51561 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics. In A. F. Polleres, S. Decker, G. Gupta, & J. De Bruijn (Eds.), Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (pp. 33–39). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51581 ( reposiTUm)

Reiterer, A., & Eiter, T. (2006). A Distance-Based Method for the Evaluation of Interest Point Detection Algorithms. In IEEE-Signal Processing Society (Ed.), IEEE International Conference on Image Processing - ICIP 2006 (p. 4). IEEE. http://hdl.handle.net/20.500.12708/41997 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics. In T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, & Y.-M. Cheung (Eds.), Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06) (pp. 1073–1074). IEEE Computer Society Press. http://hdl.handle.net/20.500.12708/51711 ( reposiTUm)

Lukasiewicz, T. (2006). Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. In T. Eiter, E. Franconi, R. Hodgson, & S. Stephens (Eds.), Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006) (pp. 89–96). IEEE Computer Society. http://hdl.handle.net/20.500.12708/51717 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). A RuleML Syntax for Answer-Set Programming. In A. F. Polleres, S. Decker, G. Gupta, & J. De Bruijn (Eds.), Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006. (pp. 107–108). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51748 ( reposiTUm)

Cheng, F.-L., Eiter, T., Robinson, N., Sattar, A., & Wang, K. (2006). LPForget: A System of Forgetting in Answer Set Programming. In AI 2006: Advances in Artificial Intelligence. Proceedings 19th Australian Joint Conference on Artificial Intelligence. Lecture Notes in Computer Science. (pp. 1101–1105). Lecture Notes in Computer Science. Springer. http://hdl.handle.net/20.500.12708/51659 ( reposiTUm)

De Bruijn, J., Eiter, T., Polleres, A. F., & Tompits, H. (2006). On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules. In J. Lang, F. Lin, & J. Wang (Eds.), Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM 2006) (pp. 1–22). Lecture Notes in Computer Science, Springer. http://hdl.handle.net/20.500.12708/51660 ( reposiTUm)

Eiter, T., & Wang, K. (2006). Forgetting and Conflict Resolving in Disjunctive Logic Programming. In J. Dix & A. Hunter (Eds.), Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track (pp. 85–92). Institut fuer Informatik, TU Clausthal, Germany. http://hdl.handle.net/20.500.12708/51658 ( reposiTUm)

Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. In B. Parsi, U. Sattler, & D. Toman (Eds.), Proceedings of the 2006 International Workshop on Description Logics (DL’06). Windermere, Lake District, UK, May 30-June 1, 2006 (pp. 62–73). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51655 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). Towards Efficient Evaluation of HEX Programs. In J. Dix & A. Hunter (Eds.), Proceedings of the 11th Workshop on Nonmonotonic Reasoning (pp. 40–46). Clausthal University of Technology. http://hdl.handle.net/20.500.12708/51648 ( reposiTUm)

Eiter, T., Fink, M., Tompits, H., Traxler, P., & Woltran, S. (2006). Replacements in Non-Ground Answer-Set Programming. In M. Fink, H. Tompits, & S. Woltran (Eds.), Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24 (p. 9). TU Wien, Institut fuer Informationssysteme. http://hdl.handle.net/20.500.12708/51566 ( reposiTUm)

Eiter, T., Fink, M., Tompits, H., Traxler, P., & Woltran, S. (2006). Replacements in Non-Ground Answer-Set Programming. In P. Doherty, J. Mylopoulos, & C. Welty (Eds.), Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the United Kingdom, June 2--5 (pp. 340–351). AAAI Press. http://hdl.handle.net/20.500.12708/51567 ( reposiTUm)

Eiter, T., Traxler, P., & Woltran, S. (2006). An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006) (pp. 477–480). Springer. http://hdl.handle.net/20.500.12708/51589 ( reposiTUm)

Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. In Proceedings 21th National Conference on Artificial Intelligence (AAAI ’06), July 16-23, 2006, Boston, USA ISBN 978-1-57735-281-5 (pp. 275–280). AAAI Press. http://hdl.handle.net/20.500.12708/51654 ( reposiTUm)

Eiter, T., & Wang, K. (2006). Forgetting and Conflict Resolving in Disjunctive Logic Programming. In Proceedings 21th National Conference on Artificial Intelligence (AAAI ’06), July 16-23, 2006, Boston (pp. 238–243). AAAI Press. http://hdl.handle.net/20.500.12708/51575 ( reposiTUm)

Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., & Tompits, H. (2006). Reasoning with Rules and Ontologies. In P. Barahona, F. Bry, E. Franconi, N. Henze, & U. Sattler (Eds.), Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures (pp. 93–127). Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/11837787_4 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics. In R. Mizoguchi (Ed.), Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005) (p. PID 67). http://hdl.handle.net/20.500.12708/51347 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). DLV-HEX: Dealing with Semantic Web under Answer-Set Programming. In R. Mizoguchi (Ed.), Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005) (p. PID 73). http://hdl.handle.net/20.500.12708/51348 ( reposiTUm)

Reiterer, A., Egly, U., Eiter, T., & Kahmen, H. (2005). A Knowledge-Based Decision System for an Image-Based Measurement. In B. H. V. Topping (Ed.), Proceedings of the Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering (pp. 35–36). http://hdl.handle.net/20.500.12708/41891 ( reposiTUm)

Reiterer, A., Kahmen, H., Eiter, T., Egly, U., & Paar, G. (2005). A Smart Videometric System. In A. Grün & H. Kahmen (Eds.), Proceedings Optical 3-D Measurement Techniques VII, Vol. II (pp. 370–375). http://hdl.handle.net/20.500.12708/41914 ( reposiTUm)

Baral, C., Eiter, T., & Zhao, J. (2005). Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains. In M. Veloso & S. Kambhampati (Eds.), Proceedings 20th National Conference on Artificial Intelligence (AAAI ’05) (pp. 578–583). AAAI Press. http://hdl.handle.net/20.500.12708/51258 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2005). Updating Action Domain Descriptions. In L. Pack Kaelbling & A. Saffiotti (Eds.), Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (pp. 418–423). Professional Book Center. http://hdl.handle.net/20.500.12708/51261 ( reposiTUm)

Eiter, T., Fink, M., & Senko, J. (2005). KMonitor -- A Tool for Monitoring Plan Execution in Action Theories. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 416–421). Springer. http://hdl.handle.net/20.500.12708/51262 ( reposiTUm)

Eiter, T. (2005). Data Integration and Answer Set Programming. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 13–25). Springer. http://hdl.handle.net/20.500.12708/51265 ( reposiTUm)

Leone, N., Eiter, T., Faber, W., & Fink, M. (2005). The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (SIGMOD/PODS 2005 Conference) (pp. 915–917). ACM. http://hdl.handle.net/20.500.12708/51257 ( reposiTUm)

Leone, N., Eiter, T., Faber, W., & Fink, M. (2005). Data Integration: a Challenging ASP Application. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 379–383). Springer. http://hdl.handle.net/20.500.12708/51271 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (pp. 90–96). Professional Book Center. http://hdl.handle.net/20.500.12708/51276 ( reposiTUm)

Baumgartner, R., Eiter, T., Gottlob, G., Herzog, M., & Koch, C. (2005). Information Extraction for the Semantic Web. In Reasoning Web (pp. 275–289). Springer. http://hdl.handle.net/20.500.12708/51025 ( reposiTUm)

Eiter, T., Fink, M., Tompits, H., & Woltran, S. (2005). Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, (pp. 695–700). AAAI Press / The MIT Press 2005. http://hdl.handle.net/20.500.12708/51104 ( reposiTUm)

Eiter, T., Tompits, H., & Woltran, S. (2005). On Solution Correspondences in Answer-Set Programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (pp. 97–102). http://hdl.handle.net/20.500.12708/51105 ( reposiTUm)

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). Nonmonotonic Description Logic Programs: Implementation and Experiments. In F. Baader & A. Voronkov (Eds.), Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (pp. 511–527). Springer. http://hdl.handle.net/20.500.12708/51275 ( reposiTUm)

Eiter, T., Faber, W., & Traxler, P. (2005). Testing Strong Equivalence of Datalog Programs: Implementation and Examples. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 437–441). Springer. http://hdl.handle.net/20.500.12708/51264 ( reposiTUm)

Beiträge in Büchern

Bozzato, L., Eiter, T., & Serafini, L. (2019). Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge Repositories. In A.-Y. Turhan, U. Sattler, F. Wolter, & C. Lutz (Eds.), Description Logic, Theory Combination, and All That (pp. 110–134). Springer LNCS. https://doi.org/10.1007/978-3-030-22102-7_5 ( reposiTUm)

Mileo, A., Dao-Tran, M., Eiter, T., & Fink, M. (2017). Stream Reasoning. In L. Liu & O. M. Tamer (Eds.), Encyclopedia of Database Systems (pp. 1–7). Springer Science+Business Media. https://doi.org/10.1007/978-1-4899-7993-3_80715-1 ( reposiTUm)

Eiter, T., Fink, M., & Weinzierl, A. (2015). Preference-Based Diagnosis Selection in Multi-Context Systems. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 233–248). Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-319-14726-0_16 ( reposiTUm)

Baumann, R., & Spanring, C. (2015). Infinite Argumentation Frameworks. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 281–295). Springer LNCS. https://doi.org/10.1007/978-3-319-14726-0_19 ( reposiTUm)

Eiter, T., Strass, H., Truszczynski, M., & Woltran, S. (2015). A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 1–16). Springer LNCS. http://hdl.handle.net/20.500.12708/28886 ( reposiTUm)

Dvořák, W., Gaggl, S. A., Linsbichler, T., & Wallner, J. P. (2015). Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 249–264). Springer. https://doi.org/10.1007/978-3-319-14726-0_17 ( reposiTUm)

Eiter, T., Feier, C., & Fink, M. (2012). Simulating Production Rules Using ACTHEX. In E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), Correct Reasoning (pp. 211–228). Springer, LNCS 7265. https://doi.org/10.1007/978-3-642-30743-0_15 ( reposiTUm)

Brewka, G., Eiter, T., & Fink, M. (2011). Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. In M. Balduccini & T. C. Son (Eds.), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (pp. 233–258). Springer-Verlag, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_16 ( 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)

Eiter, T., Gottlob, G., & Schwentick, T. (2010). The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. In A. Blass, N. Dershowitz, & W. Reisig (Eds.), Fields of Logic and Computation (pp. 227–250). Springer LNCS. https://doi.org/10.1007/978-3-642-15025-8_13 ( 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)

Eiter, T., Faber, W., Pfeifer, G., & Polleres, A. F. (2005). Declarative Planning and Knowledge Representation in an Action Language. In I. Vlahavas & D. Vrakas (Eds.), Intelligent Techniques for Planning (pp. 1–34). Idea Group Publishing. http://hdl.handle.net/20.500.12708/25376 ( reposiTUm)

Bücher

Warren, D. S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski. Robert A., & Rossi, F. (Eds.). (2023). Prolog: The Next 50 Years (Vol. 13900). Springer. https://doi.org/10.1007/978-3-031-35254-6 ( reposiTUm)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. (2015). In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-14726-0 ( 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)

Tagungsbände

Artikis, A., Eiter, T., Margara, A., & Vansummeren, S. (Eds.). (2020). Foundations of Composite Event Recognition (Dagstuhl Seminar 20071). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DagRep.10.2.19 ( reposiTUm)

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. (2017). In J. Z. Pan, D. Calvanese, T. Eiter, I. Horrocks, M. Kifer, F. Lin, & Y. Zhao (Eds.), Lecture Notes in Computer Science. Springer LNCS. https://doi.org/10.1007/978-3-319-49493-7 ( reposiTUm)

Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017. (2017). In D. Dell´Aglio, D. Anicic, P. Barnaghi, E. Della Valle, D. McGuinness, L. Bozzato, T. Eiter, M. Homola, & D. Porello (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24394 ( reposiTUm)

Eiter, T., & Sands, D. (Eds.). (2017). LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46. EasyChair EPiC Series in Computing. http://hdl.handle.net/20.500.12708/24393 ( reposiTUm)

Eiter, T., Sands, D., Sutcliffe, G., & Voronkov, A. (Eds.). (2017). IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1. EasyChair. http://hdl.handle.net/20.500.12708/24392 ( reposiTUm)

Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016). (2016). In D. Dell´Aglio, E. Della Valle, T. Eiter, M. Krötzsch, M. Maleshkova, R. Verborgh, F. M. Facca, & M. Mrissa (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24275 ( reposiTUm)

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). (2015). In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24090 ( reposiTUm)

Baral, C., De Giacomo, G., & Eiter, T. (Eds.). (2014). Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press. http://hdl.handle.net/20.500.12708/23939 ( reposiTUm)

Informal Proceedings of the 26th International Workshop on Description Logics. (2013). In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/23749 ( reposiTUm)

Brewka, G., Eiter, T., & McIlraith, S. (Eds.). (2012). Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012. AAAI Press. http://hdl.handle.net/20.500.12708/23590 ( 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)

Eiter, T., Franconi, E., Hodgson, R., Kifer, M., & Stephens, S. (Eds.). (2006). Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web. IEEE Computer Society Press. http://hdl.handle.net/20.500.12708/22323 ( reposiTUm)

Eiter, T., & Libkin, L. (Eds.). (2005). Proceedings of the 10th International Conference on Database Theory (ICDT 2005). Springer, LNCS 3363. http://hdl.handle.net/20.500.12708/22298 ( reposiTUm)

Präsentationen

Bauer, J. J., Eiter, T., Higuera Ruiz, N. N., & Oetsch, J. (2023, November 21). Neuro-Symbolic Visual Graph Question Answering with LLMs for Language Parsing [Conference Presentation]. TAASP23: Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany. https://doi.org/10.34726/5462 ( reposiTUm)

Eiter, T. (2022, July 11). History of KR: A Personal View [Presentation]. Current and Future Challenges in Knowledge Representation and Reasoning, Schloss Dagstuhl, Germany. ( reposiTUm)

Hatschka, C., Ciabattoni, A., & Eiter, T. (2022, November 28). Representing Normative Reasoning in Answer Set Programming Using Weak Constraints [Conference Presentation]. TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/154091 ( reposiTUm)

Schetinger, V., Eiter, T., Kiesel, R. P. D., & Miksch, S. (2022, November 16). The Combinatorics of HumaneAI [Poster Presentation]. Conference on AI for Humanity and Society, Stockholm, Sweden. ( reposiTUm)

Eiter, T. (2022, November 4). Enhancing AI Capabilities by Rules: Applications and Opportunities [Conference Presentation]. CS Seminar, Binghamton, New York, United States of America (the). ( reposiTUm)

Eiter, T. (2022, December 13). Enhancing AI Capabilities by Rules: Challenges and Opportunities [Conference Presentation]. 9th International Chinese Scholar Workshop on Knowledge Representation and Reasoning, Guiyang, Guizhou, China. http://hdl.handle.net/20.500.12708/153923 ( reposiTUm)

Eiter, T. (2022, October 18). Enhancing AI Capabilities by Rules: Applications and Opportunities [Presentation]. interne Veranstaltung des Bosch Labs, Renningen, Germany. ( reposiTUm)

Eiter, T., & Higuera Ruiz, N. N. (2022, November 29). Elaboration for Neurosymbolic Compuation [Conference Presentation]. TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. ( reposiTUm)

Wang, Y., Eiter, T., Yuanlin Zhang, & Lin, F. (2022, November 29). Witnesses for Answer Sets of Logic Programs [Conference Presentation]. TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/154231 ( reposiTUm)

Eiter, T., Oetsch, J., Pritz, M., & Higuera Ruiz, N. N. (2022, February 28). A Confidence-Based Interface for Neuro-Symbolic Visual Question Answering [Poster Presentation]. First International Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations (CLeaR 2022), Vancouver, Canada. http://hdl.handle.net/20.500.12708/146112 ( reposiTUm)

Eiter, T. (2020). A Hitchhiker’s Tour Through Computational Complexity in Knowledge Representation and Reasoning. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Greece. http://hdl.handle.net/20.500.12708/87087 ( reposiTUm)

Eiter, T., & Kiesel, R. P. D. (2020). Quantities in Stream Reasoning. Reasoning about ACtions and Events over Streams (RACES), Rhodes, Greece. http://hdl.handle.net/20.500.12708/87114 ( reposiTUm)

Eiter, T., & Kiesel, R. P. D. (2020). Weighted LARS for Quantitative Stream Reasoning. Austrian Workshop on Logic in Computer Science, Turracher Höhe, Austria. http://hdl.handle.net/20.500.12708/87116 ( reposiTUm)

Eiter, T., Saribatur, Z. G., & Schüller, P. (2020). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, online, Greece. http://hdl.handle.net/20.500.12708/87081 ( reposiTUm)

Eiter, T., & Kiesel, R. P. D. (2020). ASP(AC): Answer Set Programming with Algebraic Constraints. 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy. http://hdl.handle.net/20.500.12708/87113 ( reposiTUm)

Eiter, T. (2019). Stream Reasoning and Multi-Context Systems. 4th Stream Reasoning Workshop (SR 2019), Linköping, Sweden. http://hdl.handle.net/20.500.12708/87088 ( reposiTUm)

Eiter, T. (2019). Defeasible Reasoning in Description Logic Contexts. Colloquium for Franz Baader´s 60th Birthday, Dresden, Germany. http://hdl.handle.net/20.500.12708/87118 ( reposiTUm)

Eiter, T. (2019). Logic Programming for Stream Reasoning. Autumn School on Logic Programming, Las Cruces, New Mexico, United States of America (the). http://hdl.handle.net/20.500.12708/87119 ( reposiTUm)

Eiter, T. (2019). The Role of Answer Set Programming for Non-monotonic Reasoning. Dagstuhl Seminar 19072 - The Role of Non-Monotonic Reasoning in Future Development of Artificial Intelligence, Schloss Dagstuhl, Germany. http://hdl.handle.net/20.500.12708/87089 ( reposiTUm)

Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/86936 ( reposiTUm)

Saribatur, Z. G., & Eiter, T. (2018). Omission-based Abstraction for Answer Set Programs (Extended Abstract). TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/86786 ( reposiTUm)

Eiter, T. (2018). Forgetting: A Knowledge Representation and Reasoning Perspective. Tandem-Workshop des SPP1921, Limburg, Germany. http://hdl.handle.net/20.500.12708/86855 ( reposiTUm)

Eiter, T. (2018). Answer Set Programming. Seminar at Fondazione Bruno Kessler (FBK), Trient, Italy. http://hdl.handle.net/20.500.12708/86854 ( 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)

Eiter, T. (2018). LARS: A Framework for Analytic Reasoning over Streams. Institute of Software, Chinese Academy of Sciences, Beijing, China. http://hdl.handle.net/20.500.12708/86858 ( reposiTUm)

Eiter, T. (2018). Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Knowledge Graph Forum. 2nd World Intelligence Conference (WIC), Tianjin, China. http://hdl.handle.net/20.500.12708/86856 ( reposiTUm)

Eiter, T. (2018). Enhancing Context Knowledge Repositories with Exceptions. Guizhou University, Guiyang, China. http://hdl.handle.net/20.500.12708/86857 ( reposiTUm)

Eiter, T. (2018). Streams, Multi-Context Systems, and Dynamic Configuration. 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution, Tempe, AZ, United States of America (the). http://hdl.handle.net/20.500.12708/86860 ( reposiTUm)

Eiter, T. (2018). Answer Set Programs go 30: Past and Future. International Conference on Logic Programming (ICLP), Sitges, Spain. http://hdl.handle.net/20.500.12708/86859 ( reposiTUm)

Eiter, T. (2016). Some Thoughts on Stream Reasoning, Revision and Update. Workshop on New Trends in Belief Change, Vienna, Austria. http://hdl.handle.net/20.500.12708/86467 ( reposiTUm)

Eiter, T. (2016). Knowledge-Based System Group, Vienna University of Technology. Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt, Austria. http://hdl.handle.net/20.500.12708/86469 ( reposiTUm)

Eiter, T. (2016). Answer Set Programming and Extensions. Summer School 2016: Verification Technology, Systems & Applications, Liege, Belgium. http://hdl.handle.net/20.500.12708/86465 ( reposiTUm)

Eiter, T. (2016). Georg Gottlob: Life and Pictures. GG@60: Workshop on Databases and AI, Genova, Italy. http://hdl.handle.net/20.500.12708/86466 ( reposiTUm)

Mossburger, A., Beck, H., Dao-Tran, M., & Eiter, T. (2016). A Benchmarking Framework for Stream Processors. 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW), Bologna, Italy. http://hdl.handle.net/20.500.12708/86413 ( reposiTUm)

Eiter, T. (2015). A Logic-Based Frameworks for Analyzing Stream Reasoning. PhDs in Logic VII, Wien, Austria. http://hdl.handle.net/20.500.12708/86212 ( reposiTUm)

Eiter, T. (2015). A Logic-Based Framework for Analyzing Reasoning over Streams. Stream Reasoning Workshop 2015, Wien, Austria. http://hdl.handle.net/20.500.12708/86213 ( reposiTUm)

Eiter, T. (2015). Querying Ontology Knowledge Bases Using Datalog. PhDs in Logic VII, Wien, Austria. http://hdl.handle.net/20.500.12708/86211 ( reposiTUm)

Beck, H., Dao-Tran, M., & Eiter, T. (2015). Semantics and Complexity of RDF Stream Processing & Reasoning: Expression of Interest. RDF Stream Processing Workshop at ESWC2015, Portoros, Slovenia. http://hdl.handle.net/20.500.12708/86208 ( reposiTUm)

Eiter, T. (2015). Towards a Logic-Based Framework for Analyzing Stream Reasoning. Seminar of the CS Department, Leuven, Belgium. http://hdl.handle.net/20.500.12708/86210 ( reposiTUm)

Baaz, M., Eiter, T., & Veith, H. (2014). Vienna Summer of Logic. Vienna Summer of Logic, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/121057 ( reposiTUm)

Eiter, T., & Fink, M. (2013). Uniform Equivalence of Logic Programs under the Stable Model Semantics. 29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey. http://hdl.handle.net/20.500.12708/85759 ( reposiTUm)

Eiter, T. (2011). Nonmonotonic Multi-Context Systems in Dynamic Environments. International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland, EU. http://hdl.handle.net/20.500.12708/85189 ( reposiTUm)

Eiter, T. (2011). Paracoherent Answer Set Programming. Workshop on Logic and Computer Science, Vienna, Austria. http://hdl.handle.net/20.500.12708/85190 ( 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, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/85169 ( reposiTUm)

Eiter, T., Fink, M., & Moura, J. (2010). Paracoherent Answer Set Programming. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85008 ( 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)

Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2010). Finding Explanations of Inconsistency in Multi-Context Systems. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85011 ( reposiTUm)

Eiter, T. (2010). Combining Nonmonotonic Knowledge Bases with External Sources. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85012 ( reposiTUm)

Schüller, P., Eiter, T., & Fink, M. (2010). Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. Junior Scientist Conference 2010, Wien, Austria. http://hdl.handle.net/20.500.12708/84986 ( reposiTUm)

Weinzierl, A., Fink, M., & Eiter, T. (2010). Meta-Reasoning in Multi-Context Systems. Junior Scientist Conference 2010, Wien, Austria. http://hdl.handle.net/20.500.12708/85031 ( reposiTUm)

Brewka, G., Eiter, T., & Fink, M. (2010). Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Symposium on Constructive Mathematics in Computer Science, Lexington, KY, USA, Non-EU. http://hdl.handle.net/20.500.12708/85034 ( 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)

Eiter, T. (2004). Planning by Answer Set Programming - The DLV/K System. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84323 ( reposiTUm)

Eiter, T. (2004). Abduction and the Dualization Problem. International Symposium on Discrete Algorithms and Optimization, Kyoto University, Kyoto, Japan, Austria. http://hdl.handle.net/20.500.12708/84322 ( reposiTUm)

Eiter, T. (2004). The INFOMIX System for Information Integration. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84321 ( reposiTUm)

Eiter, T. (2004). Strong and Uniform Equivalence of Logic Programs under Answer Set Semantics - the Datalog Case. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84325 ( reposiTUm)

Eiter, T. (2004). INFOMIX: Data Integration meets Nonmonotonic Deductive Databases. ARISE Workshop on Exchange and Integration of Data, Toronto, Canada, Austria. http://hdl.handle.net/20.500.12708/84326 ( reposiTUm)

Eiter, T. (2004). Towards Combining Answer Set Semantics with Description Logics for the Semantic Web. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84324 ( reposiTUm)

Eiter, T. (2004). INFOMIX: Data Integration meets Nonmonotonic Deductive Databases. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84327 ( reposiTUm)

Eiter, T. (2004). INFOMIX: Data Integration meets Nonmonotonic Deductive Databases. Kolloquium, Leopold-Franzens Universität Innsbruck, Austria. http://hdl.handle.net/20.500.12708/84331 ( reposiTUm)

Eiter, T. (2004). Towards Combining Answer Set Semantics with Description Logics for the Semantic Web. Kolloquium, Leopold-Franzens Universität Innsbruck, Austria. http://hdl.handle.net/20.500.12708/84330 ( reposiTUm)

Eiter, T. (2004). Nonmontonic Description Logic Programs. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84329 ( reposiTUm)

Eiter, T. (2004). INFOMIX: Progress and Demo Scenario. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84328 ( reposiTUm)

Eiter, T. (2003). Optimizing consistent query answering from data integration systems. Dagstuhl Seminar Nr. 03241, Inconsistency Tolerance, Dagstuhl, Germany, Austria. http://hdl.handle.net/20.500.12708/84251 ( reposiTUm)

Eiter, T. (2003). The IMPACT Systems for Heterogeneous Agents. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84257 ( reposiTUm)

Eiter, T. (2003). Planning by Answer Set Programming -- The DLV/K System. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84259 ( reposiTUm)

Eiter, T. (2003). Planning by Answer Set Programming -- The DLV/K System. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84258 ( reposiTUm)

Eiter, T. (2003). The INFOMIX Information Integration System. CologNet Workshop on Data Integration, Wien, Austria. http://hdl.handle.net/20.500.12708/84260 ( reposiTUm)

Eiter, T., & Fink, M. (2002). Answer Set Programming for Information Agents. Dagstuhl Seminar on Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481), Schloss Dagstuhl, Wadern, Germany, Austria. http://hdl.handle.net/20.500.12708/84084 ( reposiTUm)

Berichte

Saribatur, Z. G., Eiter, T., & Schüller, P. (2019). Abstraction for Non-Ground Answer Set Programs (LOGCOMP RR-1923-19-01). http://hdl.handle.net/20.500.12708/39887 ( reposiTUm)

Saribatur, Z. G., & Eiter, T. (2018). Omission-Based Abstraction for Answer Set Programs (LOGCOMP RR-1923-18-06). http://hdl.handle.net/20.500.12708/39631 ( reposiTUm)

Eiter, T., Kaminski, T., Redl, C., & Weinzierl, A. (2018). Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access (LOGCOMP RR-1923-18-02}). http://hdl.handle.net/20.500.12708/39455 ( 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., 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)

Feier, C., & Eiter, T. (2015). Reasoning with Forest Logic Programs Using Fully Enriched Automata (INFSYS RR-1843-15-02). http://hdl.handle.net/20.500.12708/38686 ( reposiTUm)

Shen, Y.-D., & Eiter, T. (2015). Evaluating Epistemic Negation in Answer Set Programming (INFSYS RR-1843-15-04). http://hdl.handle.net/20.500.12708/38687 ( 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)

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)

Amendola, G., Eiter, T., Leone, N., & Moura, J. (2014). Semi-equilibrium models for paracoherent answer set programs (INFSYS RR 1843-14-07). http://hdl.handle.net/20.500.12708/38383 ( reposiTUm)

Eiter, T., Fink, M., Puehrer, J., Tompits, H., & Woltran, S. (2013). Model-Based Recasting in Answer-Set Programming (DBAI-TR-2013-83). http://hdl.handle.net/20.500.12708/37698 ( reposiTUm)

Eiter, T., Fink, M., Ianni, G., & Schüller, P. (2012). Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language (INFSYS RR-1843-12-05). http://hdl.handle.net/20.500.12708/37696 ( reposiTUm)

Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2012). Finding Explanations of Inconsistency in Multi-Context Systems (INFSYS RR-1843-12-09). http://hdl.handle.net/20.500.12708/37697 ( 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)

Feier, C., Eiter, T., Kifer, M., Mosca, A., Rezk, M., Rosati, R., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2011). D3.4 Converged and Optimized Combinations of Rules and Ontologies (D3.4). http://hdl.handle.net/20.500.12708/37097 ( reposiTUm)

Fink, M., El Ghali, A., Chniti, A., Korf, R., Schwichtenberg, A., Lévy, F., Puehrer, J., & Eiter, T. (2011). D2.6 Consistency Maintenance. Final Report (D2.6). http://hdl.handle.net/20.500.12708/37100 ( reposiTUm)

Feier, C., Aït-Kaci, H., Angele, J., De Bruijn, J., Citeau, H., Eiter, T., El Ghali, A., Kerhet, V., Kiss, E., Korf, R., Krekeler, T., Krennwallner, T., Heymans, S., Mosca, A., Rezk, M., & Xiao, G. (2010). D3.3 Complexity and Optimization of Combinations of Rules and Ontologies (D3.3). http://hdl.handle.net/20.500.12708/37095 ( reposiTUm)

Bienvenu, M., Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2010). Query Answering in the Description Logic S (INFSYS RR 1843-10-01). http://hdl.handle.net/20.500.12708/36759 ( 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)

Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2008). Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version) (INFSYS RR-1843-08-05). http://hdl.handle.net/20.500.12708/35357 ( reposiTUm)

Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2008). Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles (INFSYS RR-1843-08-09). http://hdl.handle.net/20.500.12708/35361 ( reposiTUm)

De Bruijn, J., Eiter, T., Polleres, A. F., & Tompits, H. (2008). Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination (INFSYS RR-1843-08-12). http://hdl.handle.net/20.500.12708/35363 ( reposiTUm)

Simkus, M., & Eiter, T. (2008). FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols (INFSYS RR-1843-08-01). http://hdl.handle.net/20.500.12708/35353 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2008). Updating Action Domain Descriptions (INFSYS RR-1843-08-13). http://hdl.handle.net/20.500.12708/35067 ( reposiTUm)

Eiter, T., Fink, M., Greco, G., & Lembo, D. (2007). Repair Localization for Query Answering from Inconsistent Databases. http://hdl.handle.net/20.500.12708/33085 ( reposiTUm)

Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2007). Data Complexoty of Query Answering In Expressive Description Logics via Tableaux (INFSYS RR 1843-07-07). http://hdl.handle.net/20.500.12708/33097 ( reposiTUm)

Eiter, T., & Wang, K. (2007). Semantic Forgetting in Answer Set Programming (INFSYS RR 1843-07-08). http://hdl.handle.net/20.500.12708/33098 ( reposiTUm)

Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2007). Combining Answer Set Programming with Description Logics for the Semantic Web (INFSYS RR-1843-07-04). http://hdl.handle.net/20.500.12708/33092 ( reposiTUm)

Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Data Complexity of Query Answering in Expressive Description Logics with Nominals (INFSYS RR-1843-06-03). http://hdl.handle.net/20.500.12708/33074 ( reposiTUm)

Eiter, T., Makino, K., & Gottlob, G. (2006). Computational Aspects of Monotone Dualization: A Brief Survey (INFSYS RR-1843-06-01). http://hdl.handle.net/20.500.12708/33067 ( reposiTUm)

Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Comparing Action Descriptions Based on Semantic Preferences. http://hdl.handle.net/20.500.12708/33066 ( reposiTUm)

Eiter, T., Fink, M., & Woltran, S. (2005). Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. http://hdl.handle.net/20.500.12708/33032 ( reposiTUm)

Smetannikov, A., Soloviev, E., Eiter, T., Faber, W., & Fink, M. (2005). Data Cleaning Tasks for the INFOMIX Demo Scenario. http://hdl.handle.net/20.500.12708/33057 ( reposiTUm)

Smetannikov, A., Soloviev, E., Eiter, T., & Faber, W. (2005). Optimizing Wrapper Access and Query Plan Generation for the INFOMIX System. http://hdl.handle.net/20.500.12708/33056 ( reposiTUm)

Eiter, T., Fink, M., & Tompits, H. (2005). Self-assessment Report for Years 3+4. http://hdl.handle.net/20.500.12708/33054 ( reposiTUm)

Eiter, T., Fink, M., & Tompits, H. (2005). Test and Comparison Results. http://hdl.handle.net/20.500.12708/33055 ( reposiTUm)

Eiter, T., Fink, M., Greco, G., & Lembo, D. (2005). Optimization Methods for Logic-Based Query Answering from Inconsistent Data IntegrationSystems. http://hdl.handle.net/20.500.12708/33041 ( reposiTUm)

Eiter, T., & Gottlob, G. (2005). Reasoning Under Minimal Upper Bounds in Propositional Logic. http://hdl.handle.net/20.500.12708/33042 ( reposiTUm)

Ortiz de la Fuente, M. M., Calvanese, D., Eiter, T., & Franconi, E. (2005). Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases. http://hdl.handle.net/20.500.12708/33043 ( reposiTUm)

Eiter, T., Faber, W., Fink, M., Greco, G., Lembo, D., & Tompits, H. (2004). Methods and Techniques for Query Optimization. http://hdl.handle.net/20.500.12708/32951 ( reposiTUm)

Baral, C., Eiter, T., Bjäreland, M., & Nakamura, M. (2004). Maintenance Goals of Agents in a Dynamic Environment: Formulation and Policy Construction. http://hdl.handle.net/20.500.12708/32949 ( reposiTUm)

Eiter, T., & Polleres, A. F. (2004). Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications. http://hdl.handle.net/20.500.12708/32945 ( reposiTUm)

Eiter, T., Erdem, E., & Faber, W. (2004). Diagnosing Plan Execution Discrepancies in a Logic-Based Action Framework. http://hdl.handle.net/20.500.12708/32947 ( reposiTUm)

Eiter, T., Faber, W., & Tompits, H. (2004). Self-assessment report for year 2. http://hdl.handle.net/20.500.12708/32952 ( reposiTUm)

Eiter, T., Erdem, E., & Faber, W. (2004). Undoing the Effects of Action Sequences. http://hdl.handle.net/20.500.12708/32948 ( reposiTUm)

Eiter, T., Fink, M., & Tompits, H. (2003). A Knowledge-Based Approach for Selecting Information Sources. http://hdl.handle.net/20.500.12708/32932 ( reposiTUm)

Eiter, T., Faber, W., Pfeifer, G., Fink, M., & Woltran, S. (2003). Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming. http://hdl.handle.net/20.500.12708/32930 ( reposiTUm)

Eiter, T., Fink, M., Tompits, H., & Woltran, S. (2003). On Eliminating Disjunctions in Stable Logic Programming. http://hdl.handle.net/20.500.12708/32929 ( reposiTUm)

Eiter, T., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2003). Combining Answer Set Programming with Description Logics for the Semantic Web. http://hdl.handle.net/20.500.12708/32933 ( reposiTUm)

Eiter, T., & Makino, K. (2003). Generating all Abductive Explanations for Queries on Propositional Horn Theories. http://hdl.handle.net/20.500.12708/32935 ( reposiTUm)

Eiter, T., & Fink, M. (2003). Uniform Equivalence of Logic Programs under the Stable Model Semantics. http://hdl.handle.net/20.500.12708/32934 ( reposiTUm)

Dix, J., Eiter, T., Fink, M., Polleres, A. F., & Zhang, Y. (2003). Monitoring Agents using Declarative Planning. http://hdl.handle.net/20.500.12708/32936 ( reposiTUm)

Eiter, T., Faber, W., Fink, M., Woltran, S., & Zalewska, L. (2003). Methods for data acquisition and transformation. http://hdl.handle.net/20.500.12708/32954 ( reposiTUm)

Eiter, T., Fink, M., & Tompits, H. (2003). Self-assessment report for year 1. http://hdl.handle.net/20.500.12708/32957 ( reposiTUm)

Eiter, T., Fink, M., & Tompits, H. (2002). A Knowledge-Based Approach to Information Site Selection. http://hdl.handle.net/20.500.12708/32788 ( reposiTUm)

Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Koch, C., Mateis, C., Perri, S., & Scarcello, F. (2002). The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14). http://hdl.handle.net/20.500.12708/32798 ( reposiTUm)

Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. F. (2002). Answer Set Planning under Action Costs (INFSYS RR-1843-02-13). http://hdl.handle.net/20.500.12708/32797 ( reposiTUm)

Cadoli, M., Eiter, T., & Gottlob, G. (2002). Complexity of Nested Circumscription and Nested Abnormality Theories. http://hdl.handle.net/20.500.12708/32796 ( reposiTUm)

Eiter, T., Faber, W., Fink, M., & Kurushin, D. (2002). Review of Techniques and Systems for Acquisition and Tranformation of Heterogenous Data. http://hdl.handle.net/20.500.12708/32799 ( reposiTUm)

Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2002). Reasoning about Evolving Nonmonotonic Knowledge Bases. http://hdl.handle.net/20.500.12708/32789 ( reposiTUm)

Eiter, T., Faber, W., Leone, N., & Pfeifer, G. (2002). Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. http://hdl.handle.net/20.500.12708/32791 ( reposiTUm)

Eiter, T., & Lukasiewicz, T. (2002). Causes and Explanations in the Structural-Model Approach: Tractable Cases (INFSYS RR-1843-02-03). http://hdl.handle.net/20.500.12708/32793 ( reposiTUm)

Eiter, T., Gottlob, G., & Makino, K. (2002). New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05). http://hdl.handle.net/20.500.12708/32794 ( reposiTUm)

Eiter, T., & Makino, K. (2002). On Computing all Abductive Explanations (INFSYS RR-1843-02-04). http://hdl.handle.net/20.500.12708/32792 ( reposiTUm)

Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2002). Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07). http://hdl.handle.net/20.500.12708/32795 ( reposiTUm)

Eiter, T., & Fink, M. (2002). Self-assessment criteria. http://hdl.handle.net/20.500.12708/32953 ( reposiTUm)

Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2000). Using Methods of Declarative Logic Programming for Intelligent InformationAgents. http://hdl.handle.net/20.500.12708/32956 ( reposiTUm)

Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2000). On Updates of Logic Programs: Semantics and Properties. http://hdl.handle.net/20.500.12708/32955 ( reposiTUm)

Preprints

Bozzato, L., Eiter, T., Kiesel, R. P. D., & Stepanova, D. (2023). Contextual Reasoning for Scene Generation. Technical Report. arXiv. https://doi.org/10.48550/arXiv.2305.02255 ( reposiTUm)

Saribatur, Z. G., & Eiter, T. (2020). Omission-based Abstraction for Answer Set Programs. arXiv. https://doi.org/10.48550/arXiv.2004.01410 ( 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)

Eiter, T., Erdem, E., Erdogan, H., & Fink, M. (2011). Finding Similar/Diverse Solutions in Answer Set Programming. arXiv. https://doi.org/10.48550/arXiv.1108.3260 ( reposiTUm)

Drescher, C., Eiter, T., Fink, M., Krennwallner, T., & Walsh, T. (2011). Symmetry Breaking for Distributed Multi-Context Systems. arXiv. https://doi.org/10.48550/arXiv.1104.3931 ( reposiTUm)

Spezialbeiträge

Eiter, T., & Woltran, S. (2024, March 1). Künstliche Intelligenz ist mehr als CHATGPT. Bulletin. Alumni-Magazin der TU Wien, 56, 4–5. https://doi.org/10.34726/8422 ( reposiTUm)

Eiter, T., Higuera Ruiz, N. N., & Oetsch, J. (2024, March 1). Ich sehe was, das du nicht siehst: Visual Question Answering heute & in Zukunft. Bulletin. Alumni-Magazin der TU Wien, 56, 14–15. https://doi.org/10.34726/8527 ( reposiTUm)