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

69 Datensätze


Zeitschriftenartikel

  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; S. 445 - 464.
  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; S. 11 - 19.
  3. W. Dvorak, S. Ordyniak, St. Szeider:
    "Augmenting Tractable Fragments of Abstract Argumentation";
    Artificial Intelligence, 186 (2012), 186; S. 157 - 173.
  4. W. Dvorak, R. Pichler, S. Woltran:
    "Towards fixed-parameter tractable algorithms for abstract argumentation";
    Artificial Intelligence, 186 (2012), 186; S. 1 - 37.
  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; S. 47 - 85.
  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; S. 56 - 64.
  7. I. Feinerer, G. Salzer:
    "Numeric semantics of class diagrams with multiplicity and uniqueness constraints";
    Software and Systems Modeling, 2012 (2012), 1 S.
  8. K. Hornik, I. Feinerer, M. Kober, Ch. Buchta:
    "Spherical k-Means Clustering";
    Journal of Statistical Software, 50 (2012), 10; S. 1 - 22.
  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 S.
  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; S. 1 - 24.
  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; S. 1 - 31.
  12. M. Triska, N. Musliu:
    "An Effective Greedy Heuristic for the Social Golfer Problem";
    Annals of Operations Research, 194 (2012), 1; S. 413 - 425.
  13. M. Triska, N. Musliu:
    "An improved SAT formulation for the social golfer problem";
    Annals of Operations Research, 194 (2012), 1; S. 427 - 438.

Buchbeiträge

  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 (Hrg.); Springer, 2012, (eingeladen), ISBN: 978-3-642-29957-5, S. 132 - 145.
  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 (Hrg.); herausgegeben von: Springer; Springer LNCS, Springer, 2012, ISBN: 978-3-642-30742-3, S. 57 - 71.
  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 (Hrg.); Springer Netherlands, Dordrecht, 2012, ISBN: 978-94-007-5582-6, S. 357 - 403.

