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

72 records


Publications in Scientific Journals


  1. B. Bliem, M. Morak, S. Woltran:
    "D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming";
    Theory and Practice of Logic Programming, 12 (2012), 4-5; 445 - 464.

    More information

  2. S. Dustdar, R. Pichler, V. Savenkov, H. Truong:
    "Quality-aware Service-Oriented Data Integration: Requirements, State of the Art and Open Challenges";
    ACM SIGMOD Record, Volume 41 (2012), Number 1; 11 - 19.

    More information

  3. W. Dvorak, S. Ordyniak, St. Szeider:
    "Augmenting Tractable Fragments of Abstract Argumentation";
    Artificial Intelligence, 186 (2012), 186; 157 - 173.

    More information

  4. W. Dvorak, R. Pichler, S. Woltran:
    "Towards fixed-parameter tractable algorithms for abstract argumentation";
    Artificial Intelligence, 186 (2012), 186; 1 - 37.

    More information

  5. T. Eiter, M. Ortiz de la Fuente, M. Simkus:
    "Conjunctive query answering in the description logic SH using knots";
    Journal of Computer and System Sciences, 78 (2012), 1; 47 - 85.

    More information

  6. R. Fayzrakhmanov:
    "A blocks-based geometric model of web pages for automatic processing and information extraction";
    Science and Business:Development Ways, 15 (2012), 9; 56 - 64.

    More information

  7. I. Feinerer, G. Salzer:
    "Numeric semantics of class diagrams with multiplicity and uniqueness constraints";
    Software and Systems Modeling, 2012 (2012), 1 pages.

    More information

  8. K. Hornik, I. Feinerer, M. Kober, Ch. Buchta:
    "Spherical k-Means Clustering";
    Journal of Statistical Software, 50 (2012), 10; 1 - 22.

    More information

  9. R. Pichler, St. Rümmele, St. Szeider, S. Woltran:
    "Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough";
    CoRR - Computing Research Repository, 1204.3040 (2012), abs/1204.3040; 20 pages.

    More information

  10. 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, FirstView Article (2012), July; 1 - 24.

    More information

  11. S. Theußl, I. Feinerer, K. Hornik:
    "A tm Plug-In for Distributed Text Mining in R";
    Journal of Statistical Software, 51 (2012), 5; 1 - 31.

    More information

  12. M. Triska, N. Musliu:
    "An Effective Greedy Heuristic for the Social Golfer Problem";
    Annals of Operations Research, 194 (2012), 1; 413 - 425.

    More information

  13. M. Triska, N. Musliu:
    "An improved SAT formulation for the social golfer problem";
    Annals of Operations Research, 194 (2012), 1; 427 - 438.


Contributions to Books


  1. M. Ali, R. Pichler, H. Truong, S. Dustdar:
    "Incorporating Data Concerns into Query Languages for Data Services";
    in: "Enterprise Information Systems 13th International Conference, ICEIS 2011, Revised Selected Papers, LNBIP 102", R. Zhang, J. Zhang, Z. Zhang, J. Filipe, J. Cordeiro (ed.); Springer, 2012, (invited), ISBN: 978-3-642-29957-5, 132 - 145.

    More information

  2. R. Baumann, G. Brewka, W. Dvorak, S. Woltran:
    "Parameterized Splitting: A Simple Modification-Based Approach";
    in: "Correct Reasoning Correct Reasoning Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz", E. Erdem, J. Lee, Y. Lierler, D. Pearce (ed.); issued by: Springer; Springer LNCS, Springer, 2012, ISBN: 978-3-642-30742-3, 57 - 71.

    More information

  3. S. Modgil, F. Toni, F. Bex, I. Bratko, C. I. Chesnevar, W. Dvorak, M. A. Falappa, X. Fan, S. Gaggl, A. J. Garcia, M. P. Gonzalez, Th. F. Gordon, J. Leite, M. Mozina, Ch. Reed, G. Simari, St. Szeider, P. Torroni, S. Woltran:
    "The Added Value of Argumentation";
    in: "Agreement Technologies", S. Ossowski (ed.); Springer Netherlands, Dordrecht, 2012, ISBN: 978-94-007-5582-6, 357 - 403.

    More information


