TU Home

Suche in der Publikationsdatenbank der TU Wien


[Publikationsdatenbank Home]     [Suche anpassen]     [Neue Suche]     [English]     [Hilfe]

Suchparameter:
  • Suche in Namens-Datensätzen nach: "krennwallner" ("krennwallner" als Name interpretiert)
  • Suche eingeschränkt auf Publikationsarten: Alle
  • Suche eingeschränkt auf Zeitraum: Alle Daten in der Datenbank
Mit Ihren Suchparametern wurden 87 passende Datensätze gefunden:
87 - Fakultät für Informatik




Bücher und Buch-Herausgaben:

  1. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  2. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen


Zeitschriftenartikel:

  1. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  2. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  3. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  4. Quelle: Fakultät für Informatik

    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; S. 418 - 464.

    Zusätzliche Informationen

  5. Quelle: Fakultät für Informatik

    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; S. 659 - 679.

    Zusätzliche Informationen

  6. Quelle: Fakultät für Informatik

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

  7. Quelle: Fakultät für Informatik

    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), S. 269 - 321.

    Zusätzliche Informationen

  8. Quelle: Fakultät für Informatik

    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; S. 115 - 152.

    Zusätzliche Informationen

  9. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  10. Quelle: Fakultät für Informatik

    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; S. 20 - 35.

    Zusätzliche Informationen

  11. Quelle: Fakultät für Informatik

    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), S. 1 - 41.

    Zusätzliche Informationen


Buchbeiträge:

  1. Quelle: Fakultät für Informatik

    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 (Hrg.); College Publications, London, United Kingdom, 2011, (eingeladen), ISBN: 978-1-84890-042-4.

    Zusätzliche Informationen

  2. Quelle: Fakultät für Informatik

    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 (Hrg.); Springer, Heidelberg, 2009, (eingeladen), ISBN: 978-3-642-04580-6, S. 1 - 49.

    Zusätzliche Informationen

  3. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  4. Quelle: Fakultät für Informatik

    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 S.

    Zusätzliche Informationen

  5. Quelle: Fakultät für Informatik

    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 S.

    Zusätzliche Informationen


