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

70 Datensätze


Bücher und Buch-Herausgaben


J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran (Hrg.):
"Computational Logic in Multi-Agent Systems";
Springer, 2013, ISBN: 978-3-642-40623-2.


Zeitschriftenartikel


D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
"Reasoning about Explanations for Negative Query Answers in DL-Lite";
Journal of Artificial Intelligence Research, 48 (2013), S. 635 - 669.

J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"A Model-Theoretic Approach to Belief Change in Answer Set Programming";
ACM Transactions on Computational Logic, 14 (2013), 2.

P. Dunne, W. Dvorak, S. Woltran:
"Parametric Properties of Ideal Semantics";
Artificial Intelligence, 202 (2013), 1; S. 1 - 28.

T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
"Model-Based Recasting in Answer-Set Programming";
Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; S. 75 - 104.

W. Faber, M. Truszczynski, S. Woltran:
"Strong Equivalence of Qualitative Optimization Problems";
Journal of Artificial Intelligence Research, 47 (2013), S. 351 - 391.

I. Feinerer:
"Efficient large-scale configuration via integer linear programming";
Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 27 (2013), 1; S. 37 - 49.

S. Gaggl, S. Woltran:
"The cf2 argumentation semantics revisited.";
Journal of Logic and Computation, 23 (2013), 5; S. 925 - 949.

C. Green, I. Feinerer, J. Burman:
"Beyond the schools of psychology 1: A digital analysis of Psychological Review, 1894-1903";
Journal of the History of the Behavioral Sciences, 49 (2013), 2; S. 167 - 189.

K. Hornik, P. Mair, J. Rauch, W. Geiger, Ch. Buchta, I. Feinerer:
"The textcat package for n-gram based text categorization in R";
Journal of Statistical Software, 52 (2013), 6; S. 1 - 17.

A. Letelier, J. Perez, R. Pichler, S. Skritek:
"Static Analysis and Optimization of Semantic Web Queries";
ACM Transactions on Database Systems (eingeladen), 38 (2013), 4; S. 25:1 - 25:45.

R. Pichler, A. Polleres, S. Skritek, S. Woltran:
"Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries";
Semantic Web (eingeladen), 4 (2013), 4; S. 351 - 393.

R. Pichler, E. Sallinger, V. Savenkov:
"Relaxed Notions of Schema Mapping Equivalence Revisited";
Theory of Computing Systems (eingeladen), 52 (2013), 3; S. 483 - 541.

R. Pichler, S. Skritek:
"Tractable counting of the answers to conjunctive queries";
Journal of Computer and System Sciences (eingeladen), 79 (2013), 6; S. 984 - 1001.

A. Polleres, J. P. Wallner:
"On the relation between SPARQL1.1 and Answer Set Programming";
Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; S. 159 - 212.


Buchbeiträge


L. Di Gaspero, J. Gärtner, N. Musliu, A. Schaerf, W. Schafhauser, W. Slany:
"Automated Shift Design and Break Scheduling";
in: "Automated Scheduling and Planning, Studies in Computational Intelligence Volume 505", Springer, 2013, (eingeladen), S. 109 - 127.


Beiträge in Tagungsbänden


N. Creignou, R. Pichler, S. Woltran:
"Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?";
in: "Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (Hrg.); AAAI Press, 2013, ISBN: 978-1-57735-633-2, S. 954 - 961.

W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
"Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems";
in: "Applications of Declarative Programming and Knowledge Management", H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (Hrg.); Springer, 2013, ISBN: 978-3-642-41523-4, S. 114 - 133.

W. Faber, M. Truszczynski, S. Woltran:
"Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence";
in: "Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence", AAAI Press, 2013, ISBN: 978-1-57735-615-8, S. 297 - 303.

C. Herzog, I. Kordomatis, W. Holzinger, R. Fayzrakhmanov, B. Krüpl-Sypien:
"Feature-based object identification for web automation";
in: "Proceedings of the 28th Annual ACM Symposium on Applied Computing", D. Shin (Hrg.); ACM, 2013, ISBN: 978-1-4503-1656-9, S. 742 - 749.

I. Kordomatis, C. Herzog, R. Fayzrakhmanov, B. Krüpl-Sypien, W. Holzinger, R. Baumgartner:
"Web object identification for web automation and meta-search";
in: "Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics", C. David, D. Moreno, R. Akerkar (Hrg.); ACM, 2013, ISBN: 978-1-4503-1850-1.

A. Roth, S. Skritek:
"Peer Data Management";
in: "Data Exchange, Integration, and Streams", P. Kolaitis, M. Lenzerini, N. Schweikardt (Hrg.); herausgegeben von: Schloss Dagstuhl; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2013, (eingeladen), ISBN: 978-3-939897-61-3, 30 S.