Contributions to Proceedings


  1. K. Sylejmani, J. Dorn, N. Musliu:
    "A Taboo Search approach for solving Multi Constrained Team Orienteering Problem for application in touristic trip planning";
    in: "12th International Conference on HybridIntelligent Systems", issued by: IEEE; IEEE Computer Society, 2012, ISBN: 978-1-4673-5114-0, 300 - 305.

    More information

  2. K. Sylejmani, J. Dorn, N. Musliu:
    "Tourist trip planning: solo versus group traveling";
    in: "30th Workshop of the UK Planning and Scheduling Special Interest Group", issued by: UK Planning and Scheduling Special Interest Group; SIGPLAN, 2012.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
    "Answering Expressive Path Queries over Lightweight DL Knowledge Bases";
    Talk: International Workshop on Description Logics (DL), Rome, Italy; 06-07-2012 - 06-10-2012; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); (2012), ISSN: 1613-0073; 81 - 91.

    More information

  2. D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
    "The Complexity of Explaining Negative Query Answers in DL-Lite";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-14-2012; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 583 - 587.

    More information

  3. G. Charwat, W. Dvorak:
    "dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool";
    Talk: COMMA - International Conference on Computational Models of Argument, Wien; 09-10-2012 - 09-12-2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (ed.); Frontiers in Artificial Intelligence and Applications / IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 507 - 508.

    More information

  4. G. Charwat, J. P. Wallner, S. Woltran:
    "Utilizing ASP for Generating and Visualizing Argumentation Frameworks";
    Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Ungarn; 09-04-2012; in: "5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)", M. Fink, Y. Lierler (ed.); CoRR, (2012), 15 pages.

    More information

  5. N. Creignou, O. Papini, R. Pichler, S. Woltran:
    "Belief Revision within Fragments of Propositional Logic";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-13-2012; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; 11 pages.

    More information

  6. W. Dvorak, S. Gaggl:
    "Computational Aspects of cf2 and stage2 Argumentation Semantics.";
    Talk: COMMA - International Conference on Computational Models of Argument, Vienna; 09-10-2012 - 09-12-2012; in: "Proceedings of Fourth International Conference on Computational Models of Argument", B. Verheij, St. Szeider, S. Woltran (ed.); "Frontiers in Artificial Intelligence and Applications" series/IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 273 - 284.

    More information

  7. W. Dvorak, S. Gaggl:
    "Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Rome, Italy; 06-08-2012 - 06-10-2012; in: "Proceedings of 14th International Workshop on Non-Monotonic Reasoning", R. Rosati, S. Woltran (ed.); (2012), Paper ID 10, 9 pages.

    More information

  8. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-14-2012; in: "Proceedings of 13th int. conf. of Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 54 - 64.

    More information

  9. W. Dvorak, C. Spanring:
    "Comparing the Expressiveness of Argumentation Semantics";
    Talk: COMMA - International Conference on Computational Models of Argument, Wien; 09-10-2012 - 09-12-2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (ed.); Frontiers in Artificial Intelligence and Applications / IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 261 - 272.

    More information

  10. W. Dvorak, St. Szeider, S. Woltran:
    "Abstract Argumentation via Monadic Second Order Logic";
    Talk: International Conference on Scalable Uncertainty Management (SUM), Marburg, Germany; 09-17-2012 - 09-19-2012; in: "Proceedings of Sixth International Conference on Scalable Uncertainty Management (SUM 2012)", E. Hüllermeier, S. Link, T. Fober, B. Seeger (ed.); Lecture Notes in Computer Science / Springer, 7520 (2012), ISBN: 978-3-642-33361-3; 85 - 98.

    More information

  11. T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
    "Query Rewriting for Horn-SHIQ Plus Rules";
    Talk: Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada; 07-22-2012 - 07-26-2012; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 726 - 733.

    More information

  12. T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
    "Towards Practical Query Answering for Horn SHIQ.";
    Talk: International Workshop on Description Logics (DL), Rome, Italy; 06-07-2012 - 06-10-2012; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); CEUR workshop proceedings, 846 (2012), ISSN: 1613-0073; 158 - 168.

    More information

  13. St. Ellmauthaler, J. P. Wallner:
    "Evaluating Abstract Dialectical Frameworks with ASP";
    Poster: COMMA - International Conference on Computational Models of Argument, Vienna, Austria; 09-10-2012 - 09-12-2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (ed.); IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 505 - 506.

  14. G. Erdély, M. Lackner, A. Pfandler:
    "The Complexity of Nearly Single-Peaked Consistency";
    Talk: International Workshop on Computational Social Choice (COMSOC), Krakow, Poland; 09-11-2012 - 09-13-2012; in: "Proceedings of fourth int. conference on Computational Social Choice", F. Brandt, P. Faliszewski (ed.); (2012), 12 pages.

    More information

  15. W. Faber, M. Truszczynski, S. Woltran:
    "Strong Equivalence of Qualitative Optimization Problems";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-14-2012; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 188 - 198.

    More information

  16. R. Fayzrakhmanov:
    "Information Extraction from Web Pages Based on Their Visual Representation";
    Talk: International Conference on Web Engineering - ICWE, Paphos, Cyprus; 06-20-2011 - 06-24-2011; in: "Lecture Notes in Computer Science", Springer, 7059 (2012), 342 - 346.

    More information

  17. R. Fayzrakhmanov:
    "WPPS: A framework for web page processing";
    Talk: The 13th International Conference on Web Information Systems Engineering (WISE 2012), Paphos, Cypros; 11-28-2012 - 11-30-2012; in: "Lecture Notes of Computer Science", X. S. Wang, I. Cruz, A. Delis, G. Huang (ed.); 7651 (2012), ISBN: 978-3-642-35062-7; 800 - 803.

    More information

  18. R. Fayzrakhmanov:
    "WPPS: A novel and comprehensive framework for web page understanding and information extraction";
    Talk: IADIS international conference WWW/Internet 2012, Madrid, Spanien; 10-18-2012 - 10-21-2012; in: "Proceeding of the International Conference IADIS WWW/Internet", B. White, P. Isaias (ed.); IADIS Press, (2012), 19 - 26.

    More information

  19. I. Feinerer:
    "Towards hybrid techniques for efficient declarative configuration";
    Talk: ECAI Workshop on Con guration 2012, Montpellier, France; 08-27-2012 - 08-31-2012; in: "Proceedings of the Workshop on Configuration at ECAI 2012", (2012), 27 - 30.

    More information

  20. M. R. Fellows, A. Pfandler, F. A. Rosamond, St. Rümmele:
    "The Parameterized Complexity of Abduction";
    Talk: AAAI Conference, Toronto, Kanada; 07-22-2012 - 07-26-2012; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 743 - 749.

    More information

  21. G. Gottlob, O. Orsi, A. Pieris, M. Simkus:
    "Datalog and Its Extensions for Semantic Web Databases";
    Talk: Reasoning Web, International Summer School, Wien (invited); 09-03-2012 - 09-08-2012; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 54 - 77.

  22. M. Lackner, M. Bruner:
    "A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs";
    Talk: Symposium and Workshops on Algorithm Theory (SWAT), Helsinki, Finnland; 07-04-2012 - 07-06-2012; in: "Lecture Notes of Computer Science", F. Fomin, P. Kaski (ed.); Springer, 7357 (2012), ISBN: 978-3-642-31154-3; 261 - 270.

    More information

  23. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Closed World Reasoning";
    Talk: European Conference on Artificial Intelligence (ECAI), Montpellier, France; 08-27-2012 - 08-31-2012; in: "Proceedings of the ECAI Conference", L. Raedt, Ch. Bessiere, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, P. Lucas (ed.); IOS Press, 242 (2012), ISBN: 978-1-61499-097-0; 492 - 497.

    More information

  24. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-14-2012; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; Paper ID 4880, 11 pages.

    More information

  25. M. Lackner, R. Pichler, St. Rümmele, S. Woltran:
    "Multicut on Graphs of Bounded Clique-width";
    Talk: Annual International Conference on Combinatiorial Optimization and Applications (COCOA), Banff, Canada; 08-05-2012 - 08-09-2012; in: "Lecture Notes of Computer Science", G. Lin (ed.); Springer, 7402 (2012), ISBN: 978-3-642-31769-9; 115 - 126.

    More information

  26. A. Lehrbaum, N. Musliu:
    "A new Hyperheuristic Algorithm for Cross Domain Search Problems";
    Talk: Learning and Intelligent OptimizatioN Conference LION, Paris, Frankreich; 01-16-2012 - 01-20-2012; in: "Lecture Notes in Computer Science", Y. Hamadi, M. Schoenauer (ed.); Springer, 7219 (2012), ISBN: 978-3-642-34412-1; 437 - 442.

    More information

  27. A. Letelier, J. Perez, R. Pichler, S. Skritek:
    "SPAM: A SPARQL Analysis and Manipulation Tool";
    Poster: Very Large Databases (VLDB), Istanbul, Turkey; 08-27-2012 - 08-31-2012; in: "Proceedings of the VLDB", Z. M. Özsoyoglu (ed.); Vol. 5, No.12 (2012), ISSN: 2150-8097; 1958 - 1961.

    More information

  28. A. Letelier, J. Perez, R. Pichler, S. Skritek:
    "Static analysis and optimization of semantic web queries";
    Talk: ACM Symposium on Principles of Database Systems (PODS), Scottsdale, Arizona, USA; 05-20-2012 - 05-24-2012; in: "Proceedings of the 31st symposium on Principles of Database Systems", M. Benedikt, M. Krötzsch, M. Lenzerini (ed.); ACM, (2012), ISBN: 978-1-4503-1248-6; 12 pages.

    More information

  29. M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran:
    "Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming";
    Talk: Learning and Intelligent OptimizatioN Conference LION, Paris, Frankreich; 01-16-2012 - 01-20-2012; in: "Lecture Notes in Computer Science", Y. Hamadi, M. Schoenauer (ed.); Springer, 7219 (2012), ISBN: 978-3-642-34412-1; 130 - 144.

    More information

  30. M. Morak, S. Woltran:
    "Preprocessing of Complex Non-Ground Rules in Answer Set Programming";
    Talk: International Conference on Logic Programming (ICLP), Budapest, Ungarn; 09-04-2012 - 09-08-2012; in: "Technical Communications of the 28th International Conference on Logic Programming", A. Dovier, Vitor Costa (ed.); LIPIcs, 17 (2012), ISBN: 978-3-939897-43-9; 247 - 258.

    More information

  31. M. Ortiz de la Fuente, M. Simkus:
    "Reasoning and Query Answering in Description Logics";
    Talk: Reasoning Web, International Summer School, Wien (invited); 09-03-2012 - 09-08-2012; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 1 - 53.

    More information

  32. J. Perez, R. Pichler, E. Sallinger, V. Savenkov:
    "Union and Intersection of Schema Mappings";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Preto, Brasil; 06-27-2012 - 06-30-2012; in: "Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management", J. Freire, D. Suciu (ed.); CEUR-WS.org, (2012), ISSN: 1613-0073; Paper ID 9, 13 pages.

    More information

  33. G. Salzer, I. Feinerer, T. Sisel et al.:
    "Configuration Repair via Flow Networks";
    Talk: 20th International Symbosium, ISMIS 2012, Macao; 12-04-2012 - 12-07-2012; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (ed.); Berlin (2012), ISBN: 978-3-642-34623-1; 321 - 330.

  34. S. Skritek:
    "Foundational aspects of semantic web optimization";
    Talk: SIGMOD/PODS Ph.D. Symposium 2012, Scottsdale, AZ, USA; 05-20-2012; in: "Proceedings of the SIGMOD/PODS 2012 PhD Symposium", X. L. Dong, M. Özsu (ed.); ACM Press, (2012), ISBN: 978-1-4503-1326-1; 45 - 50.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "CEGARTIX: A SAT-Based Argumentation System";
    Talk: Theory and Application of Satisfiability Testing -- SAT, Trento, Italy; 06-17-2012 - 06-20-2012.

  2. S. Gaggl:
    "A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation";
    Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Rome, Italy; 06-10-2012 - 06-14-2012.

    More information

  3. M. Lackner:
    "A Fast Algorithm for Permutation Pattern Matching";
    Talk: Universität Siegen, Siegen, Deutschland; 03-22-2012.

    More information

  4. M. Lackner, M. Bruner:
    "Permutation Pattern Matching and its Parameterized Complexity";
    Talk: Conference on Computability in Europe CiE, Cambridge, Great Britain; 06-18-2012 - 06-23-2012.

    More information

  5. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Talk: Logic and interactions 2012, CIRM, Marseille, France; 01-30-2012 - 03-02-2012.

    More information

  6. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Talk: Universität Siegen, Siegen, Deutschland; 03-22-2012.

    More information

  7. J. P. Wallner:
    "Computational Aspects of Abstract Dialectical Frameworks";
    Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Rome, Italy; 06-10-2012 - 06-14-2012.

    More information

  8. J. P. Wallner:
    "Knowledge Base Change and Abstract Dialectical Frameworks";
    Talk: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC, University Luxembourg, Luxembourg; 04-02-2012 - 04-03-2012.

  9. S. Woltran:
    "Characteristics of Argumentation Semantics";
    Talk: Logique à Marseille -- Camilla Schwind à l'honneur, Marseille (invited); 12-08-2012.


