Search parameters:
  • Search in name records for: "krennwallner" ("krennwallner" interpreted as a name)
  • Search restricted to types of publications: All
  • Search restricted to time interval All data in the database
86 matching records have been found with your search parameters:
86 - Faculty of Informatics




Bücher und Buch-Herausgaben:


  1. Source: Faculty of Informatics

    T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (ed.):
    "BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings";
    Ontorule Project, 2010, 50 pages.

    More information

  2. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner (ed.):
    "Reasoning Web: Semantic Technologies for Advanced Query Answering";
    Springer LNCS 7487, Heidelberg, 2012, ISBN: 978-3-642-33157-2; 386 pages.

    More information


Zeitschriftenartikel:


  1. Source: Faculty of Informatics

    S. Bischof, D. Decker, T. Krennwallner, A. Polleres:
    "Mapping between RDF and XML with XSPARQL";
    LNCS Journal on Data Semantics, 1 (2012), 3; 147 - 185.

    More information

  2. Source: Faculty of Informatics

    F. Calimeri, G. Ianni, T. Krennwallner, F. Ricca:
    "The Answer Set Programming Competition";
    AI Magazine, 33 (2012), 4; 114 - 118.

    More information

  3. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Distributed Evaluation of Nonmonotonic Multi-Context Systems";
    Journal of Artificial Intelligence Research, 52 (2015), 543 - 600.

    More information

  4. Source: Faculty of Informatics

    T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller:
    "A Model Building Framework for Answer Set Programming with External Computations";
    Theory and Practice of Logic Programming, 16 (2016), 4; 418 - 464.

    More information

  5. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Conflict-driven ASP solving with external sources";
    Theory and Practice of Logic Programming, 12 (2012), 4-5; 659 - 679.

    More information

  6. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Domain Expansion for ASP-Programs with External Sources";
    Journal of Artificial Intelligence Research, 233 (2016), 84 - 121.

  7. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
    "Efficient HEX-Program Evaluation based on Unfounded Sets";
    Journal of Artificial Intelligence Research, 49 (2014), 269 - 321.

    More information

  8. Source: Faculty of Informatics

    T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
    "Exploiting conjunctive queries in description logic programs";
    Annals of Mathematics and Artificial Intelligence, 53 (2008), 1-4; 115 - 152.

    More information

  9. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub:
    "Semantically Enriched Multi-Modal Routing";
    International Journal of Intelligent Transportation Systems Research, NN (2014).

    More information

  10. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub:
    "Semantically Enriched Multi-Modal Routing";
    International Journal of Intelligent Transportation Systems Research, 14 (2016), 1; 20 - 35.

    More information

  11. Source: Faculty of Informatics

    Y. Shen, K. Wang, T. Eiter, M. Fink, C. Redl, T. Krennwallner, J. Deng:
    "FLP answer set semantics without circular justifications for general logic programs";
    Artificial Intelligence, 213 (2014), 1 - 41.

    More information


Buchbeiträge:


  1. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Dynamic Distributed Nonmontonic Multi-Context Systems";
    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.

    More information

  2. Source: Faculty of Informatics

    W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, J. Maluszynski:
    "Hybrid Reasoning with Rules and Ontologies";
    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.

    More information

  3. Source: Faculty of Informatics

    T. Krennwallner, N. Lopes, A. Polleres:
    "XSPARQL: Semantics";
    in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages.

    More information

  4. Source: Faculty of Informatics

    N. Lopes, T. Krennwallner, A. Polleres, W. Akhtar, St. Corlosquet:
    "XSPARQL: Implementation and Test-cases";
    in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages.

    More information

  5. Source: Faculty of Informatics

    A. Polleres, T. Krennwallner, N. Lopes, J. Kopecký, D. Decker:
    "XSPARQL Language Specification";
    in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages.

    More information


