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

65 Datensätze


Zeitschriftenartikel


  1. B. Bliem, S. Woltran:
    "Complexity of Secure Sets";
    Algorithmica, 80 (2018), 10; S. 2909 - 2940.

  2. B. Bliem, S. Woltran:
    "Defensive alliances in graphs of bounded treewidth";
    Discrete Applied Mathematics, 251 (2018), 251; S. 334 - 339.

  3. B. Bliem, S. Woltran:
    "Equivalence between answer-set programs under (partially) fixed input";
    Annals of Mathematics and Artificial Intelligence, 83 (2018), 3-4; S. 277 - 295.

  4. R. Brochenin, T. Linsbichler, M. Maratea, J. P. Wallner, S. Woltran:
    "Abstract Solvers for Dung's Argumentation Frameworks";
    Argument & Computation, 9 (2018), 1; S. 41 - 72.

  5. A. Haret, M. Diller, S. Woltran, T. Linsbichler, St. Rümmele:
    "An extension-based approach to belief revision in abstract argumentation";
    International Journal of Approximate Reasoning, 93 (2018), S. 395 - 423.

  6. A. Hoffmann-Ostenhof, H. Fleischner, R. Häggkvist:
    "Cycle Double Covers via Kotzig Graphs";
    Journal of Combinatorial Theory Series B, 1 (2018), S. 1 - 12.

  7. A. Hoffmann-Ostenhof, T. Jatschka:
    "Snarks with Special Spanning Trees";
    Graphs and Combinatorics, 1 (2018), S. 1 - 13.

  8. A. Hoffmann-Ostenhof, K. Noguchi, K. Ozeki:
    "On homeomorphically irreducible spanning trees in cubic graphs";
    Wiley, 89 (2018), 2; S. 93 - 100.

  9. P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
    "Limits of Schema Mappings";
    Theory of Computing Systems, 62 (2018), 4; S. 899 - 940.

  10. M. Kröll, P. Barcelo, R. Pichler, S. Skritek:
    "Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection";
    ACM Transactions on Database Systems, 43 (2018), 2; S. 1 - 44.

  11. R. Pichler, S. Woltran, N. Creignou:
    "Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?";
    Logical Methods in Computer Science, 14 (2018), 4; S. 1 - 25.

  12. J. Pührer:
    "ArgueApply: Abstract Argumentation at Your Fingertips";
    KI - Künstliche Intelligenz, 32 (2018), 2-3; S. 209 - 212.

  13. J. Pührer, G. Brewka, St. Ellmauthaler, R. Goncalves, M. Knorr, J. Leite:
    "Reactive multi-context systems: Heterogeneous reasoning in dynamic environments";
    Artificial Intelligence, 256 (2018), S. 68 - 104.

  14. J. Pührer, J. Oetsch, H. Tompits:
    "Stepwise debugging of answer-set programs";
    Theory and Practice of Logic Programming, 18 (2018), 1; S. 30 - 80.


Buchbeiträge


  1. G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran:
    "Abstract Dialectical Frameworks";
    in: "Handbook of Formal Argumentation", P. Baroni, D.M. Gabbay, M. Giacomin, L. van der Torre (Hrg.); College Publications, 2018, ISBN: 978-1-84890-275-6, S. 237 - 285.

  2. F. Cerutti, S. Gaggl, M. Thimm, J. P. Wallner:
    "Foundations of Implementations for Formal Argumentation";
    in: "Handbook of Formal Argumentation", P. Baroni, D.M. Gabbay, M. Giacomin, L. van der Torre (Hrg.); College Publications, 2018, ISBN: 978-1-84890-275-6, S. 688 - 767.

  3. W. Dvorak, P. Dunne:
    "Computational Problems in Formal Argumentation and their Complexity";
    in: "Handbook of Formal Argumentation", Springer International Publishing, 2018, S. 2557 - 2622.

  4. J. Fichte, M. Hecher, N. Lodha, S. Szeider:
    "An SMT Approach to Fractional Hypertree Width";
    in: "Principles and Practice of Constraint Programming", herausgegeben von: Springer Verlag; Springer-Verlag, 2018, S. 109 - 127.


