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

105 Datensätze


Bücher und Buch-Herausgaben

  1. E. Hebrard, N. Musliu (Hrg.):
    "International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings";
    Springer, 2020, ISBN: 978-3-030-58941-7.

Zeitschriftenartikel

  1. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, S. Woltran:
    "Computing secure sets in graphs using answer set programming";
    Journal of Logic and Computation, 30 (2020), 4; S. 837 - 862.
  2. S. Ahmetaj:
    "Rewriting Approaches for Ontology-Mediated Query Answering";
    KI - Künstliche Intelligenz, 34 (2020), 4; S. 523 - 526.
  3. S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
    "Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog";
    Artificial Intelligence, 280 (2020), 103220; S. 1 - 27.
  4. M. Bichler, M. Morak, S. Woltran:
    "lpopt: A Rule Optimization Tool for Answer Set Programming";
    Fundamenta Informaticae, 177 (2020), 3-4; S. 275 - 296.
  5. M. Bichler, M. Morak, S. Woltran:
    "selp: A Single-Shot Epistemic Logic Program Solver";
    Theory and Practice of Logic Programming, 20 (2020), 4; S. 435 - 455.
  6. B. Bliem, M. Morak, M. Moldovan, S. Woltran:
    "The Impact of Treewidth on Grounding and Solving of Answer Set Programs";
    Artificial Intelligence, 67 (2020), S. 35 - 80.
  7. G. Brewka, M. Diller, G. Heissenberger, T. Linsbichler, S. Woltran:
    "Solving Advanced Argumentation Problems with Answer Set Programming";
    Theory and Practice of Logic Programming, 20 (2020), 3; S. 391 - 431.
  8. M. Diller, A. Keshavarzi Zafarghandi, T. Linsbichler, S. Woltran:
    "Investigating subclasses of abstract dialectical frameworks";
    Argument & Computation, 11 (2020), 1-2; S. 191 - 219.
  9. W. Dvorak, A. Rapberger, S. Woltran:
    "On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs";
    Journal of Logic and Computation, 30 (2020), 5; S. 1063 - 1107.
  10. W. Dvorak, S. Woltran:
    "Complexity of abstract argumentation under a claim-centric view";
    Artificial Intelligence, 285 (2020), S. 1 - 8.
  11. S. Gaggl, T. Linsbichler, M. Maratea, S. Woltran:
    "Design and results of the Second International Competition on Computational Models of Argumentation";
    Artificial Intelligence, 279 (2020), S. 1 - 60.
  12. R. Goncalves, M. Knorr, J. Leite, S. Woltran:
    "On the limits of forgetting in Answer Set Programming";
    Artificial Intelligence, 286 (2020), S. 1 - 45.
  13. G. Gottlob, M. Lanzinger, R. Pichler, I. Razgon:
    "Complexity Analysis of General and Fractional Hypertree Decompositions";
    CoRR - Computing Research Repository, 1 (2020), 1; S. 1 - 54.
  14. P. Harrenstein, M. Lackner, M. Lackner:
    "A Mathematical Analysis of an Election System Proposed by Gottlob Frege";
    Erkenntnis, 1 (2020), S. 1 - 36.
  15. L. Kletzander, N. Musliu:
    "Solving the general employee scheduling problem";
    Computers & Operations Research, 113 (2020), S. 1 - 13.
  16. L. Kletzander, N. Musliu, K. Smith-Miles:
    "Instance space analysis for a personnel scheduling problem";
    Annals of Mathematics and Artificial Intelligence, 1 (2020), S. 1 - 21.
  17. P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
    "On the Language of Nested Tuple Generating Dependencies";
    ACM Transactions on Database Systems, 45 (2020), 2; S. 1 - 59.
  18. M. Lackner, Z. Fitzsimmons:
    "Incomplete Preferences in Single-Peaked Electorates";
    Artificial Intelligence, 67 (2020), S. 797 - 833.
  19. M. Lackner, A. Panholzer:
    "Runs in labelled trees and mappings";
    Discrete Mathematics, 343 (2020), 9; S. 1 - 22.
  20. M. Lackner, D. Peters:
    "Preferences Single-Peaked on a Circle";
    Artificial Intelligence, 68 (2020), S. 463 - 502.
  21. M. Lackner, P. Skowron:
    "Utilitarian welfare and representation guarantees of approval-based multiwinner rules";
    Artificial Intelligence, 288 (2020), S. 1 - 47.
  22. R. Pichler:
    "Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation";
    ACM SIGMOD Record, 49 (2020), 1; S. 51.
  23. T. Schneider, M. Simkus:
    "Ontologies and Data Management: A Brief Survey";
    KI - Künstliche Intelligenz, 34 (2020), 3; S. 329 - 353.
  24. S. Skritek, S. Mengel:
    "Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection.";
    Theory of Computing Systems, 1 (2020), S. 1 - 39.
  25. J. P. Wallner:
    "Structural Constraints for Dynamic Operators in Abstract Argumentation";
    Argument & Computation, 11 (2020), 1-2; S. 151 - 190.
  26. S. Woltran, T. Eiter, B. Moser, G. Dorffner, W. Faber, G. Klambauer, R. Legenstein, B. Nessler, A. Polleres:
    "Österreichische AI Strategie aus Sicht der Wissenschaft";
    OCG Journal, 01-02 (2020), S. 14 - 17.