Beiträge in Tagungsbänden:

  1. Quelle: Fakultät für Informatik

    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 (Hrg.); Springer, Heidelberg, 2013, ISBN: 978-3-642-41523-4, S. 269 - 278.

    Zusätzliche Informationen


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

  1. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  2. Quelle: Fakultät für Informatik

    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";
    Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (eingeladen); 15.09.2013 - 19.09.2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (Hrg.); Springer, 8148 (2013), S. 42 - 53.

    Zusätzliche Informationen

  3. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  4. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  5. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  6. Quelle: Fakultät für Informatik

    H. Beck, T. Eiter, T. Krennwallner:
    "Inconsistency Management for Traffic Regulations: Formalization and Complexity Results";
    Vortrag: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 26.09.2012 - 28.09.2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (Hrg.); Springer, 7519 (2012), ISBN: 978-3-642-33352-1; S. 80 - 93.

    Zusätzliche Informationen

  7. Quelle: Fakultät für Informatik

    H. Beck, T. Eiter, T. Krennwallner:
    "Inconsistency Managment for Traffic Regulations";
    Vortrag: The AAAI 2012 Workshop on Semantic Cities, Toronto, Canada; 23.07.2012; in: "The AAAI 2012 Workshop on Semantic Cities", B. Srivastava, F. Lecue, A. Joshi (Hrg.); AAAI Press, Technical Report WS-12-13 (2012), ISBN: 978-1-57735-578-6; Paper-Nr. 1, 6 S.

    Zusätzliche Informationen

  8. Quelle: Fakultät für Informatik

    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";
    Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 15.09.2013 - 19.09.2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (Hrg.); Springer, 8148 (2013), S. 233 - 238.

    Zusätzliche Informationen

  9. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  10. Quelle: Fakultät für Informatik

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "First-Order Encodings of Modular Nonmonotonic Logic Programs";
    Vortrag: Datalog 2.0 Workshop, Oxford, UK; 16.03.2010 - 19.03.2010; in: "Datalog Reloaded, 1st International Workshop on Datalog 2010", O. de Moor, G. Gottlob, T. Furche, A. Sellers (Hrg.); Springer, 6702 (2011), ISBN: 978-3-642-24205-2; S. 59 - 77.

    Zusätzliche Informationen

  11. Quelle: Fakultät für Informatik

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Model Streaming for Distributed Multi-Context Systems";
    Vortrag: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 16.05.2011; in: "2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications", A. Mileo, M. Fink (Hrg.); CEUR Workshop Proceedings, Vancouver, Canada (2011), ISSN: 1613-0073; Paper-Nr. 4, 12 S.

    Zusätzliche Informationen

  12. Quelle: Fakultät für Informatik

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Modular Nonmonotonic Logic Programming Revisited";
    Vortrag: 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, U.S.A.; 14.07.2009 - 17.07.2009; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (Hrg.); Springer, 5649 (2009), ISBN: 978-3-642-02845-8; S. 145 - 159.

    Zusätzliche Informationen

  13. Quelle: Fakultät für Informatik

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs";
    Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany; 14.09.2009 - 18.09.2009; in: "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (Hrg.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; S. 87 - 100.

    Zusätzliche Informationen

  14. Quelle: Fakultät für Informatik

    M. Dao-Tran, T. Eiter, T. Krennwallner:
    "Realizing Default Logic over Description Logic Knowledge Bases";
    Vortrag: 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy; 01.07.2009 - 03.07.2009; in: "European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)", C. Sossai, G. Chemello (Hrg.); Springer, 5590 (2009), ISBN: 978-3-642-02905-9; S. 602 - 613.

    Zusätzliche Informationen

  15. Quelle: Fakultät für Informatik

    C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
    "Symmetry Breaking for Distributed Multi-Context Systems";
    Vortrag: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 16.05.2011 - 19.05.2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning", J. Delgrande, W. Faber (Hrg.); Springer, (2011), S. 26 - 39.

    Zusätzliche Informationen

  16. Quelle: Fakultät für Informatik

    T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
    "Combining Nonmonotonic Knowledge Bases with External Sources";
    Vortrag: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (eingeladen); 16.09.2009 - 18.09.2009; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)", S. Ghilardi, R. Sebastiani (Hrg.); Springer, 5749 (2009), ISBN: 978-3-642-04221-8; S. 18 - 42.

    Zusätzliche Informationen

  17. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
    "Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
    Vortrag: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 16.05.2011 - 19.05.2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (Hrg.); Springer, (2011), S. 93 - 106.

    Zusätzliche Informationen

  18. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  19. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, T. Krennwallner:
    "Decomposition of Declarative Knowledge Bases with External Functions";
    Vortrag: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 11.07.2009 - 17.07.2009; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (Hrg.); AAAI Press, Menlo Park, California, U.S.A. (2009), S. 752 - 758.

    Zusätzliche Informationen

  20. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Grounding HEX-Programs with Expanding Domains";
    Vortrag: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Corunna, Spain; 15.09.2013; in: "2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)", D. Pearce, S. Tasharrofi, E. Ternovska, C. Vidal (Hrg.); Corunna, Spain (2013), 13 S.

    Zusätzliche Informationen

  21. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  22. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Liberal Safety for Answer Set Programs with External Sources";
    Vortrag: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA; 14.07.2013 - 18.07.2013; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)", M. desJardins, M. Littman (Hrg.); AAAI Press, Menlo Park (2013), S. 267 - 275.

    Zusätzliche Informationen

  23. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
    "Eliminating Unfounded Set Checking for HEX-Programs";
    Vortrag: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Hungary; 24.09.2012; in: "Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary", M. Fink, Y. Lierler (Hrg.); CoRR - Computing Research Repository, arXiv:1301.1390v1 (2012), 15 S.

    Zusätzliche Informationen

  24. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
    "Exploiting Unfounded Sets for HEX-Program Evaluation";
    Vortrag: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 26.09.2012 - 28.09.2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (Hrg.); Springer, LNCS 7519 (2012), ISBN: 978-3-642-33352-1; S. 160 - 175.

    Zusätzliche Informationen

  25. Quelle: Fakultät für Informatik

    T. Eiter, G. Ianni, T. Krennwallner:
    "Answer Set Programming: A Primer";
    Vortrag: 5th International Summer School Reasoning Web 2009, Brixen-Bressanone, Italy (eingeladen); 30.08.2009 - 04.09.2009; in: "5th International Summer School Reasoning Web 2009", S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt (Hrg.); Springer, 5689 (2009), ISBN: 978-3-642-03753-5; S. 40 - 110.

    Zusätzliche Informationen

  26. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  27. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  28. Quelle: Fakultät für Informatik

    T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
    "Exploiting Conjunctive Queries in Description Logic Programs.";
    Vortrag: International Workshop on Description Logics (DL), Bressanone, Italy; 08.06.2007 - 10.06.2007; 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 (Hrg.); CEUR Workshop Proceedings, 250 (2007), S. 259 - 266.

    Zusätzliche Informationen

  29. Quelle: Fakultät für Informatik

    T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub:
    "Semantically Enriched Multi-Modal Routing";
    Vortrag: 19th ITS World Congress (ITS World 2012), Vienna, Austria; 22.10.2012 - 26.10.2012; in: "19th ITS World Congress (ITS World 2012)", V. Blervaque, R. Pfliegl (Hrg.); ERTICO-ITS Europe, Brussels (2012), Paper-Nr. EU-00427, 10 S.

    Zusätzliche Informationen

  30. Quelle: Fakultät für Informatik

    T. Eiter, T. Krennwallner, C. Redl:
    "Declarative Merging of and Reasoning about Decision Diagrams";
    Vortrag: Workshop on Constraint Based Methods for Bioinformatics (WCB), Perugia, Italy; 12.09.2011; in: "Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011)", A. Dal Palù, A. Dovier, A. Formisano (Hrg.); Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia, Perugia, Italy (2011), Paper-Nr. 1, 13 S.

    Zusätzliche Informationen

  31. Quelle: Fakultät für Informatik

    T. Eiter, T. Krennwallner, C. Redl:
    "Nested HEX-Programs";
    Vortrag: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria; 28.09.2011 - 30.09.2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", H. Tompits (Hrg.); Computing Research Repository (CoRR), arXiv, arXiv:1108.5626v1 (2011), 6 S.

    Zusätzliche Informationen

  32. Quelle: Fakultät für Informatik

    T. Eiter, T. Krennwallner, P. Schneider:
    "Lightweight Spatial Conjunctive Query Answering Using Keywords";
    Vortrag: 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France; 26.05.2013 - 30.05.2013; in: "10th Extended Semantic Web Conference (ESWC 2013)", P. Cimiano, O. Corcho, V. Presutti, L. Hollink, S. Rudolph (Hrg.); Springer, 7882 (2013), ISBN: 978-3-642-38287-1; S. 243 - 258.

    Zusätzliche Informationen

  33. Quelle: Fakultät für Informatik

    T. Eiter, T. Krennwallner, P. Schneider, G. Xiao:
    "Uniform Evaluation of Nonmonotonic DL-Programs";
    Vortrag: 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), Kiel, Germany (eingeladen); 05.03.2012 - 09.03.2012; in: "7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)", T. Lukasiewicz, A. Sali (Hrg.); Springer, 7153 (2012), S. 1 - 22.

    Zusätzliche Informationen

  34. Quelle: Fakultät für Informatik

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

  35. Quelle: Fakultät für Informatik

    G. Ianni, T. Krennwallner, A. Martello, A. Polleres:
    "A Rule System for Querying Persistent RDFS Data";
    Vortrag: 6th European Semantic Web Conference (ESWC 2009), Heraklion, Griechenland; 31.05.2009 - 04.06.2009; 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 (Hrg.); Springer, 5554 (2009), ISSN: 0302-9743; S. 857 - 862.

    Zusätzliche Informationen

  36. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  37. Quelle: Fakultät für Informatik

    L. Kletzander, N. Musliu, J. Gärtner, J. Krennwallner, W. Schafhauser:
    "Exact Methods for Extended Rotating Workforce Scheduling Problems";
    Vortrag: ICAPS 2019 - 29th International Conference on Automated Planning and Scheduling, Berkeley, USA; 10.07.2019 - 15.07.2019; in: "Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15, 2019", AAAI Press, (2019), ISSN: 2334-0843; S. 519 - 527.

    Zusätzliche Informationen

  38. Quelle: Fakultät für Informatik

    T. Krennwallner:
    "Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems";
    Vortrag: International Workshop on Business Models, Business Rules and Ontologies (BuRO), Bressanone/Brixen, Italy (eingeladen); 21.09.2010; 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 (Hrg.); Ontorule Project, (2010), S. 41.

    Zusätzliche Informationen

  39. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  40. Quelle: Fakultät für Informatik

    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";
    Vortrag: W3C Workshop RDF Next Steps, Stanford, Palo Alto, CA, USA; 26.06.2010 - 27.06.2010; in: "W3C Workshop on RDF Next Steps", D. Wood, D. Decker, I. Herman (Hrg.); (2010), 5 S.

    Zusätzliche Informationen

  41. Quelle: Fakultät für Informatik

    M. Ortiz de la Fuente, M. Simkus:
    "Reasoning and Query Answering in Description Logics";
    Vortrag: Reasoning Web, International Summer School, Wien (eingeladen); 03.09.2012 - 08.09.2012; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (Hrg.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; S. 1 - 53.

    Zusätzliche Informationen

  42. Quelle: Fakultät für Informatik

    C. Redl, T. Eiter, T. Krennwallner:
    "Declarative Belief Set Merging using Merging Plans";
    Vortrag: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Austin, Texas, U.S.A.; 24.01.2011 - 25.01.2011; in: "13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011)", R. Rocha, J. Launchbury (Hrg.); Springer, 6539 (2011), ISBN: 978-3-642-18377-5; S. 99 - 114.

    Zusätzliche Informationen

  43. Quelle: Fakultät für Informatik

    G. Xiao, S. Heymans, T. Eiter:
    "DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs";
    Vortrag: International Workshop on Business Models, Business Rules and Ontologies (BuRO), Bressanone/Brixen, Italy; 21.09.2010; 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 (Hrg.); Ontorule Project, (2010), 14 S.

    Zusätzliche Informationen


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

  1. Quelle: Fakultät für Informatik

    M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
    "Distributed Nonmonotonic Multi-Context Systems";
    Vortrag: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (eingeladen); 11.03.2010 - 14.03.2010.

    Zusätzliche Informationen

  2. Quelle: Fakultät für Informatik

    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 (eingeladen); 16.07.2011 - 22.07.2011.

    Zusätzliche Informationen

  3. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
    "Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
    Vortrag: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (eingeladen); 16.07.2011 - 22.07.2011.

    Zusätzliche Informationen

  4. Quelle: Fakultät für Informatik

    T. Krennwallner:
    "Promoting Modular Nonmonotonic Logic Programs";
    Vortrag: Net2 WP3 Mini-Workshop, Galway, Ireland (eingeladen); 22.08.2011.

    Zusätzliche Informationen


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

  1. Quelle: Fakultät für Informatik

    S. Bairakdar:
    "Local Optimization for Multi-Context Systems with Constraint Pushing";
    Betreuer/in(nen): T. Eiter, M. Fink, T. Krennwallner; Institut für Informationssysteme, 2011; Abschlussprüfung: 13.04.2011.

    Zusätzliche Informationen

  2. Quelle: Fakultät für Informatik

    H. Beck:
    "Inconsistency Management for Traffic Regulations";
    Betreuer/in(nen): T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2013; Abschlussprüfung: 18.11.2013.

    Zusätzliche Informationen

  3. Quelle: Fakultät für Informatik

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

  4. Quelle: Fakultät für Informatik

    M. Dao-Tran:
    "Default Reasoning on Top of Ontologies with dl-Programs";
    Betreuer/in(nen): T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2008.

  5. Quelle: Fakultät für Informatik

    C. Drescher:
    "Symmetry Breaking for Answer Set Programming";
    Betreuer/in(nen): T. Eiter, M. Fink, T. Krennwallner, T. Walsh; Institut für Informationssysteme, 2010.

    Zusätzliche Informationen

  6. Quelle: Fakultät für Informatik

    A. Konev:
    "Reasoning with RDF(S) and F-Logic";
    Betreuer/in(nen): T. Eiter, S. Heymans, T. Krennwallner; Institut für Informationssysteme, 2012; Abschlussprüfung: 12.04.2012.

    Zusätzliche Informationen

  7. Quelle: Fakultät für Informatik

    T. Krennwallner:
    "Integration of Conjunctive Queries over Description Logics into HEX-Programs";
    Betreuer/in(nen): T. Eiter, R. Schindlauer; Institut für Informationssysteme, 2007; Abschlussprüfung: 16.10.2007.

    Zusätzliche Informationen

  8. Quelle: Fakultät für Informatik

    C. Redl:
    "Development of a Belief Merging Framework for dlvhex";
    Betreuer/in(nen): T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2010.

    Zusätzliche Informationen

  9. Quelle: Fakultät für Informatik

    C. Redl:
    "Merging of Biomedical Decision Diagrams";
    Betreuer/in(nen): T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2010.

    Zusätzliche Informationen

  10. Quelle: Fakultät für Informatik

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

  11. Quelle: Fakultät für Informatik

    P. Schneider:
    "Evaluation of Description Logic Programs using an RDBMS";
    Betreuer/in(nen): T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2011; Abschlussprüfung: 12.01.2011.

    Zusätzliche Informationen

  12. Quelle: Fakultät für Informatik

    O. Stashuk:
    "Integrating Constraint Programming into Answer Set Programming";
    Betreuer/in(nen): T. Eiter, T. Krennwallner, C. Redl; Institut für Informationssysteme, 2013; Abschlussprüfung: 08.10.2013.

    Zusätzliche Informationen

  13. Quelle: Fakultät für Informatik

    T. Wijaya:
    "Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs";
    Betreuer/in(nen): T. Eiter, T. Krennwallner, M. Dao-Tran; Institut für Informationssysteme, 2011; Abschlussprüfung: 22.08.2011.

    Zusätzliche Informationen


Wissenschaftliche Berichte:

  1. Quelle: Fakultät für Informatik

    S. Bischof, D. Decker, T. Krennwallner, N. Lopes, A. Polleres:
    "Mapping between RDF and XML with XSPARQL";
    Bericht für Digital Enterprise Research Institute, National University of Ireland, Galway; Berichts-Nr. DERI-TR-2011-04-04, 2011; 44 S.

    Zusätzliche Informationen

  2. Quelle: Fakultät für Informatik

    C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
    "Symmetry Breaking for Distributed Multi-Context Systems";
    Bericht für CoRR - Computing Research Repository; Berichts-Nr. arXiv:1104.3931v1, 2011; 13 S.

    Zusätzliche Informationen

  3. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  4. Quelle: Fakultät für Informatik

    T. Eiter, M. Fink, T. Krennwallner, C. Redl:
    "Conflict-driven ASP Solving with External Sources";
    Bericht für CoRR - Computing Research Repository; Berichts-Nr. arXiv:1210.1649v1, 2012; 19 S.

    Zusätzliche Informationen

  5. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  6. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  7. Quelle: Fakultät für Informatik

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

    Zusätzliche Informationen

  8. Quelle: Fakultät für Informatik

    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";
    Berichts-Nr. D3.3, 2010; 159 S.

    Zusätzliche Informationen

 
[TU Home] [Publikationsdatenbank Home]     [Suche anpassen]     [Neue Suche]     [Impressum]