TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Thomas Eiter

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

Research Focus

  • Logic and Computation: 100%

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

Contact

2020W

 

2020

  • ASP-Based Signal Plan Adjustments for Traffic Flow Optimization / T. Eiter, A. Falkner, P. Schneider, P. Schüller / Talk: European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain; 2020-08-29 - 2020-09-08; 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)", IOS Press - Frontiers in Artificial Intelligence and Applications, 325 (2020), ISSN: 1879-8314; 7 pages

2019

2018

2017

2016

2015

2014

2013

  • Uniform Equivalence of Logic Programs under the Stable Model Semantics / T. Eiter, M. Fink / Keynote Lecture: 29th International Conference on Logic Programming (ICLP 2013), Istanbul (invited); 2013-08-24 - 2013-08-29
  • Informal Proceedings of the 26th International Workshop on Description Logics / T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch / in series "CEUR Workshop Proceedings", series editor: M. Jeusfeld; CEUR-WS.org, 2013, ISSN: 1613-0073
  • Marco Cadoli's Work on Nonmonotonic Reasoning / T. Eiter, G. Gottlob / Intelligenza Artificiale, 7 (2013), 1; 7 - 17
  • Finding Similar/Diverse Solutions in Answer Set Programming / T. Eiter, E. Erdem, H. Erdogan, M. Fink / Theory and Practice of Logic Programming, 13 (2013), 3; 303 - 359
  • Model-Based Recasting in Answer-Set Programming / T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran / Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 75 - 104
  • HEX-Programs with Nested Program Calls / T. Eiter, T. Krennwallner, C. Redl / in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (ed.); Springer, Heidelberg, 2013, ISBN: 978-3-642-41523-4, 269 - 278
  • Defeasibility in contextual reasoning with CKR / L. Bozzato, T. Eiter, L. Serafini / Talk: 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013), Corunna, Spanien; 2013-09-15; in: "Working Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013)", (2013), 13 pages
  • Grounding HEX-Programs with Expanding Domains / T. Eiter, M. Fink, T. Krennwallner, C. Redl / Talk: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Corunna, Spain; 2013-09-15; in: "2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)", D. Pearce, S. Tasharrofi, E. Ternovska, C. Vidal (ed.); Corunna, Spain (2013), 13 pages
  • HEX Semantics via Approximation Fixpoint Theory / C. Antic, T. Eiter, M. Fink / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Corunna, Spanien; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); (2013), ISBN: 978-3-642-40563-1; 102 - 115
  • Inconsistency Management for Description Logic Programs and Beyond / T. Eiter, M. Fink, D. Stepanova / Talk: RR 2013 - 7th International Conference on web Reasoning and Rule Systems, Mannhein, Germany (invited); 2013-07-27 - 2013-07-29; in: "Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings", (2013), 1 - 3
  • Data Repair of Inconsistent DL-programs / T. Eiter, M. Fink, D. Stepanova / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 2013-08-03 - 2013-08-09; in: "Proceedings of the 23rd International Joint Conference on Artificial Intelligence", AAAI Press, (2013), ISBN: 978-1-57735-633-2; 869 - 876
  • Eliminating Nonmonotonic DL-atoms in Description Logic Programs / Y. Wang, J. You, L. Yuan, Y. Shen, T. Eiter / Talk: International Conference on Web Reasoning and Rule Systems (RR), Mannheim, Deutschland; 2013-07-27 - 2013-07-29; in: "Proc. 7th International Conference on Web Reasoning and Rule Systems (RR 2013)", D. Lembo, W. Faber (ed.); (2013), ISBN: 978-3-642-39665-6; 168 - 182
  • Liberal Safety for Answer Set Programs with External Sources / T. Eiter, M. Fink, T. Krennwallner, C. Redl / Talk: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA; 2013-07-14 - 2013-07-18; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)", M. desJardins, M. Littman (ed.); AAAI Press, Menlo Park (2013), 267 - 275
  • Lightweight Spatial Conjunctive Query Answering Using Keywords / T. Eiter, T. Krennwallner, P. Schneider / Talk: 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France; 2013-05-26 - 2013-05-30; in: "10th Extended Semantic Web Conference (ESWC 2013)", P. Cimiano, O. Corcho, V. Presutti, L. Hollink, S. Rudolph (ed.); Springer, 7882 (2013), ISBN: 978-3-642-38287-1; 243 - 258
  • Model-Based Recasting in Answer-Set Programming / T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran / Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2013-83, 2013; 34 pages

