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
2016 - 2016
87 Datensätze
Bücher und Buch-Herausgaben
-
M. Endres, N. Mattei, A. Pfandler (Hrg.):
"10th Workshop on Advances in Preference Handling (M-PREF)";
Online Publication,
http://www.mpref-2016.preflib.org/program/,
2016,
68 S.
-
R. Pichler, A. da Silva (Hrg.):
"Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016";
CEUR-WS.org,
2016.
Zeitschriftenartikel
-
M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran:
"Shift Design with Answer Set Programming";
Fundamenta Informaticae,
147
(2016),
1;
S. 1
- 25.
-
R. Baumann, W. Dvorak, T. Linsbichler, C. Spanring, H. Strass, S. Woltran:
"On rejected arguments and implicit conflicts: The hidden power of argumentation semantics";
Artificial Intelligence,
241
(2016),
S. 244
- 284.
-
R. Baumann, S. Woltran:
"The role of self-attacking arguments in characterizations of equivalence notions";
Journal of Logic and Computation,
26
(2016),
4;
S. 1293
- 1313.
-
M. Bichler, M. Morak, S. Woltran:
"The Power of Non-Ground Rules in Answer Set Programming";
Theory and Practice of Logic Programming,
16
(2016),
5-6;
S. 552
- 569.
-
B. Bliem, G. Charwat, M. Hecher, S. Woltran:
"D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy";
Fundamenta Informaticae,
147
(2016),
1;
S. 27
- 61.
-
P. Bourhis, M. Manna, M. Morak, A. Pieris:
"Guarded-Based Disjunctive Tuple-Generating Dependencies";
ACM Transactions on Database Systems,
41
(2016),
4;
S. 27:1
- 27:45.
-
K. Conrad, N. Musliu, R. Pichler, H. Werthner:
"Universities and computer science in the European crisis of refugees";
Communications of the ACM,
59
(2016),
10;
S. 31
- 33.
-
N. Creignou, O. Papini, St. Rümmele, S. Woltran:
"Belief Merging within Fragments of Propositional Logic";
ACM Transactions on Computational Logic,
17
(2016),
3;
S. 20:1
- 20:28.
-
U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
"Conformant Planning as a Case Study of Incremental QBF Solving";
Annals of Mathematics and Artificial Intelligence,
TBA
(2016),
S. 1
- 25.
-
R. Pichler, J. Medina:
"Fuzzy data exchange";
Fuzzy Sets and Systems,
301
(2016),
S. 129
- 145.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
-
M. Abseher, M. Moldovan, S. Woltran:
"Providing Built-In Counters in a Declarative Dynamic Programming Environment";
Vortrag: Joint German/Austrian Conference on Artificial Intelligence,
Klagenfurt, Austria;
26.09.2016
- 30.09.2016; in: "KI 2016: Advances in Artificial Intelligence",
G. Friedrich, M. Helmert, F. Wotawa (Hrg.);
LNCS/Springer,
9904
(2016),
ISBN: 978-3-319-46072-7;
S. 3
- 16.
-
S. Ahmetaj, W. Fischl, M. Kröll, R. Pichler, M. Simkus, S. Skritek:
"The Challenge of Optional Matching in SPARQL";
Hauptvortrag: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016,
Linz (eingeladen);
07.03.2016
- 11.03.2016; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings",
M. Gyssens, G. Simari (Hrg.);
Lecture Notes in Computer Science (LNCS) / Springer,
9616
(2016),
ISBN: 978-3-319-30023-8;
S. 169
- 190.
-
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York, NY, USA;
09.07.2016
- 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016",
S. Kambhampati (Hrg.);
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 878
- 885.
-
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates";
Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management,
Panama City, Panama;
08.05.2016
- 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016",
R. Pichler, A. da Silva (Hrg.);
CEUR Workshop Proceedings,
1644
(2016),
Paper-Nr. 19,
5 S.
-
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics";
Vortrag: 29th International Workshop on Description Logics (DL 2016),
Cape Town, South Africa;
22.04.2016
- 25.04.2016; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.",
M. Lenzerini, R. Penaloza (Hrg.);
CEUR Workshop Proceedings / CEUR-WS.org,
1577
(2016),
Paper-Nr. 26,
13 S.
-
M.-P. Andresel, M. Ortiz de la Fuente, M. Simkus:
"A Compilation Technique for Interactive Ontology-mediated Data Exploration";
Vortrag: 29th International Workshop on Description Logics (DL 2016),
Cape Town, South Africa;
22.04.2016
- 25.04.2016; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.",
M. Lenzerini, R. Penaloza (Hrg.);
CEUR Workshop Proceedings / CEUR-WS.org,
1577
(2016),
Paper-Nr. 37,
12 S.
-
M. Arenas, G. Gottlob, A. Pieris:
"A Datalog-Based Language for Querying RDF Graphs";
Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management,
Panama City, Panama;
08.05.2016
- 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016",
R. Pichler, A. da Silva (Hrg.);
CEUR Workshop Proceedings,
1644
(2016),
Paper-Nr. 17,
4 S.
-
S. Arming, R. Pichler, E. Sallinger:
"Complexity of Repair Checking and Consistent Query Answering";
Vortrag: International Conference on Database Theory - ICDT 2016,
Bordeaux;
15.03.2016
- 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016",
W. Martens, T. Zeume (Hrg.);
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
LIPIcs 48
(2016),
Paper-Nr. 21,
18 S.
-
P. Barceló, G. Gottlob, A. Pieris:
"Semantic Acyclicity Under Constraints";
Poster: 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS 2016,
San Fracisco, CA, USA;
26.06.2016
- 20.07.2016; in: "Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26 - July 01, 2016",
T. Milo, W. Tang (Hrg.);
ACM,
(2016),
ISBN: 978-1-4503-4191-2;
S. 343
- 354.
-
P. Barceló, G. Gottlob, A. Pieris:
"Semantic Acyclicity Under Constraints";
Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management,
Panama City, Panama;
08.05.2016
- 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016",
R. Pichler, A. da Silva (Hrg.);
CEUR Workshop Proceedings,
1644
(2016),
Paper-Nr. 6,
5 S.
-
R. Baumann, T. Linsbichler, S. Woltran:
"Verifiability of argumentation semantics";
Vortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016),
Kapstadt;
22.04.2016
- 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning",
G. Kern-Isberner, R. Wassermann (Hrg.);
(2016),
10 S.
-
R. Baumann, T. Linsbichler, S. Woltran:
"Verifiability of argumentation semantics";
Vortrag: 6th International Conference on Computational Models of Argument (COMMA 2016),
Potsdam;
12.09.2016
- 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016",
P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.);
IOS Press,
Frontiers in Artificial Intelligence and Applications 287
(2016),
ISBN: 978-1-61499-685-9;
S. 83
- 94.
-
G. Berger, A. Pieris:
"Ontology-Mediated Queries Distributing over Components";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York, NY, USA;
09.07.2016
- 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016",
S. Kambhampati (Hrg.);
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 943
- 949.
-
M. Bichler, M. Morak, S. Woltran:
"lpopt: A Rule Optimization Tool for Answer Set Programming";
Vortrag: International Symposium on Logic-Based Program Synthesis and Transformation,
Edinburgh, UK;
06.09.2016
- 08.09.2016; in: "Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)",
M. Hermenegildo, P. Lopez-Garcia (Hrg.);
(2016),
14 S.
-
B. Bliem, G. Charwat, M. Hecher, S. Woltran:
"Subset Minimization in Dynamic Programming on Tree Decompositions";
Vortrag: AAAI-16 Workshop on Beyond NP,
Phoenix, Arizona, USA;
12.02.2016; in: "Beyond NP, Papers from the 2016 AAAI Workshop",
A. Darwiche (Hrg.);
AAAI Press,
WS-16-05
(2016),
S. 300
- 306.
-
B. Bliem, M. Hecher, S. Woltran:
"On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Potsdam, Germany;
12.09.2016
- 16.09.2016; in: "Computational Models of Argument",
P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.);
IOS Press,
Frontiers in Artificial Intelligence and Applications 287
(2016),
ISBN: 978-1-61499-685-9;
S. 107
- 118.
-
B. Bliem, B. Kaufmann, T. Schaub, S. Woltran:
"ASP for Anytime Dynamic Programming on Tree Decompositions";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York, NY, USA;
09.07.2016
- 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016",
S. Kambhampati (Hrg.);
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 979
- 986.
-
B. Bliem, B. Kaufmann, T. Schaub, S. Woltran:
"ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract)";
Vortrag: Annual German Conference on Artificial Intelligence (KI),
Klagenfurt, Austria;
26.09.2016
- 30.09.2016; in: "KI 2016: Advances in Artificial Intelligence",
G. Friedrich, M. Helmert, F. Wotawa (Hrg.);
LNCS/Springer,
9904
(2016),
ISBN: 978-3-319-46072-7;
S. 257
- 263.
-
B. Bliem, S. Ordyniak, S. Woltran:
"Clique-Width and Directed Width Measures for Answer-Set Programming";
Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence,
Den Haag, Niederlande;
29.08.2016
- 02.09.2016; in: "ECAI 2016 - 22nd European Conference on Artificial Intelligence",
G. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen (Hrg.);
IOS Press,
285
(2016),
ISBN: 978-1-61499-671-2;
S. 1105
- 1113.
-
B. Bliem, S. Ordyniak, S. Woltran:
"Clique-Width and Directed Width Measures for Answer-Set Programming";
Vortrag: Workshop on Trends and Applications of Answer Set Programming,
Klagenfurt, Austria;
26.09.2016; in: "Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)",
T. Eiter, W. Faber, S. Woltran (Hrg.);
(2016),
17 S.
-
B. Bliem, S. Woltran:
"Complexity of Secure Sets";
Vortrag: International Workshop on Graph-Theoretic Concepts in Computer Science (WG),
Garching, Germany;
17.06.2015
- 19.06.2015; in: "Proceedings of the 41st International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2015)",
E. Mayr (Hrg.);
LNCS/Springer,
9224
(2016),
ISBN: 978-3-662-53173-0;
S. 64
- 77.
-
B. Bliem, S. Woltran:
"Equivalence between Answer-Set Programs under (Partially) Fixed Input";
Vortrag: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016,
Linz;
07.03.2016
- 11.03.2016; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings",
M. Gyssens, G. Simari (Hrg.);
Lecture Notes in Computer Science (LNCS) / Springer,
9616
(2016),
ISBN: 978-3-319-30023-8;
S. 95
- 111.
-
G. Brewka, J. Mailly, S. Woltran:
"Translation-Based Revision and Merging for Minimal Horn Reasoning";
Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence,
Den Haag, Niederlande;
29.08.2016
- 02.09.2016; in: "Proceedings of the 22nd European Conference on Artificial Intelligence",
G. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen (Hrg.);
IOS Press,
Frontiers in Artificial Intelligence and Applications 285
(2016),
ISBN: 978-1-61499-671-2;
S. 734
- 742.
-
D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Verification of Evolving Graph-structured Data under Expressive Path Constraints";
Vortrag: International Conference on Database Theory - ICDT 2016,
Bordeaux;
15.03.2016
- 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016",
W. Martens, T. Zeume (Hrg.);
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
LIPIcs 48
(2016),
S. 1
- 19.
-
G. Charwat, S. Woltran:
"Dynamic Programming-based QBF Solving";
Vortrag: 4th International Workshop on Quantified Boolean Formulas (QBF 2016),
Bordeaux, France;
04.07.2016; in: "Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)",
F. Lonsing, M. Seidl (Hrg.);
CEUR-WS.org,
1719
(2016),
14 S.
-
T. Csar, M. Lackner, R. Pichler, E. Sallinger:
"Winner Determination in Huge Elections with MapReduce";
Vortrag: 10th Multidisciplinary Workshop on Advances in Preference Handling,
New York City, USA;
09.07.2016; in: "10th Multidisciplinary Workshop on Advances in Preference Handling",
M. Endres, N. Mattei, A. Pfandler (Hrg.);
(2016),
7 S.
-
J. Delobelle, A. Haret, S. Konieczny, J. Mailly, J. Rossit, S. Woltran:
"Merging of Abstract Argumentation Frameworks";
Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016),
Kapstadt;
25.04.2016
- 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference",
C. Baral, J. Delgrande, F. Wolter (Hrg.);
AAAI Press,
(2016),
S. 33
- 42.
-
E. Demirovic, T. Le Calvar, N. Musliu, K. Inoue:
"An Exact Algorithm for Unicost Set Covering";
Vortrag: International Conference on Principles and Practice of Constraint Programming (CP),
Toulouse;
05.09.2016
- 09.09.2016; in: "Doctoral Program of the 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016)",
(2016),
9 S.
-
E. Demirovic, N. Musliu, F. Winter:
"Modeling and solving staff scheduling with partial weighted maxSAT";
Vortrag: PATAT 2016,
Udine;
23.08.2016
- 26.08.2016; in: "PATAT 2016: Proceedings of the 11th International Conference of the Practice and Theory of Automated Timetabling",
(2016),
ISBN: 978-0-9929984-1-7;
17 S.
-
S. Doutre, J. Mailly:
"How different are two argumentation semantics?";
Vortrag: Dixièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2016),
Montpellier;
15.06.2016
- 17.06.2016; in: "Dixièmes Journées d'Intelligence Artificielle Fondamentale",
(2016),
8 S.
-
S. Doutre, J. Mailly:
"Quantifying the difference between argumentation semantics";
Vortrag: 6th International Conference on Computational Models of Argument (COMMA 2016),
Potsdam;
12.09.2016
- 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016",
P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.);
IOS Press,
Frontiers in Artificial Intelligence and Applications 287
(2016),
ISBN: 978-1-61499-685-9;
S. 255
- 262.
-
P. Dunne, T. Linsbichler, C. Spanring, S. Woltran:
"Investigating the relationship between argumentation semantics via signature";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York, NY, USA;
09.07.2016
- 15.07.2016; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence",
S. Kambhampati (Hrg.);
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 1051
- 1057.
-
P. Dunne, T. Linsbichler, C. Spanring, S. Woltran:
"Investigating the relationship between argumentation semantics via signatures";
Vortrag: 39th Annual German Conference on AI (KI 2016),
Klagenfurt;
26.09.2016
- 30.09.2016; in: "Advances in Artificial Intelligence - 39th Annual German Conference on AI, Proceedings",
G. Friedrich, M. Helmert, F. Wotawa (Hrg.);
Springer,
LNCS 9904
(2016),
ISBN: 978-3-319-46072-7;
S. 271
- 277.
-
M. Endres, A. Pfandler:
"Unsere Empfehlung für Sie: Präferenzen und Personalisierung in der Informatik";
Vortrag: 46. Jahrestagung der Gesellschaft für Informatik,
Klagenfurt;
26.09.2016
- 30.09.2016; in: "Informatik 2016",
H. Mayr, M. Pinzger (Hrg.);
Gesellschaft für Informatik, Bonn,
(2016),
ISBN: 978-3-88579-653-4;
S. 1927
- 1934.
-
J. Fichte, M. Hecher, M. Morak, S. Woltran:
"Counting Answer Sets via Dynamic Programming";
Vortrag: Workshop on Trends and Applications of Answer Set Programming,
Klagenfurt, Austria;
26.09.2016; in: "Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)",
T. Eiter, W. Faber, S. Woltran (Hrg.);
(2016),
14 S.
-
J. Fichte, A. Meier, I. Schindler:
"Strong Backdoors for Default Logic";
Vortrag: Theory and Application of Satisfiability Testing -- SAT,
Bordeaux, France;
05.07.2016
- 08.07.2016; in: "Proceedings of SAT 2016: Theory and Applications of Satisfiability Testing - SAT 2016",
N. Creignou, D. Le Berre (Hrg.);
(2016),
ISBN: 978-3-319-40969-6;
S. 45
- 59.
-
S. Gaggl, T. Linsbichler, M. Maratea, S. Woltran:
"Introducing the Second International Competition on Computational Models of Argumentation";
Vortrag: First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016),
Potsdam;
13.09.2016; in: "Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation",
M. Thimm, F. Cerutti, H. Strass, M. Vallati (Hrg.);
CEUR Workshop Proceedings,
1672
(2016),
6 S.
-
M. Giacomin, T. Linsbichler, S. Woltran:
"On the functional completeness of argumentation semantics";
Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016),
Kapstadt;
25.04.2016
- 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference",
C. Baral, J. Delgrande, F. Wolter (Hrg.);
AAAI Press,
(2016),
S. 43
- 52.
-
G. Gottlob, A. Pieris, M. Simkus:
"The Impact of Active Domain Predicates on Guarded Existential Rules";
Vortrag: RR2016 - Web Reasoning and Rule Systems - 10th International Conference,
Aberdeen;
09.09.2016
- 11.09.2016; in: "Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings",
M. Ortiz de la Fuente, S. Schlobach (Hrg.);
Lecture Notes in Computer Science / Springer,
9898
(2016),
ISBN: 978-3-319-45275-3;
S. 94
- 110.
-
A. Haret, J. Mailly, S. Woltran:
"Distributing Knowledge Into Simple Bases";
Vortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016),
Kapstadt;
22.04.2016
- 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning",
G. Kern-Isberner, R. Wassermann (Hrg.);
(2016),
9 S.
-
A. Haret, J. Mailly, S. Woltran:
"Distributing Knowledge Into Simple Bases";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York, NY, USA;
09.07.2016
- 15.07.2016; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence",
S. Kambhampati (Hrg.);
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 1109
- 1115.
-
A. Haret, A. Pfandler, S. Woltran:
"Beyond IC Postulates: Classification Criteria for Merging Operators";
Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence,
Den Haag, Niederlande;
29.08.2016
- 02.09.2016; in: "ECAI 2016 - 22nd European Conference on Artificial Intelligence",
G. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen (Hrg.);
IOS Press,
285
(2016),
ISBN: 978-1-61499-671-2;
S. 372
- 380.
-
G. Heissenberger, S. Woltran:
"Grappavis - A system for advanced graph-based argumentation";
Poster: 6th International Conference on Computational Models of Argument (COMMA 2016),
Potsdam;
12.09.2016
- 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016",
P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.);
IOS Press,
Frontiers in Artificial Intelligence and Applications 287
(2016),
ISBN: 978-1-61499-685-9;
S. 473
- 474.
-
P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
"Limits of Schema Mappings";
Vortrag: International Conference on Database Theory - ICDT 2016,
Bordeaux;
15.03.2016
- 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016",
W. Martens, T. Zeume (Hrg.);
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
LIPIcs 48
(2016),
Paper-Nr. 19,
17 S.
-
M. Kröll, R. Pichler, S. Skritek:
"On the Complexity of Enumerating the Answers to Well-designed Pattern Trees";
Vortrag: International Conference on Database Theory - ICDT 2016,
Bordeaux;
15.03.2016
- 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016",
W. Martens, T. Zeume (Hrg.);
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
LIPIcs 48
(2016),
S. 1
- 18.
-
M. Kröll, R. Pichler, S. Skritek:
"On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees";
Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management,
Panama City, Panama;
08.05.2016
- 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016",
R. Pichler, A. da Silva (Hrg.);
CEUR Workshop Proceedings,
1644
(2016),
Paper-Nr. 14,
5 S.
-
T. Linsbichler, J. Puehrer, H. Strass:
"A uniform account of realizability in abstract argumentation";
Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence,
Den Haag, Niederlande;
29.08.2016
- 02.09.2016; in: "Proceedings of the 22nd European Conference on Artificial Intelligence",
G. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen (Hrg.);
IOS Press,
Frontiers in Artificial Intelligence and Applications 285
(2016),
ISBN: 978-1-61499-671-2;
S. 252
- 260.
-
T. Linsbichler, J. Puehrer, H. Strass:
"Characterizing realizability in abstract argumentation";
Vortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016),
Kapstadt;
22.04.2016
- 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning",
G. Kern-Isberner, R. Wassermann (Hrg.);
(2016),
10 S.
-
T. Linsbichler, S. Woltran:
"Revision of abstract dialectical frameworks: Preliminary report";
Vortrag: First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016),
New York;
10.07.2016; in: "Proceedings of the First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning",
S. Gaggl, J. Nieves, H. Strass (Hrg.);
(2016),
8 S.
-
J. Mailly:
"Using enthymemes to fill the gap between logical argumentation and revision of abstract argumentation frameworks";
Hauptvortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016),
Kapstadt;
22.04.2016
- 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning",
G. Kern-Isberner, R. Wassermann (Hrg.);
(2016),
11 S.
-
F. Mischek, N. Musliu:
"Integer Programming and Heuristic Approaches for a Multi-Stage Nurse Rostering Problem";
Vortrag: PATAT 2016,
Udine;
23.08.2016
- 26.08.2016; in: "PATAT 2016: Proceedings of the 11th International Conference of the Practice and Theory of Automated Timetabling",
(2016),
ISBN: 978-0-9929984-1-7;
18 S.
-
N. Ngo, M. Ortiz de la Fuente, M. Simkus:
"Closed Predicates in Description Logics: Results on Combined Complexity";
Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management,
Panama City, Panama;
08.05.2016
- 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016",
R. Pichler, A. da Silva (Hrg.);
CEUR Workshop Proceedings,
1644
(2016),
Paper-Nr. 8,
5 S.
-
N. Ngo, M. Ortiz de la Fuente, M. Simkus:
"Closed Predicates in Description Logics: Results on Combined Complexity";
Vortrag: 15th International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016,
Cape Town, South Africa;
24.04.2016
- 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.",
C. Baral, J. Delgrande, F. Wolter (Hrg.);
AAAI Press,
(2016),
S. 237
- 246.
-
S. Polberg:
"Intertranslatability of Abstract Argumentation Frameworks";
Vortrag: Cardiff Argumentation Forum,
Cardiff;
06.07.2016
- 07.07.2016; in: "Cardiff Argumentation Forum",
(2016),
3 S.
-
S. Polberg:
"Understanding the abstract dialectical framework";
Vortrag: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016),
Larnaca;
09.11.2016
- 11.11.2016; in: "Proceedings of the 15th European Conference On Logics In Artificial Intelligence",
L. Michael, A. Kakas (Hrg.);
Springer,
LNCS 10021
(2016),
ISBN: 978-3-319-48757-1;
S. 430
- 446.
-
J. Rasku, N. Musliu, T. Kärkkäinen:
"Feature Extractors for Describing Vehicle Routing Problem Instances";
Vortrag: 5th Student Conference on Operational Research (SCOR 2016),
Nottingham;
08.04.2016
- 10.04.2016; in: "5th Student Conference on Operational Research (SCOR 2016)",
(2016),
ISBN: 978-3-95977-004-0;
13 S.
-
C. Spanring:
"Conflicts in Abstract Argumentation";
Vortrag: Cardiff Argumentation Forum,
Cardiff;
06.07.2016
- 07.07.2016; in: "Cardiff Argumentation Forum",
(2016),
2 S.
-
C. Spanring:
"Perfection in abstract argumentation";
Vortrag: 6th International Conference on Computational Models of Argument (COMMA 2016),
Potsdam;
12.09.2016
- 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016",
P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.);
IOS Press,
Frontiers in Artificial Intelligence and Applications 287
(2016),
ISBN: 978-1-61499-685-9;
S. 439
- 446.
-
S. Woltran:
"Towards advanced systems for abstract argumentation";
Hauptvortrag: First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016),
Potsdam (eingeladen);
13.09.2016; in: "Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation",
M. Thimm, F. Cerutti, H. Strass, M. Vallati (Hrg.);
CEUR Workshop Proceedings,
1672
(2016),
3 S.
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
-
M. Ortiz de la Fuente, M. Simkus:
"Managing Change in Graph-Structured Data Using Description Logics";
Vortrag: Workshop on New Trends in Belief Change,
Vienna;
10.05.2016.
-
S. Woltran:
"Dynamic Programming on Tree Decompositions in Practice";
Hauptvortrag: 8th European Starting AI Researcher Symposium,
Den Haag (eingeladen);
29.08.2016
- 30.08.2016.
Dissertationen (eigene und begutachtete)
-
U. Habib:
"Fault Detection and Diagnosis in Building Energy Systems";
Betreuer/in(nen), Begutachter/in(nen): D. Dietrich, N. Musliu;
E384,
2016;
Rigorosum: 11.04.2016.
-
M. Kronegger:
"On the Parameterized Complexity of Planning";
Betreuer/in(nen), Begutachter/in(nen): R. Pichler, C. Bäckström;
Institut für Informationsysteme,
2016.
Diplom- und Master-Arbeiten (eigene und betreute)
-
T. Ambroz, A. Jusits:
"Designing a System for the Experimental Analysis and Visualization of Dynamic Programming on Tree Decompositions";
Betreuer/in(nen): S. Woltran, G. Charwat;
Institut für Informationssysteme,
2016;
Abschlussprüfung: 29.02.2016.
-
G. Heißenberger:
"A System For Advanced Graphical Argumentation Formalisms";
Betreuer/in(nen): S. Woltran, M. Diller;
Institut für Informationssysteme,
2016;
Abschlussprüfung: 14.03.2016.
-
F. Mischek:
"Exact and Heuristic Approaches for a Multi-Stage Nurse Rostering";
Betreuer/in(nen): N. Musliu;
Institut für Informationssysteme,
2016;
Abschlussprüfung: 10/2016.
-
F. Winter:
"MaxSAT Modeling and Metaheuristic Methods for the Employee Scheduling Problem";
Betreuer/in(nen): N. Musliu;
Institut für Informationssysteme,
2016;
Abschlussprüfung: 10/2016.
-
M. Züger:
"Large Neighborhood Search for Break Scheduling";
Betreuer/in(nen): N. Musliu;
Institut für Informationssysteme,
2016;
Abschlussprüfung: 10/2016.
Wissenschaftliche Berichte
-
M. Abseher, N. Musliu, S. Woltran:
"htd -- A Free, Open-Source Framework for Tree Decompositions and Beyond";
Berichts-Nr. DBAI-TR-2016-96,
2016;
52 S.
-
M. Abseher, N. Musliu, S. Woltran:
"Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning";
Berichts-Nr. DBAI-TR-2016-94,
2016;
41 S.
-
M. Bichler, B. Bliem, M. Moldovan, M. Morak, S. Woltran:
"Treewidth-Preserving Modeling in ASP";
Berichts-Nr. DBAI-TR-2016-97,
2016;
37 S.
-
G. Charwat, S. Woltran:
"BDD-based Dynamic Programming on Tree Decompositions";
Berichts-Nr. DBAI-TR-2016-95, DBAI,
2016;
47 S.
-
J. Fichte, M. Hecher, M. Morak, S. Woltran:
"Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 System";
Berichts-Nr. DBAI-TR-2016-101,
2016;
70 S.
-
J. Fichte, M. Kronegger, S. Woltran:
"Multiparametric View on Answer Set Programming";
Berichts-Nr. DBAI-TR-2016-99,
2016;
41 S.
-
J. Fichte, S. Szeider:
"Backdoor Trees for Answer Set Programming";
Berichts-Nr. DBAI-TR-2016-98,
2016;
24 S.