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

64 records


Publications in Scientific Journals


  1. A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
    "A Break Scheduling System for Supervision Personnel Using AI techniques.";
    IEEE Intelligent Systems, 25 (2010), 2; 60 - 73.

  2. W. Dvorak, S. Woltran:
    "Complexity of semi-stable and stage semantics in argumentation frameworks";
    Information Processing Letters, Inf. Process. Lett. 110 (2010), 11; 425 - 430.

    More information

  3. U. Egly, S. Gaggl, S. Woltran:
    "Answer-Set Programming Encodings for Argumentation Frameworks";
    Argument & Computation, 1 (2010), 2; 147 - 177.

    More information

  4. A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
    "Computing Product Configurations via UML and Integer Linear Programming";
    International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367.

    More information

  5. G. Gottlob, R. Pichler, F. Wei:
    "Bounded treewidth as a key to tractability of knowledge representation and reasoning";
    Artificial Intelligence, 174 (2010), 1; 105 - 132.

    More information

  6. G. Gottlob, R. Pichler, F. Wei:
    "Monadic datalog over finite structures of bounded treewidth";
    ACM Transactions on Computational Logic, 12 (2010), 1.

    More information

  7. G. Gottlob, R. Pichler, F. Wei:
    "Tractable database design and datalog abduction through bounded treewidth";
    Information Systems, 35 (2010), 3; 278 - 298.

    More information

  8. M. Hermann, R. Pichler:
    "Counting complexity of propositional abduction";
    Journal of Computer and System Sciences, 76 (2010), 7; 634 - 649.

    More information

  9. A. Karatzoglou, I. Feinerer:
    "Kernel-based machine learning for fast text mining in R";
    Computational Statistics and Data Analysis, 54 (2010), 2; 290 - 297.

    More information

  10. R. Pichler, V. Savenkov:
    "Towards practical feasibility of core computation in data exchange";
    Theoretical Computer Science, 411 (2010), 7-9; 935 - 957.

    More information


Contributions to Books


  1. A. Cali, G. Gottlob, T. Lukasiewicz:
    "Datalog extensions for tractable query answering over ontologies";
    in: "Semantic Web Information Management: A Model-Based Perspective", R. De Virgilio, F. Giunchiglia, L. Tanca (ed.); Springer, Heidelberg, 2010, (invited), ISBN: 978-3-642-04328-4, 249 - 279.

  2. T. Eiter, G. Gottlob, T. Schwentick:
    "The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey";
    in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday", A. Blass, N Dershowitz, W. Reisig (ed.); Springer LNCS, Heidelberg (LNCS 6300), 2010, (invited), ISSN: 0302-9743, 227 - 250.