Beiträge in Tagungsbänden:


  1. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, C. Redl:
    "HEX-Programs with Nested Program Calls";
    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.

    More information


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):


  1. Source: Faculty of Informatics

    W. Akhtar, J. Kopecký, T. Krennwallner, A. Polleres:
    "XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage";
    Talk: 5th European Semantic Web Conference (ESWC 2008), Tenerife, Canary Islands, Spain; 2008-06-01 - 2008-06-05; in: "5th European Semantic Web Conference (ESWC 2008)", S. Bechhofer, M. Hauswirth, J. Hoffmann, M. Koubarakis (ed.); Springer, 5021 (2008), ISSN: 0302-9743; 432 - 447.

    More information

  2. Source: Faculty of Informatics

    M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
    "The Fourth Answer Set Programming Competition: Preliminary Report";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53.

    More information

  3. Source: Faculty of Informatics

    S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Decomposition of Distributed Nonmonotonic Multi-Context Systems";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Toronto, Canada; 2010-05-14 - 2010-05-16; in: "13th International Workshop on Non-Monotonic Reasoning", T. Meyer, E. Ternovska (ed.); Toronto (2010), 7 pages.

    More information

  4. Source: Faculty of Informatics

    S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Decomposition of Distributed Nonmonotonic Multi-Context Systems";
    Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "12th European Conference on Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 24 - 37.

    More information

  5. Source: Faculty of Informatics

    S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems";
    Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 352 - 355.

    More information

  6. Source: Faculty of Informatics

    H. Beck, T. Eiter, T. Krennwallner:
    "Inconsistency Management for Traffic Regulations: Formalization and Complexity Results";
    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.

    More information

  7. Source: Faculty of Informatics

    H. Beck, T. Eiter, T. Krennwallner:
    "Inconsistency Managment for Traffic Regulations";
    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.

    More information

  8. Source: Faculty of Informatics

    G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
    "VCWC: A Versioning Competition Workflow Compiler";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238.

    More information

  9. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Distributed Nonmonotonic Multi-Context Systems";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park (2010), 60 - 70.

    More information

  10. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "First-Order Encodings of Modular Nonmonotonic Logic Programs";
    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.

    More information

  11. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Model Streaming for Distributed Multi-Context Systems";
    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.

    More information

  12. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Modular Nonmonotonic Logic Programming Revisited";
    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.

    More information

  13. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs";
    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.

    More information

  14. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, T. Krennwallner:
    "Realizing Default Logic over Description Logic Knowledge Bases";
    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.

    More information

  15. Source: Faculty of Informatics

    C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
    "Symmetry Breaking for Distributed Multi-Context Systems";
    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.

    More information

  16. Source: Faculty of Informatics

    T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
    "Combining Nonmonotonic Knowledge Bases with External Sources";
    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.

    More information

  17. Source: Faculty of Informatics

    T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
    "Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
    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.

    More information

  18. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner:
    "Decomposing HEX-Programs: Preliminary Results";
    Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", H. Kaiser, R. Kirner (ed.); (2008), ISBN: 978-3-200-01612-5; 29 - 30.

    More information

  19. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner:
    "Decomposition of Declarative Knowledge Bases with External Functions";
    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.

    More information

  20. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Grounding HEX-Programs with Expanding Domains";
    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.

    More information

  21. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "HEX-Programs with Existential Quantification";
    Talk: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Deutschland; 2013-09-11 - 2013-09-13; in: "Kiel Declarative Programming Days 2013", M. Hanus, R. Rocha (ed.); Springer, 8439 (2014), 99 - 117.

    More information

  22. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Liberal Safety for Answer Set Programs with External Sources";
    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.

    More information

  23. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
    "Eliminating Unfounded Set Checking for HEX-Programs";
    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.

    More information

  24. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
    "Exploiting Unfounded Sets for HEX-Program Evaluation";
    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.

    More information

  25. Source: Faculty of Informatics

    T. Eiter, G. Ianni, T. Krennwallner:
    "Answer Set Programming: A Primer";
    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.

    More information

  26. Source: Faculty of Informatics

    T. Eiter, G. Ianni, T. Krennwallner, A. Polleres:
    "Rules and Ontologies for the Semantic Web";
    Talk: Fourth International Summer School Reasoning Web 2008, Venice, Italy (invited); 2008-09-07 - 2008-09-11; in: "Reasoning Web", C. Baroglio, P. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, S. Schaffert (ed.); Springer, 5224 (2008), ISBN: 978-3-540-85656-6; 1 - 53.

    More information

  27. Source: Faculty of Informatics

    T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
    "Exploiting Conjunctive Queries in Description Logic Programs";
    Talk: Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida, U.S.A. (invited); 2008-01-02 - 2008-01-04; in: "Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM)", M. Kaminski, M. Truszczynski (ed.); (2008), 9 pages.

    More information

  28. Source: Faculty of Informatics

    T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
    "Exploiting Conjunctive Queries in Description Logic Programs.";
    Talk: International Workshop on Description Logics (DL), Bressanone, Italy; 2007-06-08 - 2007-06-10; in: "Proceedings of the 2007 International Workshop on Description Logics (DL2007)", D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A. Turhan, S. Tessaris (ed.); CEUR Workshop Proceedings, 250 (2007), 259 - 266.

    More information

  29. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub:
    "Semantically Enriched Multi-Modal Routing";
    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.

    More information

  30. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, C. Redl:
    "Declarative Merging of and Reasoning about Decision Diagrams";
    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.

    More information

  31. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, C. Redl:
    "Nested HEX-Programs";
    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.

    More information

  32. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, P. Schneider:
    "Lightweight Spatial Conjunctive Query Answering Using Keywords";
    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.

    More information

  33. Source: Faculty of Informatics

    T. Eiter, T. Krennwallner, P. Schneider, G. Xiao:
    "Uniform Evaluation of Nonmonotonic DL-Programs";
    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.

    More information

  34. Source: Faculty of Informatics

    G. Gottlob, O. Orsi, A. Pieris, M. Simkus:
    "Datalog and Its Extensions for Semantic Web Databases";
    Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 54 - 77.

  35. Source: Faculty of Informatics

    G. Ianni, T. Krennwallner, A. Martello, A. Polleres:
    "A Rule System for Querying Persistent RDFS Data";
    Talk: 6th European Semantic Web Conference (ESWC 2009), Heraklion, Griechenland; 2009-05-31 - 2009-06-04; in: "6th European Semantic Web Conference (ESWC 2009)", L. Arroyo, P. Traverso, F. Ciravegna, P. Cimiano, T. Heath, E. Hyvönen, R. Mizoguchi, E. Oren, M. Sabou, E. Simperl (ed.); Springer, 5554 (2009), ISSN: 0302-9743; 857 - 862.

    More information

  36. Source: Faculty of Informatics

    G. Ianni, T. Krennwallner, A. Martello, A. Polleres:
    "Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regime";
    Talk: 8th International Semantic Web Conference (ISWC 2009), Washington D.C., U.S.A.; 2009-10-25 - 2009-10-29; in: "8th International Semantic Web Conference (ISWC 2009)", A. Bernstein, D. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, K. Thirunarayan (ed.); Springer, 5823 (2009), ISBN: 978-3-642-04929-3; 310 - 327.

    More information

  37. Source: Faculty of Informatics

    T. Krennwallner:
    "Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems";
    Talk: International Workshop on Business Models, Business Rules and Ontologies (BuRO), Bressanone/Brixen, Italy (invited); 2010-09-21; in: "1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010)", T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (ed.); Ontorule Project, (2010), 41.

    More information

  38. Source: Faculty of Informatics

    T. Krennwallner:
    "Promoting Modular Nonmonotonic Logic Programs";
    Talk: International Conference on Logic Programming (ICLP), Lexington, KY, U.S.A.; 2011-07-06 - 2011-07-10; in: "Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)", J. Gallagher, M. Gelfond (ed.); Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 11 (2011), ISSN: 1868-8969; Paper ID 29, 6 pages.

    More information

  39. Source: Faculty of Informatics

    N. Lopes, A. Polleres, A. Passant, D. Decker, S. Bischof, D. Berrueta, A. Campos, St. Corlosquet, O. Erling, J. Euzenat, K. Idehen, J. Kopecký, T. Krennwallner, D. Palmisano, J. Saarela, M. Zaremba:
    "RDF and XML: Towards a Unified Query Layer";
    Talk: W3C Workshop RDF Next Steps, Stanford, Palo Alto, CA, USA; 2010-06-26 - 2010-06-27; in: "W3C Workshop on RDF Next Steps", D. Wood, D. Decker, I. Herman (ed.); (2010), 5 pages.

    More information

  40. Source: Faculty of Informatics

    M. Ortiz de la Fuente, M. Simkus:
    "Reasoning and Query Answering in Description Logics";
    Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 1 - 53.

    More information

  41. Source: Faculty of Informatics

    C. Redl, T. Eiter, T. Krennwallner:
    "Declarative Belief Set Merging using Merging Plans";
    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.

    More information

  42. Source: Faculty of Informatics

    G. Xiao, S. Heymans, T. Eiter:
    "DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs";
    Talk: International Workshop on Business Models, Business Rules and Ontologies (BuRO), Bressanone/Brixen, Italy; 2010-09-21; in: "1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010)", T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (ed.); Ontorule Project, (2010), 14 pages.

    More information


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):


  1. Source: Faculty of Informatics

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Distributed Nonmonotonic Multi-Context Systems";
    Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 2010-03-11 - 2010-03-14.

    More information

  2. Source: Faculty of Informatics

    T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
    "Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
    Poster: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 2011-07-16 - 2011-07-22.

    More information

  3. Source: Faculty of Informatics

    T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
    "Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 2011-07-16 - 2011-07-22.

    More information

  4. Source: Faculty of Informatics

    T. Krennwallner:
    "Promoting Modular Nonmonotonic Logic Programs";
    Talk: Net2 WP3 Mini-Workshop, Galway, Ireland (invited); 2011-08-22.

    More information


