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
2021 - 2021

78 Datensätze


Zeitschriftenartikel

  1. M. Baaz, A. Leitsch, A. Lolic:
    "An abstract form of the first epsilon theorem";
    Journal of Logic and Computation, 30 (2021), 8; S. 1447 - 1468.
  2. M. Baaz, A. Lolic:
    "Towards a proof theory for Henkin quantifiers";
    Journal of Logic and Computation, 31 (2021), 1; S. 40 - 66.
  3. A. Bikakis, A. Cohen, W. Dvorak, G. Flouris, S. Parsons:
    "Joint Attacks and Accrual in Argumentation Frameworks";
    Journal of Applied Logics - IfCoLog Journal (FLAP) - College Publications, 8 (2021), 6; S. 1437 - 1502.
  4. K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil:
    "Algorithms and conditional lower bounds for planning problems";
    Artificial Intelligence, 297 (2021), 297; S. 1 - 22.
  5. A. De Coster, N. Musliu, A. Schaerf, J. Schoisswohl, K. Smith-Miles:
    "Algorithm selection and instance space analysis for curriculum-based course timetabling";
    Journal of Scheduling, 26 (2021), 4; S. 1 - 24.
  6. M. Fazeli-Varzaneh, A. Ghorbi, M. Ausloos, E. Sallinger:
    "Sleeping Beauties of Coronavirus Research";
    IEEE Access, 9 (2021), S. 21192 - 21205.
  7. J. Fichte, M. Hecher, F. Hamiti:
    "The Model Counting Competition 2020";
    ACM Journal of Experimental Algorithmics, 26 (2021), 1; S. 1 - 26.
  8. J. Fichte, M. Hecher, M. Morak, S. Woltran:
    "DynASP2.5: Dynamic Programming on Tree Decompositions in Action";
    Algorithms, 14 (2021), 3; S. 1 - 28.
  9. J. Fichte, M. Hecher, P. Thier, S. Woltran:
    "Exploiting Database Management Systems and Treewidth for Counting";
    TPLP - Theory and Practice of Logic Programming, 1 (2021), S. 1 - 30.
  10. W. Fischl, G. Gottlob, D. Longo, R. Pichler:
    "HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings";
    ACM Journal of Experimental Algorithmics, 26 (2021), 1.6; S. 1 - 40.
  11. L. Kletzander, N. Musliu, K. Smith-Miles:
    "Instance space analysis for a personnel scheduling problem";
    Annals of Mathematics and Artificial Intelligence, 89 (2021), 7; S. 617 - 637.
  12. M. Lackner, P. Skowron:
    "Consistent approval-based multi-winner rules";
    Journal of Economic Theory, 192 (2021), 105173; S. 1 - 38.
  13. A. Leitsch, D. Cerna, A. Lolic:
    "Schematic Refutations of Formula Schemata";
    Journal of Automated Reasoning, 65 (2021), 5; S. 599 - 645.
  14. F. Mischek, N. Musliu:
    "A local search framework for industrial test laboratory scheduling";
    Annals of Operations Research, 302 (2021), 5; S. 533 - 562.
  15. F. Mischek, N. Musliu, A. Schaerf:
    "Local search approaches for the test laboratory scheduling problem with variable task grouping";
    Journal of Scheduling, 24 (2021), 6; S. 1 - 21.
  16. M. Moser, N. Musliu, A. Schaerf, F. Winter:
    "Exact and metaheuristic approaches for unrelated parallel machine scheduling";
    Journal of Scheduling, 24 (2021), 6; S. 1 - 28.
  17. J. Oetsch, H. Tompits, M. Seidl, S. Woltran:
    "Beyond Uniform Equivalence between Answer-set Programs";
    ACM Transactions on Computational Logic, 22 (2021), 1; S. 1 - 46.
  18. Z. G. Saribatur, T. Eiter, P. Schüller:
    "Abstraction for non-ground answer set programs";
    Artificial Intelligence, 300 (2021), S. 103563.
  19. F. Winter, N. Musliu:
    "A large neighborhood search approach for the paint shop scheduling problem";
    Journal of Scheduling, 24 (2021), 6; S. 1 - 23.
  20. F. Winter, N. Musliu:
    "Constraint-based Scheduling for Paint Shops in the Automotive Supply Industry";
    ACM Transactions on Intelligent Systems and Technology, 12 (2021), 2; S. 17:1 - 17:25.