2012

  • Simulating Production Rules Using ACTHEX / T. Eiter, C. Feier, M. Fink / in: "Correct Reasoning, Essays on Logic-Based AI in Honour of Vladimir Lifschitz", E. Erdem, J. Lee, Y. Lierler, D. Pearce (ed.); Springer, LNCS 7265, 2012, (invited), ISBN: 978-3-642-30742-3, 211 - 228
  • Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012 / G. Brewka, T. Eiter, S. McIlraith / AAAI Press, Menlo Park, California, U.S.A., 2012, ISBN: 978-1-57735-560-1; 676 pages
  • Reasoning Web: Semantic Technologies for Advanced Query Answering / T. Eiter, T. Krennwallner / Springer LNCS 7487, Heidelberg, 2012, ISBN: 978-3-642-33157-2; 386 pages
  • Detection of Windows in Facades Using Image Processing Algorithms / M. Miljanovic, U. Egly, T. Eiter / Indian Journal of Computer Science and Engineering, 3 (2012), 4; 539 - 547
  • Conflict-driven ASP solving with external sources / T. Eiter, M. Fink, T. Krennwallner, C. Redl / Theory and Practice of Logic Programming, 12 (2012), 4-5; 659 - 679
  • Conjunctive query answering in the description logic SH using knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Journal of Computer and System Sciences, 78 (2012), 1; 47 - 85
  • Eliminating Unfounded Set Checking for HEX-Programs / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Hungary; 2012-09-24; in: "Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary", M. Fink, Y. Lierler (ed.); CoRR - Computing Research Repository, arXiv:1301.1390v1 (2012), 15 pages
  • Semantically Enriched Multi-Modal Routing / T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub / Talk: 19th ITS World Congress (ITS World 2012), Vienna, Austria; 2012-10-22 - 2012-10-26; in: "19th ITS World Congress (ITS World 2012)", V. Blervaque, R. Pfliegl (ed.); ERTICO-ITS Europe, Brussels (2012), Paper ID EU-00427, 10 pages
  • Inconsistency Managment for Traffic Regulations / H. Beck, T. Eiter, T. Krennwallner / Talk: The AAAI 2012 Workshop on Semantic Cities, Toronto, Canada; 2012-07-23; in: "The AAAI 2012 Workshop on Semantic Cities", B. Srivastava, F. Lecue, A. Joshi (ed.); AAAI Press, Technical Report WS-12-13 (2012), ISBN: 978-1-57735-578-6; Paper ID 1, 6 pages
  • Linked Stream Data Processing Engines: Facts and Figures / D. Le-Phuoc, M. Dao-Tran, M.D. Pham, P. Boncz, T. Eiter, M. Fink / Talk: International Semantic Web Conference (ISWC), Boston, MA, USA,; 2012-11-11 - 2012-11-15; in: "The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II", P. Cudre-Mauroux et al. (ed.); Springer, LNCS 7650 (2012), ISBN: 978-3-642-35172-3; 300 - 312
  • Semantic Independence in DL-programs / T. Eiter, M. Fink, D. Stepanova / Talk: International Conference on Web Reasoning and Rule Systems (RR), Vienna, Austria; 2012-09-10 - 2012-09-12; in: "Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings", M. Krötzsch, U. Straccia (ed.); Springer, LNCS 7497 (2012), 58 - 74
  • OMiGA: An Open Minded Grounding on-the-fly Answer Set Solver / M. Dao-Tran, T. Eiter, M. Fink, G. Weidinger, A. Weinzierl / Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 2012-09-26 - 2012-09-28; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, LNCS 7519 (2012), 480 - 483
  • Exploiting Unfounded Sets for HEX-Program Evaluation / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 2012-09-26 - 2012-09-28; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, LNCS 7519 (2012), ISBN: 978-3-642-33352-1; 160 - 175
  • Forgetting for Defeasible Logic / G. Antoniou, T. Eiter, K. Wang / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Mérida, Venezuela; 2012-03-11 - 2012-03-15; in: "Logic for Programming, Artificial Intelligence, and Reasoning. 18th International Conference, LPAR-18, Proceedings", N. Bjorner, A. Voronkov (ed.); LNCS, Springer, 7180 (2012), ISBN: 978-3-642-28716-9; 77 - 91
  • The DReW System for Nonmonotonic DL-Programs / G. Xiao, T. Eiter, S. Heymans / Talk: Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference, Shenzhen, China; 2012-11-28 - 2012-11-30; in: "Proceedings of Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference", J. Li et al. (ed.); Sprlinger, (2012)
  • Query Rewriting for Horn-SHIQ Plus Rules / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 726 - 733
  • Towards Practical Query Answering for Horn SHIQ. / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); CEUR workshop proceedings, 846 (2012), ISSN: 1613-0073; 158 - 168
  • Inconsistency Management for Traffic Regulations: Formalization and Complexity Results / H. Beck, T. Eiter, T. Krennwallner / Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 2012-09-26 - 2012-09-28; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, 7519 (2012), ISBN: 978-3-642-33352-1; 80 - 93
  • Uniform Evaluation of Nonmonotonic DL-Programs / T. Eiter, T. Krennwallner, P. Schneider, G. Xiao / Talk: 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), Kiel, Germany (invited); 2012-03-05 - 2012-03-09; in: "7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)", T. Lukasiewicz, A. Sali (ed.); Springer, 7153 (2012), 1 - 22
  • Improving HEX-Program Evaluation based on Unfounded Sets / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Report for Institut für Informationssysteme; Report No. RR-1843-12-08, 2012; 47 pages
  • Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language / T. Eiter, M. Fink, G. Ianni, P. Schüller / Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-05, 2012; 33 pages
  • Finding Explanations of Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-12-09, 2012; 72 pages
  • Conflict-driven ASP Solving with External Sources / T. Eiter, M. Fink, T. Krennwallner, C. Redl / Report for CoRR - Computing Research Repository; Report No. arXiv:1210.1649v1, 2012; 19 pages

