TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der Fakultät für Informatik erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für Angehörige von
E192 - Institut für Logic and Computation
E192-02 Database and AI
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen
2019 - 2019

74 Datensätze


Bücher und Buch-Herausgaben


  1. M. Balduccini, Y. Lierler, S. Woltran:
    "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019";
    in Buchreihe "Logic Programming and Nonmonotonic Reasoning", Buchreihen-Herausgeber: G. Goos, J. Hartmanis, J. van Leeuwen; herausgegeben von: Springer International Publishing; Springer LNCS, 2019, ISBN: 978-3-030-20527-0, 348 S.

  2. M. Simkus, G. Weddell (Hrg.):
    "Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019";
    CEUR, Aachen, Deutschland, 2019, ISSN: 1613-0073; 410 S.

  3. S. Skritek, D. Suciu, C. Koch:
    "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019,";
    in Buchreihe "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019,", Buchreihen-Herausgeber: S. Skritek, D. Suciu, C. Koch; ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-6227-6, 482 S.

  4. A. Soylu, S. Moschoyiannis, G. Governatori, M. Simkus, P. Stefaneas, A. Steen, A. Giurca (Hrg.):
    "Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy";
    CEUR, Aachen, Deutschland, 2019, ISSN: 1613-0073; 81 S.


Zeitschriftenartikel


  1. E. Boros, B. Kimelfeld, R. Pichler, N. Schweikardt:
    "Enumeration in Data Management (Dagstuhl Seminar 19211)";
    Dagstuhl Reports, 9 (2019), 5; S. 89 - 109.

  2. G. Charwat, S. Woltran:
    "Expansion-based {QBF} Solving on Tree Decompositions";
    Fundamenta Informaticae, 167 (2019), 1-2; S. 59 - 92.

  3. N. Creignou, M. Kröll, R. Pichler, S. Skritek, H. Vollmer:
    "A complexity theory for hard enumeration problems";
    Discrete Applied Mathematics, 268 (2019), S. 191 - 209.

  4. W. Dvorak, R. Baumann, T. Linsbichler, S. Woltran:
    "A general notion of equivalence for abstract argumentation";
    Artificial Intelligence, 275 (2019), 275; S. 379 - 410.

  5. W. Dvorak, S. Woltran, J. Fandinno:
    "On the expressive power of collective attacks";
    Argument & Computation, 10 (2019), 2; S. 191 - 230.

  6. W. Faber, M. Morak, S. Woltran:
    "On Uniform Equivalence of Epistemic Logic Programs";
    TPLP - Theory and Practice of Logic Programming, 19 (2019), 5-6; S. 826 - 840.

  7. J. Fichte, M. Kronegger, S. Woltran:
    "A Multiparametric View on Answer Set Programming";
    Annals of Mathematics and Artificial Intelligence (eingeladen), 86 (2019), 1-3; S. 121 - 147.

  8. R. Ganian, M. Kronegger, A. Pfandler, A. Popa:
    "Parameterized Complexity of Asynchronous Border Minimization";
    Algorithmica, 81 (2019), 1; S. 201 - 223.

  9. G. Gottlob, N. Konstantinou, E. Sallinger et al.:
    "VADA: an architecture for end user informed data preparation";
    Journal of Big Data, 6 (2019), 6; S. 1 - 32.

  10. L. Kletzander, N. Musliu, M. Geiger:
    "Solving the Torpedo Scheduling Problem";
    Journal of Artificial Intelligence Research, 66 (2019), S. 1 - 32.

  11. M. Kronegger, S. Ordyniak, A. Pfandler:
    "Backdoors to planning";
    Artificial Intelligence, 269 (2019), S. 49 - 75.

  12. J. Maly, M. Truszczynski, S. Woltran:
    "Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?";
    Journal of Artificial Intelligence Research, 66 (2019), S. 1147 - 1197.

  13. F. Mischek, N. Musliu:
    "Integer programming model extensions for a multi-stage nurse rostering problem";
    Annals of Operations Research, 275 (2019), 1; S. 123 - 143.

  14. A. Niskanen, J. P. Wallner, M. Järvisalo:
    "Synthesizing Argumentation Frameworks from Examples";
    Journal of Artificial Intelligence Research, 66 (2019), 66; S. 503 - 554.

  15. M. Thimm, J. P. Wallner:
    "On the complexity of inconsistency measurement";
    Artificial Intelligence, 275 (2019), S. 411 - 456.

  16. F. Winter, N. Musliu, E. Demirovic:
    "Modeling and solving staff scheduling with partial weighted maxSAT";
    Annals of Operations Research, 275 (2019), 1; S. 79 - 99.