Editorials in wiss. Zeitschriften

  1. D. Calvanese, M. Simkus:
    "Interview with Diego Calvanese";
    KI - Künstliche Intelligenz (eingeladen), 34 (2020), 4; S. 551 - 555.
  2. E. Hebrard, N. Musliu:
    "Introduction to the CPAIOR 2020 fast track issue";
    Constraints, 25 (2020), 3-4; S. 298 - 299.
  3. T. Schneider, M. Simkus:
    "Special Issue on Ontologies and Data Management: Part I";
    KI - Künstliche Intelligenz (eingeladen), 34 (2020), 3; S. 287 - 289.
  4. T. Schneider, M. Simkus:
    "Special Issue on Ontologies and Data Management: Part II";
    KI - Künstliche Intelligenz, 34 (2020), 4; S. 439 - 441.

Buchbeiträge

  1. L. Bellomarini, E. Sallinger, S. Vahdati:
    "Knowledge Graphs: The Layered Perspective";
    in: "Knowledge Graphs and Big Data Processing", Springer, 2020, S. 20 - 34.
  2. L. Bellomarini, E. Sallinger, S. Vahdati:
    "Reasoning in Knowledge Graphs: An Embeddings Spotlight";
    in: "Knowledge Graphs and Big Data Processing", Springer, 2020, S. 87 - 101.

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

  1. M.-P. Andresel, J. Corman, M. Ortiz de la Fuente, J. Reutter, O. Savkovic, M. Simkus:
    "Stable Model Semantics for Recursive SHACL";
    Vortrag: International World Wide Web Conference (WWW), Taipei, Taiwan; 20.04.2020 - 24.04.2020; in: "WWW '20: Proceedings of The Web Conference 2020", ACM, (2020), ISBN: 978-1-4503-7023-3; S. 1570 - 1580.
  2. M.-P. Andresel, M. Ortiz de la Fuente, M. Simkus:
    "Query Rewriting for Ontology-mediated Conditional Answers";
    Vortrag: 34th AAAI Conference on Artificial Intelligence (AAAI-20), New York, New York, USA; 07.02.2020 - 12.02.2020; in: "The Thirty-Forth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, New York, USA, February 7 - 12, 2020", V. Conitzer, F. Sha (Hrg.); AAAI-20 Technical Tracks, Vol. 34 No. 03 (2020), S. 2734 - 2741.
  3. P. Atzeni, L. Bellomarini, D. Benedetto, E. Sallinger:
    "Traversing Knowledge Graphs with Good Old (and New) Joins";
    Vortrag: KR4L 2020 - International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 08.09.2020; in: "Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence {(ECAI} 2020), Virtual Event, September, 2020},", (2020), S. 3 - 9.
  4. P. Atzeni, L. Bellomarini, M. Iezzi, E. Sallinger, A. Vlad:
    "Augmenting Logic-based Knowledge Graphs: The Case of Company Graphs";
    Vortrag: KR4L 2020 - International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 08.09.2020; in: "Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence {(ECAI} 2020), Virtual Event, September, 2020", (2020), S. 22 - 27.
  5. P. Atzeni, L. Bellomarini, M. Iezzi, E. Sallinger, A. Vlad:
    "Weaving Enterprise Knowledge Graphs: The Case of Company Ownership Graphs";
    Vortrag: EDBT/ICDT 2020 Joint Conference, Kopenhagen, Dänemark; 30.03.2020 - 02.04.2020; in: "Proceedings of the 23rd International Conference on Extending Database Technology, {EDBT} 2020, Copenhagen, Denmark, March 30 - April 02, 2020", (2020), S. 555 - 566.
  6. L. Bellomarini, M. Benedetti, S. Ceri, R. Laurendi, D. Magnanimi, M. Nissl, E. Sallinger:
    "Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs";
    Vortrag: RuleML+RR 2020 - 4th International Joint Conference on Rules and Reasoning, Oslo, Norway; 29.06.2020 - 01.07.2020; in: "roceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020 as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June - 1 July, 2020", (2020), S. 145 - 156.
  7. L. Bellomarini, E. Laurenza, E. Sallinger:
    "Rule-based Anti-Money Laundering in Financial Intelligence Units: Experience and Vision";
    Vortrag: RuleML+RR 2020 - 4th International Joint Conference on Rules and Reasoning, Oslo, Norway; 29.06.2020 - 01.07.2020; in: "Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020 as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June - 1 July, 2020", (2020), S. 133 - 144.
  8. L. Bellomarini, E. Laurenza, E. Sallinger, E. Sherkhonov:
    "Reasoning Under Uncertainty in Knowledge Graphs";
    Vortrag: RuleML+RR 2020 - 4th International Joint Conference on Rules and Reasoning, Oslo, Norway; 29.06.2020 - 01.07.2020; in: "Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings", (2020), S. 131 - 139.
  9. L. Bellomarini, M. Nissl, E. Sallinger:
    "Blockchains as Knowledge Graphs - Blockchains for Knowledge Graphs (Vision Paper)";
    Vortrag: KR4L 2020 - International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 08.09.2020; in: "Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence {(ECAI} 2020), Virtual Event, September, 2020", (2020), S. 43 - 51.
  10. M. Bernreiter, J. Maly, S. Woltran:
    "Encoding Choice Logics in ASP";
    Vortrag: ICLP 2020, Rende, Italien; 18.09.2020 - 24.09.2020; in: "International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020", (2020), S. 1 - 14.
  11. S. Bistarelli, W. Dvorak, C. Taticchi, S. Woltran:
    "Ranking-Based Semantics from the Perspective of Claims";
    Vortrag: COMMA 2020, Perugia, Italy; 04.09.2020 - 11.09.2020; in: "Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia, Italy, September 4-11, 2020", (2020), S. 111 - 122.
  12. P. Danzinger, T. Geibinger, F. Mischek, N. Musliu:
    "Solving the Test Laboratory Scheduling Problem with Variable Task Grouping";
    Vortrag: ICAPS 2020 - International Conference on Automated Planning and Scheduling, Nancy, France; 26.10.2020 - 30.10.2020; in: "Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling", 30 (2020), ISBN: 978-1-57735-824-4; S. 357 - 365.
  13. W. Dvorak, S. Gaggl, A. Rapberger, J. P. Wallner, S. Woltran:
    "The ASPARTIX system suite";
    Vortrag: COMMA - International Conference on Computational Models of Argument, online; 08.09.2020 - 11.09.2020; in: "Proceedings COMMA", H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (Hrg.); IOS Press, 326 (2020), ISBN: 978-1-64368-107-8; S. 461 - 462.
  14. W. Dvorak, A. Keshavarzi Zafarghandi, S. Woltran:
    "Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics";
    Vortrag: COMMA 2020, Perugia, Italy; 04.09.2020 - 11.09.2020; in: "Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia, Italy, September 4-11, 2020", (2020), S. 191 - 202.
  15. W. Dvorak, A. Rapberger, J. P. Wallner:
    "Labelling-based Algorithms for SETAFs";
    Vortrag: Third International Workshop on Systems and Algorithms for Formal Argumentation, online; 08.09.2020; in: "Proceedings SAFA 2020", S. Gaggl, M. Thimm, M. Vallati (Hrg.); CEUR-WS.org, 2672 (2020), S. 34 - 46.
  16. W. Dvorak, A. Rapberger, J. P. Wallner, S. Woltran:
    "ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation";
    Vortrag: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Dortmund; 17.02.2020 - 20.02.2020; in: "Foundations of Information and Knowledge Systems", A. Herzig, J. Kontinen (Hrg.); Springer, 12012 (2020), S. 79 - 89.
  17. W. Dvorak, A. Rapberger, S. Woltran:
    "Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs";
    Vortrag: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Griechenland; 12.09.2020 - 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020", (2020), S. 341 - 350.
  18. W. Dvorak, A. Rapberger, S. Woltran:
    "On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks";
    Vortrag: ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 05.09.2020; in: "ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)", (2020), S. 721 - 728.
  19. W. Dvorak, M. Ulbricht, S. Woltran:
    "Weak Admissibility is PSPACE-complete";
    Vortrag: NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING, Rhodes, Greece; 12.09.2020 - 18.09.2020; in: "18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING", (2020), S. 100 - 109.
  20. W. Dvorak, J. P. Wallner:
    "Computing Strongly Admissible Sets";
    Vortrag: COMMA - International Conference on Computational Models of Argument, online; 08.09.2020 - 11.09.2020; in: "Proceedings COMMA", H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (Hrg.); IOs Press, 2326 (2020), ISBN: 978-1-64368-107-8; S. 179 - 190.
  21. F. Everardo, M. Hecher, A. Shukla:
    "An Approximate Model Counter for ASP";
    Vortrag: NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING, Rhodes, Greece; 12.09.2020 - 18.09.2020; in: "18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING", (2020), S. 208 - 216.
  22. J. Fandinno, M. Hecher:
    "Treewidth-Aware Complexity in ASP:Not all Positive Cycles are Equally Hard";
    Vortrag: NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING, Rhodos, Griechenland; 12.09.2020 - 18.09.2020; in: "18th INTERNATIONAL WORKSHOP ONNON-MONOTONIC REASONING", (2020), S. 48 - 57.
  23. J. Fichte, M. Hecher:
    "Counting with Bounded Treewidth: Meta Algorithm and Runtime Guarantees";
    Vortrag: NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING, Rhodes, Greece; 12.09.2020 - 18.09.2020; in: "18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING", (2020), S. 9 - 18.
  24. J. Fichte, M. Hecher, M. Kieler:
    "Treewidth-Aware Quantifier Elimination and Expansion for {QCSP}";
    Vortrag: CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming, Louvain-laNeuve, Belgium; 07.09.2020 - 11.09.2020; in: "Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings", (2020), S. 248 - 266.
  25. J. Fichte, M. Hecher, A. Pfandler:
    "Lower Bounds for QBFs of Bounded Treewidth";
    Vortrag: LICS 2020, Saarbrücken, Germany; 08.07.2020 - 11.07.2020; in: "LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020", (2020), S. 410 - 424.
  26. J. Fichte, M. Hecher, A. Schidler:
    "Solving the Steiner Tree Problem with few Terminals";
    Vortrag: ICTAI 2020 - 32th International Conference on Tools with Artificial Intelligence, online conference; 09.11.2020 - 11.11.2020; in: "Proceedings of ICTAI 2020", (2020), S. 1 - 38.
  27. J. Fichte, M. Hecher, S. Szeider:
    "A Time Leap Challenge for SAT-Solving";
    Vortrag: CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming, Louvain-laNeuve, Belgium; 07.09.2020 - 11.09.2020; in: "Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings", (2020), S. 267 - 285.
  28. J. Fichte, M. Hecher, S. Szeider:
    "Breaking Symmetries with RootClique and LexTopSort";
    Vortrag: CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming, Louvain-laNeuve, Belgium; 07.09.2020 - 11.09.2020; in: "Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings", (2020), S. 286 - 303.
  29. J. Fichte, M. Hecher, P. Thier, S. Woltran:
    "Exploiting Database Management Systems and Treewidth for Counting";
    Vortrag: PADL 2020 - The 22nd International Symposium on Practical Aspects of Declarative Languages, New Orleans, Louisiana, United States; 19.01.2020 - 25.01.2020; in: "Practical Aspects of Declarative Languages - 22nd International Symposium, {PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings", (2020), S. 151 - 167.
  30. T. Geibinger, H. Tompits:
    "Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics";
    Vortrag: 36th International Conference on Logic Programming (ICLP 2020), Rende, Italien; 18.09.2020 - 25.09.2020; in: "Proceedings of the 36th International Conference on Logic Programming (Technical Communications)", Electronic Proceedings in Theoretical Computer Science (EPTCS), 325 (2020), S. 178 - 191.
  31. 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";
    Vortrag: ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 05.09.2020; in: "ECAI 2020 - 24th European Conference on Artificial Intelligence", Frontiers in Artificial Intelligence and Applications, 325 (2020), ISBN: 978-1-64368-100-9; S. 745 - 752.
  32. T. Gogacz, S. Lukumbuzya, M. Simkus, M. Ortiz de la Fuente:
    "Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates";
    Vortrag: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece; 12.09.2020 - 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020", D. Calvanese, E. Erdem, M. Thielscher (Hrg.); AAAI Press, (2020), ISSN: 2334-1033; S. 434 - 444.
  33. R. Goncalves, T. Janhunen, M. Knorr, J. Leite, S. Woltran:
    "Obfuscating Knowledge in Modular Answer Set Programming";
    Vortrag: NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING, Rhodes, Greece; 12.09.2020 - 18.09.2020; in: "18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING", (2020), S. 189 - 197.
  34. G. Gottlob, M. Lanzinger, D. Longo, C. Okulmus, R. Pichler:
    "The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions";
    Vortrag: CPAIOR 2020, Wien (eingeladen); 21.09.2020 - 24.09.2020; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, {CPAIOR} 2020", Springer, 12296 (2020), S. 3 - 21.
  35. G. Gottlob, M. Lanzinger, R. Pichler, I. Razgon:
    "Fractional Covers of Hypergraphs with BoundedMulti-Intersection";
    Vortrag: MFCS 2020 - International Symposium on Mathematical Foundations of Computer Science, Prag; 24.08.2020 - 28.08.2020; in: "45th International Symposium on Mathematical Foundations of Computer Science August 24-28, 2020, Prague (Czech Republic)", (2020), S. 1 - 14.
  36. A. Haret, M. Lackner, A. Pfandler, J. P. Wallner:
    "Proportional Belief Merging";
    Vortrag: AAAI Conference, New York; 07.02.2020 - 12.02.2020; in: "Proceedings AAAI", V. Conitzer, F. Sha (Hrg.); AAAI Press, (2020), S. 2822 - 2829.
  37. M. Hecher:
    "Treewidth-aware Reductions of Normal {ASP} to {SAT} - Is Normal {ASP} Harder than {SAT} after All?";
    Vortrag: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Griechenland; 12.09.2020 - 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020", (2020), S. 485 - 495.
  38. M. Hecher, M. Morak, S. Woltran:
    "Structural Decompositions of Epistemic Logic Programs";
    Vortrag: 34th AAAI Conference on Artificial Intelligence (AAAI-20), New York, New York, USA; 07.02.2020 - 12.02.2020; in: "The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020", (2020), S. 2830 - 2837.
  39. M. Hecher, M. Morak, S. Woltran:
    "Structural Decompositions of Epistemic Logic Programs";
    Vortrag: ICLP 2020, Rende, Italien; 18.09.2020 - 24.09.2020; in: "International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming {(ICLP} 2020), Rende, Italy, September 18-19, 2020", CEUR-WS.org, (2020), S. 1 - 13.
  40. M. Hecher, P. Thier, S. Woltran:
    "Taming High Treewidth with Abstraction, Nested Dynamic Programming and Database Technology";
    Vortrag: SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, Alghero, Italy; 03.07.2020 - 10.07.2020; in: "Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings", (2020), S. 343 - 360.
  41. L. Kletzander, N. Musliu:
    "Solving Large Real-Life Bus Driver Scheduling Problems with Complex Break Constraints";
    Vortrag: ICAPS 2020 - International Conference on Automated Planning and Scheduling, Nancy, France; 26.10.2020 - 30.10.2020; in: "Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020", (2020), S. 421 - 430.
  42. N. Labai, M. Simkus, M. Ortiz de la Fuente:
    "An ExpTime Upper Bound for ALC with Integers";
    Vortrag: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece; 12.09.2020 - 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020", D. Calvanese, E. Erdem, M. Thielscher (Hrg.); AAAI Press, (2020), ISSN: 2334-1033; S. 614 - 623.
  43. M. Lackner:
    "Perpetual Voting: Fairness in Long-Term Decision Making";
    Vortrag: AAAI 2020, New York, USA; 07.02.2020 - 12.02.2020; in: "The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020", (2020), S. 2103 - 2110.
  44. T. Lehtonen, J. P. Wallner, M. Järvisalo:
    "An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece (online); 08.09.2020 - 12.09.2020; in: "Proceedings KR", D. Calvanese, E. Erdem, M. Thielscher (Hrg.); IJCAI Organization, (2020), ISSN: 2334-1033; S. 636 - 646.
  45. J. Maly:
    "Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets},";
    Vortrag: AAAI 2020, New York, USA; 07.02.2020 - 12.02.2020; in: "The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020", (2020), S. 1 - 8.
  46. N. Musliu, F. Winter, P. Stuckey:
    "Explaining Propagators for String Edit Distance Constraints";
    Vortrag: AAAI 2020, New York, USA; 07.02.2020 - 12.02.2020; in: "The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020", (2020), S. 1676 - 1683.
  47. M. Nayyeri, C. Xu, S. Vahdati, N. Vassilyeva, E. Sallinger, H. Shariat Yazdi, J. Lehmann:
    "Fantastic Knowledge Graph Embeddings and How to Find the Right Space for Them";
    Vortrag: ISWC 2020 - 19th International Semantic Web Conference, Athens, Greece; 02.11.2020 - 06.11.2020; in: "The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part I", (2020), S. 438 - 455.
  48. M. Ortiz de la Fuente, M. Simkus, S. Lukumbuzya:
    "Resilient Logic Programs: Answer Set Programs Challenged by Ontologies";
    Vortrag: 34th AAAI Conference on Artificial Intelligence (AAAI-20), New York, New York, USA; 07.02.2020 - 12.02.2020; in: "The Thirty-Forth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, New York, USA, February 7 - 12, 2020", V. Conitzer, F. Sha (Hrg.); AAAI-20 Technical Tracks, Vol. 34 No. 03 (2020), ISSN: 2374-3468; S. 2917 - 2924.
  49. A. Rapberger:
    "Defining Argumentation Semantics under a Claim-centric View";
    Vortrag: ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 05.09.2020; in: "Proceedings of the 9th European Starting {AI} Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligenc {(ECAI} 2020), Santiago Compostela, Spain, August, 2020", (2020), S. 1 - 8.
  50. E. Sallinger:
    "Knowledge Graphs: Meeting Point of Knowledge Representation and Representation Learning";
    Vortrag: KR4L 2020 - International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 08.09.2020; in: "Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence {(ECAI} 2020), Virtual Event, September, 2020", (2020), S. 1 - 2.
  51. Z. G. Saribatur, J. P. Wallner, S. Woltran:
    "Explaining Non-Acceptability in Abstract Argumentation";
    Vortrag: European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain; 08.06.2020 - 12.06.2020; in: "Proceedings ECAI", G. De Giacomo (Hrg.); IOS Press, 325 (2020), ISBN: 978-1-64368-101-6; S. 881 - 888.
  52. S. Woltran:
    "Computational Argumentation - Formal Models and Complexity Results";
    Vortrag: CILC 2020, Rende, Italien (eingeladen); 13.10.2020 - 15.10.2020; in: "Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020", (2020), S. 1 - 2.
  53. L. Wu, E. Sallinger, E. Sherkhonov, S. Vahdati, G. Gottlob:
    "An Evolutionary Algorithm for Rule Learning over Knowledge Graphs";
    Vortrag: KR4L 2020 - International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020, Santiago de Compostela, Spain; 29.08.2020 - 08.09.2020; in: "Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence {(ECAI} 2020), Virtual Event, September, 2020", (2020), S. 52 - 59.

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

  1. F. Everardo, M. Hecher, A. Shukla:
    "Extending XORRO with Approximate Model Counting";
    Vortrag: Workshop ASPOCP 2020, University of Calabria, Rende, Italy; 18.09.2020.
  2. M. Hecher:
    "Treewidth-Aware Reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?";
    Vortrag: 4th Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), Klagenfurt; 23.11.2020 - 24.11.2020.
  3. M. Hecher, P. Thier, S. Woltran:
    "Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology";
    Vortrag: DPSW 2020 - Declarative Problem Solving Workshop, Santiago de Compostela, Spain; 29.08.2020 - 30.08.2020.
  4. B. Kimmelfeld, R. Pichler, P. Kolaitis, S. Skritek:
    "Enumerating the Repairs of Inconsistent Databases";
    Vortrag: WEPA 2020 - 4th International Workshop on Enumeration Problems and Applications, online; 07.12.2020 - 10.12.2020.
  5. F. Mischek:
    "Project Scheduling in Industrial Test Laboratories";
    Poster: ICAPS 2020 - International Conference on Automated Planning and Scheduling, Nancy, France; 26.10.2020 - 30.10.2020.
  6. J. Oetsch, J. Pührer, H. Tompits:
    "Catching the Ouroboros: On debugging non-ground answer-set programs";
    Vortrag: 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy; 18.09.2020 - 25.09.2020.
  7. S. Woltran:
    "Computational Argumentation - Formal Models and Complexity Results";
    Vortrag: Research-Seminar, University of Bergen, Norwegen (eingeladen); 21.02.2020.