2011

  • Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 2011-07-16 - 2011-07-22
  • Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller / Poster: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 2011-07-16 - 2011-07-22
  • Nonmonotonic Multi-Context Systems in Dynamic Environments / T. Eiter / Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada (invited); 2011-05-16
  • Paracoherent Answer Set Programming / T. Eiter / Talk: Workshop on Logic and Computer Science, Vienna; 2011-03-24 - 2011-03-25
  • Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources / G. Brewka, T. Eiter, M. Fink / in: "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond", M. Balduccini, T. Son (ed.); Springer-Verlag, Heidelberg, Lecture Notes in Computer Science vol. 6565, 2011, (invited), ISBN: 978-3-642-20831-7, 233 - 258
  • Dynamic Distributed Nonmontonic Multi-Context Systems / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / in: "Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary", G. Brewka, V. Marek, M. Truszczynski (ed.); College Publications, London, United Kingdom, 2011, (invited), ISBN: 978-1-84890-042-4
  • Well-founded semantics for description logic programs in the Semantic Web / T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer / ACM Transactions on Computational Logic, 12 (2011), 2; 1 - 41
  • Answer Set Programming at a Glance / G. Brewka, T. Eiter, M. Truszczynski / Communications of the ACM, 54 (2011), 12; 92 - 103
  • Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination / J. De Bruijn, T. Eiter, A. Polleres, H. Tompits / ACM Transactions on Computational Logic, 12 (2011), 3
  • Inline Evaluation of Hybrid Knowledge Bases - PhD Description / G. Xiao, T. Eiter / in: "Web Reasoning and Rule Systems - 5th International Conference", S. Rudolph, C. Gutierrez (ed.); Springer LNCS, Galway, Ireland, 2011, 300 - 305
  • Finding Similar/Diverse Solutions in Answer Set Programming / T. Eiter, E. Erdem, H. Erdogan, M. Fink / Theory and Practice of Logic Programming, FirstView (2011), 57 pages
  • Nested HEX-Programs / T. Eiter, T. Krennwallner, C. Redl / Talk: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria; 2011-09-28 - 2011-09-30; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", H. Tompits (ed.); Computing Research Repository (CoRR), arXiv, arXiv:1108.5626v1 (2011), 6 pages
  • Declarative Merging of and Reasoning about Decision Diagrams / T. Eiter, T. Krennwallner, C. Redl / Talk: Workshop on Constraint Based Methods for Bioinformatics (WCB), Perugia, Italy; 2011-09-12; in: "Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011)", A. Dal Palù, A. Dovier, A. Formisano (ed.); Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia, Perugia, Italy (2011), Paper ID 1, 13 pages
  • Model Streaming for Distributed Multi-Context Systems / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 2011-05-16; in: "2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications", A. Mileo, M. Fink (ed.); CEUR Workshop Proceedings, Vancouver, Canada (2011), ISSN: 1613-0073; Paper ID 4, 12 pages
  • Towards a Policy Language for Managing Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, G. Ianni, P. Schüller / Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 2011-05-16; in: "Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications", A. Mileo, M. Fink (ed.); CEUR workshop proceedings, 738 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages
  • First-Order Encodings of Modular Nonmonotonic Logic Programs / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: Datalog 2.0 Workshop, Oxford, UK; 2010-03-16 - 2010-03-19; in: "Datalog Reloaded, 1st International Workshop on Datalog 2010", O. de Moor, G. Gottlob, T. Furche, A. Sellers (ed.); Springer, 6702 (2011), ISBN: 978-3-642-24205-2; 59 - 77
  • Managed Multi-Context Systems / G. Brewka, T. Eiter, M. Fink, A. Weinzierl / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 786 - 791
  • Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems / T. Eiter, M. Fink, P. Schüller / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, 6645 (2011), ISSN: 0302-9743; 107 - 119
  • Symmetry Breaking for Distributed Multi-Context Systems / C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning", J. Delgrande, W. Faber (ed.); Springer, (2011), 26 - 39
  • Pushing Efficient Evaluation of HEX Programs by Modular Decomposition / T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), 93 - 106
  • Declarative Belief Set Merging using Merging Plans / C. Redl, T. Eiter, T. Krennwallner / Talk: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Austin, Texas, U.S.A.; 2011-01-24 - 2011-01-25; in: "13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011)", R. Rocha, J. Launchbury (ed.); Springer, 6539 (2011), ISBN: 978-3-642-18377-5; 99 - 114
  • D3.4 Converged and Optimized Combinations of Rules and Ontologies / C. Feier, T. Eiter, M. Kifer, A. Mosca, M. Rezk, R. Rosati, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Report for ONTORULE project; Report No. D3.4, 2011; 163 pages
  • Finding Similar/Diverse Solutions in Answer Set Programming / T. Eiter, E. Erdem, H. Erdogan, M. Fink / Report for CoRR - Computing Research Repository; Report No. arXiv:1108.3260v1, 2011; 58 pages
  • Symmetry Breaking for Distributed Multi-Context Systems / C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh / Report for CoRR - Computing Research Repository; Report No. arXiv:1104.3931v1, 2011; 13 pages
  • D2.6 Consistency Maintenance. Final Report / M. Fink, A. El Ghali, A. Chniti, R. Korf, A. Schwichtenberg, F. Lévy, J. Puehrer, T. Eiter / Report for ONTORULE project; Report No. D2.6, 2011; 121 pages