Diplom- und Master-Arbeiten (eigene und betreute):


  1. Source: Faculty of Informatics

    S. Bairakdar:
    "Local Optimization for Multi-Context Systems with Constraint Pushing";
    Supervisor: T. Eiter, M. Fink, T. Krennwallner; Institut für Informationssysteme, 2011; final examination: 2011-04-13.

    More information

  2. Source: Faculty of Informatics

    H. Beck:
    "Inconsistency Management for Traffic Regulations";
    Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2013; final examination: 2013-11-18.

    More information

  3. Source: Faculty of Informatics

    S. Bischof:
    "Implementation and Optimization of Queries in XSPARQL";
    Supervisor: T. Eiter, T. Krennwallner, A. Polleres; Institut für Informationssysteme, 2010.

  4. Source: Faculty of Informatics

    M. Dao-Tran:
    "Default Reasoning on Top of Ontologies with dl-Programs";
    Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2008.

  5. Source: Faculty of Informatics

    C. Drescher:
    "Symmetry Breaking for Answer Set Programming";
    Supervisor: T. Eiter, M. Fink, T. Krennwallner, T. Walsh; Institut für Informationssysteme, 2010.

    More information

  6. Source: Faculty of Informatics

    A. Konev:
    "Reasoning with RDF(S) and F-Logic";
    Supervisor: T. Eiter, S. Heymans, T. Krennwallner; Institut für Informationssysteme, 2012; final examination: 2012-04-12.

    More information

  7. Source: Faculty of Informatics

    T. Krennwallner:
    "Integration of Conjunctive Queries over Description Logics into HEX-Programs";
    Supervisor: T. Eiter, R. Schindlauer; Institut für Informationssysteme, 2007; final examination: 2007-10-16.

    More information

  8. Source: Faculty of Informatics

    C. Redl:
    "Development of a Belief Merging Framework for dlvhex";
    Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2010.

    More information

  9. Source: Faculty of Informatics

    C. Redl:
    "Merging of Biomedical Decision Diagrams";
    Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2010.

    More information

  10. Source: Faculty of Informatics

    K. Rybenko:
    "Collaborative Process Management in Construction by Means of Rules and Ontologies";
    Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2009.

  11. Source: Faculty of Informatics

    P. Schneider:
    "Evaluation of Description Logic Programs using an RDBMS";
    Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2011; final examination: 2011-01-12.

    More information

  12. Source: Faculty of Informatics

    O. Stashuk:
    "Integrating Constraint Programming into Answer Set Programming";
    Supervisor: T. Eiter, T. Krennwallner, C. Redl; Institut für Informationssysteme, 2013; final examination: 2013-10-08.

    More information

  13. Source: Faculty of Informatics

    T. Wijaya:
    "Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs";
    Supervisor: T. Eiter, T. Krennwallner, M. Dao-Tran; Institut für Informationssysteme, 2011; final examination: 2011-08-22.

    More information