Talks and Poster Presentations (with Proceedings-Entry)


  1. R. Baumgartner, B. Krüpl, M. Goebel, D. Klein, R. Gattringer:
    "Web 2.0 Vision for the Blind";
    Talk: 2nd Web Science Conference - WebSci2010, Raleigh, USA; 04-26-2010 - 04-27-2010; in: "Proceedings of the 2nd Web Science Conference - WebSci2010", (2010).

    More information

  2. S. Bessler, L. Lang, N. Musliu:
    "Scheduling content multicast trees with minimal repetitions";
    Talk: Networks 2010, Warsaw, Poland; 09-27-2010 - 09-30-2010; in: "In Proceedings of the 14th International telecommunications Network Strategy and Planning Symposium", (2010), 1 - 6.

  3. A. Bohn, S. Theußl, I. Feinerer, K. Hornik, P. Mair, N. Walchhofer:
    "A New SNA Centrality Measure Quantifying the Distance to the Nearest Center";
    Talk: 11th Conference of the International Federation of Classification Societies, Dresden, Deutschland; 03-13-2009 - 03-18-2009; in: "Classification as a Tool for Research", H. Locarek-Junge, C. Weihs (ed.); Springer, Studies in Classification, Data Analysis, and Knowledge Organization (2010), 579 - 586.

    More information

  4. G. Brewka, M. Truszczynski, S. Woltran:
    "Representing Preferences Among Sets";
    Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 07-11-2010 - 07-15-2010; in: "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010", M. Fox, D. Poole (ed.); AAAI Press, (2010).

    More information

  5. G. Brewka, S. Woltran:
    "Abstract Dialectical Frameworks";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 05-09-2010 - 05-13-2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 23, 10 pages.

    More information

  6. A. Cali, G. Gottlob, M. Kifer, T. Lukasiewicz, A. Pieris:
    "Ontological reasoning with F-Logic Lite and its extensions";
    Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 07-11-2010 - 07-15-2010; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 1660 - 1665.

  7. A. Cali, G. Gottlob, T. Lukasiewicz, B. Marnette, A. Pieris:
    "Datalog+/-: A family of logical knowledge representation and query languages for new applications";
    Keynote Lecture: Symposium on Logic in Computer Science (LICS), Edinburgh, United Kingdom (invited); 07-11-2010 - 07-14-2010; in: "Proceedings of the 25th Symposium on Logic in Computer Science (LICS 2010)", J.-P. Jouannaud (ed.); IEEE Computer Society, (2010), ISBN: 978-0-7695-4114-3; 228 - 242.

    More information

  8. N. Creignou, J. Schmidt, M. Thomas, S. Woltran:
    "Sets of Boolean Connectives That Make Argumentation Easier";
    Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 117 - 129.

    More information

  9. L. Di Gaspero, J. Gärtner, N. Musliu, A. Schaerf, W. Schafhauser, W. Slany:
    "A hybrid LS-CP solver for the shifts and breaks design problem";
    Talk: HM 2010, Vienna; 10-01-2010 - 10-02-2010; in: "Proceedings of 7th International Workshop on Hybrid Metaheuristics", Lecture Notes in Computer Sciences, 6373 (2010), 46 - 61.

  10. L. Di Gaspero, J. Gärtner, N. Musliu, A. Schaerf, W. Schafhauser, W. Slany:
    "A hybrid LS-CP solver for the shifts and breaks design problem";
    Talk: PATAT 2010, Belfast; 08-10-2010 - 08-13-2010; in: "Proceedings of PATAT 2010 - The 8th International Conference on the Practice and Theory of Automated Timetabling", (2010), 3 pages.

  11. W. Dvorak, R. Pichler, S. Woltran:
    "Towards Fixed-Parameter Tractable Algorithms for Argumentation";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 05-09-2010 - 05-13-2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 24, 11 pages.

    More information

  12. W. Dvorak, St. Szeider, S. Woltran:
    "Reasoning in Argumentation Frameworks of Bounded Clique-Width";
    Talk: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 09-08-2010 - 09-10-2010; in: "Proceedings of COMMA 2010", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; 219 - 230.

    More information

  13. W. Dvorak, S. Woltran:
    "On the Intertranslatability of Argumentation Semantics";
    Talk: NonMon@30 - Thirty Years of Nonmonotonic Reasoning, Lexington, Kentucky, USA; 10-22-2010 - 10-25-2010; in: "Proceedings of the Conference on Thirty Years of Nonmonotonic Reasoning", (2010), 15 pages.

    More information

  14. C. dŽAmato, F. Esposito, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
    "Inductive reasoning and Semantic Web search";
    Talk: 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland; 03-22-2010 - 03-26-2010; in: "Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010)", S. Shin, S. Ossowski, M. Schumacher, M. Palakal, C. Hung (ed.); ACM, (2010), ISBN: 978-1-60558-638-0; 1446 - 1447.

    More information

  15. C. dŽAmato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
    "Combining Semantic Web search with the power of inductive reasoning";
    Talk: International Conference on Scalable Uncertainty Management (SUM), Toulouse, France; 09-27-2010 - 09-29-2010; in: "Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010)", A. Deshpande, A. Hunter (ed.); Springer LNCS, 6379 (2010), ISBN: 978-3-642-15950-3; 137 - 150.

    More information

  16. R. Fayzrakhmanov, M. Goebel, W. Holzinger, B. Krüpl, R. Baumgartner:
    "A Unified Ontology-Based Web Page Model for Improving Accessibility";
    Talk: International World Wide Web Conference (WWW), Raleigh, USA; 04-26-2010 - 04-30-2010; in: "Proceedings of the 19th international conference on World Wide Web", M. Rappa, P. Jones (ed.); ACM Press, (2010), 1087 - 1088.

    More information

  17. R. Fayzrakhmanov, M. Goebel, W. Holzinger, B. Krüpl, A. Mager, R. Baumgartner:
    "Modelling Web Navigation with the User in Mind";
    Talk: 2010 International Cross Disciplinary Conference on Web Accessibility - W4A2010, Raleigh, USA; 04-26-2010 - 04-27-2010; in: "Proceedings of the 2010 International Cross Disciplinary Conference on Web Accessibility - W4A2010", ACM Press, (2010), ISBN: 978-1-4503-0045-2.

    More information

  18. B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz:
    "Semantic Web search based on ontological conjunctive queries";
    Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Sofia, Bulgaria; 02-14-2010 - 02-19-2010; in: "Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)", H. Prade, S. Link (ed.); Springer LNCS, 5956 (2010), ISBN: 978-3-642-11828-9; 153 - 172.

    More information

  19. I. Feinerer:
    "Analysis and Algorithms for Stemming Inversion";
    Poster: 6th Asia Information Retrieval Societies Conference, Taipei, Taiwan; 12-01-2010 - 12-03-2010; in: "Information Retrieval Technology - AIRS 2010 Proceedings", P. Cheng, M. Kan, W. Lam, P. Nakov (ed.); Springer, Lecture Notes in Computer Science 6458 (2010), 290 - 299.

    More information

  20. I. Feinerer, A. Karatzoglou:
    "Support Vector Machines for Large Scale Text Mining in R";
    Talk: 19th International Conference on Computational Statistics, Paris, Frankreich; 08-22-2010 - 08-27-2010; in: "COMPSTAT 2010 --- Proceedings in Computational Statistics", Y. Lechevallier, G. Saporta (ed.); Physica, Heidelberg, Deutschland (2010), ISBN: 978-3-7908-2603-6; 999 - 1006.

    More information

  21. K. Fröschl, R. Baumgartner, N. Walchhofer, M. Hronsky, M. Pöttler:
    "Semantic Online Tourism Market Monitoring";
    Talk: 17th ENTER eTourism Conference, Lugano, Switzerland; 02-10-2010 - 02-12-2010; in: "Proceedings of the International Conference in Lugano", Springer Wien/New York, (2010), ISBN: 9783211994061; 629 - 640.

    More information

  22. S. Gaggl:
    "Towards a General Argumentation System based on Answer-Set Programming";
    Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-16-2010 - 07-19-2010; in: "Technical Communications of the 26th International Conference on Logic Programming", M. Hermenegildo, T. Schaub (ed.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; 265 - 269.

    More information

  23. S. Gaggl, S. Woltran:
    "cf2 Semantics Revisited";
    Talk: COMMA - International Conference on Computational Models of Argument, Italien, Desenzano del Garda; 09-08-2010 - 09-10-2010; in: "Computational Models of Argument", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications/216/Niederlande (2010), ISBN: 9781607506188; 243 - 254.

    More information

  24. Th. Hammerl, N. Musliu:
    "Ant Colony Optimization for Tree Decompositions";
    Talk: EvoCOP 2010, Istanbul; 04-07-2010 - 04-09-2010; in: "Evolutionary Computation in Combinatorial Optimization, 10th European Conference, EvoCOP 2010, Proceedings", Lecture Notes in Computer Science, Springer, 6022 (2010), 95 - 106.

  25. B. Krüpl:
    "Looking For the Sweet Spot Between Low-Threshold Participation and Expressiveness in Social Media";
    Talk: 2nd Web Science Conference - WebSci2010, Raleigh, USA; 04-26-2010 - 04-27-2010; in: "Proceedings of the 2nd Web Science Conference - WebSci2010", (2010).

    More information

  26. M. Morak, R. Pichler, St. Rümmele, S. Woltran:
    "A Dynamic-Programming Based ASP-Solver";
    Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "Lecture Notes in Artificial Intelligence", R. Goebel, J. Siekmann, W. Wahlster (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 369 - 372.

    More information

  27. E. Oikarinen, S. Woltran:
    "Characterizing Strong Equivalence for Argumentation Frameworks";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 05-09-2010 - 05-13-2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 25, 11 pages.

    More information

  28. A. Pfandler, R. Pichler, S. Woltran:
    "Decentralized Diagnosis: Complexity Analysis and Datalog Encodings";
    Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 291 - 292.

    More information

  29. R. Pichler, A. Polleres, S. Skritek, S. Woltran:
    "Minimising RDF Graphs under Rules and Constraints Revisited";
    Talk: 4th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2010), Bueons Aires, Argentina; 05-17-2010 - 05-20-2010; in: "Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management", A. H. F. Laender, L. V. S. Lakshmanan (ed.); CEUR Workshop Proceedings, 619 (2010), ISSN: 1613-0073.

    More information

  30. R. Pichler, A. Polleres, S. Skritek, S. Woltran:
    "Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries";
    Talk: RR 2010 - The fourth international Conference on Web Reasoning and Rule Systems, Brixen, Italy; 09-22-2010 - 09-24-2010; in: "RR 2010", P. Hitzler, T. Lukasiewicz (ed.); Lecture Notes/ Springer, 6333 (2010), ISBN: 978-3-642-15917-6; 133 - 148.

    More information

  31. R. Pichler, St. Rümmele, St. Szeider, S. Woltran:
    "Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 05-09-2010 - 05-13-2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 71, 10 pages.

    More information

  32. R. Pichler, St. Rümmele, S. Woltran:
    "Counting and Enumeration Problems with Bounded Treewidth";
    Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Dakar, Senegal; 04-25-2010 - 05-01-2010; in: "Lecture Notes in Artificial Intelligence 6355", R. Goebel, J. Siekmann, W. Wahlster (ed.); Lecture Notes in Computer Science, 6355 (2010), ISBN: 978-3-642-17510-7; 387 - 404.

    More information

  33. R. Pichler, St. Rümmele, S. Woltran:
    "Multicut Algorithms via Tree Decompositions";
    Talk: 7#{th}^Int. Conference on Algorithms and Complexity - CIAC 2010, Rome, Italy; 05-26-2010 - 05-28-2010; in: "Algorithms and Complexity", T. Calamoneri, J. Diaz (ed.); LNCS, Springer, 6078 (2010), ISBN: 978-3-642-13072-4; 167 - 179.

    More information

  34. R. Pichler, V. Savenkov, S. Skritek, H. Truong:
    "Uncertain Databases in Collaborative Data Management";
    Talk: The Fourth International VLDB Workshop on Management of Uncertain Data, Singapore, Singapur; 09-13-2010 - 09-17-2010; in: "CTIT Workshop Proceedings Series", A. De Keijzer, M. Van Keulen (ed.); CTIT, Centre for Telematics and Information Technology, (2010), ISSN: 0929-0672; 129 - 143.

    More information

  35. R. Pichler, S. Woltran:
    "The Complexity of Handling Minimal Solutions in Logic-Based Abduction";
    Talk: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 08-16-2010 - 08-20-2010; in: "Prooceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence", H. Coelho, R. Studer, M. Woolridge (ed.); IOS Press, 215 (2010), ISBN: 978-1-60750-605-8; 895 - 900.

    More information

  36. E. Sallinger, R. Pichler, V. Savenkov:
    "Schema Mapping Optimization in the Presence of Target Constraints";
    Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 309 - 310.

    More information

  37. S. Skritek, R. Pichler:
    "Implementing a Peer Database Management System";
    Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 299 - 300.

    More information

  38. M. Widl, N. Musliu:
    "An improved memetic algorithm for break scheduling";
    Talk: HM 2010, Vienna; 10-01-2010 - 10-02-2010; in: "Proceddings of 7th International Workshop on Hybrid Metaheuristics", Lecture Notes in Computer Sciences, 6373 (2010), 133 - 147.

  39. S. Woltran:
    "Strong Equivalence in Argumentation";
    Talk: CLIMA XI - 11th International Workshop on Computational Logis in Multi-Agent Systems, Lisbon, Portugal (invited); 08-16-2010 - 08-17-2010; in: "Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA", J. Dix, J. Leite, G. Governatori, W. Jamroga (ed.); Lecture Notes/ Springer, 6245 (2010), ISBN: 978-3-642-14976-4; 14.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. St. Rümmele:
    "Efficient Algorithms for Nonmonotonic Reasoning Using Treewidth";
    Poster: KR 2010 Doctoral Consortium, Toronto, Canada; 05-09-2010 - 05-13-2010.

  2. E. Sallinger:
    "Analyzing, comparing and debugging schema mappings";
    Talk: Data Exchange, Integration, and Streams (DEIS'10), Schloß Dagstuhl, Deutschland; 11-07-2010 - 11-12-2010.

  3. V. Savenkov:
    "Algorithms for computing the core of universal solutions";
    Talk: Data Exchange, Integration, and Streams (DEIS'10), Schloß Dagstuhl, Deutschland; 11-07-2010 - 11-12-2010.

  4. S. Skritek:
    "Theory of Peer Data Management";
    Talk: Data Exchange, Integration, and Streams (DEIS'10), Schloß Dagstuhl, Deutschland; 11-07-2010 - 11-12-2010.

  5. S. Woltran:
    "Computational Aspects of Abstract Argumentation";
    Talk: Helsinki Graduate School in Computer Science and Engineering, Helsinki (invited); 09-15-2010 - 09-16-2010.

  6. S. Woltran:
    "Deciding Equivalence between Extended Datalog Programs. A Brief Survey";
    Talk: Datalog 2.0 Workshop, Oxford (invited); 03-15-2010 - 03-19-2010.


Doctor's Theses (authored and supervised)


  1. T. Hassan:
    "User-Guided Information Extraction from Print-Oriented Documents";
    Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, 2010; oral examination: 05-31-2010.

    More information

  2. M. Jakl:
    "Fixed parameter algorithms for answer set programming";
    Supervisor, Reviewer: R. Pichler, S. Woltran; Institut für Informationssysteme, 2010; oral examination: 06-29-2010.

    More information

  3. W. Schafhauser:
    "TEMPLE - a domain specific language for modeling and solving real-life staff scheduling problems";
    Supervisor, Reviewer: N. Musliu, J. Gärtner; Institut für Informationssysteme, 2010; oral examination: 11-10-2010.

    More information

  4. M. Simkus:
    "Nonmonotonic Logic Programs with Function Symbols";
    Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 06-02-2010.

    More information


Diploma and Master Theses (authored and supervised)


  1. M. Lackner:
    "Complexity results and algorithms for Multicut on graphs of bounded clique-width";
    Supervisor: R. Pichler; Institut für Informationssysteme, 2010; final examination: 09-30-2010.

    More information

  2. E. Sallinger:
    "Optimizing schema mappings with relaxed notions of equivalence";
    Supervisor: R. Pichler, V. Savenkov; Institut für Informationssysteme, 2010; final examination: 01-28-2010.

    More information

  3. M. Widl:
    "Memetic algorithms for break scheduling";
    Supervisor: N. Musliu; Institut für Informationssysteme, 2010; final examination: 04-30-2010.

    More information