V. Savenkov:
"Algorithms for Core Computation in Data Exchange";
in: "Data Exchange, Integration, and Streams", P. Kolaitis, M. Lenzerini, N. Schweikardt (Hrg.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl, 2013, (eingeladen), ISBN: 978-3-939897-61-3, Paper-Nr. 2, 31 S.


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


A. Ahmeti, A. Polleres:
"SPARQL Update under RDFS Entailment in Fully Materialized and Redundancy-Free Triple Stores";
Vortrag: OrdRing 2013 - 2nd International Workshop on Ordering and Reasoning, Sydney, Australien; 21.10.2013 - 22.10.2013; in: "Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013", I. Celino, E. Valle, M. Krötzsch, S. Schlobach (Hrg.); CEUR-WS, Vol-1059 (2013), ISSN: 1613-0073; Paper-Nr. 3, 12 S.

M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
"The Fourth Answer Set Programming Competition: Preliminary Report";
Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (eingeladen); 15.09.2013 - 19.09.2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (Hrg.); Springer, 8148 (2013), S. 42 - 53.

T. Ambroz, G. Charwat, A. Jusits, J. P. Wallner, S. Woltran:
"ARVis: Visualizing Relations between Answer Sets";
Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 15.09.2013 - 19.09.2013; in: "Logic Programming and Nonmonotonic Reasoning", P. Cabalar, T. Son (Hrg.); Springer, 8143 (2013), ISBN: 978-3-642-40563-1; S. 73 - 78.

M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive Regular Path Queries in Lightweight Description Logics";
Vortrag: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 03.08.2013 - 09.08.2013; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (Hrg.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; S. 761 - 767.

M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao:
"Tractability Guarantees for DL-Lite Query Answering";
Vortrag: International Workshop on Description Logics (DL), Ulm, Germany; 23.07.2013 - 26.07.2013; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (Hrg.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; S. 41 - 52.

M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao:
"Tractable Queries for Lightweight Description Logics";
Vortrag: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 03.08.2013 - 09.08.2013; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (Hrg.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; S. 768 - 774.

S. Bischof, A. Polleres:
"RDFS with attribute equations via SPARQL rewriting";
Vortrag: 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France; 26.05.2013 - 30.05.2013; in: "The Semantic Web: Semantics and Big Data", P. Cimiano, O. Corcho, V. Presutti, L. Hollink, S. Rudolph (Hrg.); Springer LNCS, 7882 (2013), ISBN: 978-3-642-38287-1; S. 335 - 350.

S. Bischof, A. Polleres, S. Sperl:
"City Data Pipeline - A System for Making Open Data Useful for Cities";
Poster: 9th International Conference on Semantic Systems (I-SEMANTICS 2013), Graz; 04.09.2013 - 06.09.2013; in: "Proceedings of the I-SEMANTICS 2013 Posters & Demonstrations Track", CEUR, (2013), ISBN: 978-1-4503-1972-0; Paper-Nr. 10, 45 S.

B. Bliem, R. Pichler, S. Woltran:
"Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem";
Vortrag: International Symposium on Parameterized and Exact Computation (IPEC), Sophia Antipolis; 04.09.2013 - 06.09.2013; in: "Parameterized and Exact Computation", G. Gutin, St. Szeider (Hrg.); Springer, 8246 (2013), ISBN: 978-3-319-03897-1; S. 28 - 40.

G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran:
"Abstract Dialectical Frameworks Revisited";
Poster: Twenty-third International Conference on Artificial Intelligence, Beijing, China; 03.08.2013 - 09.08.2013; in: "Proceedings of the twenty-third International Joint Conference on Artificial Intelligence (IJCAI 2013)", F. Rossi (Hrg.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; S. 803 - 809.

D. Bucar, S. Bessler, N. Musliu, J. Grønbæk:
"Scheduling of electric vehicle charging operations";
Vortrag: MISTA - Multidisciplinary International Scheduling Conference: Theory and Applications, Gent, Belgium; 27.08.2013 - 30.08.2013; in: "Proceedings of MISTA 2013- Multidisciplinary International Scheduling Conference: Theory and Applications", (2013), S. 1 - 13.

D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Evolving Graph Databases under Description Logic Constraints";
Vortrag: International Workshop on Description Logics (DL), Ulm, Germany; 23.07.2013 - 26.07.2013; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (Hrg.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; S. 120 - 131.

G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
"VCWC: A Versioning Competition Workflow Compiler";
Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 15.09.2013 - 19.09.2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (Hrg.); Springer, 8148 (2013), S. 233 - 238.

F. Chertes, I. Feinerer:
"UMAP: A universal layer for schema mapping languages";
Vortrag: 24th International Conference on Database and Expert Systems Applications, Prague; 26.08.2013 - 29.08.2013; in: "Proceedings of the 24th International Conference on Database and Expert Systems Applications", H. Decker, L. Lhotská, S. Link, J. Basl, A. Tjoa (Hrg.); Lecture Notes in Computer Science, 8056 (2013), S. 349 - 363.

J. Delgrande, P. Peppas, S. Woltran:
"AGM-Style Belief Revision of Logic Programs under Answer Set Semantics";
Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 15.09.2013 - 19.09.2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (Hrg.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; S. 264 - 276.

G. Erdélyi, M. Lackner, A. Pfandler:
"Computational Aspects of Nearly Single-Peaked Electorates";
Vortrag: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA; 14.07.2013 - 18.07.2013; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)", AAAI Press, (2013), S. 283 - 289.

I. Feinerer, P. Guagliardo, E. Franconi:
"Lossless horizontal decomposition with domain constraints on interpreted attributes";
Vortrag: 29th British National Conference on Databases, Oxford; 08.07.2013 - 10.07.2013; in: "Proceedings of the 29th British National Conference on Databases", G. Gottlob, G. Grasso, D. Olteanu, C. Schallhart (Hrg.); Lecture Notes in Computer Science, 7968 (2013), S. 77 - 91.

I. Feinerer, G. Salzer, T. Sisel:
"Class diagrams with equated association chains";
Vortrag: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 01.07.2013 - 03.07.2013; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), S. 209 - 216.

P. Guagliardo, R. Pichler, E. Sallinger:
"Enhancing the Updatability of Projective Views";
Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico; 21.05.2013 - 23.05.2013; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management", CEUR Workshop Proceedings, 1087 (2013), ISSN: 1613-0073; 7 S.

A. Hubmer, R. Pichler, V. Savenkov, S. Skritek:
"Efficient Updates of Uncertain Databases";
Vortrag: 7th Alberto Mendelzon International Workshop on Foundations of Data Management 2013, Puebla/Cholula, Mexico; 21.05.2013 - 23.05.2013; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management Puebla/Cholula, Mexico, May 21-23, 2013", L. Bravo, M. Lenzerini (Hrg.); CEUR-WS, Vol-1087 (2013), ISSN: 1613-0073; Paper-Nr. 9, 7 S.

A. Hunter, S. Woltran:
"Structural Properties for Deductive Argument Systems";
Vortrag: The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Utrecht, The Netherlands; 08.08.2013 - 10.08.2013; in: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty", L. van der Gaag (Hrg.); Springer, 7958 (2013), ISBN: 978-3-642-39090-6; S. 278 - 289.

P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines";
Vortrag: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013), Miami, USA; 01.10.2013; in: "Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR Workshop Proceedings, Vol-1069 (2013), ISSN: 1613-0073; S. 31 - 40.

M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
"A Parameterized Complexity Analysis of Generalized CP-Nets";
Vortrag: 7th Multidisciplinary Workshop on Advances in Preference Handling, Peking, China; 03.08.2013 - 05.08.2013; in: "7th Multidisciplinary Workshop on Advances in Preference Handling", (2013), 7 S.

M. Kronegger, A. Pfandler, R. Pichler:
"Conformant Planning as a Benchmark for QBF-Solvers";
Vortrag: International Workshop on Quantified Boolean Formulas, Helsinki; 09.07.2013; in: "International Workshop on Quantified Boolean Formulas (QBF 2013)", (2013), 5 S.

M. Kronegger, A. Pfandler, R. Pichler:
"Parameterized Complexity of Optimal Planning: A Detailed Map";
Vortrag: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 03.08.2013 - 09.08.2013; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (Hrg.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; S. 954 - 961.

N. Musliu:
"Analyzing the Features of Employee Scheduling Problems (abstract)";
Vortrag: XXVI EURO - INFORMS Joint International Conference, Rome, Italy (eingeladen); 01.07.2013 - 04.07.2013; in: "XXVI EURO - INFORMS Joint International Conference, Abstracts", (2013), 1 S.

N. Musliu:
"Applying Machine Learning for Solver Selection in Scheduling";
Vortrag: Metaheuristic International Conference (MIC), Singapore; 05.08.2013 - 08.08.2013; in: "Proceedings of the 10th Metaheuristic International Conference (MIC 2013)", (2013), S. 240 - 242.

N. Musliu, M. Schwengerer:
"Algorithm Selection for the Graph Coloring Problem";
Vortrag: Learning and Intelligent OptimizatioN Conference LION, Catania, Italy; 07.01.2013 - 11.01.2013; in: "Learning and Intelligent Optimization, 7th International Conference, LION 7", Srringer, LNCS, 7997 (2013), S. 389 - 403.

N. Musliu, W. Slany, J. Gärtner:
"Automated Test Case Generation in End-User Programming";
Poster: 4th International Symposium End-User Development, Copenhagen, Denmark; 10.06.2013 - 13.06.2013; in: "End-User Development", Springer, LNCS, 7897 (2013), S. 272 - 277.

A. Pfandler, St. Rümmele, St. Szeider:
"Backdoors to Abduction";
Vortrag: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 03.08.2013 - 09.08.2013; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (Hrg.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; S. 1046 - 1052.

D. Pötzl, A. Holzer:
"Solving Constraints for Generational Search";
Vortrag: International Conference on Tests and Proofs (TAP), Budapest, Ungarn; 16.06.2013 - 20.06.2013; in: "TAP", Springer / LNCS, 7942 (2013), ISBN: 978-3-642-38915-3; S. 197 - 213.

S. Polberg, J. P. Wallner, S. Woltran:
"Admissibility in the Abstract Dialectical Framework";
Vortrag: 14th International Workshop on Computational Logic in Multi-Agent Systems, Corunna, Spain; 16.09.2013 - 18.09.2013; in: "Computational Logic in Multi-Agent Systems", J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran (Hrg.); Springer, 8143 (2013), ISBN: 978-3-642-40623-2; S. 102 - 118.

V. Savenkov, R. Pichler, C. Koch:
"Loop Elimination for Database Updates";
Vortrag: 29th British National Conference on Databases, BNCOD 2013, Oxford, UK; 08.07.2013 - 10.07.2013; in: "Big Data - 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings", G. Gottlob, G. Grasso, D. Olteanu, C. Schallhart (Hrg.); Springer, 7968 (2013), ISBN: 978-3-642-39466-9; S. 48 - 61.

J. P. Wallner, G. Weissenbacher, S. Woltran:
"Advanced SAT Techniques for Abstract Argumentation";
Vortrag: International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Corunna, Spanien; 16.09.2013 - 18.09.2013; in: "CLIMA", Springer / LNCS, 8143 (2013), ISBN: 978-3-642-40623-2; S. 138 - 154.


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


B. Bliem, R. Pichler, S. Woltran:
"Applicability of ASP-based Problem Solving on Tree Decompositions";
Vortrag: Third International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR) 2013, Peking; 03.08.2013 - 05.08.2013.

P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
"Characteristics of Multiple Viewpoints in Abstract Argumentation";
Vortrag: 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013), Koblenz, Germany; 16.09.2013 - 20.09.2013.

R. Pichler:
"Coping with High Complexity: Structure Matters";
Hauptvortrag: The 32nd INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SOCIETY (SCCC), Temuco (eingeladen); 13.11.2013 - 15.11.2013.

A. Pieris:
"Default Negation for Datalog+/-";
Hauptvortrag: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Lexington, KY, USA (eingeladen); 15.09.2013.

S. Woltran:
"On the Limits of Expressiveness in Abstract Argumentation Semantics";
Vortrag: Belief Change and Argumentation in Multi-Agent Scenarios, Dagstuhl, Germany (eingeladen); 02.06.2013 - 07.06.2013.


Dissertationen (eigene und begutachtete)


S. Gaggl:
"A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation";
Betreuer/in(nen), Begutachter/in(nen): S. Woltran, P. Baroni; Institut für Informationssysteme, 2013; Rigorosum: 04.03.2013.

S. Skritek:
"Foundational Aspects of Semantic Web Optimization: New Algorithms and Complexity Results";
Betreuer/in(nen), Begutachter/in(nen): R. Pichler, M. Arenas; 184-2, 2013; Rigorosum: 30.04.2013.


Diplom- und Master-Arbeiten (eigene und betreute)


M. Abseher:
"Solving shift design problems with answer set programming";
Betreuer/in(nen): N. Musliu, S. Woltran; Institut für Informationssysteme, 2013; Abschlussprüfung: 2013.

C. Erkinger:
"Rotating Workforce Scheduling As Satisfiability Modulo Theories";
Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2013; Abschlussprüfung: 11/2013.

W. Fischl:
"Normal Forms for Non-Relational for Data";
Betreuer/in(nen): R. Pichler; Institut für Informationssysteme, 2013; Abschlussprüfung: 19.11.2013.

T. Linsbichler:
"On the Limits of Expressiveness in Abstract Argumentation Semantics: Realizability and Signatures";
Betreuer/in(nen): S. Woltran, W. Dvorak; Institut für Informationssysteme, 2013; Abschlussprüfung: 11.06.2013.

C. Weichselbaum:
"Argumentation and Answer-Set Programming Modelling the Resolution-Based Grounded Semantics";
Betreuer/in(nen): S. Woltran, S. Gaggl; Institut für Informationssysteme, 2013; Abschlussprüfung: 04.03.2013.


Wissenschaftliche Berichte


T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
"Model-Based Recasting in Answer-Set Programming";
Bericht für TU Wien, Institut fuer Informationssysteme; Berichts-Nr. DBAI-TR-2013-83, 2013; 34 S.