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
2014 - 2014
81 Datensätze
Bücher und Buch-Herausgaben
-
M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.):
"Informal Proceedings of the 27th International Workshop on Description Logics";
CEUR-Proceedings,
Vol. 1193. Aachen, Deutschland,
2014,
ISSN: 1613-0073;
756 S.
Zeitschriftenartikel
-
M. Alviano, W. Faber, S. Woltran:
"Complexity of super-coherence problems in ASP";
Theory and Practice of Logic Programming,
14
(2014),
3;
S. 339
- 361.
-
G. Brewka, S. Polberg, S. Woltran:
"Generalizations of Dung Frameworks and Their Role in Formal Argumentation";
IEEE Intelligent Systems,
29
(2014),
1;
S. 30
- 38.
-
N. Creignou, O. Papini, R. Pichler, S. Woltran:
"Belief revision within fragments of propositional logic";
Journal of Computer and System Sciences,
80
(2014),
2;
S. 427
- 449.
-
W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
"Complexity-Sensitive Decision Procedures for Abstract Argumentation";
Artificial Intelligence,
206
(2014),
S. 53
- 78.
-
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,
14
(2014),
2;
S. 141
- 164.
-
G. Salzer, I. Feinerer:
"Numeric semantics of class diagrams with multiplicity and uniqueness constraints";
Software and Systems Modeling,
13
(2014),
3;
S. 1167
- 1187.
-
M. Widl, N. Musliu:
"The break scheduling problem: complexity results and practical algorithms";
Memetic Computing,
6
(2014),
2;
S. 97
- 112.
Buchbeiträge
-
J. Rasku, N. Musliu, T. Kärkkäinen:
"Automating the Parameter Selection in VRP: An Off-line Parameter Tuning Tool Comparison";
in: "Modeling, Simulation and Optimization for Science and Technology. Computational Methods in Applied Sciences, Volume 34",
Springer Netherlands,
2014,
S. 191
- 209.
Beiträge in Tagungsbänden
-
S. Arming, R. Pichler, E. Sallinger:
"Combined Complexity of Repair Checking and Consistent Query Answering";
in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014",
G. Gottlob, J. Perez (Hrg.);
CEUR,
2014,
6 S.
-
P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
"Nested dependencies: structure and reasoning";
in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014",
R. Hull, M. Grohe (Hrg.);
ACM,
2014,
S. 176
- 187.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
-
M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
"The D-FLAT System for Dynamic Programming on Tree Decompositions.";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Madeira;
24.09.2014
- 26.09.2014; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014",
E. Fermé, J. Leite (Hrg.);
Springer,
(2014),
ISSN: 0302-9743;
S. 558
- 572.
-
M. Abseher, B. Bliem, G. Charwat, F. Dusberger, S. Woltran:
"Computing Secure Sets in Graphs using Answer Set Programming.";
Vortrag: ASPOCP 2014 - 7th Workshop on Answer Set Programming and Other Computing Paradigms,
Wien;
23.07.2014; in: "7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014",
(2014).
-
S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Managing Change in Graph-Structured Data Using Description Logics";
Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014),
Québec City, Québec, Canada;
27.07.2014
- 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence",
C. Brodley, P. Stone (Hrg.);
AAAI Press/IJCAI,
(2014),
ISBN: 978-1-57735-661-5;
S. 966
- 973.
-
S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Planning and Change in Graph Structured Data under Description Logics Constraints";
Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management,
Cartagena de Indias, Colombia;
04.06.2014
- 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management",
G. Gottlob, J. Perez (Hrg.);
CEUR-Proceedings,
1189
(2014),
ISSN: 1613-0073.
-
S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Planning Problems for Graph Structured Data in Description Logics";
Vortrag: 27th International Workshop on Description Logics,
Vienna, Austria;
17.07.2014
- 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics",
M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.);
CEUR-WS,
Vol-1193
(2014),
ISSN: 1613-0073;
S. 4
- 7.
-
A. Ahmeti, D. Calvanese, A. Polleres:
"SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment";
Vortrag: 27th International Workshop on Description Logics,
Vienna, Austria;
17.07.2014
- 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014",
M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.);
CEUR-WS,
Vol-1193
(2014),
ISSN: 1613-0073;
Paper-Nr. 7,
13 S.
-
A. Ahmeti, D. Calvanese, A. Polleres:
"Updating RDFS ABoxes and TBoxes in SPARQL";
Vortrag: 13th International Semantic Web Conference (ISWC 2014),
Riva del Garda, Italy;
19.10.2014
- 23.10.2014; in: "The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I",
P. Mika et al. (Hrg.);
LNCS/Springer,
8796
(2014),
ISBN: 978-3-319-11963-2;
S. 441
- 456.
-
R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran:
"Compact Argumentation Frameworks";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR),
Wien;
17.07.2014
- 19.07.2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)",
S. Konieczny, H. Tompits (Hrg.);
(2014),
10 S.
-
R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran:
"Compact Argumentation Frameworks";
Vortrag: ECAI 2014,
Prag;
18.08.2014
- 22.08.2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence",
(2014),
ISBN: 978-1-61499-418-3;
S. 69
- 74.
-
M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Nested Regular Path Queries in Description Logics";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Vienna, Austria;
20.07.2014
- 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014)",
C. Baral, G. De Giacomo, T. Eiter (Hrg.);
AAAI Press,
(2014),
ISBN: 978-1-57735-657-8;
S. 218
- 227.
-
M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Nested Regular Path Queries in Description Logics (Extended Abstract)";
Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management,
Cartagena de Indias, Colombia;
04.06.2014
- 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management",
G. Gottlob, J. Perez (Hrg.);
CEUR Workshop Proceedings,
1189
(2014),
ISSN: 1613-0073.
-
S. Bischof, M. Krötzsch, A. Polleres, S. Rudolph:
"Schema-Agnostic Query Rewriting in SPARQL 1.1";
Vortrag: 13th International Semantic Web Conference,
Riva del Garda;
19.10.2014
- 23.10.2014; in: "The Semantic Web - ISWC 2014",
P. Mika et al. (Hrg.);
LNCS/Springer,
8796
(2014),
ISBN: 978-3-319-11963-2;
17 S.
-
A. Bonutti, F. De Cesco, N. Musliu, A. Schaerf:
"Modeling and Solving a Real-Life Multi-Skill Shift Design Problem";
Vortrag: PATAT 2014,
York;
26.08.2014
- 29.08.2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling",
(2014),
3 S.
-
G. Brewka, S. Woltran:
"GRAPPA: A Semantical Framework for Graph-Based Argument Processing";
Vortrag: ECAI 2014,
Prag;
18.08.2014
- 22.08.2014; in: "Proceedings of 21st European Conference on Artificial Intelligence",
(2014),
ISBN: 978-1-61499-418-3;
S. 153
- 158.
-
D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus:
"Capturing Relational Schemas and Functional Dependencies in RDFS";
Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014),
Québec City, Québec, Canada;
27.07.2014
- 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence",
(2014),
S. 1003
- 1011.
-
D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus:
"Expressive Identification Constraints to Capture Functional Dependencies in Description Logics";
Poster: 27th International Workshop on Description Logics,
Vienna, Austria;
17.07.2014
- 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014)",
CEUR-WS,
Vol-1193
(2014),
ISSN: 1613-0073;
5 S.
-
D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures";
Hauptvortrag: International Conference in Integrated Formal Methods (IFM),
Bertinoro, Italy (eingeladen);
09.09.2014
- 11.09.2014; in: "IFM",
Springer / LNCS,
8739
(2014),
ISBN: 978-3-319-10180-4;
S. 3
- 17.
-
D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Shape and Content: Incorporating Domain Knowledge into Shape Analysis";
Vortrag: International Workshop on Description Logics,
Wien;
17.07.2014
- 20.07.2014; in: "International Workshop on Description Logics",
(2014),
4 S.
-
G. Charwat, A. Pfandler:
"DEMOCRATIX: A Declarative Approach to Winner Determination";
Vortrag: International Workshop on Computational Social Choice (COMSOC),
Pittsburgh, Pennsylvania, USA;
23.06.2014
- 25.06.2014; in: "Proceedings of the Fifth International Workshop on Computational Social Choice",
A. Procaccia, T. Walsh (Hrg.);
(2014),
15 S.
-
N. Creignou, O. Papini, St. Rümmele, S. Woltran:
"Belief merging within fragments of propositional logic";
Vortrag: ECAI 2014,
Prag;
18.08.2014
- 22.08.2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence",
(2014),
ISBN: 978-1-61499-418-3;
S. 231
- 236.
-
N. Creignou, O. Papini, St. Rümmele, S. Woltran:
"Belief merging within fragments of propositional logic";
Vortrag: 15th International Workshop on Non-Monotonic Reasoning (NMR 2014),
Vienna;
17.07.2014
- 19.07.2014; in: "Proceedings of the 15th International Workshop on Non-Monotonic Reasoning",
(2014),
10 S.
-
D. Dell´Aglio, A. Polleres, N. Lopes, S. Bischof:
"Querying the Web of Data with XSPARQL 1.1";
Vortrag: ISWC Developers Workshop 2014,
Riva del Garda;
19.10.2014; in: "Proceedings of the ISWC Developers Workshop 2014",
R. Verborgh, E. Mannens (Hrg.);
CEUR-WS,
Vol-1268
(2014),
6 S.
-
E. Demirovic, N. Musliu:
"Modeling High School Timetabling as PartialWeighted maxSAT";
Vortrag: 4th Workshop on Logic and Search,
Wien;
18.07.2014; in: "The Proceedings of 4th Workshop on Logic and Search (a SAT / ICLP workshop at FLoC 2014)",
(2014),
15 S.
-
E. Demirovic, N. Musliu:
"Solving High School Timetabling with Satisfiability Modulo Theories";
Vortrag: PATAT 2014,
York;
26.08.2014
- 29.08.2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling",
(2014),
25 S.
-
M. Diller, J. P. Wallner, S. Woltran:
"Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Pitlochry, Scotland, United Kingdom;
09.09.2014
- 12.09.2014; in: "Computational Models of Argument",
IOS Press,
266
(2014),
ISSN: 1879-8314;
S. 241
- 252.
-
D. Doder, S. Woltran:
"Probabilistic Argumentation Frameworks - A Logical Approach";
Vortrag: International Conference on Scalable Uncertainty Management (SUM),
Oxford;
15.09.2014
- 17.09.2014; in: "Scalable Uncertainty Management",
U. Straccia, A. Cali (Hrg.);
Springer,
8720
(2014),
ISBN: 978-3-319-11507-8;
S. 134
- 147.
-
P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
"Characteristics of Multiple Viewpoints in Abstract Argumentation";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Wien;
20.07.2014
- 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference",
C. Baral, G. De Giacomo, T. Eiter (Hrg.);
AAAI Press,
(2014),
ISBN: 978-1-57735-657-8;
S. 72
- 81.
-
W. Dvorak, T. Linsbichler, E. Oikarinen, S. Woltran:
"Resolution-Based Grounded Semantics Revisited";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Pitlochry;
09.09.2014
- 12.09.2014; in: "Computational Models of Argument",
S. Parsons, N. Oren, Ch. Reed, F. Cerutti (Hrg.);
IOS Press,
266
(2014),
ISBN: 978-1-61499-436-7;
S. 269
- 280.
-
U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
"Conformant Planning as a Case Study of Incremental QBF Solving";
Vortrag: Artificial Intelligence and Symbolic Computation,
Sevilla, Spanien;
11.12.2014
- 13.12.2014; in: "Lecture Notes in Computer Science",
Springer,
Volume 8884 of LNAI
(2014),
ISBN: 978-3-319-13770-4;
S. 118
- 129.
-
T. Eiter, P. Schneider, M. Simkus, G. Xiao:
"Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57";
Vortrag: 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014),
Vienna, Austria;
13.07.2014; in: "Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)",
CEUR Workshop Proceedings,
1207
(2014),
ISSN: 1613-0073;
S. 51
- 57.
-
G. Gottlob, S. Rudolph, M. Simkus:
"Expressiveness of guarded existential rule languages";
Vortrag: ACM Symposium on Principles of Database Systems (PODS),
Snowbird, UT, USA;
22.06.2014
- 27.06.2014; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14",
R. Hull, M. Grohe (Hrg.);
ACM Press,
(2014),
ISBN: 978-1-4503-2375-8;
S. 27
- 38.
-
P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"A SAT-Based Debugging Tool for State Machines and Sequence Diagrams";
Vortrag: 7th International Conference on Software Language Engineering (SLE),
Västerås, Sweden;
15.09.2014
- 16.09.2014; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)",
(2014),
S. 21
- 40.
-
T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability";
Hauptvortrag: International Workshop on Description Logics,
Wien;
17.07.2014
- 20.07.2014; in: "International Workshop on Description Logics",
(2014),
4 S.
-
M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
"A Parameterized Complexity Analysis of Generalized CP-Nets";
Vortrag: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR),
Wien;
17.07.2014
- 18.07.2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)",
M. R. Fellows, S. Gaspers, T. Walsh (Hrg.);
(2014),
2 S.
-
M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
"A Parameterized Complexity Analysis of Generalized CP-Nets";
Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014),
Québec City, Québec, Canada;
27.07.2014
- 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence",
C. Brodley, P. Stone (Hrg.);
(2014),
ISBN: 978-1-57735-661-5;
S. 1091
- 1097.
-
M. Kronegger, A. Pfandler, S. Ordyniak:
"Backdoors to Planning";
Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014),
Québec City, Québec, Canada;
27.07.2014
- 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence",
C. Brodley, P. Stone (Hrg.);
AAAI Press,
(2014),
ISBN: 978-1-57735-661-5;
S. 2300
- 2307.
-
M. Kronegger, A. Pfandler, S. Ordyniak:
"Backdoors to Planning";
Vortrag: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR),
Wien;
17.07.2014
- 18.07.2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)",
M. R. Fellows, S. Gaspers, T. Walsh (Hrg.);
(2014),
2 S.
-
T. Linsbichler:
"Splitting Abstract Dialectical Frameworks";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Pitlochry;
09.09.2014
- 12.09.2014; in: "Computational Models of Argument",
S. Parsons, N. Oren, Ch. Reed, F. Cerutti (Hrg.);
IOS Press,
266
(2014),
ISBN: 978-1-61499-436-7;
S. 357
- 368.
-
M. Ortiz de la Fuente, M. Simkus:
"Revisiting the Hardness of Query Answering in Expressive Description Logics";
Vortrag: RR 2014, 8th International Conference Web Reasoning and Rule Systems,
Athens, Greece;
15.09.2014
- 17.09.2014; in: "Web Reasoning and Rule Systems. 8th International Conference, Proceedings",
R. Kontchakov, M. Mugnier (Hrg.);
Springer Lecture Notes in Computer Science,
8714
(2014),
ISBN: 978-3-319-11112-4;
S. 216
- 223.
-
R. Pichler:
"Certain Answers to Well-Designed SPARQL Queries";
Vortrag: Dagstuhl Seminar 14331: "Querying and Reasoning Under Expressive Constraints",
Dagstuhl (eingeladen);
11.08.2014
- 14.08.2014; in: "Dagstuhl Reports 4(8)",
(2014),
ISSN: 2192-5283;
S. 15
- 16.
-
R. Pichler, S. Skritek:
"Containment and equivalence of well-designed SPARQL";
Vortrag: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems,
Snowbird, UT, USA,;
22.06.2014
- 27.06.2014; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems",
R. Hull, M. Grohe (Hrg.);
ACM,
(2014),
ISBN: 978-1-4503-2375-8;
S. 39
- 50.
-
R. Pichler, S. Skritek:
"On the Hardness of Counting the Solutions of SPARQL Queries";
Vortrag: 8th Alberto Mendelzon Workshop on Foundations of Data Management,
Cartagena de Indias;
04.06.2014
- 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management",
G. Gottlob, J. Perez (Hrg.);
CEUR-WS,
Vol-1189
(2014),
6 S.
-
J. Pihera, N. Musliu:
"Application of Machine Learning to Algorithm Selection for TSP";
Vortrag: ICTAI 2014,
Limassol, Cyprus;
10.11.2014
- 12.11.2014; in: "26th IEEE International Conference on Tools with Artificial Intelligence",
(2014),
S. 47
- 54.
-
N. Pobiedina, St. Rümmele, S. Skritek, H. Werthner:
"Benchmarking database systems for graph pattern matching";
Vortrag: DEXA - International Conference on Database and Expert System Applications,
Munich, Germany;
01.09.2014
- 04.09.2014; in: "Lecture Notes in Computer Science",
Springer Verlag,
(2014),
S. 226
- 241.
-
S. Polberg:
"Extension-based Semantics of Abstract Dialectical Frameworks";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR),
Wien;
17.07.2014
- 19.07.2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)",
S. Konieczny, H. Tompits (Hrg.);
(2014),
10 S.
-
S. Polberg:
"Extension-based Semantics of Abstract Dialectical Frameworks";
Vortrag: European Starting AI Researcher Symposium,
Prague;
18.08.2014
- 19.08.2014; in: "STAIRS 2014",
U. Endriss, J. Leite (Hrg.);
IOS Press,
264
(2014),
ISBN: 978-1-61499-421-3;
S. 240
- 249.
-
S. Polberg, D. Doder:
"Probabilistic Abstract Dialectical Frameworks";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Funchal;
24.09.2014
- 26.09.2014; in: "Logics in Artificial Intelligence",
E. Fermé, J. Leite (Hrg.);
Springer,
8761
(2014),
ISBN: 978-3-319-11557-3;
S. 591
- 599.
-
S. Polberg, N. Oren:
"Revisiting Support in Abstract Argumentation Systems";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Pitlochry;
09.09.2014
- 12.09.2014; in: "Computational Models of Argument",
S. Parsons, N. Oren, Ch. Reed, F. Cerutti (Hrg.);
IOS Press,
266
(2014),
ISBN: 978-1-61499-436-7;
S. 369
- 376.
-
G. Schenner, S. Bischof, A. Polleres, S. Steyskal:
"Integrating Distributed Configurations With RDFS and SPARQL";
Vortrag: Workshop on Configuration,
Novi Sad;
25.09.2014
- 26.09.2014; in: "Proceedings of the 16th International Configuration Workshop",
A. Felfernig, F. Cipriano, A. Haag (Hrg.);
CEUR-WS,
Vol-1220
(2014),
7 S.
-
C. Spanring:
"Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games";
Vortrag: Imperial College Computing Student Workshop,
London;
25.09.2014
- 26.09.2014; in: "2014 Imperial College Computing Student Workshop",
R. Neykova, N. Ng (Hrg.);
(2014),
8 S.
-
H. Strass, J. P. Wallner:
"Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Wien;
20.07.2014
- 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference",
C. Baral, G. De Giacomo, T. Eiter (Hrg.);
AAAI Press,
(2014),
ISBN: 978-1-57735-657-8;
S. 101
- 110.
-
S. Woltran:
"Abstract Argumentation - All Problems Solved?";
Hauptvortrag: European Conference on Artificial Intelligence (ECAI),
Prag, Tschechisch Republik (eingeladen);
18.08.2014
- 22.08.2014; in: "Proceedings ECAI 2014",
T. Schaub (Hrg.);
IOS Press,
263
(2014),
ISBN: 978-1-61499-418-3.
-
S. Woltran:
"An Introduction to Abstract Argumentation";
Hauptvortrag: 6th USENIX Workshop on the Theory and Practice of Provenance,
Köln (eingeladen);
12.06.2014
- 13.06.2014; in: "Proceedings 6th USENIX Workshop on the Theory and Practice of Provenance",
A. Chapman, B. Ludaescher, A. Schreiber (Hrg.);
(2014).
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
-
U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
"Conformant Planning as a Case Study of Incremental QBF Solving";
Vortrag: International Workshop on Quantified Boolean Formulas,
Wien (eingeladen);
13.07.2014.
-
W. Fischl, D. Calvanese, R. Pichler, M. Simkus, E. Sallinger:
"Capturing Relational Schemas and Functional Dependencies in RDFS";
Poster: Reasoning Web, International Summer School,
Athen;
07.09.2014
- 13.09.2014.
-
P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"A SAT-based Debugging Tool for State Machines and Sequence Diagrams";
Vortrag: PUMA/RiSE Workshop,
Mondsee;
29.09.2014
- 03.10.2014.
-
M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
"On the Parameterized Complexity of Generalized CP-Nets";
Vortrag: Workshop on Challenges in Algorithmic Social Choice (CASC),
Bad Belzig, Deutschland;
08.10.2014
- 11.10.2014.
-
N. Musliu:
"Automated Employee Scheduling";
Vortrag: SWORDS 2014 - Szeged WORkshop on Discrete Structures,
Szeged (eingeladen);
09.10.2014
- 10.10.2014.
-
N. Musliu:
"Scheduling Problems: Case Studies and Solution Techniques";
Vortrag: International Conference on Automated Planning and Scheduling (ICAPS),
Portsmouth, USA;
21.06.2014
- 26.06.2014.
-
S. Woltran:
"Comparing the Power of Different Semantics for Abstract Argumentation";
Vortrag: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC,
Luxemburg (eingeladen);
24.10.2014.
Dissertationen (eigene und begutachtete)
-
R. Fayzrakhmanov:
"Web Accessibility for the Blind Through Visual Representation Analysis";
Betreuer/in(nen), Begutachter/in(nen): R. Pichler, A. Provetti;
Institut für Informationssysteme,
2014.
-
M. Lackner:
"Detecting Structure in Permutations and Preferences";
Betreuer/in(nen), Begutachter/in(nen): R. Pichler, St. Szeider, G. Erdélyi;
Institut für Informationssysteme,
2014;
Rigorosum: 11.06.2014.
-
E. Sallinger:
"Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings";
Betreuer/in(nen), Begutachter/in(nen): R. Pichler, P. Kolaitis;
E184,
2014;
Rigorosum: 15.07.2014.
-
M. Triska:
"Correctness Considerations in CLP(FD) Systems";
Betreuer/in(nen), Begutachter/in(nen): N. Musliu, J. Wielemaker;
Institut für Informationssysteme,
2014;
Rigorosum: 29.01.2014.
-
J. P. Wallner:
"Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond";
Betreuer/in(nen), Begutachter/in(nen): S. Woltran, G. Weissenbacher;
Institute of Information Systems,
2014;
Rigorosum: 28.05.2014.
Diplom- und Master-Arbeiten (eigene und betreute)
-
D. Bucar:
"Electric Vehicles Recharge Scheduling with Time Windows";
Betreuer/in(nen): N. Musliu, S. Bessler;
Institut für Informationssysteme,
2014.
-
M. Diller:
"Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas";
Betreuer/in(nen): S. Woltran, J. P. Wallner;
Institut für Informationssysteme,
2014;
Abschlussprüfung: 11.04.2014.
-
A. Haret:
"Merging in the Horn fragment";
Betreuer/in(nen): S. Woltran, St. Rümmele;
Institut für Informationssysteme,
2014;
Abschlussprüfung: 23.09.2014.
-
I. Stoilkovska:
"XML Data Integration";
Betreuer/in(nen): R. Pichler;
Institut für Informationssysteme,
2014.
Wissenschaftliche Berichte
-
M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
"D-FLAT: Progress Report";
Bericht für TU Wien, Institut fuer Informationssysteme;
Berichts-Nr. DBAI-TR-2014-86,
2014;
57 S.