Wissenschaftliche Berichte:


  1. Source: Faculty of Informatics

    S. Bischof, D. Decker, T. Krennwallner, N. Lopes, A. Polleres:
    "Mapping between RDF and XML with XSPARQL";
    Report for Digital Enterprise Research Institute, National University of Ireland, Galway; Report No. DERI-TR-2011-04-04, 2011; 44 pages.

    More information

  2. Source: Faculty of Informatics

    C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
    "Symmetry Breaking for Distributed Multi-Context Systems";
    Report for CoRR - Computing Research Repository; Report No. arXiv:1104.3931v1, 2011; 13 pages.

    More information

  3. Source: Faculty of Informatics

    T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller:
    "A Model Building Framework for Answer Set Programming with External Computations";
    Report for TU Wien; Report No. INFSYS RR-1843-15-01, 2015; 53 pages.

    More information

  4. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Conflict-driven ASP Solving with External Sources";
    Report for CoRR - Computing Research Repository; Report No. arXiv:1210.1649v1, 2012; 19 pages.

    More information

  5. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Domain Expansion for ASP-Programs with External Sources";
    Report for Institut für Informationssystems; Report No. INFSYS RR-1843-14-02, 2014; 57 pages.

    More information

  6. Source: Faculty of Informatics

    T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
    "Improving HEX-Program Evaluation based on Unfounded Sets";
    Report for Institut für Informationssysteme; Report No. RR-1843-12-08, 2012; 47 pages.

    More information

  7. Source: Faculty of Informatics

    T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
    "Exploiting Conjunctive Queries in Description Logic Programs";
    Report for Institut für Informationssysteme, TU Wien; Report No. INFSYS RR-1843-08-02, 2008; 38 pages.

    More information

  8. Source: Faculty of Informatics

    C. Feier, H. Aït-Kaci, J. Angele, J. De Bruijn, H. Citeau, T. Eiter, A. El Ghali, A. Kerhet, E. Kiss, R. Korf, T. Krekeler, T. Krennwallner, S. Heymans, A. Mosca, M. Rezk, G. Xiao et al.:
    "D3.3 Complexity and Optimization of Combinations of Rules and Ontologies";
    Report No. D3.3, 2010; 159 pages.

    More information