Editorials in wiss. Zeitschriften


  1. S. Woltran, F. Ferrarotti:
    "Special Issue on the 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2018) - Preface";
    Annals of Mathematics and Artificial Intelligence, 87 (2019), 1-2; S. 1 - 4.


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


  1. M. Alviano, C. Dodaro, J. Fichte, M. Hecher, T. Philipp, J. Rath:
    "Inconsistency Proofs for ASP: The ASP - DRUPE Format";
    Vortrag: ICLP 2019 - 35th International Conference on Logic Programming, Las Cruces, New Mexico, USA; 20.09.2019 - 25.09.2019; in: "Theory and Practice of Logic Programming", TPLP, 19 (2019), S. 891 - 907.

  2. M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus:
    "Relaxing and Restraining Queries for OBDA";
    Poster: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 27.01.2019 - 01.02.2019; in: "The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019", (2019), S. 2654 - 2661.

  3. L. Bajraktari, M. Ortiz de la Fuente, G. Xiao:
    "Optimizing Horn-SHIQ Reasoning for OBDA";
    Vortrag: ISWC 2019 - International Semantic Web Conference, Auckland, New Zealand; 26.10.2019 - 30.10.2019; in: "The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}", Springer, 11778 (2019), ISBN: 978-3-030-30792-9; S. 75 - 92.

  4. G. Berger, G. Gottlob, A. Pieris, E. Sallinger:
    "The Space-Efficient Core of Vadalog";
    Vortrag: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 30.06.2019 - 05.07.2019; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019", (2019), ISBN: 978-1-4503-6227-6; S. 270 - 284.

  5. D. Bloembergen, D. Grossi, M. Lackner:
    "On Rational Delegations in Liquid Democracy";
    Vortrag: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 27.01.2019 - 01.02.2019; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, (2019), S. 1796 - 1803.

  6. G. Brewka, J. Pührer, S. Woltran:
    "Multi-valued GRAPPA";
    Vortrag: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 07.05.2019 - 11.05.2019; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; S. 85 - 101.

  7. K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil:
    "Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs";
    Vortrag: CONCUR 2019 - The 30th International Conference on Concurrency Theory, Amsterdam, Niederlande; 26.08.2019 - 31.08.2019; in: "30th International Conference on Concurrency Theory, {CONCUR} 2019", Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 140 (2019), ISBN: 978-3-95977-121-4; S. 1 - 16.

  8. W. Dvorak, M. Järvisalo, T. Linsbichler, A. Niskanen, S. Woltran:
    "Preprocessing Argumentation Frameworks via Replacement Patterns";
    Vortrag: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalbrien, Italien; 07.05.2019 - 11.05.2019; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Proceedings", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; S. 116 - 132.

  9. W. Dvorak, A. Rapberger, S. Woltran:
    "Strong Equivalence for Argumentation Frameworks with Collective Attacks";
    Vortrag: KI 2019 - 42nd German Conference on AI, Kassel, Deutschland; 23.09.2019 - 26.09.2019; in: "KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI", 11793 (2019), ISBN: 978-3-030-30178-1; S. 131 - 145.

  10. W. Dvorak, S. Woltran:
    "Complexity of Abstract Argumentation under a Claim-Centric View";
    Vortrag: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 27.01.2019 - 01.02.2019; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, 33 (2019), ISBN: 978-1-57735-809-1; S. 2801 - 2808.

  11. W. Faber, M. Morak, S. Woltran:
    "Strong Equivalence for Epistemic Logic Programs Made Easy";
    Vortrag: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 27.01.2019 - 01.02.2019; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, (2019), ISBN: 978-1-57735-809-1; S. 2809 - 2816.

  12. J. Fichte, M. Hecher:
    "Treewidth and Counting Projected Answer Sets";
    Vortrag: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference, Philadelphia, USA; 03.06.2019 - 07.06.2019; in: "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019", Springer, 11481 (2019), ISBN: 978-3-030-20527-0; S. 105 - 119.

  13. J. Fichte, M. Hecher, A. Meier:
    "Counting Complexity for Reasoning in Abstract Argumentation";
    Vortrag: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 27.01.2019 - 01.02.2019; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", (2019), ISBN: 978-1-57735-809-1; S. 2827 - 2834.

  14. J. Fichte, M. Hecher, T. Philipp:
    "Inconsistency Proofs for ASP: The ASP-DRUPE Format";
    Vortrag: Aspocp 2019 @ Lpnmr 2019, Philadelphia; 03.06.2019; in: "Aspocp 2019 @ Lpnmr 2019", (2019), S. 1 - 15.

  15. J. Fichte, M. Hecher, M. Zisser:
    "gpusat2 - An Improved GPU Model Counter";
    Vortrag: SAT 2019 - The 22nd International Conference on Theory and Applications of Satisfiability Testing, Lissabon; 07.07.2019 - 12.07.2019; in: "Pragmatics of SAT 2019 @ SAT 2019", (2019), S. 1 - 17.

  16. J. Fichte, M. Hecher, M. Zisser:
    "Improved GPU-Based SAT Model Counter";
    Vortrag: CP 2019 - Principles and Practice of Constraint Programming - 25th International Conference, Stamford, USA; 30.09.2019 - 04.10.2019; in: "Principles and Practice of Constraint Programming - 25th International Conference, CP 2019", Springer, 11802 (2019), ISBN: 978-3-030-30047-0; S. 491 - 509.

  17. W. Fischl, G. Gottlob, D. Longo, R. Pichler:
    "HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings";
    Vortrag: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 03.06.2019 - 07.06.2019; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019.},", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; S. 1 - 5.

  18. W. Fischl, D. Longo, G. Gottlob, R. Pichler:
    "HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings";
    Vortrag: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 30.06.2019 - 05.07.2019; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019", ACM, (2019), ISBN: 978-1-4503-6227-6; S. 464 - 480.

  19. C. Gangl, M. Lackner, J. Maly, S. Woltran:
    "Aggregating Expert Opinions in Support of Medical Diagnostic Decision-Making";
    Vortrag: KR4HC 2019 - Knowledge Representation for Health Care/ProHealth, Poznan, Polen; 26.06.2019 - 29.06.2019; in: "Knowledge Representation for Health Care/ProHealth, KR4HC 2019", (2019), S. 56 - 62.

  20. T. Geibinger, F. Mischek, N. Musliu:
    "Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling";
    Vortrag: CPAIOR 2019 - 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research, Thessaloniki, Greece; 04.06.2019 - 07.06.2019; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, {CPAIOR} 2019", Springer, 11494 (2019), ISBN: 978-3-030-19211-2; S. 304 - 319.

  21. T. Geibinger, H. Tompits:
    "Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs";
    Vortrag: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 07.05.2019 - 11.05.2019; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Proceedings", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; S. 542 - 558.

  22. R. Goncalves, T. Janhunen, M. Knorr, J. Leite, S. Woltran:
    "Forgetting in Modular Answer Set Programming";
    Vortrag: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 27.01.2019 - 01.02.2019; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, (2019), ISBN: 978-1-57735-809-1; S. 2843 - 2850.

  23. G. Gottlob, M. Lanzinger, R. Pichler:
    "Semantic Width Revisited (Extended Abstract)";
    Vortrag: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 03.06.2019 - 07.06.2019; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; S. 1 - 5.

  24. G. Gottlob, R. Pichler, C. Okulmus:
    "Parallel Computation of Generalized Hypertree Decompositions";
    Vortrag: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 03.06.2019 - 07.06.2019; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; S. 1 - 5.

  25. G. Gottlob, E. Sallinger, A. Pieris:
    "Vadalog: Recent Advances and Applications";
    Vortrag: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 07.05.2019 - 11.05.2019; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; S. 21 - 37.

  26. A. Haret, J. P. Wallner:
    "Manipulating Skeptical and Credulous Consequences when Merging Beliefs";
    Vortrag: European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy; 08.05.2019 - 10.05.2019; in: "Proceedings JELIA", F. Calimeri, N. Leone, M. Manna (Hrg.); Springer, 11468 (2019), ISBN: 978-3-030-19570-0; S. 133 - 150.

  27. A. Haret, S. Woltran:
    "Belief Revision Operators with Varying Attitudes Towards Initial Beliefs";
    Vortrag: IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Macao, China; 10.08.2019 - 16.08.2019; in: "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019", ijcai.org, (2019), S. 1726 - 1733.

  28. M. Hecher:
    "Answer Set Solving exploiting Treewidth and its Limits";
    Vortrag: The 25th International Conference on Principles and Practice of Constraint Programming, Stamford, USA; 30.09.2019 - 04.10.2019; in: "CP 2019", (2019), S. 1 - 7.

  29. M. Hecher, M. Morak, S. Woltran:
    "Structural Decompositions of Epistemic Logic Programs";
    Vortrag: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 18.11.2019 - 19.11.2019; in: "TAASP 2019", (2019), S. 1 - 15.

  30. L. Kletzander, N. Musliu:
    "Modelling and Solving the Minimum Shift Design Problem";
    Vortrag: CPAIOR 2019 - 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research, Thessaloniki, Greece; 04.06.2019 - 07.06.2019; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, {CPAIOR} 2019, Proceedings", Springer, 11494 (2019), ISBN: 978-3-030-19211-2; S. 391 - 408.

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

  32. L. Kletzander, N. Musliu, K. Smith-Miles:
    "Instance Space Analysis for a Personnel Scheduling Problem";
    Vortrag: IJCAI 2019 - DSO Workshop, Macao, China; 11.08.2019; in: "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019", (2019), S. 1 - 8.

  33. M. Kröll, N. Carmeli:
    "On the Enumeration Complexity of Unions of Conjunctive Queries";
    Vortrag: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 30.06.2019 - 05.07.2019; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019", ACM, (2019), ISBN: 978-1-4503-6227-6; S. 134 - 148.

  34. M. Kröll, L. Peterfreund, D. Freydenberger, B. Kimmelfeld:
    "Complexity Bounds for Relational Algebra over Document Spanners";
    Vortrag: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 30.06.2019 - 05.07.2019; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019.", (2019), ISBN: 978-1-4503-6227-6; S. 320 - 334.

  35. M. Lackner, P. Skowron:
    "A Quantitative Analysis of Multi-Winner Rules";
    Vortrag: IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Macao, China; 10.08.2019 - 16.08.2019; in: "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019", ijcai.org, (2019), ISBN: 978-0-9992411-4-1; S. 407 - 413.

  36. M. Lanzinger, G. Gottlob, R. Pichler:
    "Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems";
    Vortrag: Vienna Young Scientists Symposium (VSS), Wien; 13.06.2019 - 14.06.2019; in: "noch nicht bekannt", (2019), S. 1 - 2.

  37. T. Lehtonen, J. P. Wallner, M. Järvisalo:
    "Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings";
    Vortrag: AAAI Conference, Honolulu, Hawaii; 27.01.2019 - 01.02.2019; in: "Proceedings AAAI 2019", P. Van Hentenryck, Z. Zhou (Hrg.); AAAI Press, (2019), S. 2938 - 2945.

  38. M. Ortiz de la Fuente, M. Simkus, S. Lukumbuzya:
    "Answer Set Programs Challenged by Ontologies";
    Vortrag: International Workshop on Description Logics, Oslo, Norway; 18.06.2019 - 21.06.2019; in: "32nd International Workshop on Description Logics", M. Simkus, G. Weddell (Hrg.); CEUR Workshop proceedings, 2373 (2019), ISSN: 1613-0073.

  39. R. Pichler, G. Gottlob, L. Bertossi:
    "Datalog: Bag Semantics via Set Semantics";
    Poster: ICDT 2019 - 22nd International Conference on Database Theory, Lissabon, Portugal; 26.03.2019 - 28.03.2019; in: "22nd International Conference on Database Theory, {ICDT} 2019", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 127 (2019), ISBN: 978-3-95977-101-6; S. 16:1 - 16:19.

  40. S. Skritek:
    "Towards Reconciling Certain Answers and {SPARQL:} Bag Semantics to the Rescue?";
    Vortrag: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 03.06.2019 - 07.06.2019; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; S. 1 - 5.

  41. S. Skritek, S. Mengel:
    "Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection";
    Poster: ICDT 2019 - 22nd International Conference on Database Theory, Lissabon, Portugal; 26.03.2019 - 28.03.2019; in: "22nd International Conference on Database Theory, {ICDT} 2019", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 127 (2019), ISBN: 978-3-95977-101-6; S. 20:1 - 20:18.

  42. F. Winter, N. Musliu, C. Mrkvicka, E. Demirovic:
    "Solution Approaches for an Automotive Paint Shop Scheduling Problem";
    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} 2019", AAAI Press, 29 (2019), S. 573 - 581.


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


  1. F. Winter, N. Musliu:
    "Exact Methods for a Paint Shop Scheduling Problem from the Automotive Supply Industry";
    Poster: CPAIOR 2019 - 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research, Thessaloniki, Greece; 04.06.2019 - 07.06.2019.

  2. S. Woltran:
    "Preference Orders on Families of Sets -- Complexity and Characterization Results";
    Vortrag: IPASC - Workshop Individual Preferences and Social Choice, Graz (eingeladen); 11.04.2019 - 12.04.2019.

  3. S. Woltran:
    "Symbolische KI - Good Old Fashioned oder Haute Couture";
    Vortrag: OCG Jahresopening 2019, Wien (eingeladen); 29.01.2019.

  4. S. Woltran:
    "Symbolische KI - Good Old Fashioned oder Haute Couture";
    Vortrag: Ai / Imagine19, Wien (eingeladen); 22.10.2019.


