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

82 Datensätze


Bücher und Buch-Herausgaben


  1. M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.):
    "Informal Proceedings of the 27th International Workshop on Description Logics";
    CEUR-Proceedings, Vol. 1193. Aachen, Deutschland, 2014, ISSN: 1613-0073; 756 S.


Zeitschriftenartikel


  1. M. Alviano, W. Faber, S. Woltran:
    "Complexity of super-coherence problems in ASP";
    Theory and Practice of Logic Programming, 14 (2014), 3; S. 339 - 361.

  2. G. Brewka, S. Polberg, S. Woltran:
    "Generalizations of Dung Frameworks and Their Role in Formal Argumentation";
    IEEE Intelligent Systems, 29 (2014), 1; S. 30 - 38.

  3. N. Creignou, O. Papini, R. Pichler, S. Woltran:
    "Belief revision within fragments of propositional logic";
    Journal of Computer and System Sciences, 80 (2014), 2; S. 427 - 449.

  4. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation";
    Artificial Intelligence, 206 (2014), S. 53 - 78.

  5. R. Pichler, St. Rümmele, St. Szeider, S. Woltran:
    "Tractable answer-set programming with weight constraints: bounded treewidth is not enough";
    Theory and Practice of Logic Programming, 14 (2014), 2; S. 141 - 164.

  6. G. Salzer, I. Feinerer:
    "Numeric semantics of class diagrams with multiplicity and uniqueness constraints";
    Software and Systems Modeling, 13 (2014), 3; S. 1167 - 1187.

  7. M. Widl, N. Musliu:
    "The break scheduling problem: complexity results and practical algorithms";
    Memetic Computing, 6 (2014), 2; S. 97 - 112.


Buchbeiträge


  1. J. Rasku, N. Musliu, T. Kärkkäinen:
    "Automating the Parameter Selection in VRP: An Off-line Parameter Tuning Tool Comparison";
    in: "Modeling, Simulation and Optimization for Science and Technology. Computational Methods in Applied Sciences, Volume 34", Springer Netherlands, 2014, S. 191 - 209.


