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

91 Datensätze


Bücher und Buch-Herausgaben

  1. F. Ferrarotti, S. Woltran:
    "Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings";
    in Buchreihe "LNCS", Buchreihen-Herausgeber: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, 2018, ISBN: 978-3-319-90049-0.
  2. R. Pichler, N. May, E. Rahm, S. Wu, K. Hose (Hrg.):
    "Proceedings of the 21th International Conference on Extending Database Technology";
    EDBT 2018, Edbt / Icdt 2018, 2018, ISBN: 978-3-89318-078-3; 717 S.

Zeitschriftenartikel

  1. M. Abseher, M. Hecher, M. Moldovan, S. Woltran, B. Bliem:
    "Dynamic Programming on Tree Decompositions with {D-FLAT}";
    KI - Künstliche Intelligenz, 32 (2018), 2-3; S. 191 - 192.
  2. G. Berger, L. Beklemishev, H. Tompits:
    "A many-sorted variant of Japaridze's polymodal provability logic";
    Logic Journal of the IGPL, 26 (2018), 5; S. 505 - 538.
  3. B. Bliem, S. Woltran:
    "Complexity of Secure Sets";
    Algorithmica, 80 (2018), 10; S. 2909 - 2940.
  4. B. Bliem, S. Woltran:
    "Defensive alliances in graphs of bounded treewidth";
    Discrete Applied Mathematics, 251 (2018), 251; S. 334 - 339.
  5. 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.
  6. 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.
  7. N. Creignou, R. Pichler, S. Woltran:
    "Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?";
    Logical Methods in Computer Science, 14 (2018), 4; S. 1 - 25.
  8. J. Delgrande, P. Peppas, S. Woltran:
    "General Belief Revision";
    Journal of the ACM, 65 (2018), 5; S. 29:1 - 29:34.
  9. S. Gaggl, T. Linsbichler, M. Maratea, S. Woltran:
    "Summary Report of the Second International Competition on Computational Models of Argumentation";
    AI Magazine, 39 (2018), 4; S. 77 - 79.
  10. G. Gottlob, A. Pieris, M. Simkus:
    "The Impact of Active Domain Predicates on Guarded Existential Rules";
    Fundamenta Informaticae, 159 (2018), 1-2; S. 123 - 146.
  11. A. Haret, S. Woltran, T. Linsbichler, St. Rümmele, M. Diller:
    "An extension-based approach to belief revision in abstract argumentation";
    International Journal of Approximate Reasoning, 93 (2018), S. 395 - 423.
  12. 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.
  13. A. Hoffmann-Ostenhof, T. Jatschka:
    "Snarks with Special Spanning Trees";
    Graphs and Combinatorics, 1 (2018), S. 1 - 13.
  14. A. Hoffmann-Ostenhof, K. Noguchi, K. Ozeki:
    "On homeomorphically irreducible spanning trees in cubic graphs";
    Journal of Graph Theory, 89 (2018), 2; S. 93 - 100.
  15. P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
    "Limits of Schema Mappings";
    Theory of Computing Systems, 62 (2018), 4; S. 899 - 940.
  16. 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.
  17. J. Pührer:
    "ArgueApply: Abstract Argumentation at Your Fingertips";
    KI - Künstliche Intelligenz, 32 (2018), 2-3; S. 209 - 212.
  18. 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.
  19. 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.
  20. S. Woltran, T. Schaub:
    "Answer set programming unleashed!";
    KI - Künstliche Intelligenz, 32 (2018), 2-3; S. 105 - 108.