Dissertationen (eigene und begutachtete)

  1. A. Haret:
    "Choosing What to Believe -- Belief Change Through the Lens of Rational Choice";
    Betreuer/in(nen), Begutachter/in(nen): S. Woltran, T. Eiter; Institut für Logic and Computation, 2020; Rigorosum: 06.07.2020.
  2. T. Kaminski:
    "Integrated HEX-Algorithms and Applications in Machine Learning";
    Betreuer/in(nen), Begutachter/in(nen): T. Eiter, N. Musliu; Institut für Logic and Computation, 2020; Rigorosum: 01.12.2020.
  3. J. Maly:
    ". Ranking Sets of Objects. How to Deal with Impossibility Results";
    Betreuer/in(nen), Begutachter/in(nen): S. Woltran, M. Lackner; Institut für Logic and Computation, 2020; Rigorosum: 24.09.2020.

Diplom- und Master-Arbeiten (eigene und betreute)

  1. M. Bernreiter:
    "A General Framework for Choice Logics";
    Betreuer/in(nen): S. Woltran, J. Maly; Logic and Computation, 2020; Abschlussprüfung: 28.09.2020.
  2. T. Geibinger:
    "Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling";
    Betreuer/in(nen): N. Musliu; Institute of Logic and Computation, 2020; Abschlussprüfung: 15.12.2020.
  3. I. Kammerhofer:
    "Disjunctive Answer Set Programming with Backjumping and Learning";
    Betreuer/in(nen): S. Woltran, M. Maratea; Institute of Logic and Computation, 2020; Abschlussprüfung: 21.04.2020.
  4. M. König:
    "Graph-classes of argumentation frameworks with collective attacks - properties and complexity results";
    Betreuer/in(nen): W. Dvorak, S. Woltran; Institut für Logic and Computation, 2020; Abschlussprüfung: 24.08.2020.
  5. B. Krenn:
    "Algorithms for Implicit Delegation to Predict Preferences";
    Betreuer/in(nen): S. Woltran, M. Lackner; Logic and Computation, 2020; Abschlussprüfung: 20.01.2020.
  6. S. Strassl:
    "Instance Space Analysis for the Job Shop Scheduling Problem";
    Betreuer/in(nen): N. Musliu; Institute of Logic and Computation, 2020; Abschlussprüfung: 17.11.2020.
  7. W. Weintritt:
    "Solving the Paintshop Scheduling Problem with Memetic Algorithms";
    Betreuer/in(nen): N. Musliu, F. Winter; Institute of Logic and Computation, 2020; Abschlussprüfung: 16.11.2020.

Wissenschaftliche Berichte

  1. N. Labai, M. Simkus, M. Ortiz de la Fuente:
    "An ExpTime Upper Bound for ALC with Integers (Extended Version)";
    Bericht für arXiv; Berichts-Nr. 2006.02078, 2020; 36 S.
  2. M. Nissl, E. Sallinger, S. Schulte, M. Borkowski:
    "Towards Cross-Blockchain Smart Contracts";
    Bericht für CoRR; Berichts-Nr. arXiv:2010.07352, 2020; 10 S.