TU Wien Informatics

Thomas Eiter

O.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

Research Areas

  • intelligent agents, knowledge representation and reasoning, logic programming, knowledge bases systems, Computational Logic
Thomas Eiter

About

Basic research in artificial intelligence, in particular knowledge representation and Reasoning, declarative problem solving, computational logic, intelligent agents and knowledge-based systems.

Roles

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

2023

2022

  • Enhancing AI Capabilities by Rules: Challenges and Opportunities / 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.
  • Witnesses for Answer Sets of Logic Programs / 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
  • Elaboration for Neurosymbolic Compuation / 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.
  • Representing Normative Reasoning in Answer Set Programming Using Weak Constraints / 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.
  • ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract) / 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.
  • The Combinatorics of HumaneAI / 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. / Project: HumanE-AI-Net
  • Enhancing AI Capabilities by Rules: Applications and Opportunities / 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).
  • Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract) / 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.
  • Enhancing AI Capabilities by Rules: Applications and Opportunities / Eiter, T. (2022, October 18). Enhancing AI Capabilities by Rules: Applications and Opportunities [Presentation]. interne Veranstaltung des Bosch Labs, Renningen, Germany.
  • Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP / 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
  • Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract) / 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
  • History of KR: A Personal View / Eiter, T. (2022, July 11). History of KR: A Personal View [Presentation]. Current and Future Challenges in Knowledge Representation and Reasoning, Schloss Dagstuhl, Germany.
  • An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography / 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, International. http://hdl.handle.net/20.500.12708/139763
  • A Confidence-Based Interface for Neuro-Symbolic Visual Question Answering / 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.
  • Abstraction for Non-Ground Answer Set Programs (Extended Abstract) / 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
  • A Qualitative Temporal Extension of Here-and-There Logic / 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
  • Chasing Streams with Existential Rules / 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
  • Reasoning on with Defeasibility in ASP / 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
  • ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser / 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
  • A Neuro-Symbolic ASP Pipeline for Visual Question Answering / 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

2021

2020

  • Preface: Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion / 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
  • Managing Caching Strategies for Stream Reasoning with Reinforcement Learning / Eiter, T., Ogris, P., & Schekotihin, K. (2020). Managing Caching Strategies for Stream Reasoning with Reinforcement Learning. Theory and Practice of Logic Programming, 20(5), 625–640. https://doi.org/10.1017/s147106842000037x / Project: DynaCon
  • Omission-based Abstraction for Answer Set Programs / 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
  • ASP(AC): Answer Set Programming with Algebraic Constraints / 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
  • Österreichische AI Strategie aus Sicht der Wissenschaft / Woltran, S., Eiter, T., Moser, B., Dorffner, G., Faber, W., Klambauer, G., Legenstein, R., Nessler, B., & Polleres, A. (2020). Österreichische AI Strategie aus Sicht der Wissenschaft. OCG Journal, 01–02, 14–17. http://hdl.handle.net/20.500.12708/141528
  • Omission-based Abstraction for Answer Set Programs / Saribatur, Z. G., & Eiter, T. (2020). Omission-based Abstraction for Answer Set Programs. arXiv. https://doi.org/10.48550/arXiv.2004.01410
  • ASP(AC): Answer Set Programming with Algebraic Constraints / Eiter, T., & Kiesel, R. P. D. (2020). ASP(AC): Answer Set Programming with Algebraic Constraints. 36th International Conference on Logic Programming (ICLP 2020), Rende, Italien, EU. http://hdl.handle.net/20.500.12708/87113
  • Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / 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, Griechenland, EU. http://hdl.handle.net/20.500.12708/87081
  • Weighted LARS for Quantitative Stream Reasoning / 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
  • Quantities in Stream Reasoning / Eiter, T., & Kiesel, R. P. D. (2020). Quantities in Stream Reasoning. Reasoning about ACtions and Events over Streams (RACES), Rhodes, Greece, EU. http://hdl.handle.net/20.500.12708/87114
  • A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and Reasoning / 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, Griechenland, EU. http://hdl.handle.net/20.500.12708/87087
  • Foundations of Composite Event Recognition (Dagstuhl Seminar 20071) / 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
  • Weighted LARS for Quantitative Stream Reasoning / 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
  • A Semantic Perspective on Omission Abstraction in ASP / 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
  • Considering Constraint Monotonicity and Foundedness in Answer Set Programming / Shen, Y.-D., & Eiter, T. (2020). Considering  Constraint Monotonicity and Foundedness in Answer Set Programming. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. 4th Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), Klagenfurt, Austria. https://doi.org/10.24963/ijcai.2022/380
  • ASP-Based Signal Plan Adjustments for Traffic Flow Optimization / 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 / Project: DynaCon
  • An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks / 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
  • Reasoning with Justifiable Exceptions in Contextual Hierarchies / 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

2019

2018

2017