Editorials in wiss. Zeitschriften

  1. M. Balduccini, Y. Lierler, S. Woltran:
    "Preface";
    TPLP - Theory and Practice of Logic Programming, 21 (2021), 3; S. 293 - 295.
  2. E. Özcan, E. Burke, B. MCCollum, L. Di Gaspero, N. Musliu:
    "Preface: The practice and theory of automated timetabling (2018)";
    Annals of Operations Research, 2 (2021), 302; S. 339 - 340.

Buchbeiträge

  1. M. Samer, S. Szeider:
    "Fixed-Parameter Tractability";
    in: "Handbook of Satisfiability", 336; A. Biere, M. Heule, H. van Maaren, T. Walsh (Hrg.); IOS Press, Amsterdam, 2021, ISBN: 978-1-64368-160-3, S. 693 - 727.

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

  1. S. Ahmetaj, R. David, M. Ortiz de la Fuente, A. Polleres, B. Shehu, M. Simkus:
    "Reasoning about Explanations for Non-validation in SHACL";
    Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Online; 03.11.2021 - 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning", (2021), ISSN: 2334-1033; S. 12 - 21.
  2. S. Ahmetaj, R. David, M. Ortiz de la Fuente, A. Polleres, B. Shehu, M. Simkus:
    "Reasoning about Explanations for Non-validation in SHACL (Extended abstract)";
    Vortrag: International Workshop on Description Logics (DL), Bratislava, Slovakia; 03.11.2021 - 12.11.2021; in: "Proceedings of the 34th International Workshop on Description Logics (DL 2021)", CEUR Workshop Proceedings, 2954 (2021), ISSN: 1613-0073.
  3. S. Ahmetaj, V. Efthymiou, R. Fagin, P. Kolaitis, C. Lei, F. Özcan, L. Popa:
    "Ontology-Enriched Query Answering on Relational Databases";
    Vortrag: 35th AAAI Conference on Artificial Intelligence (AAAI-21), Palo Alto, Kalifornien, USA; 02.02.2021 - 09.02.2021; in: "AAAI 2021 Proceedings", AAAI Press, 35 (2021), ISBN: 978-1-57735-866-4; S. 15247 - 15254.
  4. S. Ahmetaj, B. Loehnert, M. Ortiz de la Fuente, M. Simkus:
    "Magic Shapes for Validation in SHACL";
    Vortrag: ISWC 2021 - The 20th International Semantic Web Conference, online event; 24.10.2021 - 12.11.2021; in: "Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 20th International Semantic Web Conference (ISWC 2021)", CEUR Workshop Proceedings, 2980 (2021), ISSN: 1613-0073.
  5. S. Bachhofner, E. Kiesling, K. Kurniawan, E. Sallinger, P. Waibel:
    "Knowledge Graph Modularization for Cyber-Physical Production Systems";
    Vortrag: ISWC 2021 - The 20th International Semantic Web Conference, online event; 24.10.2021 - 28.10.2021; in: "Proceedings of the {ISWC} 2021 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 20th International Semantic Web Conference {(ISWC} 2021), Virtual Conference, October 24-28, 2021", (2021), S. 1 - 5.
  6. T. Baldazzi, L. Bellomarini, E. Sallinger, P. Atzeni:
    "Eliminating Harmful Joins in Warded Datalog+/-";
    Vortrag: RuleML+RR 2021, Leuven, Belgium; 08.09.2021 - 15.09.2021; in: "Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings}", (2021), S. 267 - 275.
  7. R. Baumann, A. Rapberger, M. Ulbricht:
    "Equivalence in Argumentation Frameworks with a Claim-centric View - Classical Results With Novel Ingredients";
    Vortrag: NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Hanoi, Vietnam; 03.11.2021 - 05.11.2021; in: "19th International Workshop on Non-Monotonic Reasoning", (2021), S. 71 - 80.
  8. L. Bellomarini, L. Blasi, R. Laurendi, E. Sallinger:
    "Financial Data Exchange with Statistical Confidentiality: {A} Reasoning-based Approach";
    Vortrag: EDBT 2021 - 24th International Conference on Extending Database Technology, Nicosia, Zypern; 23.03.2021 - 26.03.2021; in: "Proceedings of the 24th International Conference on Extending Database Technology, {EDBT} 2021, Nicosia, Cyprus, March 23 - 26, 2021", (2021), S. 558 - 569.
  9. L. Bellomarini, G. Galano, M. Nissl, E. Sallinger:
    "Rule-based Blockchain Knowledge Graphs: Declarative {AI} for Solving Industrial Blockchain Challenges";
    Vortrag: RuleML+RR 2021, Leuven, Belgium; 08.09.2021 - 15.09.2021; in: "Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School {(RW} 2021) and 13th DecisionCAMP 2021 as part of Declarative {AI} 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021}", (2021), S. 1 - 16.
  10. L. Bellomarini, M. Nissl, E. Sallinger:
    "Monotonic Aggregation for Temporal Datalog";
    Vortrag: RuleML+RR 2021, Leuven, Belgium; 08.09.2021 - 15.09.2021; in: "Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School {(RW} 2021) and 13th DecisionCAMP 2021 as part of Declarative {AI} 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021}", (2021), S. 1 - 23.
  11. M. Bernreiter, J. Maly, S. Woltran:
    "Choice Logics and Their Computational Properties";
    Vortrag: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 19.08.2021 - 27.08.2021; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021", (2021), S. 1794 - 1800.
  12. D. Calvanese, S. Lukumbuzya, M. Montali, M. Simkus:
    "Process Mining with Common Sense";
    Vortrag: International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021), Rome, Italy; 06.09.2021 - 10.09.2021; in: "Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021)", CEUR Workshop Proceedings, 2938 (2021), ISSN: 1613-0073; S. 45 - 50.
  13. K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil:
    "Symbolic Time and Space Tradeoffs for Probabilistic Verification";
    Vortrag: LICS 2021 - Symposium on Logic in Computer Science, Rom; 29.06.2021 - 02.07.2021; in: "36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2021, Rome, Italy, June 29 - July 2, 2021", (2021), S. 1 - 13.
  14. H. Chen, G. Gottlob, M. Lanzinger, R. Pichler:
    "Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems";
    Vortrag: IJCAI 2020, Yokohama; 01.01.2021 - 10.01.2021; in: "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020", (2021), S. 1726 - 1733.
  15. W. Dvorak, A. Greßler, A. Rapberger, S. Woltran:
    "The Complexity Landscape of Claim-Augmented Argumentation Frameworks";
    Vortrag: 35th AAAI 2021, virtual event; 02.02.2021 - 09.02.2021; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021", (2021), S. 6296 - 6303.
  16. W. Dvorak, M. König, S. Woltran:
    "Graph-Classes of Argumentation Frameworks with Collective Attacks";
    Vortrag: 17th European Conference on Logics in Artificial Intelligence (JELIA 2021), Klagenfurt; 21.05.2021 - 25.05.2021; in: "Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings", (2021), S. 3 - 17.
  17. W. Dvorak, M. König, S. Woltran:
    "On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length";
    Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event; 03.11.2021 - 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021", (2021), S. 671 - 675.
  18. W. Dvorak, M. Ulbricht, S. Woltran:
    "Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility";
    Vortrag: 35th AAAI 2021, virtual event; 02.02.2021 - 09.02.2021; in: "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021", (2021), S. 6288 - 6295.
  19. T. Eiter, T. Geibinger, N. Musliu, J. Oetsch, P. Skocovsky, D. Stepanova:
    "Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling";
    Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, online event; 03.11.2021 - 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021},", (2021), S. 280 - 290.
  20. T. Eiter, M. Hecher, R. Kiesel:
    "aspmc: An Algebraic Answer Set Counter.";
    Vortrag: 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal; 20.09.2020 - 21.09.2020; in: "Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021", (2021).
  21. T. Eiter, M. Hecher, R. Kiesel:
    "Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.";
    Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event; 03.11.2021 - 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021", (2021), S. 269 - 279.
  22. J. Fandinno, M. Hecher:
    "Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally Hard";
    Vortrag: 35th AAAI 2021, virtual event; 02.02.2021 - 09.02.2021; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021", (2021), S. 6312 - 6320.
  23. G. Faustmann, C. Mrkvicka, N. Musliu, F. Winter:
    "Automated configuration of parallel machine dispatching rules by machine learning";
    Vortrag: GECCO 2021 - Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France; 10.07.2021 - 14.07.2021; in: "GECCO '21: Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France, July 10-14, 2021", (2021), S. 125 - 126.
  24. N. Ferranti, A. Krickl, M. Nissl:
    "Knowledge Graphs: Detection of Outdated News";
    Vortrag: ISWC 2021 - The 20th International Semantic Web Conference, online event; 24.10.2021 - 28.10.2021; in: "Proceedings of the {ISWC} 2021 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 20th International Semantic Web Conference {(ISWC} 2021), Virtual Conference, October 24-28, 2021},", (2021), S. 1 - 5.
  25. J. Fichte, M. Hecher, Y. Mahmood, A. Meier:
    "Decomposition-Guided Reductions for Argumentation and Treewidth";
    Vortrag: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 19.08.2021 - 27.08.2021; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021", (2021), S. 1880 - 1886.
  26. J. Fichte, M. Hecher, C. McCreesh, A. Shahab:
    "Complications for Computational Experiments from Modern Processors";
    Vortrag: CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Montpellier, France; 25.10.2021 - 29.10.2021; in: "27th International Conference on Principles and Practice of Constraint Programming, {CP} 2021, Montpellier, France (Virtual Conference), October 25-29, 2021", (2021), S. 25:1 - 25:21.
  27. J. Fichte, M. Hecher, A. Meier:
    "Knowledge-Base Degrees of Inconsistency: Complexity and Counting";
    Vortrag: 35th AAAI 2021, virtual event; 02.02.2021 - 09.02.2021; in: "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021}", (2021), S. 6349 - 6357.
  28. J. Fichte, M. Hecher, V. Roland:
    "Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware Utilization";
    Vortrag: CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Montpellier, France; 25.10.2021 - 29.10.2021; in: "27th International Conference on Principles and Practice of Constraint Programming, {CP} 2021, Montpellier, France (Virtual Conference), October 25-29, 2021", (2021), S. 24:1 - 24:20.
  29. T. Geibinger, L. Kletzander, M. Krainz, F. Mischek, N. Musliu, F. Winter:
    "Physician Scheduling During a Pandemic";
    Vortrag: CPAIOR 2021 - 18th International Conference of Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Wien; 05.07.2021 - 08.07.2021; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, {CPAIOR} 2021, Vienna, Austria, July 5-8, 2021, Proceedings},", (2021), S. 456 - 465.
  30. T. Geibinger, F. Mischek, N. Musliu:
    "Constraint Logic Programming for Real-World Test Laboratory Scheduling";
    Vortrag: 35th AAAI 2021, virtual event; 02.02.2021 - 09.02.2021; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021", (2021), S. 6358 - 6366.
  31. G. Gottlob, C. Okulmus, R. Pichler:
    "Fast and Parallel Decomposition of Constraint Satisfaction Problems";
    Vortrag: IJCAI 2020, Yokohama; 01.01.2021 - 10.01.2021; in: "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, (IJCAI 2020)", (2021), S. 1155 - 1162.
  32. D. Graux, V. Janev, H. Jabeen, E. Sallinger:
    "A Big Data Learning Platform for the West Balkans and Beyond";
    Vortrag: ITiCSE 2021 - 26th {ACM} Conference on Innovation and Technology in Computer Science Education, Paderborn, Deutschland; 26.06.2021 - 01.07.2021; in: "ITiCSE 2021: 26th {ACM} Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021 - Working Group Reports", (2021), S. 617 - 618.
  33. D. Graux, V. Janev, H. Jabeen, E. Sallinger:
    "Deploying a Strategy to Unlock Big Data Research and Teaching Activities in the West Balkan Region";
    Vortrag: ITiCSE 2021 - 26th {ACM} Conference on Innovation and Technology in Computer Science Education, Paderborn, Deutschland; 26.06.2021 - 01.07.2021; in: "ITiCSE 2021: 26th {ACM} Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021", (2021), S. 491 - 497.
  34. A. Gulino, S. Ceri, G. Gottlob, E. Sallinger, L. Bellomarini:
    "Distributed Company Control in Company Shareholding Graphs";
    Vortrag: ICDE 2021 - 37th {IEEE} International Conference on Data Engineering, Chania, Kreta, Griechenland; 19.04.2021 - 22.04.2021; in: "37th {IEEE} International Conference on Data Engineering, {ICDE} 2021,Chania, Greece, April 19-22, 2021", (2021), S. 2637 - 2648.
  35. T. Hamm, M. Lackner, A. Rapberger:
    "Computing Kemeny Rankings from d-Euclidean Preferences";
    Vortrag: ADT 2021 - Algorithmic Decision Theory - 7th International Conference, Toulouse, France; 03.11.2021 - 05.11.2021; in: "Algorithmic Decision Theory - 7th International Conference, {ADT} 2021, Toulouse, France, November 3-5, 2021, Proceedings", (2021), S. 147 - 161.
  36. L. Kletzander, N. Musliu, P. Van Hentenryck:
    "Branch and Price for Bus Driver Scheduling with Complex Break Constraints";
    Vortrag: 35th AAAI 2021, virtual event; 02.02.2021 - 09.02.2021; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021", (2021), S. 11853 - 11861.
  37. M. Lackner, J. Maly:
    "Approval-Based Shortlisting";
    Vortrag: AAMAS 2021 - 20th International Conference on Autonomous Agents and Multiagent Systems, London, UK; 03.05.2021 - 07.05.2021; in: "AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021", (2021), S. 737 - 745.
  38. M. Lackner, J. Maly, S. Rey:
    "Fairness in Long-Term Participatory Budgeting";
    Vortrag: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 19.08.2021 - 27.08.2021; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021", (2021), S. 299 - 305.
  39. M. Lackner, J. Maly, S. Rey:
    "Fairness in Long-Term Participatory Budgeting";
    Vortrag: AAMAS 2021 - 20th International Conference on Autonomous Agents and Multiagent Systems, London, UK; 03.05.2021 - 07.05.2021; in: "AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021", (2021), S. 1566 - 1568.
  40. M. Lackner, C. Mrkvicka, N. Musliu, D. Walkiewicz, F. Winter:
    "Minimizing Cumulative Batch Processing Time for an Industrial Oven Scheduling Problem";
    Vortrag: CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Montpellier, France; 25.10.2021 - 29.10.2021; in: "27th International Conference on Principles and Practice of Constraint Programming, {CP} 2021, Montpellier, France (Virtual Conference), October 25-29, 2021}", (2021), S. 37:1 - 37:18.
  41. S. Lukumbuzya, M. Simkus:
    "Bounded Predicates in Description Logics with Counting";
    Vortrag: IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada; 19.08.2021 - 27.08.2021; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021", International Joint Conferences on Artificial Intelligence, (2021), ISBN: 978-0-9992411-9-6; S. 1966 - 1972.
  42. J. Maly, J. P. Wallner:
    "Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations";
    Vortrag: 35th AAAI 2021, virtual event; 02.02.2021 - 09.02.2021; in: "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021", (2021), S. 6435 - 6443.
  43. C. Mrkvicka, N. Musliu, J. Preininger, F. Winter:
    "Automated Production Scheduling for Artificial Teeth Manufacturing";
    Vortrag: ICAPS 2021 - 31st International Conference on Automated Planning and Scheduling, Guangzhou, China; 02.08.2021 - 13.08.2021; in: "Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual), August 2-13, 2021},", (2021), S. 500 - 508.
  44. N. Musliu, W. Weintritt, F. Winter:
    "Solving the paintshop scheduling problem with memetic algorithms";
    Vortrag: GECCO 2021 - Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France; 10.07.2021 - 14.07.2021; in: "GECCO '21: Genetic and Evolutionary Computation Conference, Lille, France, July 10-14, 2021", (2021), S. 1070 - 1078.
  45. M. Nayyeri, S. Vahdati, E. Sallinger, M. Mohtashim Alam:
    "Pattern-Aware and Noise-Resilient Embedding Models";
    Vortrag: ECIR 2021 - 43rd European Conference on IR Research, virtual event; 28.03.2021 - 01.04.2021; in: "Advances in Information Retrieval - 43rd European Conference on {IR} Research, {ECIR} 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part {I}},", (2021), S. 483 - 496.
  46. M. Nissl, E. Sallinger, S. Schulte, M. Borkowski:
    "Towards Cross-Blockchain Smart Contracts";
    Vortrag: DAPPS 2021 - International Conference on Decentralized Applications and Infrastructures, online event; 23.08.2021 - 26.08.2021; in: "IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2021, Online Event, August 23-26, 2021", (2021), S. 85 - 94.

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

  1. W. Dvorak, M. König, A. Rapberger, J. P. Wallner, S. Woltran:
    "ASPARTIX-V - A Solver for Argumentation Tasks Using ASP";
    Vortrag: ASPOCP 2021 - 14th Workshop on Answer Set Programming and Other Computing Paradigms, Porto; 20.09.2021 - 27.09.2021.
  2. W. Dvorak, M. König, M. Ulbricht, S. Woltran:
    "A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks";
    Vortrag: NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Hanoi, Vietnam; 03.11.2021 - 05.11.2021.
  3. A. Keshavarzi Zafarghandi, W. Dvorak, R. Verbrugge, B. Verheij:
    "Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks";
    Vortrag: NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Hanoi, Vietnam; 03.11.2021 - 05.11.2021.