Beiträge in Tagungsbänden

  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", herausgegeben von: IEEE; IEEE Computer Society, 2012, ISBN: 978-1-4673-5114-0, S. 300 - 305.
  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", herausgegeben von: UK Planning and Scheduling Special Interest Group; SIGPLAN, 2012.

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

  1. M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
    "Answering Expressive Path Queries over Lightweight DL Knowledge Bases";
    Vortrag: International Workshop on Description Logics (DL), Rome, Italy; 07.06.2012 - 10.06.2012; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (Hrg.); (2012), ISSN: 1613-0073; S. 81 - 91.
  2. D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
    "The Complexity of Explaining Negative Query Answers in DL-Lite";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 10.06.2012 - 14.06.2012; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012", G. Brewka, T. Eiter, S. McIlraith (Hrg.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; S. 583 - 587.
  3. G. Charwat, W. Dvorak:
    "dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Wien; 10.09.2012 - 12.09.2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (Hrg.); Frontiers in Artificial Intelligence and Applications / IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; S. 507 - 508.
  4. G. Charwat, J. P. Wallner, S. Woltran:
    "Utilizing ASP for Generating and Visualizing Argumentation Frameworks";
    Vortrag: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Ungarn; 04.09.2012; in: "5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)", M. Fink, Y. Lierler (Hrg.); CoRR, (2012), 15 S.
  5. N. Creignou, O. Papini, R. Pichler, S. Woltran:
    "Belief Revision within Fragments of Propositional Logic";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 10.06.2012 - 13.06.2012; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (Hrg.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; 11 S.
  6. W. Dvorak, S. Gaggl:
    "Computational Aspects of cf2 and stage2 Argumentation Semantics.";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Vienna; 10.09.2012 - 12.09.2012; in: "Proceedings of Fourth International Conference on Computational Models of Argument", B. Verheij, St. Szeider, S. Woltran (Hrg.); "Frontiers in Artificial Intelligence and Applications" series/IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; S. 273 - 284.
  7. W. Dvorak, S. Gaggl:
    "Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.";
    Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Rome, Italy; 08.06.2012 - 10.06.2012; in: "Proceedings of 14th International Workshop on Non-Monotonic Reasoning", R. Rosati, S. Woltran (Hrg.); (2012), Paper-Nr. 10, 9 S.
  8. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 10.06.2012 - 14.06.2012; in: "Proceedings of 13th int. conf. of Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (Hrg.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; S. 54 - 64.
  9. W. Dvorak, C. Spanring:
    "Comparing the Expressiveness of Argumentation Semantics";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Wien; 10.09.2012 - 12.09.2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (Hrg.); Frontiers in Artificial Intelligence and Applications / IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; S. 261 - 272.
  10. W. Dvorak, St. Szeider, S. Woltran:
    "Abstract Argumentation via Monadic Second Order Logic";
    Vortrag: International Conference on Scalable Uncertainty Management (SUM), Marburg, Germany; 17.09.2012 - 19.09.2012; in: "Proceedings of Sixth International Conference on Scalable Uncertainty Management (SUM 2012)", E. Hüllermeier, S. Link, T. Fober, B. Seeger (Hrg.); Lecture Notes in Computer Science / Springer, 7520 (2012), ISBN: 978-3-642-33361-3; S. 85 - 98.
  11. T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
    "Query Rewriting for Horn-SHIQ Plus Rules";
    Vortrag: Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada; 22.07.2012 - 26.07.2012; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (Hrg.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; S. 726 - 733.
  12. T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
    "Towards Practical Query Answering for Horn SHIQ.";
    Vortrag: International Workshop on Description Logics (DL), Rome, Italy; 07.06.2012 - 10.06.2012; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (Hrg.); CEUR workshop proceedings, 846 (2012), ISSN: 1613-0073; S. 158 - 168.
  13. St. Ellmauthaler, J. P. Wallner:
    "Evaluating Abstract Dialectical Frameworks with ASP";
    Poster: COMMA - International Conference on Computational Models of Argument, Vienna, Austria; 10.09.2012 - 12.09.2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (Hrg.); IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; S. 505 - 506.
  14. G. Erdély, M. Lackner, A. Pfandler:
    "The Complexity of Nearly Single-Peaked Consistency";
    Vortrag: International Workshop on Computational Social Choice (COMSOC), Krakow, Poland; 11.09.2012 - 13.09.2012; in: "Proceedings of fourth int. conference on Computational Social Choice", F. Brandt, P. Faliszewski (Hrg.); (2012), 12 S.
  15. W. Faber, M. Truszczynski, S. Woltran:
    "Strong Equivalence of Qualitative Optimization Problems";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 10.06.2012 - 14.06.2012; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (Hrg.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; S. 188 - 198.
  16. R. Fayzrakhmanov:
    "Information Extraction from Web Pages Based on Their Visual Representation";
    Vortrag: International Conference on Web Engineering - ICWE, Paphos, Cyprus; 20.06.2011 - 24.06.2011; in: "Lecture Notes in Computer Science", Springer, 7059 (2012), S. 342 - 346.
  17. R. Fayzrakhmanov:
    "WPPS: A framework for web page processing";
    Vortrag: The 13th International Conference on Web Information Systems Engineering (WISE 2012), Paphos, Cypros; 28.11.2012 - 30.11.2012; in: "Lecture Notes of Computer Science", X. S. Wang, I. Cruz, A. Delis, G. Huang (Hrg.); 7651 (2012), ISBN: 978-3-642-35062-7; S. 800 - 803.
  18. R. Fayzrakhmanov:
    "WPPS: A novel and comprehensive framework for web page understanding and information extraction";
    Vortrag: IADIS international conference WWW/Internet 2012, Madrid, Spanien; 18.10.2012 - 21.10.2012; in: "Proceeding of the International Conference IADIS WWW/Internet", B. White, P. Isaias (Hrg.); IADIS Press, (2012), S. 19 - 26.
  19. I. Feinerer:
    "Towards hybrid techniques for efficient declarative configuration";
    Vortrag: ECAI Workshop on Con guration 2012, Montpellier, France; 27.08.2012 - 31.08.2012; in: "Proceedings of the Workshop on Configuration at ECAI 2012", (2012), S. 27 - 30.
  20. M. R. Fellows, A. Pfandler, F. A. Rosamond, St. Rümmele:
    "The Parameterized Complexity of Abduction";
    Vortrag: AAAI Conference, Toronto, Kanada; 22.07.2012 - 26.07.2012; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (Hrg.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; S. 743 - 749.
  21. G. Gottlob, O. Orsi, A. Pieris, M. Simkus:
    "Datalog and Its Extensions for Semantic Web Databases";
    Vortrag: Reasoning Web, International Summer School, Wien (eingeladen); 03.09.2012 - 08.09.2012; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (Hrg.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; S. 54 - 77.
  22. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Closed World Reasoning";
    Vortrag: European Conference on Artificial Intelligence (ECAI), Montpellier, France; 27.08.2012 - 31.08.2012; in: "Proceedings of the ECAI Conference", L. Raedt, Ch. Bessiere, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, P. Lucas (Hrg.); IOS Press, 242 (2012), ISBN: 978-1-61499-097-0; S. 492 - 497.
  23. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 10.06.2012 - 14.06.2012; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (Hrg.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; Paper-Nr. 4880, 11 S.
  24. M. Lackner, R. Pichler, St. Rümmele, S. Woltran:
    "Multicut on Graphs of Bounded Clique-width";
    Vortrag: Annual International Conference on Combinatiorial Optimization and Applications (COCOA), Banff, Canada; 05.08.2012 - 09.08.2012; in: "Lecture Notes of Computer Science", G. Lin (Hrg.); Springer, 7402 (2012), ISBN: 978-3-642-31769-9; S. 115 - 126.
  25. A. Lehrbaum, N. Musliu:
    "A new Hyperheuristic Algorithm for Cross Domain Search Problems";
    Vortrag: Learning and Intelligent OptimizatioN Conference LION, Paris, Frankreich; 16.01.2012 - 20.01.2012; in: "Lecture Notes in Computer Science", Y. Hamadi, M. Schoenauer (Hrg.); Springer, 7219 (2012), ISBN: 978-3-642-34412-1; S. 437 - 442.
  26. A. Letelier, J. Perez, R. Pichler, S. Skritek:
    "SPAM: A SPARQL Analysis and Manipulation Tool";
    Poster: Very Large Databases (VLDB), Istanbul, Turkey; 27.08.2012 - 31.08.2012; in: "Proceedings of the VLDB", Z. M. Özsoyoglu (Hrg.); Vol. 5, No.12 (2012), ISSN: 2150-8097; S. 1958 - 1961.
  27. A. Letelier, J. Perez, R. Pichler, S. Skritek:
    "Static analysis and optimization of semantic web queries";
    Vortrag: ACM Symposium on Principles of Database Systems (PODS), Scottsdale, Arizona, USA; 20.05.2012 - 24.05.2012; in: "Proceedings of the 31st symposium on Principles of Database Systems", M. Benedikt, M. Krötzsch, M. Lenzerini (Hrg.); ACM, (2012), ISBN: 978-1-4503-1248-6; 12 S.
  28. M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran:
    "Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming";
    Vortrag: Learning and Intelligent OptimizatioN Conference LION, Paris, Frankreich; 16.01.2012 - 20.01.2012; in: "Lecture Notes in Computer Science", Y. Hamadi, M. Schoenauer (Hrg.); Springer, 7219 (2012), ISBN: 978-3-642-34412-1; S. 130 - 144.
  29. M. Morak, S. Woltran:
    "Preprocessing of Complex Non-Ground Rules in Answer Set Programming";
    Vortrag: International Conference on Logic Programming (ICLP), Budapest, Ungarn; 04.09.2012 - 08.09.2012; in: "Technical Communications of the 28th International Conference on Logic Programming", A. Dovier, Vitor Costa (Hrg.); LIPIcs, 17 (2012), ISBN: 978-3-939897-43-9; S. 247 - 258.
  30. M. Ortiz de la Fuente, M. Simkus:
    "Reasoning and Query Answering in Description Logics";
    Vortrag: Reasoning Web, International Summer School, Wien (eingeladen); 03.09.2012 - 08.09.2012; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (Hrg.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; S. 1 - 53.
  31. J. Perez, R. Pichler, E. Sallinger, V. Savenkov:
    "Union and Intersection of Schema Mappings";
    Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Preto, Brasil; 27.06.2012 - 30.06.2012; in: "Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management", J. Freire, D. Suciu (Hrg.); CEUR-WS.org, (2012), ISSN: 1613-0073; Paper-Nr. 9, 13 S.
  32. G. Salzer, I. Feinerer, T. Sisel et al.:
    "Configuration Repair via Flow Networks";
    Vortrag: 20th International Symbosium, ISMIS 2012, Macao; 04.12.2012 - 07.12.2012; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (Hrg.); Berlin (2012), ISBN: 978-3-642-34623-1; S. 321 - 330.
  33. S. Skritek:
    "Foundational aspects of semantic web optimization";
    Vortrag: SIGMOD/PODS Ph.D. Symposium 2012, Scottsdale, AZ, USA; 20.05.2012; in: "Proceedings of the SIGMOD/PODS 2012 PhD Symposium", X. L. Dong, M. Özsu (Hrg.); ACM Press, (2012), ISBN: 978-1-4503-1326-1; S. 45 - 50.

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

  1. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "CEGARTIX: A SAT-Based Argumentation System";
    Vortrag: Theory and Application of Satisfiability Testing -- SAT, Trento, Italy; 17.06.2012 - 20.06.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; 10.06.2012 - 14.06.2012.
  3. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Vortrag: Logic and interactions 2012, CIRM, Marseille, France; 30.01.2012 - 02.03.2012.
  4. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Vortrag: Universität Siegen, Siegen, Deutschland; 22.03.2012.
  5. J. P. Wallner:
    "Computational Aspects of Abstract Dialectical Frameworks";
    Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Rome, Italy; 10.06.2012 - 14.06.2012.
  6. J. P. Wallner:
    "Knowledge Base Change and Abstract Dialectical Frameworks";
    Vortrag: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC, University Luxembourg, Luxembourg; 02.04.2012 - 03.04.2012.
  7. S. Woltran:
    "Characteristics of Argumentation Semantics";
    Vortrag: Logique à Marseille -- Camilla Schwind à l'honneur, Marseille (eingeladen); 08.12.2012.

Dissertationen (eigene und begutachtete)

  1. W. Dvorak:
    "Computational Aspects of Abstract Argumentation";
    Betreuer/in(nen), Begutachter/in(nen): S. Woltran, P. Dunne; Institut für Informationssysteme, 2012; Rigorosum: 11.04.2012.
  2. St. Rümmele:
    "The Parameterized Complexity of Nonmonotonic Reasoning";
    Betreuer/in(nen), Begutachter/in(nen): F. Scarcello, G. Brewka; Institut für Informationssysteme, 2012; Rigorosum: 13.09.2012.
  3. V. Savenkov:
    "Foundational Aspects of Schema Mapping Optimization and Normalization";
    Betreuer/in(nen), Begutachter/in(nen): R. Pichler, N. Schweikardt; Institut für Informationssysteme, 2012; Rigorosum: 10.08.2012.

Diplom- und Master-Arbeiten (eigene und betreute)

  1. B. Bliem:
    "Decompose, guess and check : declarative problem solving on tree decompositions";
    Betreuer/in(nen): S. Woltran, R. Pichler; Institut für Informationssysteme, 2012; Abschlussprüfung: 19.11.2012.
  2. G. Charwat:
    "Tree-Decomposition based Algorithms for Abstract Argumentation Frameworks";
    Betreuer/in(nen): S. Woltran, W. Dvorak; Institut für Informationssysteme, 2012; Abschlussprüfung: 22.02.2012.
  3. St. Ellmauthaler:
    "Abstract Dialectical Frameworks: Properties, Complexity, and Implementation";
    Betreuer/in(nen): S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2012; Abschlussprüfung: 13.09.2012.
  4. B. M. Kim:
    "Iterated Local Search for the Traveling Tournament Problem";
    Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2012; Abschlussprüfung: 19.11.2012.
  5. M. Schwengerer:
    "Algorithm Selection for the Graph Coloring Problem";
    Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2012; Abschlussprüfung: 20.11.2012.

Wissenschaftliche Berichte

  1. W. Dvorak, S. Gaggl:
    "Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.";
    Berichts-Nr. DBAI-TR-2012-78, 2012; 21 S.
  2. W. Dvorak, St. Szeider, S. Woltran:
    "Abstract Argumentation via Monadic Second Order Logic.";
    Berichts-Nr. DBAI-TR-2012-79, 2012; 21 S.
  3. S. Gaggl, S. Woltran:
    "The cf2 Argumentation Semantics Revisited.";
    Berichts-Nr. DBAI-TR-2012-77, 2012; 28 S.