2010

2009

  • Reasoning with knots / M. Ortiz de la Fuente, M. Simkus, T. Eiter / Talk: Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko (invited); 2009-07-09
  • Hybrid Reasoning with Rules and Ontologies / W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, J. Maluszynski / in: "Semantic Techniques for the Web: The REWERSE Perspective", F. Bry, J. Maluszynski (ed.); Springer, Heidelberg, 2009, (invited), ISBN: 978-3-642-04580-6, 1 - 49
  • Reasoning Web, Fifth International Summer School 2008, Bressanone Italy, August 30 - September 4 2009, Tutorial Lectures / S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt / in series "Lecture Notes in Computer Science", series editor: S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt; issued by: Springer; Springer LNCS, Heidelberg, 2009, ISBN: 978-3-642-03753-5, 357 pages
  • A 3D optical deformation measurement system supported by knowledge-based and learning techniques / A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen / Journal of Applied Geodesy, 3 (2009), 1; 1 - 13
  • A Reasoner for Simple Conceptual Logic Programs / S. Heymans, C. Feier, T. Eiter / in: "Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)", Springer, 2009, ISBN: 978-3-642-05081-7, 55 - 70
  • Query Answering in Description Logics: The Knots Approach / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Keynote Lecture: International Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan (invited); 2009-06-21 - 2009-06-24; in: "Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Lecture Notes in Computer Science 5514", H. Ono, M. Kanazawa, R. de Queiroz (ed.); Springer Lecture Notes in Computer Science, Heidelberg (2009), ISBN: 978-3-642-02260-9; 26 - 36
  • Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland; 2009-09-14; in: "Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009", J. Delgrande, A. Mileo (ed.); CEUR workshop proceedings, Vol-550 (2009), ISSN: 1613-0073; Paper ID 2, 4 pages
  • Decomposition of Declarative Knowledge Bases with External Functions / T. Eiter, M. Fink, T. Krennwallner / Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 2009-07-11 - 2009-07-17; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), 752 - 758
  • From Data Integration Towards Knowledge Mediation / G. Brewka, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Potsdam, Germany; 2009-09-14 - 2009-09-18; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); LNCS, Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 610 - 612
  • Argumentation Context Systems: A Framework for Abstract Group Argumentation / G. Brewka, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Potsdam, Germany; 2009-09-14 - 2009-09-18; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); LNCS, Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 44 - 57
  • Finding Similar or Diverse Solutions in Answer Set Programming / T. Eiter, E. Erdem, H. Erdogan, M. Fink / Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 2009-07-14 - 2009-07-17; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 978-3-642-02845-8; 342 - 356
  • Combining Nonmonotonic Knowledge Bases with External Sources / T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner / Talk: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (invited); 2009-09-16 - 2009-09-18; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)", S. Ghilardi, R. Sebastiani (ed.); Springer, 5749 (2009), ISBN: 978-3-642-04221-8; 18 - 42
  • Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany; 2009-09-14 - 2009-09-18; in: "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 87 - 100
  • Answer Set Programming: A Primer / T. Eiter, G. Ianni, T. Krennwallner / Talk: 5th International Summer School Reasoning Web 2009, Brixen-Bressanone, Italy (invited); 2009-08-30 - 2009-09-04; in: "5th International Summer School Reasoning Web 2009", S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt (ed.); Springer, 5689 (2009), ISBN: 978-3-642-03753-5; 40 - 110
  • Modular Nonmonotonic Logic Programming Revisited / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, U.S.A.; 2009-07-14 - 2009-07-17; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, 5649 (2009), ISBN: 978-3-642-02845-8; 145 - 159
  • Bidirectional Answer Set Programs with Function Symbols / T. Eiter, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, USA; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 765 - 771
  • Query Answering in Description Logics with Transitive Roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 759 - 764
  • Regular Path Queries in Expressive Description Logics with Nominals / D. Calvanese, T. Eiter, M. Ortiz de la Fuente / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 714 - 720
  • First Developement steps for an Automated Knowledge-Based Deformation Interpretation System / T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp / Talk: 9th Conference on Optical 3-D Measurement Techniques, Wien; 2009-07-01 - 2009-07-03; in: "Optical 3-D Measurement Techniques IX", A. Grün, H. Kahmen (ed.); Volume I (2009), ISBN: 978-3-9501492-5-8; 61 - 90
  • Realizing Default Logic over Description Logic Knowledge Bases / M. Dao-Tran, T. Eiter, T. Krennwallner / Talk: 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy; 2009-07-01 - 2009-07-03; in: "European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)", C. Sossai, G. Chemello (ed.); Springer, 5590 (2009), ISBN: 978-3-642-02905-9; 602 - 613
  • Well-Founded Semantics for Description Logic Programs in the Semantic Web / T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-09-01, 2009; 42 pages
  • Query answering in description logics with transitive roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-02, 2009; 32 pages
  • Conjunctive Query Answering in the Description Logic SH using Knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-03, 2009; 37 pages
  • Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata / D. Calvanese, T. Eiter, M. Ortiz de la Fuente / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-04, 2009; 46 pages