Dissertationen (eigene und begutachtete)

  1. M. Hecher:
    "Advanced Tools and Methods for Treewidth-Based Problem Solving";
    Betreuer/in(nen), Begutachter/in(nen): S. Woltran, T. Schaub; 192-02, 2021; Rigorosum: 29.07.2021.
  2. F. Winter:
    "Automated Scheduling for Automotive Supplier Paint Shops and Teeth Manufacturing";
    Betreuer/in(nen), Begutachter/in(nen): N. Musliu, A. Schaerf, G. Tack; Institute of Logic and Computation, 2021; Rigorosum: 16.12.2021.

Diplom- und Master-Arbeiten (eigene und betreute)

  1. T. Drucks:
    "Representation Learning for Variable-Sized Multiple Sequence Alignments";
    Betreuer/in(nen): N. Musliu; Institut für Logic and Computation, 2021; Abschlussprüfung: 31.07.2021.
  2. F. Eichhorner:
    "Applying Machine Learning for Processing Time Prediction for Inbound Shipments";
    Betreuer/in(nen): N. Musliu; Institut für Logic and Computation, 2021; Abschlussprüfung: 14.10.2021.
  3. R. Kumar:
    "Algorithm Selection using Machine Learning for Sudoku Puzzles";
    Betreuer/in(nen): N. Musliu; Institut für Logic and Computation, 2021; Abschlussprüfung: 27.10.2021.
  4. G. Rexha:
    "Automated Machine Learning using Metaheuristic Algorithms";
    Betreuer/in(nen): N. Musliu; Institut für Logic and Computation, 2021; Abschlussprüfung: 12.08.2021.