TU Home
 


Publication Database Home  

Publication list for members of
E184 - Institute of Information Systems
E184-2 Datenbanken und Artificial Intelligence
as authors or essentially involved persons
2014 - 2014

86 records


Books and Book Editorships


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


Publications in Scientific Journals


  1. M. Alviano, W. Faber, S. Woltran:
    "Complexity of super-coherence problems in ASP";
    Theory and Practice of Logic Programming, 14 (2014), 3; 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; 30 - 38.

    More information

  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; 427 - 449.

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

    More information

  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; 141 - 164.

    More information

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

    More information

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

    More information


Contributions to Books


  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, 191 - 209.

    More information


Contributions to Proceedings


  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 (ed.); CEUR, 2014, 6 pages.

    More information

  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 (ed.); ACM, 2014, 176 - 187.


Talks and Poster Presentations (with Proceedings-Entry)


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

    More information

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

    More information

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

    More information

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

    More information

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

    More information

  6. A. Ahmeti, D. Calvanese, A. Polleres:
    "SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment";
    Talk: 27th International Workshop on Description Logics, Vienna, Austria; 07-17-2014 - 07-20-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 (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; Paper ID 7, 13 pages.

    More information

  7. A. Ahmeti, D. Calvanese, A. Polleres:
    "Updating RDFS ABoxes and TBoxes in SPARQL";
    Talk: 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy; 10-19-2014 - 10-23-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. (ed.); LNCS/Springer, 8796 (2014), ISBN: 978-3-319-11963-2; 441 - 456.

    More information

  8. R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran:
    "Compact Argumentation Frameworks";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 07-17-2014 - 07-19-2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (ed.); (2014), 10 pages.

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

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

    More information

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

    More information

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

    More information

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

    More information

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

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

    More information

  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; 07-17-2014 - 07-20-2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014)", CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 5 pages.

    More information

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

  18. D. Calvanese, T. Kotek, M. Simkus, V. Veith, F. Zuleger:
    "Shape and Content: Incorporating Domain Knowledge into Shape Analysis";
    Talk: International Workshop on Description Logics, Wien; 07-17-2014 - 07-20-2014; in: "International Workshop on Description Logics", (2014), 4 pages.

  19. G. Charwat, A. Pfandler:
    "DEMOCRATIX: A Declarative Approach to Winner Determination";
    Talk: International Workshop on Computational Social Choice (COMSOC), Pittsburgh, Pennsylvania, USA; 06-23-2014 - 06-25-2014; in: "Proceedings of the Fifth International Workshop on Computational Social Choice", A. Procaccia, T. Walsh (ed.); (2014), 15 pages.

    More information

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

    More information

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

    More information

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

    More information

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

    More information

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

    More information

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

    More information

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

    More information

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

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

    More information

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

    More information

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

    More information

  31. E. Elkind, M. Lackner:
    "On Detecting Nearly Structured Preference Profiles";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); (2014), ISBN: 978-1-57735-661-5; 661 - 667.

    More information

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

    More information

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

    More information

  34. T. Kotek, M. Simkus, V. Veith, F. Zuleger:
    "Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability";
    Keynote Lecture: International Workshop on Description Logics, Wien; 07-17-2014 - 07-20-2014; in: "International Workshop on Description Logics", (2014), 4 pages.

  35. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "A Parameterized Complexity Analysis of Generalized CP-Nets";
    Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 07-17-2014 - 07-18-2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages.

    More information

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

    More information

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

    More information

  38. M. Kronegger, A. Pfandler, S. Ordyniak:
    "Backdoors to Planning";
    Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 07-17-2014 - 07-18-2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages.

    More information

  39. M. Lackner:
    "Incomplete Preferences in Single-Peaked Electorates";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); (2014), ISBN: 978-1-57735-661-5; 742 - 748.

    More information

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

    More information

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

    More information

  42. R. Pichler:
    "Certain Answers to Well-Designed SPARQL Queries";
    Talk: Dagstuhl Seminar 14331: "Querying and Reasoning Under Expressive Constraints", Dagstuhl (invited); 08-11-2014 - 08-14-2014; in: "Dagstuhl Reports 4(8)", (2014), ISSN: 2192-5283; 15 - 16.

    More information

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

    More information

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

    More information

  45. J. Pihera, N. Musliu:
    "Application of Machine Learning to Algorithm Selection for TSP";
    Talk: ICTAI 2014, Limassol, Cyprus; 11-10-2014 - 11-12-2014; in: "26th IEEE International Conference on Tools with Artificial Intelligence", (2014), 47 - 54.

    More information

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

    More information

  47. S. Polberg:
    "Extension-based Semantics of Abstract Dialectical Frameworks";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 07-17-2014 - 07-19-2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (ed.); (2014), 10 pages.

  48. S. Polberg:
    "Extension-based Semantics of Abstract Dialectical Frameworks";
    Talk: European Starting AI Researcher Symposium, Prague; 08-18-2014 - 08-19-2014; in: "STAIRS 2014", U. Endriss, J. Leite (ed.); IOS Press, 264 (2014), ISBN: 978-1-61499-421-3; 240 - 249.

    More information

  49. S. Polberg, D. Doder:
    "Probabilistic Abstract Dialectical Frameworks";
    Talk: European Conference on Logics in Artificial Intelligence (JELIA), Funchal; 09-24-2014 - 09-26-2014; in: "Logics in Artificial Intelligence", E. Fermé, J. Leite (ed.); Springer, 8761 (2014), ISBN: 978-3-319-11557-3; 591 - 599.

    More information

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

    More information

  51. G. Schenner, S. Bischof, A. Polleres, S. Steyskal:
    "Integrating Distributed Configurations With RDFS and SPARQL";
    Talk: Workshop on Configuration, Novi Sad; 09-25-2014 - 09-26-2014; in: "Proceedings of the 16th International Configuration Workshop", A. Felfernig, F. Cipriano, A. Haag (ed.); CEUR-WS, Vol-1220 (2014), 7 pages.

    More information

  52. C. Spanring:
    "Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games";
    Talk: Imperial College Computing Student Workshop, London; 09-25-2014 - 09-26-2014; in: "2014 Imperial College Computing Student Workshop", R. Neykova, N. Ng (ed.); (2014), 8 pages.

    More information

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

    More information

  54. S. Woltran:
    "Abstract Argumentation - All Problems Solved?";
    Keynote Lecture: European Conference on Artificial Intelligence (ECAI), Prag, Tschechisch Republik (invited); 08-18-2014 - 08-22-2014; in: "Proceedings ECAI 2014", T. Schaub (ed.); IOS Press, 263 (2014), ISBN: 978-1-61499-418-3.

  55. S. Woltran:
    "An Introduction to Abstract Argumentation";
    Keynote Lecture: 6th USENIX Workshop on the Theory and Practice of Provenance, Köln (invited); 06-12-2014 - 06-13-2014; in: "Proceedings 6th USENIX Workshop on the Theory and Practice of Provenance", A. Chapman, B. Ludaescher, A. Schreiber (ed.); (2014).