2016

  • Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks / 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
  • Domain Expansion for ASP-Programs with External Sources / 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
  • A Model Building Framework for Answer Set Programming with External Computations / 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 / Project: ASP
  • Obituary Peter Lucas / Eiter, T. (2016). Obituary Peter Lucas. Almanach, Österreichische Akademie Der Wissenschaften, 166, 330–333. http://hdl.handle.net/20.500.12708/150131
  • Computing Repairs of Inconsistent DL-Programs over EL Ontologies / 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
  • Data repair of inconsistent nonmonotonic description logic programs / 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
  • Evaluating epistemic negation in answer set programming / 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
  • Semi-equilibrium models for paracoherent answer set programs / 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
  • Obituary Helmut Veith (1971-2016) / Eiter, T. (2016). Obituary Helmut Veith (1971-2016). ACM SIGLOG News, 3(2), 3–5. http://hdl.handle.net/20.500.12708/150129
  • Answer Set Programming: An Introduction to the Special Issue / 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
  • Semantically Enriched Multi-Modal Routing / 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 / Projects: ASP, HEX-Programme, MyITS
  • Reactive Policies with Planning for Action Languages / Saribatur, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In Logics in Artificial Intelligence ; Michael, Loizos; Kakas, Antonis. 15th European Conference. https://doi.org/10.1007/978-3-319-48758-8_30
  • Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects / Eiter, T., & Kaminski, T. (2016). Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. In Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings ; Michael, Loizos; Kakas, Antonis C. 15th European Conference, JELIA 2016. https://doi.org/10.1007/978-3-319-48758-8_15
  • A Benchmarking Framework for Stream Processors / 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, EU. http://hdl.handle.net/20.500.12708/86413
  • Knowledge-Based System Group, Vienna University of Technology / 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
  • Some Thoughts on Stream Reasoning, Revision and Update / 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
  • Georg Gottlob: Life and Pictures / Eiter, T. (2016). Georg Gottlob: Life and Pictures. GG@60: Workshop on Databases and AI, Genova, Italy, EU. http://hdl.handle.net/20.500.12708/86466
  • Answer Set Programming and Extensions / Eiter, T. (2016). Answer Set Programming and Extensions. Summer School 2016: Verification Technology, Systems & Applications, Liege, Belgium, EU. http://hdl.handle.net/20.500.12708/86465
  • Towards Spatial Ontology-Mediated Query Answering over Mobility Streams / 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
  • Towards a Semantically Enriched Local Dynamic Map / 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
  • Artificial Intelligence at the Gates of Dawn? / 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
  • Generalized Consistent Query Answering under Existential Rules / 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
  • Equivalent Stream Reasoning Programs / 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
  • Reactive Policies with Planning for Action Languages / 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
  • Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access / 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 / Project: IE of ASP
  • Problem Solving Using the HEX Family / 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 / Project: IE of ASP
  • Clique-Width and Directed Width Measures for Answer-Set Programming / 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 / Project: START
  • Counting Answer Sets via Dynamic Programming / 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 / Project: START
  • 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) / 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

2015

2014

  • Semantically Enriched Multi-Modal Routing / 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 / Project: MyITS
  • Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata / 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 / Projects: Hybride Wissensbasen, SemDat
  • Finding Explanations of Inconsistency in Multi-Context Systems / 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
  • Efficient HEX-Program Evaluation based on Unfounded Sets / 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 / Project: ASP
  • FLP answer set semantics without circular justifications for general logic programs / 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 / Projects: ASP, HEX-Programme, Hybride Wissensbasen
  • Vienna Summer of Logic / 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
  • hex-Programs with Existential Quantification / 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 / Project: ASP
  • Exploiting Support Sets for Answer Set Programs with External Evaluations / 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 / Project: ASP
  • Characteristics of Multiple Viewpoints in Abstract Argumentation / 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
  • Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies / 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 / Project: ASP
  • Towards Practical Deletion Repair of Inconsistent DL-programs / 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 / Project: ASP
  • Inconsistencies in Hybrid Knowledge Bases / 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
  • Towards Practical Deletion Repair of Inconsistent DL-programs / 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 / Project: ASP
  • Contextualized Knowledge Repositories with Justifiable Exceptions / 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
  • Defeasibility in Contextual Reasoning with CKR / 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
  • Towards a Logic-Based Framework for Analyzing Stream Reasoning / 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
  • Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57 / 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 / Projects: FAIR, SEE
  • Modular Paracoherent Answer Sets / 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
  • Towards Ideal Semantics for Analyzing Stream Reasoning / 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
  • Nested Regular Path Queries in Description Logics / 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 / Projects: FAIR, SEE, SemDat
  • Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory / 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
  • Domain Expansion for ASP-Programs with External Sources / 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 / Project: ASP
  • Semi-equilibrium models for paracoherent answer set programs / 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
  • Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 / 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

2013

2012

2011

2010

2009

2008

2007

