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.