2008

2007

2006

  • Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web / T. Eiter, E. Franconi, R. Hodgson, M. Kifer, S. Stephens / IEEE Computer Society Press, Los Alamitos, California, USA, 2006, ISBN: 0-7695-2652-7; 128 pages
  • The DLV System for knowledge representation and reasoning / N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello / ACM Transactions on Computational Logic, Vol. 7 (2006), 3; 499 - 562
  • Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications / T. Eiter, A. Polleres / Theory and Practice of Logic Programming, 6 (2006), 1-2; 23 - 60
  • Causes and Explanations in the Structural-Model Approach: Tractable Cases / T. Eiter, T. Lukasiewicz / Artificial Intelligence, 170 (2006), 6-7; 542 - 580
  • Reasoning Under Minimal Upper Bounds in Propositional Logic / T. Eiter, G. Gottlob / Theoretical Computer Science, 369 (2006), 82 - 115
  • On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules / J. De Bruijn, T. Eiter, A. Polleres, H. Tompits / Keynote Lecture: International Conference on Knowledge Science, Engineering and Management (KSEM), Guilin City, China (invited); 2006-08-05 - 2006-08-08; in: "Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM 2006)", J. Lang, F. Lin, J. Wang (ed.); Lecture Notes in Computer Science, Springer, 4092 (2006), ISBN: 3-540-37033-1; 1 - 22
  • A RuleML Syntax for Answer-Set Programming / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 2006-08-16; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006.", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 107 - 108
  • dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 2006-12-18 - 2006-12-22; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)", T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (ed.); IEEE Computer Society Press, (2006), ISBN: 0-7695-2747-7; 1073 - 1074
  • Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics / M. Ortiz de la Fuente, D. Calvanese, T. Eiter / Poster: National Conference on Artificial Intelligence (AAAI), Boston, USA; 2006-07-16 - 2006-07-20; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston, USA ISBN 978-1-57735-281-5", AAAI Press, (2006), ISBN: 978-1-57735-281-5; 275 - 280
  • Replacements in Non-Ground Answer-Set Programming / T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran / Talk: Workshop on Logic Programming (WLP), Vienna, Austira; 2006-02-22 - 2006-02-24; in: "Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24", M. Fink, H. Tompits, S. Woltran (ed.); TU Wien, Institut fuer Informationssysteme, INFSYS Research Report, 1843-06-02 (2006), Paper ID 24, 9 pages
  • A Distance-Based Method for the Evaluation of Interest Point Detection Algorithms / A. Reiterer, T. Eiter / Talk: ICIP 2006, Atlanta, Georgia, USA; 2006-10-08 - 2006-10-11; in: "IEEE International Conference on Image Processing - ICIP 2006", IEEE-Signal Processing Society (ed.); IEEE, Catalog No.: 06CH37815C (2006), ISBN: 1-4244-0481-9; Paper ID 2747, 4 pages
  • LPForget: A System of Forgetting in Answer Set Programming / F. Cheng, T. Eiter, R. Robinson, A. Sattar, K. Wang / Talk: Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia; 2006-12-04 - 2006-12-08; in: "AI 2006: Advances in Artificial Intelligence. Proceedings 19th Australian Joint Conference on Artificial Intelligence. Lecture Notes in Computer Science.", Lecture Notes in Computer Science. Springer., 4304 (2006), ISBN: 3-540-49787-0; 1101 - 1105
  • Forgetting in Managing Rules and Ontologies / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang / Talk: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 2006-12-18 - 2006-12-22; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)", T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (ed.); IEEE Computer Society Press, (2006), ISBN: 0-7695-2747-7; 411 - 419
  • Towards Efficient Evaluation of HEX Programs / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: 11th International Workshop on Nonmonotonic Reasoning, Lakeside, UK; 2006-05-30 - 2006-06-01; in: "Proceedings of the 11th Workshop on Nonmonotonic Reasoning", J. Dix, A. Hunter (ed.); Clausthal University of Technology, lfl-06-04 (2006), ISSN: 1860-8477; 40 - 46
  • Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: European Conference on Semantic Web (ESWC 2006), Budva, Montenegro; 2006-06-11 - 2006-06-14; in: "The Semantic Web: Research and Applications. Proceedings 3rd European Conference on Semantic Web (ESWC 2006)", Y. Sure, J. Domingue (ed.); Lecture Notes in Computer Science. Springer, 4011 (2006), ISBN: 3-540-34544-2; 273 - 287
  • Reasoning with Rules and Ontologies / T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits / Talk: Second International Summer School Reasoning Web 2006, Lissabon, Portugal; 2006-09-04 - 2006-09-08; in: "Lecture Notes in Computer Science. Reasoning Web", P. Barahona, F. Bry, E. Franconi, N. Henze, U. Sattler (ed.); Lecture Notes in Computer Science. Springer, 4126 (2006), ISBN: 978-3-540-38409-0; 93 - 127
  • An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs / T. Eiter, P. Traxler, S. Woltran / Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNCS 4160 (2006), ISBN: 3-540-39625-x; 477 - 480
  • Forgetting and Conflict Resolving in Disjunctive Logic Programming / T. Eiter, K. Wang / Talk: National Conference on Artificial Intelligence (AAAI), Boston, USA; 2006-07-16 - 2006-07-23; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston", AAAI Press, (2006), ISBN: 978-1-57735-281-5; 238 - 243
  • Forgetting and Conflict Resolving in Disjunctive Logic Programming / T. Eiter, K. Wang / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 2006-05-30 - 2006-06-01; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track", J. Dix, A. Hunter (ed.); Institut fuer Informatik, TU Clausthal, Germany., IfI-06-04 (2006), ISSN: 1860-8477; 85 - 92
  • Data Complexity of Answering Unions of Conjunctive Queries in SHIQ / M. Ortiz de la Fuente, D. Calvanese, T. Eiter / Talk: International Workshop on Description Logics (DL), Windermere, Lake District, UK; 2006-05-30 - 2006-06-01; in: "Proceedings of the 2006 International Workshop on Description Logics (DL'06). Windermere, Lake District, UK, May 30-June 1, 2006", B. Parsi, U. Sattler, D. Toman (ed.); CEUR Workshop Proceedings, 189 (2006), 62 - 73
  • Forgetting in Managing Rules and Ontologies / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang / Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 2006-08-16; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 1 - 16
  • dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 2006-08-16; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 33 - 39
  • dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: WLP 2006, Wien; 2006-02-22 - 2006-02-24; in: "Proceedings 20th Workshop on Logic Programming and Constraint Systems (WLP '06)", M. Fink, H. Tompits, S. Woltran (ed.); (2006), 206 - 210
  • A Tool for Answering Queries on Action Descriptions / T. Eiter, M. Fink, J. Senko / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 473 - 476
  • Comparing Action Descriptions Based on Semantic Preferences / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13 -- 15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 124 - 137
  • Replacements in Non-Ground Answer-Set Programming / T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Lake District, UK; 2006-06-02 - 2006-06-05; in: "Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the United Kingdom, June 2--5", P. Doherty, J. Mylopoulos, C. Welty (ed.); AAAI Press, (2006), ISBN: 978-1-57735-271-6; 340 - 351
  • Comparing Action Descriptions Based on Semantic Preferences / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, Italy; 2006-08-28 - 2006-08-29; in: "Informal Proceedings Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, August 28 -- 29, 2006", U. Junker, W. Kiessling (ed.); (2006), 15 - 22
  • Resolving Conflicts in Action Descriptions / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-29 - 2006-09-01; in: "Proceedings of the 17th Eureopean Conference on Artificial Intelligence, ECAI'2006, Riva del Garda, Italy, August 29 -- September 1, 2006", G. Brewka, S. Coradeschi, A. Perini, P. Traverso (ed.); IOS Press, (2006), ISBN: 1-58603-642-4; 367 - 371
  • Resolving Conflicts in Action Descriptions / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 2006-05-30 - 2006-06-01; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track", J. Dix, A. Hunter (ed.); TU Clausthal, Institut fuer Informatik, TR IfI-06-04, Germany (2006), ISSN: 1860-8477; 353 - 360
  • Computational Aspects of Monotone Dualization: A Brief Survey / T. Eiter, K. Makino, G. Gottlob / Report for INFSYS RR-1843-06-01, Institut fuer Informationssysteme, Technische Universitaet Wien; Report No. INFSYS RR-1843-06-01, 2006
  • Comparing Action Descriptions Based on Semantic Preferences / T. Eiter, E. Erdem, M. Fink, J. Senko / Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-06; 2006; 22 pages
  • Data Complexity of Query Answering in Expressive Description Logics with Nominals / M. Ortiz de la Fuente, D. Calvanese, T. Eiter / Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-03; Report No. INFSYS RR-1843-06-03, 2006; 44 pages