2006

  • Reasoning Under Minimal Upper Bounds in Propositional Logic / 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
  • Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications / 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
  • Causes and Explanations in the Structural-Model Approach: Tractable Cases / 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
  • The DLV System for knowledge representation and reasoning / 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
  • An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs / 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
  • dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics / 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
  • dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework / 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
  • Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning / 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
  • Forgetting and Conflict Resolving in Disjunctive Logic Programming / 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
  • A Tool for Answering Queries on Action Descriptions / 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
  • Comparing Action Descriptions Based on Semantic Preferences / 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
  • On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules / 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
  • LPForget: A System of Forgetting in Answer Set Programming / 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
  • Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics / 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
  • Reasoning with Rules and Ontologies / Eiter, T., Ianni, G., Polleres, A. F., Schindlauer, R., & Tompits, H. (2006). Reasoning with Rules and Ontologies. In P. Barahona, F. Bry, E. Franconi, N. Henze, & U. Sattler (Eds.), Lecture Notes in Computer Science. Reasoning Web (pp. 93–127). Lecture Notes in Computer Science. Springer. http://hdl.handle.net/20.500.12708/51647
  • A RuleML Syntax for Answer-Set Programming / 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
  • Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web / 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
  • dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics / 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
  • Forgetting and Conflict Resolving in Disjunctive Logic Programming / 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
  • Data Complexity of Answering Unions of Conjunctive Queries in SHIQ / 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
  • Towards Efficient Evaluation of HEX Programs / 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
  • Forgetting in Managing Rules and Ontologies / 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
  • Forgetting in Managing Rules and Ontologies / 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
  • Replacements in Non-Ground Answer-Set Programming / 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
  • Replacements in Non-Ground Answer-Set Programming / 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
  • Comparing Action Descriptions Based on Semantic Preferences / 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
  • Resolving Conflicts in Action Descriptions / 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
  • Resolving Conflicts in Action Descriptions / 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
  • A Distance-Based Method for the Evaluation of Interest Point Detection Algorithms / 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
  • Data Complexity of Query Answering in Expressive Description Logics with Nominals / 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
  • Comparing Action Descriptions Based on Semantic Preferences / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Comparing Action Descriptions Based on Semantic Preferences. http://hdl.handle.net/20.500.12708/33066
  • Computational Aspects of Monotone Dualization: A Brief Survey / 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
  • Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web / 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

2005

2004

2003

2002

2000

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

2022

2021

2020

2019

2018

  • Modular nonmonotonic logic programs / Krennwallner, T. (2018). Modular nonmonotonic logic programs [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.59982
  • Expressive rule-based stream reasoning / Beck, H. (2018). Expressive rule-based stream reasoning [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.61225

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

  • Answer-set programming for the semantic web / Schindlauer, R. (2006). Answer-set programming for the semantic web [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18016

 

  • KR 2022 Test of Time Award
    2022 / International Conference on Principles of Knowledge Representation and Reasoning / USA
  • ACM Fellow
    2020 / ACM Fellowship / USA
  • Best Paper of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
    2019 / 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), September 16-19, 2019, Bolzano, Italy / Germany
  • Best Systems Paper Award of the 35th International Conference on Logic Programming (ICLP 2019)
    2019 / 35th International Conference on Logic Programming (ICLP 2019), September 22-25, 2019, Las Cruces, New Mexico, USA / UK
  • Best Student Paper of the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019)
    2019 / 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Jun 3-7, 2019, Philadelphia, USA / USA
  • Best Paper Award of the 34th International Conference on Logic Programming (ICLP 2018)
    2018 / 34th International Conference on Logic Programming (ICLP 2018), July 14- 17, 2018, Oxford, UK / UK
  • Best Paper Award of the 14th Extended Semantic Web Conference (ESWC 2017)
    2017 / 14th Extended Semantic Web Conference (ESWC 2017), May 28 - June 1, 2017, Portoroz, Slovenia / Germany
  • Member of Academia Europea (London)
    2016 / Academia Europea (London) Membership / UK
  • Prominent Paper Award 2013
    2013 / Artificial Intelligence Journal / USA
  • ICLP 2013 Test of the Time Award
    2013 / 29th International Conference on Logic Programming (ICLP 2013), August 24-29, Istanbul, TurkeyURKEY / UK
  • Vienna Content Award 2012 / Smart Cities (MyITS system prototype)
    2012 / Vienna Content Award 2012 / Smart Cities / Austria
  • Corresponding Member of the Austrian Academy of Sciences (ÖAW)
    2007 / Mitgliedschaft / Austria
  • EurAI Fellow
    2006 / Fellowship of the European Association for Artificial Intelligence / Germany
  • Distinguished Paper Award of the 18th National Conference on Artificial Intelligence (AAAI '02)
    2002 / 18th National Conference on Artificial Intelligence (AAAI '02), July 28 -- August 1, 2002, Edmonton, Alberta (Canada) / Canada
  • Distinguished Paper Award of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)
    2001 / 17th International JointConference on Artificial Intelligence (IJCAI 2001), August 4-10, 2001, Seattle, U.S.A. / USA
  • Invention of the Year 1999 Finalist (University of Maryland)
    1999 / Office of Technology Liaison, University of Maryland / USA

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Thomas Eiter’s research profile in TISS .