Dissertationen (eigene und begutachtete)


  1. S. Ahmetaj:
    "Rewriting Approaches for Ontology-Mediated Query Answering";
    Betreuer/in(nen), Begutachter/in(nen): R. Pichler, M. Simkus; Institut für Logic and Computation, 2019; Rigorosum: 09.07.2019.

  2. M. Diller:
    "Realising argumentation using answer set programming and quantified boolean formulas";
    Betreuer/in(nen), Begutachter/in(nen): S. Woltran, U. Egly; Institute of Logic and Computations, 2019; Rigorosum: 30.04.2019.


Diplom- und Master-Arbeiten (eigene und betreute)


  1. G. Faustmann:
    "Application of machine learning in production scheduling";
    Betreuer/in(nen): N. Musliu; Institute of Logic and Computation, 2019; Abschlussprüfung: 19.11.2019.

  2. A. Greßler:
    "Argumentation Frameworks with Claims and Collective Attacks -- Complexity Results and Answer-Set Programming Encodings";
    Betreuer/in(nen): S. Woltran, W. Dvorak; Institut für Logic and Computation, 2019; Abschlussprüfung: 21.08.2019.

  3. M. Moser:
    "Exact and Heuristic Approaches for Unrelated Parallel Machine Scheduling";
    Betreuer/in(nen): N. Musliu; Institute of Logic and Computation, 2019; Abschlussprüfung: 19.11.2019.

  4. J. Vass:
    "Exact and Metaheuristic Approaches for the Production Leveling Problem";
    Betreuer/in(nen): N. Musliu; Institute of Logic and Computation, 2019; Abschlussprüfung: 19.11.2019.


Wissenschaftliche Berichte


  1. T. Gogacz, V. Gutierrez-Basulto, Y.A. Ibanez Garcia, F. Murlak, M. Ortiz de la Fuente, M. Simkus:
    "Ontology Focusing: Knowledge-enriched Databases on Demand";
    Bericht für CoRR; Berichts-Nr. 1904.00195, 2019; 21 S.