Editorials in wiss. Zeitschriften

  1. J. Leite, C. Tran, P. Torroni, S. Woltran:
    "Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV)";
    Journal of Logic and Computation, 28 (2018), 3; S. 475 - 476.
  2. T. Schaub, S. Woltran:
    "Special Issue on Answer Set Programming";
    KI - Künstliche Intelligenz, 32 (2018), 2-3; S. 101 - 103.

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, http://www.collegepublications.co.uk/handbooks/, 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", College Publications, 2018, ISBN: 978-1-84890-275-6, S. 631 - 687.
  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. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
    "Rewriting Guarded Existential Rules into Small Datalog Programs";
    Vortrag: Edbt / Icdt 2018, Wien; 26.03.2018 - 30.03.2018; in: "21st International Conference on Database Theory, {ICDT} 2018", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 98 (2018), ISBN: 978-3-89318-078-3; S. 1 - 24.
  2. M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus:
    "Relaxing and Restraining Queries for OBDA - Extended Abstract";
    Poster: Principles of Knowledge Representation and Reasoning (KR), Tempe, AZ, USA; 30.10.2018 - 02.11.2018; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October-2 November 2018.", (2018), ISBN: 978-1-57735-803-9; S. 617 - 618.
  3. M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus:
    "Taming Complex Role Inclusions for DL-Lite";
    Vortrag: 31st International Workshop on Description Logics (DL 2018), Tempe, Arizona, USA; 27.10.2018 - 29.10.2018; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.", CEUR-WS.org, (2018), Paper-Nr. 05, 12 S.
  4. 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.
  5. L. Bajraktari, M. Ortiz de la Fuente, M. Simkus:
    "Combining Rules and Ontologies into Clopen Knowledge Bases";
    Vortrag: AAAI 2018, New Orleans, Lousiana, USA; 02.02.2018 - 07.02.2018; in: "Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence e (AAAI-18)", (2018), S. 1728 - 1735.
  6. L. Bajraktari, M. Ortiz de la Fuente, M. Simkus:
    "Compiling Model Representations for Querying Large ABoxes in Expressive DLs";
    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", (2018), S. 1691 - 1698.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. W. Dvorak, J. Pührer, J. P. Wallner, S. Woltran, M. Diller:
    "Application of ASP in formal argumentation";
    Vortrag: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 19.11.2018 - 20.11.2018; in: "2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)", (2018), S. 1 - 11.
  15. 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.
  16. 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.
  17. J. Fichte, M. Hecher:
    "Exploiting Treewidth for Counting Projected Answer Sets";
    Vortrag: International Conference on Principles of Knowledge Representation and Reasoning - KR, 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. M. Hecher, J. Fichte:
    "Exploiting Treewidth for Counting Projected Answer Sets";
    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 (NMR)", AAAI Press, (2018), S. 1 - 10.
  29. A. Keshavarzi Zafarghandi, T. Linsbichler, S. Woltran, M. Diller:
    "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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. A. Revenko, R. Sabou, A. Ahmeti, M. Schauer:
    "Crowd-Sourced Knowledge Graph Extension: A Belief Revision Based Approach.";
    Vortrag: 6th AAAI Conference on Human Computation and Crowdsourcing (HCOMP), Zurich, Switzerland; 05.07.2018 - 08.07.2018; in: "Proceedings of the 6th AAAI Conference on Human Computation and Crowdsourcing (HCOMP)", AAAI, (2018), ISBN: 978-1-57735-799-5.
  46. S. Rudolph, M. Simkus:
    "Satisfiability in the Triguarded Fragment of First-Order Logic";
    Vortrag: 31st International Workshop on Description Logics (DL 2018), Tempe, Arizona, USA; 27.10.2018 - 29.10.2018; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.", CEUR-WS.org, (2018), Paper-Nr. 32, 12 S.
  47. S. Rudolph, M. Simkus:
    "The Triguarded Fragment of First-Order Logic";
    Vortrag: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Awassa, Ethiopia; 16.11.2018 - 21.11.2018; in: "LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018", EasyChair EPiC Series in Computing, 57 (2018), S. 604 - 619.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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:
    "Lower bounds for symbolic computation on graphs";
    Vortrag: Helmuth Veith Memorial Workshop, Salzburg (eingeladen); 28.01.2018 - 31.01.2018.
  2. 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.
  3. 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.
  4. S. Woltran:
    "Expressibility of Argumentation Frameworks and its Relation to the Dynamics of Argumentation";
    Hauptvortrag: AMANDE Workshop, Toulouse, Frankreich (eingeladen); 09.04.2018 - 12.04.2018.
  5. S. Woltran:
    "Solving (Q)SAT Problems via Tree Decomposition and Dynamic Programming";
    Hauptvortrag: JFPC (Journées Francophones de Programmation par Contraintes), Amiens, Frankreich (eingeladen); 13.06.2018 - 15.06.2018.

Diplom- und Master-Arbeiten (eigene und betreute)

  1. P. Bellositz:
    "Advancements in Equivalence Checking for Abstract Argumentation Frameworks";
    Betreuer/in(nen): W. Dvorak, S. Woltran; Instute of Logic and Computation, E192-02, 2018; Abschlussprüfung: 03.10.2018.
  2. C. Okulmus:
    "Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen";
    Betreuer/in(nen): C. Fermüller; Institut für Logic and Computation, 2018; Abschlussprüfung: 04.04.2018.
  3. A. Schidler:
    "A Solver for the Steiner Tree Problem with few Terminals";
    Betreuer/in(nen): S. Woltran, J. Fichte; Institute of Logic and Computation, 2018; Abschlussprüfung: 12.11.2018.
  4. M. Zisser:
    "Solving #SAT on the GPU with Dynamic Programming and OpenCL";
    Betreuer/in(nen): S. Woltran, J. Fichte; Institute of Logic and Computation, 2018; Abschlussprüfung: 04.06.2018.