Doctor's Theses (authored and supervised)


  1. W. Dvorak:
    "Computational Aspects of Abstract Argumentation";
    Supervisor, Reviewer: S. Woltran, P. Dunne; Institut für Informationssysteme, 2012; oral examination: 04-11-2012.

    More information

  2. St. Rümmele:
    "The Parameterized Complexity of Nonmonotonic Reasoning";
    Supervisor, Reviewer: F. Scarcello, G. Brewka; Institut für Informationssysteme, 2012; oral examination: 09-13-2012.

    More information

  3. V. Savenkov:
    "Foundational Aspects of Schema Mapping Optimization and Normalization";
    Supervisor, Reviewer: R. Pichler, N. Schweikardt; Institut für Informationssysteme, 2012; oral examination: 08-10-2012.

    More information


Diploma and Master Theses (authored and supervised)


  1. B. Bliem:
    "Decompose, guess and check : declarative problem solving on tree decompositions";
    Supervisor: S. Woltran, R. Pichler; Institut für Informationssysteme, 2012; final examination: 11-19-2012.

    More information

  2. G. Charwat:
    "Tree-Decomposition based Algorithms for Abstract Argumentation Frameworks";
    Supervisor: S. Woltran, W. Dvorak; Institut für Informationssysteme, 2012; final examination: 02-22-2012.

    More information

  3. St. Ellmauthaler:
    "Abstract Dialectical Frameworks: Properties, Complexity, and Implementation";
    Supervisor: S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2012; final examination: 09-13-2012.

    More information

  4. B. M. Kim:
    "Iterated Local Search for the Traveling Tournament Problem";
    Supervisor: N. Musliu; Institut für Informationssysteme, 2012; final examination: 11-19-2012.

    More information

  5. M. Schwengerer:
    "Algorithm Selection for the Graph Coloring Problem";
    Supervisor: N. Musliu; Institut für Informationssysteme, 2012; final examination: 11-20-2012.

    More information


Scientific Reports


  1. W. Dvorak, S. Gaggl:
    "Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.";
    Report No. DBAI-TR-2012-78, 2012; 21 pages.

    More information

  2. W. Dvorak, St. Szeider, S. Woltran:
    "Abstract Argumentation via Monadic Second Order Logic.";
    Report No. DBAI-TR-2012-79, 2012; 21 pages.

    More information

  3. S. Gaggl, S. Woltran:
    "The cf2 Argumentation Semantics Revisited.";
    Report No. DBAI-TR-2012-77, 2012; 28 pages.

    More information