Talks and Poster Presentations (without Proceedings-Entry)


  1. M. Baaz, T. Eiter, H. Veith:
    "Vienna Summer of Logic";
    Talk: Vienna Summer of Logic, Wien, Austria (invited); 07-09-2014 - 07-24-2014.

  2. M. Bruner, M. Lackner:
    "The Likelihood of Structure in Preference Profiles";
    Talk: 8th Multidisciplinary Workshop on Advances in Preference Handling, Quebec, Kanada; 06-28-2014.

    More information

  3. U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
    "Conformant Planning as a Case Study of Incremental QBF Solving";
    Talk: International Workshop on Quantified Boolean Formulas, Wien (invited); 07-13-2014.

    More information

  4. 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; 09-07-2014 - 09-13-2014.

    More information

  5. P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
    "A SAT-based Debugging Tool for State Machines and Sequence Diagrams";
    Talk: PUMA/RiSE Workshop, Mondsee; 09-29-2014 - 10-03-2014.

  6. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "On the Parameterized Complexity of Generalized CP-Nets";
    Talk: Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 10-08-2014 - 10-11-2014.

    More information

  7. M. Lackner, E. Elkind:
    "On Detecting Nearly Structured Preference Profiles";
    Talk: Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 10-08-2014 - 10-11-2014.

    More information

  8. N. Musliu:
    "Automated Employee Scheduling";
    Talk: SWORDS 2014 - Szeged WORkshop on Discrete Structures, Szeged (invited); 10-09-2014 - 10-10-2014.

    More information

  9. N. Musliu:
    "Scheduling Problems: Case Studies and Solution Techniques";
    Talk: International Conference on Automated Planning and Scheduling (ICAPS), Portsmouth, USA; 06-21-2014 - 06-26-2014.

    More information

  10. S. Woltran:
    "Comparing the Power of Different Semantics for Abstract Argumentation";
    Talk: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC, Luxemburg (invited); 10-24-2014.


Doctor's Theses (authored and supervised)


  1. R. Fayzrakhmanov:
    "Web Accessibility for the Blind Through Visual Representation Analysis";
    Supervisor, Reviewer: R. Pichler, A. Provetti; Institut für Informationssysteme, 2014.

    More information

  2. M. Lackner:
    "Detecting Structure in Permutations and Preferences";
    Supervisor, Reviewer: R. Pichler, St. Szeider, G. Erdélyi; Institut für Informationssysteme, 2014; oral examination: 06-11-2014.

    More information

  3. E. Sallinger:
    "Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings";
    Supervisor, Reviewer: R. Pichler, P. Kolaitis; E184, 2014; oral examination: 07-15-2014.

    More information

  4. M. Triska:
    "Correctness Considerations in CLP(FD) Systems";
    Supervisor, Reviewer: N. Musliu, J. Wielemaker; Institut für Informationssysteme, 2014; oral examination: 01-29-2014.

  5. J. P. Wallner:
    "Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond";
    Supervisor, Reviewer: S. Woltran, G. Weissenbacher; Institute of Information Systems, 2014; oral examination: 05-28-2014.

    More information


Diploma and Master Theses (authored and supervised)


  1. D. Bucar:
    "Electric Vehicles Recharge Scheduling with Time Windows";
    Supervisor: N. Musliu, S. Bessler; Institut für Informationssysteme, 2014.

  2. M. Diller:
    "Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas";
    Supervisor: S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2014; final examination: 04-11-2014.

    More information

  3. A. Haret:
    "Merging in the Horn fragment";
    Supervisor: S. Woltran, St. Rümmele; Institut für Informationssysteme, 2014; final examination: 09-23-2014.

  4. I. Stoilkovska:
    "XML Data Integration";
    Supervisor: R. Pichler; Institut für Informationssysteme, 2014.

    More information


Scientific Reports


  1. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
    "D-FLAT: Progress Report";
    Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2014-86, 2014; 57 pages.

    More information