2005

2004

2003

2002

2001

  • Declarative Knowledge Updates through Agents / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: AISB Symposion on Adaptive Agents and Multi-Agent Systems, York, UK; 2001-03-21 - 2001-03-24; in: "Proceedings of the AISB´01 Symposion on Adaptive Agents and Multi-Agent Systems", (2001), ISBN: 1-90295-617-0; 79 - 84
  • Specifying Update Policies for Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR), Potsdam, Germany; 2001-04-04 - 2001-04-06; in: "Proceedings of the 5th Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR 2001)", G. Brewka, C. Witteween, T. Schaub (ed.); (2001), 54 - 63
  • Reasoning about Evolving Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Havana, Cuba; 2001-12-03 - 2001-12-07; in: "Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001)", R. Nieuwenhuis, A. Voronkov (ed.); Springer, LNAI 2250 (2001), ISBN: 3-540-42957-3; 407 - 421
  • An Update Front-End for Extended Logic Programs / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vienna, Austria; 2001-09-17 - 2001-09-19; in: "Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001)", T. Eiter, W. Faber, M. Truszczynski (ed.); Springer, LNAI 2173 (2001), ISBN: 3-540-42593-4; 397 - 401
  • A Framework for Declarative Update Specifications in Logic Programs / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, USA; 2001-08-04 - 2001-08-10; in: "Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)", B. Nebel (ed.); Morgan Kaufmann, (2001), ISBN: 1-55860-777-3; 649 - 654

2000

 

2019

2017

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2001

 

  • Best Paper Award of the Third European Conference on Semantic Web (ESWC 2006), June 11-14, 2006, Budva, Montenegro
    2006 / Ciskei
  • Distinguished Paper Award of the Eighteenth National Conference on Artificial Intelligence (AAAI '02), July 28 -- August 1, 2002, Edmonton, Alberta (Canada)
    2002 / Canada
  • Distinguished Paper Award of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), August 4-10, 2001, Seattle, U.S.A.
    2001 / USA
  • Invention of the Year 1999 Finalist - honored by the Office of Technology Liaison (University of Maryland)
    1999 / 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 .