Beiträge in Tagungsbänden


  1. S. Arming, R. Pichler, E. Sallinger:
    "Combined Complexity of Repair Checking and Consistent Query Answering";
    in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014", G. Gottlob, J. Perez (Hrg.); CEUR, 2014, 6 S.

  2. P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
    "Nested dependencies: structure and reasoning";
    in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014", R. Hull, M. Grohe (Hrg.); ACM, 2014, S. 176 - 187.


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


  1. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
    "The D-FLAT System for Dynamic Programming on Tree Decompositions.";
    Vortrag: European Conference on Logics in Artificial Intelligence (JELIA), Madeira; 24.09.2014 - 26.09.2014; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014", E. Fermé, J. Leite (Hrg.); Springer, (2014), ISSN: 0302-9743; S. 558 - 572.

  2. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, S. Woltran:
    "Computing Secure Sets in Graphs using Answer Set Programming.";
    Vortrag: ASPOCP 2014 - 7th Workshop on Answer Set Programming and Other Computing Paradigms, Wien; 23.07.2014; in: "7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014", (2014).

  3. S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Managing Change in Graph-Structured Data Using Description Logics";
    Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 27.07.2014 - 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (Hrg.); AAAI Press/IJCAI, (2014), ISBN: 978-1-57735-661-5; S. 966 - 973.

  4. S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Planning and Change in Graph Structured Data under Description Logics Constraints";
    Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 04.06.2014 - 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (Hrg.); CEUR-Proceedings, 1189 (2014), ISSN: 1613-0073.

  5. S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Planning Problems for Graph Structured Data in Description Logics";
    Vortrag: 27th International Workshop on Description Logics, Vienna, Austria; 17.07.2014 - 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; S. 4 - 7.

  6. A. Ahmeti, D. Calvanese, A. Polleres:
    "SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment";
    Vortrag: 27th International Workshop on Description Logics, Vienna, Austria; 17.07.2014 - 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; Paper-Nr. 7, 13 S.

  7. A. Ahmeti, D. Calvanese, A. Polleres:
    "Updating RDFS ABoxes and TBoxes in SPARQL";
    Vortrag: 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy; 19.10.2014 - 23.10.2014; in: "The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I", P. Mika et al. (Hrg.); LNCS/Springer, 8796 (2014), ISBN: 978-3-319-11963-2; S. 441 - 456.

  8. R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran:
    "Compact Argumentation Frameworks";
    Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 17.07.2014 - 19.07.2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (Hrg.); (2014), 10 S.

  9. R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran:
    "Compact Argumentation Frameworks";
    Vortrag: ECAI 2014, Prag; 18.08.2014 - 22.08.2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; S. 69 - 74.

  10. M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Nested Regular Path Queries in Description Logics";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria; 20.07.2014 - 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014)", C. Baral, G. De Giacomo, T. Eiter (Hrg.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; S. 218 - 227.

  11. M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Nested Regular Path Queries in Description Logics (Extended Abstract)";
    Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 04.06.2014 - 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (Hrg.); CEUR Workshop Proceedings, 1189 (2014), ISSN: 1613-0073.

  12. S. Bischof, M. Krötzsch, A. Polleres, S. Rudolph:
    "Schema-Agnostic Query Rewriting in SPARQL 1.1";
    Vortrag: 13th International Semantic Web Conference, Riva del Garda; 19.10.2014 - 23.10.2014; in: "The Semantic Web - ISWC 2014", P. Mika et al. (Hrg.); LNCS/Springer, 8796 (2014), ISBN: 978-3-319-11963-2; 17 S.

  13. A. Bonutti, F. De Cesco, N. Musliu, A. Schaerf:
    "Modeling and Solving a Real-Life Multi-Skill Shift Design Problem";
    Vortrag: PATAT 2014, York; 26.08.2014 - 29.08.2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling", (2014), 3 S.

  14. G. Brewka, S. Woltran:
    "GRAPPA: A Semantical Framework for Graph-Based Argument Processing";
    Vortrag: ECAI 2014, Prag; 18.08.2014 - 22.08.2014; in: "Proceedings of 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; S. 153 - 158.

  15. D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus:
    "Capturing Relational Schemas and Functional Dependencies in RDFS";
    Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 27.07.2014 - 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", (2014), S. 1003 - 1011.

  16. D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus:
    "Expressive Identification Constraints to Capture Functional Dependencies in Description Logics";
    Poster: 27th International Workshop on Description Logics, Vienna, Austria; 17.07.2014 - 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014)", CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 5 S.

  17. D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
    "Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures";
    Hauptvortrag: International Conference in Integrated Formal Methods (IFM), Bertinoro, Italy (eingeladen); 09.09.2014 - 11.09.2014; in: "IFM", Springer / LNCS, 8739 (2014), ISBN: 978-3-319-10180-4; S. 3 - 17.

  18. D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
    "Shape and Content: Incorporating Domain Knowledge into Shape Analysis";
    Vortrag: International Workshop on Description Logics, Wien; 17.07.2014 - 20.07.2014; in: "International Workshop on Description Logics", (2014), 4 S.

  19. G. Charwat, A. Pfandler:
    "DEMOCRATIX: A Declarative Approach to Winner Determination";
    Vortrag: International Workshop on Computational Social Choice (COMSOC), Pittsburgh, Pennsylvania, USA; 23.06.2014 - 25.06.2014; in: "Proceedings of the Fifth International Workshop on Computational Social Choice", A. Procaccia, T. Walsh (Hrg.); (2014), 15 S.

  20. N. Creignou, O. Papini, St. Rümmele, S. Woltran:
    "Belief merging within fragments of propositional logic";
    Vortrag: ECAI 2014, Prag; 18.08.2014 - 22.08.2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; S. 231 - 236.

  21. N. Creignou, O. Papini, St. Rümmele, S. Woltran:
    "Belief merging within fragments of propositional logic";
    Vortrag: 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna; 17.07.2014 - 19.07.2014; in: "Proceedings of the 15th International Workshop on Non-Monotonic Reasoning", (2014), 10 S.

  22. D. Dell´Aglio, A. Polleres, N. Lopes, S. Bischof:
    "Querying the Web of Data with XSPARQL 1.1";
    Vortrag: ISWC Developers Workshop 2014, Riva del Garda; 19.10.2014; in: "Proceedings of the ISWC Developers Workshop 2014", R. Verborgh, E. Mannens (Hrg.); CEUR-WS, Vol-1268 (2014), 6 S.

  23. E. Demirovic, N. Musliu:
    "Modeling High School Timetabling as PartialWeighted maxSAT";
    Vortrag: 4th Workshop on Logic and Search, Wien; 18.07.2014; in: "The Proceedings of 4th Workshop on Logic and Search (a SAT / ICLP workshop at FLoC 2014)", (2014), 15 S.

  24. E. Demirovic, N. Musliu:
    "Solving High School Timetabling with Satisfiability Modulo Theories";
    Vortrag: PATAT 2014, York; 26.08.2014 - 29.08.2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling", (2014), 25 S.

  25. M. Diller, J. P. Wallner, S. Woltran:
    "Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Pitlochry, Scotland, United Kingdom; 09.09.2014 - 12.09.2014; in: "Computational Models of Argument", IOS Press, 266 (2014), ISSN: 1879-8314; S. 241 - 252.

  26. D. Doder, S. Woltran:
    "Probabilistic Argumentation Frameworks - A Logical Approach";
    Vortrag: International Conference on Scalable Uncertainty Management (SUM), Oxford; 15.09.2014 - 17.09.2014; in: "Scalable Uncertainty Management", U. Straccia, A. Cali (Hrg.); Springer, 8720 (2014), ISBN: 978-3-319-11507-8; S. 134 - 147.

  27. P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
    "Characteristics of Multiple Viewpoints in Abstract Argumentation";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Wien; 20.07.2014 - 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference", C. Baral, G. De Giacomo, T. Eiter (Hrg.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; S. 72 - 81.

  28. W. Dvorak, T. Linsbichler, E. Oikarinen, S. Woltran:
    "Resolution-Based Grounded Semantics Revisited";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Pitlochry; 09.09.2014 - 12.09.2014; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (Hrg.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; S. 269 - 280.

  29. U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
    "Conformant Planning as a Case Study of Incremental QBF Solving";
    Vortrag: Artificial Intelligence and Symbolic Computation, Sevilla, Spanien; 11.12.2014 - 13.12.2014; in: "Lecture Notes in Computer Science", Springer, Volume 8884 of LNAI (2014), ISBN: 978-3-319-13770-4; S. 118 - 129.

  30. T. Eiter, P. Schneider, M. Simkus, G. Xiao:
    "Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57";
    Vortrag: 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), Vienna, Austria; 13.07.2014; in: "Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)", CEUR Workshop Proceedings, 1207 (2014), ISSN: 1613-0073; S. 51 - 57.

  31. G. Gottlob, S. Rudolph, M. Simkus:
    "Expressiveness of guarded existential rule languages";
    Vortrag: ACM Symposium on Principles of Database Systems (PODS), Snowbird, UT, USA; 22.06.2014 - 27.06.2014; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14", R. Hull, M. Grohe (Hrg.); ACM Press, (2014), ISBN: 978-1-4503-2375-8; S. 27 - 38.

  32. P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
    "A SAT-Based Debugging Tool for State Machines and Sequence Diagrams";
    Vortrag: 7th International Conference on Software Language Engineering (SLE), Västerås, Sweden; 15.09.2014 - 16.09.2014; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)", (2014), S. 21 - 40.

  33. T. Kotek, M. Simkus, H. Veith, F. Zuleger:
    "Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability";
    Hauptvortrag: International Workshop on Description Logics, Wien; 17.07.2014 - 20.07.2014; in: "International Workshop on Description Logics", (2014), 4 S.

  34. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "A Parameterized Complexity Analysis of Generalized CP-Nets";
    Vortrag: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 17.07.2014 - 18.07.2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (Hrg.); (2014), 2 S.

  35. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "A Parameterized Complexity Analysis of Generalized CP-Nets";
    Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 27.07.2014 - 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (Hrg.); (2014), ISBN: 978-1-57735-661-5; S. 1091 - 1097.

  36. M. Kronegger, A. Pfandler, S. Ordyniak:
    "Backdoors to Planning";
    Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 27.07.2014 - 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (Hrg.); AAAI Press, (2014), ISBN: 978-1-57735-661-5; S. 2300 - 2307.

  37. M. Kronegger, A. Pfandler, S. Ordyniak:
    "Backdoors to Planning";
    Vortrag: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 17.07.2014 - 18.07.2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (Hrg.); (2014), 2 S.

  38. T. Linsbichler:
    "Splitting Abstract Dialectical Frameworks";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Pitlochry; 09.09.2014 - 12.09.2014; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (Hrg.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; S. 357 - 368.

  39. M. Ortiz de la Fuente, M. Simkus:
    "Revisiting the Hardness of Query Answering in Expressive Description Logics";
    Vortrag: RR 2014, 8th International Conference Web Reasoning and Rule Systems, Athens, Greece; 15.09.2014 - 17.09.2014; in: "Web Reasoning and Rule Systems. 8th International Conference, Proceedings", R. Kontchakov, M. Mugnier (Hrg.); Springer Lecture Notes in Computer Science, 8714 (2014), ISBN: 978-3-319-11112-4; S. 216 - 223.

  40. R. Pichler:
    "Certain Answers to Well-Designed SPARQL Queries";
    Vortrag: Dagstuhl Seminar 14331: "Querying and Reasoning Under Expressive Constraints", Dagstuhl (eingeladen); 11.08.2014 - 14.08.2014; in: "Dagstuhl Reports 4(8)", (2014), ISSN: 2192-5283; S. 15 - 16.

  41. R. Pichler, S. Skritek:
    "Containment and equivalence of well-designed SPARQL";
    Vortrag: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Snowbird, UT, USA,; 22.06.2014 - 27.06.2014; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", R. Hull, M. Grohe (Hrg.); ACM, (2014), ISBN: 978-1-4503-2375-8; S. 39 - 50.

  42. R. Pichler, S. Skritek:
    "On the Hardness of Counting the Solutions of SPARQL Queries";
    Vortrag: 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias; 04.06.2014 - 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (Hrg.); CEUR-WS, Vol-1189 (2014), 6 S.

  43. J. Pihera, N. Musliu:
    "Application of Machine Learning to Algorithm Selection for TSP";
    Vortrag: ICTAI 2014, Limassol, Cyprus; 10.11.2014 - 12.11.2014; in: "26th IEEE International Conference on Tools with Artificial Intelligence", (2014), S. 47 - 54.

  44. N. Pobiedina, St. Rümmele, S. Skritek, H. Werthner:
    "Benchmarking database systems for graph pattern matching";
    Vortrag: DEXA - International Conference on Database and Expert System Applications, Munich, Germany; 01.09.2014 - 04.09.2014; in: "Lecture Notes in Computer Science", Springer Verlag, (2014), S. 226 - 241.

  45. S. Polberg:
    "Extension-based Semantics of Abstract Dialectical Frameworks";
    Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 17.07.2014 - 19.07.2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (Hrg.); (2014), 10 S.

  46. S. Polberg:
    "Extension-based Semantics of Abstract Dialectical Frameworks";
    Vortrag: European Starting AI Researcher Symposium, Prague; 18.08.2014 - 19.08.2014; in: "STAIRS 2014", U. Endriss, J. Leite (Hrg.); IOS Press, 264 (2014), ISBN: 978-1-61499-421-3; S. 240 - 249.

  47. S. Polberg, D. Doder:
    "Probabilistic Abstract Dialectical Frameworks";
    Vortrag: European Conference on Logics in Artificial Intelligence (JELIA), Funchal; 24.09.2014 - 26.09.2014; in: "Logics in Artificial Intelligence", E. Fermé, J. Leite (Hrg.); Springer, 8761 (2014), ISBN: 978-3-319-11557-3; S. 591 - 599.

  48. S. Polberg, N. Oren:
    "Revisiting Support in Abstract Argumentation Systems";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Pitlochry; 09.09.2014 - 12.09.2014; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (Hrg.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; S. 369 - 376.

  49. G. Schenner, S. Bischof, A. Polleres, S. Steyskal:
    "Integrating Distributed Configurations With RDFS and SPARQL";
    Vortrag: Workshop on Configuration, Novi Sad; 25.09.2014 - 26.09.2014; in: "Proceedings of the 16th International Configuration Workshop", A. Felfernig, F. Cipriano, A. Haag (Hrg.); CEUR-WS, Vol-1220 (2014), 7 S.

  50. C. Spanring:
    "Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games";
    Vortrag: Imperial College Computing Student Workshop, London; 25.09.2014 - 26.09.2014; in: "2014 Imperial College Computing Student Workshop", R. Neykova, N. Ng (Hrg.); (2014), 8 S.

  51. H. Strass, J. P. Wallner:
    "Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Wien; 20.07.2014 - 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference", C. Baral, G. De Giacomo, T. Eiter (Hrg.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; S. 101 - 110.

  52. S. Woltran:
    "Abstract Argumentation - All Problems Solved?";
    Hauptvortrag: European Conference on Artificial Intelligence (ECAI), Prag, Tschechisch Republik (eingeladen); 18.08.2014 - 22.08.2014; in: "Proceedings ECAI 2014", T. Schaub (Hrg.); IOS Press, 263 (2014), ISBN: 978-1-61499-418-3.

  53. S. Woltran:
    "An Introduction to Abstract Argumentation";
    Hauptvortrag: 6th USENIX Workshop on the Theory and Practice of Provenance, Köln (eingeladen); 12.06.2014 - 13.06.2014; in: "Proceedings 6th USENIX Workshop on the Theory and Practice of Provenance", A. Chapman, B. Ludaescher, A. Schreiber (Hrg.); (2014).


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


  1. M. Baaz, T. Eiter, H. Veith:
    "Vienna Summer of Logic";
    Vortrag: Vienna Summer of Logic, Wien, Austria (eingeladen); 09.07.2014 - 24.07.2014.

  2. U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
    "Conformant Planning as a Case Study of Incremental QBF Solving";
    Vortrag: International Workshop on Quantified Boolean Formulas, Wien (eingeladen); 13.07.2014.

  3. W. Fischl, D. Calvanese, R. Pichler, M. Simkus, E. Sallinger:
    "Capturing Relational Schemas and Functional Dependencies in RDFS";
    Poster: Reasoning Web, International Summer School, Athen; 07.09.2014 - 13.09.2014.

  4. P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
    "A SAT-based Debugging Tool for State Machines and Sequence Diagrams";
    Vortrag: PUMA/RiSE Workshop, Mondsee; 29.09.2014 - 03.10.2014.

  5. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "On the Parameterized Complexity of Generalized CP-Nets";
    Vortrag: Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 08.10.2014 - 11.10.2014.

  6. N. Musliu:
    "Automated Employee Scheduling";
    Vortrag: SWORDS 2014 - Szeged WORkshop on Discrete Structures, Szeged (eingeladen); 09.10.2014 - 10.10.2014.

  7. N. Musliu:
    "Scheduling Problems: Case Studies and Solution Techniques";
    Vortrag: International Conference on Automated Planning and Scheduling (ICAPS), Portsmouth, USA; 21.06.2014 - 26.06.2014.

  8. S. Woltran:
    "Comparing the Power of Different Semantics for Abstract Argumentation";
    Vortrag: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC, Luxemburg (eingeladen); 24.10.2014.


Dissertationen (eigene und begutachtete)


  1. R. Fayzrakhmanov:
    "Web Accessibility for the Blind Through Visual Representation Analysis";
    Betreuer/in(nen), Begutachter/in(nen): R. Pichler, A. Provetti; Institut für Informationssysteme, 2014.

  2. M. Lackner:
    "Detecting Structure in Permutations and Preferences";
    Betreuer/in(nen), Begutachter/in(nen): R. Pichler, St. Szeider, G. Erdélyi; Institut für Informationssysteme, 2014; Rigorosum: 11.06.2014.

  3. E. Sallinger:
    "Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings";
    Betreuer/in(nen), Begutachter/in(nen): R. Pichler, P. Kolaitis; E184, 2014; Rigorosum: 15.07.2014.

  4. M. Triska:
    "Correctness Considerations in CLP(FD) Systems";
    Betreuer/in(nen), Begutachter/in(nen): N. Musliu, J. Wielemaker; Institut für Informationssysteme, 2014; Rigorosum: 29.01.2014.

  5. J. P. Wallner:
    "Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond";
    Betreuer/in(nen), Begutachter/in(nen): S. Woltran, G. Weissenbacher; Institute of Information Systems, 2014; Rigorosum: 28.05.2014.


Diplom- und Master-Arbeiten (eigene und betreute)


  1. D. Bucar:
    "Electric Vehicles Recharge Scheduling with Time Windows";
    Betreuer/in(nen): N. Musliu, S. Bessler; Institut für Informationssysteme, 2014.

  2. M. Diller:
    "Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas";
    Betreuer/in(nen): S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2014; Abschlussprüfung: 11.04.2014.

  3. A. Haret:
    "Merging in the Horn fragment";
    Betreuer/in(nen): S. Woltran, St. Rümmele; Institut für Informationssysteme, 2014; Abschlussprüfung: 23.09.2014.

  4. I. Stoilkovska:
    "XML Data Integration";
    Betreuer/in(nen): R. Pichler; Institut für Informationssysteme, 2014.


Wissenschaftliche Berichte


  1. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
    "D-FLAT: Progress Report";
    Bericht für TU Wien, Institut fuer Informationssysteme; Berichts-Nr. DBAI-TR-2014-86, 2014; 57 S.