Beiträge in Tagungsbänden


  1. M. Lackner, P. Skowron:
    "A Quantitative Analysis of Multi-Winner Rules";
    in: "Proceedings of the 7th International Workshop on Computational Social Choice (COMSOC 2018)", Computing Research Repository (CoRR), 2018, S. 1 - 29.


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


  1. S. Arming, E. Bartocci, K. Chatterjee, J. Katoen, A. Sokolova:
    "Parameter-Independent Strategies for pMDPs via POMDPs";
    Poster: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 04.09.2018 - 07.09.2018; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), S. 53 - 70.

  2. M. Bichler, M. Morak, S. Woltran:
    "A Single-Shot Epistemic Logic Program Solver";
    Vortrag: Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010, Oxford; 09.07.2018 - 12.07.2018; in: "11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018)", (2018), S. 1 - 14.

  3. M. Bichler, M. Morak, S. Woltran:
    "Single-Shot Epistemic Logic Program Solving";
    Vortrag: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; S. 1714 - 1720.

  4. B. Bliem:
    "ASP Programs with Groundings of Small Treewidth";
    Vortrag: Foundations of Information and Knowledge Systems (FOIKS) 2018, Budapest, Hungary; 14.05.2018 - 18.05.2018; in: "Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings", LNCS, 10833 (2018), ISBN: 978-3-319-90049-0; S. 97 - 113.

  5. G. Brewka, H. Strass, J. P. Wallner, S. Woltran:
    "Weighted Abstract Dialectical Frameworks";
    Vortrag: AAAI Conference, New Orleans, Louisiana, USA; 02.02.2018 - 07.02.2018; in: "Proceedings AAAI 2018", S. McIlraith, K. Weinberger (Hrg.); AAAI Press, (2018), S. 1779 - 1786.

  6. T. Csar, M. Lackner, R. Pichler:
    "Computing the Schulze Method for Large-Scale Preference Data Sets";
    Vortrag: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; S. 180 - 187.

  7. M. Diller, A. Keshavarzi Zafarghandi, T. Linsbichler, S. Woltran:
    "Investigating Subclasses of Abstract Dialectical Frameworks";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Warsaw, Poland; 12.09.2018 - 14.09.2018; in: "Computational Models of Argument - Proceedings of {COMMA} 2018", IOS Press, 305 (2018), ISBN: 978-1-61499-905-8; S. 61 - 72.

  8. W. Dvorak, K. Chatterjee, M. Henzinger, V. Loitzenbauer:
    "Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter";
    Vortrag: ACM-SIAM Symposium on Discrete Algorithms (SODA), New Orleans, Louisiana, USA; 07.01.2018 - 10.01.2018; in: "Proceedings of the Twenty-Ninth Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2018", (2018), S. 2341 - 2356.

  9. W. Dvorak, K. Chatterjee, M. Henzinger, A. Svozil:
    "Algorithms and Conditional Lower bounds for Planning Problems";
    Vortrag: International Conference on Automated Planning and Scheduling (ICAPS), Delft; 24.06.2018 - 29.06.2018; in: "International Conference on Automated Planning and Scheduling (ICAPS 2018)", CoRR, abs/1804.07031 (2018), S. 1 - 14.

  10. W. Dvorak, S. Woltran, J. Fandinno:
    "On the Expressive Power of Collective Attacks";
    Vortrag: 7th International Conference on Computational Models of Argument, Warschau; 11.09.2018 - 14.09.2018; in: "7th International Conference on Computational Models of Argument", IOS Press, 305 (2018), ISBN: 978-1-61499-905-8; S. 1 - 27.

  11. W. Dvorak, S. Woltran, A. Gressler:
    "Evaluating SETAFs via Answer-Set Programming";
    Vortrag: 2nd International Workshop on Systems and Algorithms for Formal Argumentation, Warschau; 11.09.2018; in: "2nd International Workshop on Systems and Algorithms for Formal Argumentation", CEUR-WS.org, 2171 (2018), ISSN: 1613-0073; S. 10 - 21.

  12. J. Fichte, M. Hecher:
    "Exploiting Treewidth for Counting Projected Answer Sets";
    Vortrag: International Workshop on Non-Monotonic Reasoning, Tempe, Arizona, USA; 27.10.2018 - 29.10.2018; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018", AAAI Press, (2018), ISBN: 978-1-57735-803-9; S. 639 - 640.

  13. J. Fichte, M. Hecher, M. Morak, S. Woltran:
    "Exploiting Treewidth for Projected Model Counting and Its Limits";
    Vortrag: Theory and Applications of Satisfiability Testing - (SAT), Oxford, UK; 09.07.2018 - 12.07.2018; in: "Theory and Applications of Satisfiability Testing - (SAT 2018) - 21st International Conference, (SAT 2018)Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings", Springer, (2018), ISBN: 978-3-319-94143-1; S. 165 - 184.

  14. J. Fichte, M. Hecher, I. Schindler:
    "Default Logic and Bounded Treewidth";
    Vortrag: Language and Automata Theory and Applications (LATA), Ramat Gan, Israel; 09.04.2018 - 11.04.2018; in: "12th International Conference Language and Automata theory and Applications (LATA)", Springer, 10792 (2018), ISBN: 978-3-319-77312-4; S. 130 - 142.

  15. J. Fichte, M. Hecher, S. Woltran, M. Zisser:
    "Weighted Model Counting on the GPU by Exploiting Small Treewidth";
    Vortrag: European Symposium on Algorithms (ESA), Helsinki, Finnland; 20.08.2018 - 24.08.2018; in: "26th Annual European Symposium on Algorithms, {ESA} 2018", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 112 (2018), ISBN: 978-3-95977-081-1; S. 1 - 16.

  16. W. Fischl, G. Gottlob, R. Pichler:
    "General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract)";
    Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Kolumbien; 21.05.2018 - 25.05.2018; in: "Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management", {CEUR} Workshop Proceedings, (2018), ISSN: 1613-0073; S. 1 - 4.

  17. A. Haret, N. Creignou, O. Papini, S. Woltran:
    "Belief Update in the Horn Fragment";
    Vortrag: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, 27 (2018), ISBN: 978-0-9992411-2-7; S. 1781 - 1787.

  18. A. Haret, H. Khani, S. Moretti, M. Öztürk:
    "Ceteris paribus majority for social ranking";
    Vortrag: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI)", ijcai.org, (2018), S. 303 - 309.

  19. A. Haret, A. Novaro, U. Grandi:
    "Preference Aggregation with Incomplete CP-Nets";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona, USA; 27.10.2018 - 02.11.2018; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018", AAAI Press, (2018), ISBN: 978-1-57735-803-9; S. 308 - 318.

  20. A. Haret, J. P. Wallner:
    "Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks";
    Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona; 27.10.2018 - 29.10.2018; in: "Proceedings of the 17th International Workshop on Non-monotonic Reasoning", E. Fermé, S. Villata (Hrg.); (2018), Paper-Nr. 146, 10 S.

  21. A. Haret, J. P. Wallner, S. Woltran:
    "Two Sides of the Same Coin: Belief Revision and Enforcing Arguments";
    Vortrag: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (Hrg.); IJCAI, (2018), S. 1854 - 1860.

  22. A. Haret, S. Woltran:
    "Belief Revision Operators with Varying Attitudes Towards Initial Beliefs";
    Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona, USA; 27.10.2018 - 29.10.2018; in: "17th International Workshop On Non-Monotonic Reasoning", (2018), S. 156 - 165.

  23. L. Kletzander, N. Musliu:
    "Solving the General Employee Scheduling Problem";
    Vortrag: PATAT - International Conference on the Practice and Theory of Auto­mated Timetabling, Wien; 28.08.2018 - 31.08.2018; in: "12th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2018", (2018), S. 1 - 36.

  24. M. Kröll, N. Carmeli:
    "Enumeration Complexity of Conjunctive Queries with Functional Dependencies";
    Vortrag: Edbt / Icdt 2018, Wien; 26.03.2018 - 29.03.2018; in: "21st International Conference on Database Theory, {ICDT} 2018", LIPIcs, 11 (2018), ISBN: 978-3-89318-078-3; S. 1 - 17.

  25. M. Lackner, H. Aziz, E. Elkind, S. Huang, L. Sánchez-Fernández, P. Skowron:
    "On the Complexity of Extended and Proportional Justified Representation";
    Vortrag: AAAI 2018, New Orleans, Lousiana, USA; 02.02.2018 - 07.02.2018; in: "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18)", AAAI Press, (2018), S. 902 - 909.

  26. M. Lackner, R. Bredereck, P. Faliszewski, A. Igarashi, P. Skowron:
    "Multiwinner Elections With Diversity Constraints";
    Vortrag: AAAI 2018, New Orleans, Lousiana, USA; 02.02.2018 - 07.02.2018; in: "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18)", AAAI Press, (2018), S. 933 - 940.

  27. M. Lackner, P. Faliszewski, D. Peters, N. Talmon:
    "Effective Heuristics for Committee Scoring Rules";
    Vortrag: AAAI 2018, New Orleans, Lousiana, USA; 02.02.2018 - 07.02.2018; in: "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18)", AAAI Press, (2018), S. 1023 - 1030.

  28. M. Lackner, P. Skowron:
    "Approval-Based Multi-Winner Rules and Strategic Voting";
    Vortrag: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; S. 340 - 346.

  29. M. Lackner, P. Skowron:
    "Consistent Approval-Based Multi-Winner Rules";
    Vortrag: ACM Conference on Economics and Computation, Ithaca, New York, USA; 18.06.2018 - 22.06.2018; in: "Proceedings of the 2018 {ACM} Conference on Economics and Computation", (2018), ISBN: 978-1-4503-5829-3; S. 47 - 48.

  30. T. Linsbichler, M. Maratea, A. Niskanen, J. P. Wallner, S. Woltran:
    "Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving";
    Vortrag: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (Hrg.); IJCAI, (2018), S. 1905 - 1911.

  31. J. Maly, S. Woltran:
    "A New Logic for Jointly Representing Hard and Soft Constraints";
    Vortrag: Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV), Oxford; 19.07.2018; in: "Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness", (2018), S. 1 - 4.

  32. J. Maly, S. Woltran, M. Truszczynski:
    "Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?";
    Vortrag: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 13.07.2018 - 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; S. 433 - 439.

  33. F. Mischek, N. Musliu:
    "A Local Search Framework for Industrial Test Laboratory Scheduling";
    Vortrag: PATAT - International Conference on the Practice and Theory of Auto­mated Timetabling, Wien; 28.08.2018 - 31.08.2018; in: "Proceedings of the 12th International Conference on the Practice and Theory of Auto­mated Timetabling (PATAT-2018)", (2018), S. 465 - 467.

  34. N. Musliu, A. Ahmeti:
    "Min-conflicts heuristic for multi-mode resource-constrained projects scheduling";
    Vortrag: GECCO: Genetic and Evolutionary Computation Conference, Kyoto, Japan; 15.07.2018 - 19.07.2018; in: "Proceedings of the Genetic and Evolutionary Computation Conference {GECCO} 2018", ACM, (2018), ISBN: 978-1-4503-5618-3; S. 237 - 244.

  35. N. Musliu, A. Schutt, P. Stuckey:
    "Solver Independent Rotating Workforce Scheduling";
    Vortrag: CPAIOR: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Delft, The Netherlands; 26.06.2018 - 28.06.2018; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, {CPAIOR} 2018", Springer, 10848 (2018), ISBN: 978-3-319-93030-5; S. 429 - 445.

  36. A. Niskanen, J. P. Wallner, M. Järvisalo:
    "Extension Enforcement under Grounded Semantics in Abstract Argumentation";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona; 30.10.2018 - 02.11.2018; in: "Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning", M. Thielscher, F. Toni, F. Wolter (Hrg.); AAAI Press, (2018), S. 178 - 183.

  37. R. Pichler, W. Fischl, G. Gottlob:
    "General and Fractional Hypertree Decompositions: Hard and Easy Cases";
    Vortrag: ACM SIGMOD/PODS International Conference on Management of Data, Houston, Texas, USA; 10.06.2018 - 15.06.2018; in: "Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems", ACM, (2018), ISBN: 978-1-4503-4706-8; S. 17 - 32.

  38. R. Pichler, N. May, E. Rahm, S. Wu, K. Hose:
    "Proceedings of the 21th International Conference on Extending Database Technology";
    Vortrag: Edbt / Icdt 2018, Wien; 26.03.2018 - 30.03.2018; in: "Proceedings of the 21th International Conference on Extending Database Technology", OpenProceedings.org, (2018), ISBN: 978-3-89318-078-3; S. 1 - 717.

  39. A. Svozil, W. Dvorak, K. Chatterjee, M. Henzinger:
    "Quasipolynomial Set-Based Symbolic Algorithms for Parity Games";
    Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Awassa, Ethiopia; 16.11.2018 - 21.11.2018; in: "LPAR 2018 : International Conference on Logic for Programming, Artificial Intelligence and Reasoning", EasyChair Publications, in the EPiC Series in Computing, 57 (2018), S. 233 - 253.

  40. J. P. Wallner:
    "Structural Constraints for Dynamic Operators in Abstract Argumentation";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Warschau; 11.09.2018 - 14.09.2018; in: "Computational Models of Argument", S. Modgil, K. Budzynska, J. Lawrence (Hrg.); IOS Press, 305 (2018), ISBN: 978-1-61499-905-8; S. 73 - 84.

  41. F. Winter, N. Musliu, E. Demirovic, C. Mrkvicka:
    "Modeling and Solving an Automotive Paint Shop Scheduling Problem";
    Vortrag: 12th International Conference on the Practice and Theory of Automated Timetabling, Wien; 28.08.2018 - 31.08.2018; in: "12th International Conference on the Practice and Theory of Automated Timetabling", (2018), ISBN: 978-0-9929984-2-4; S. 477 - 480.

  42. F. Winter, N. Musliu, E. Demirovic, C. Mrkvicka:
    "Paint Shop Scheduling in the Automotive Supply Industry";
    Vortrag: 29th European Conference on Operational Research, Valencia; 08.07.2018 - 11.07.2018; in: "29th European Conference on Operational Research", (2018), S. 161 - 162.

  43. F. Winter, N. Musliu, E. Demirovic, P. Stuckey:
    "Solution-Based Phase Saving and MaxSAT for Employee Scheduling: A Computational Study";
    Vortrag: 12th International Conference on the Practice and Theory of Automated Timetabling, Wien; 28.08.2018 - 31.08.2018; in: "12th International Conference on the Practice and Theory of Automated Timetabling", (2018), ISBN: 978-0-9929984-2-4; S. 453 - 457.

  44. S. Woltran, R. Goncalves, T. Janhunen, M. Knorr, J. Leite:
    "Variable Elimination for DLP-Functions";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona, USA; 27.10.2018 - 02.11.2018; in: "AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning", AAAI, (2018), S. 643 - 644.


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


  1. W. Dvorak, K. Chatterjee, M. Henzinger, V. Loitzenbauer:
    "Expressive Power of Collective Attacks";
    Vortrag: Highlights of Algorithms 2018, HALG 2018, Amsterdam; 04.06.2018 - 06.06.2018.

  2. J. Fichte, M. Hecher, N. Lodha, S. Szeider:
    "An {SMT} Approach to Fractional Hypertree Width";
    Vortrag: International Conference on Principles and Practice of Constraint Programming (CP), Lille, France; 27.08.2018 - 31.08.2018.