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
2015 - 2015
74 Datensätze
Bücher und Buch-Herausgaben
-
T. Eiter, H. Strass, M. Truszczynski, S. Woltran:
"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday";
in Buchreihe "Lecture Notes in Computer Science",
Buchreihen-Herausgeber: R. Goebel, Y. Tanaka, W. Wahlster;
Springer,
2015,
ISBN: 978-3-319-14725-3,
359 S.
Zeitschriftenartikel
-
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
"Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms";
Journal of Artificial Intelligence Research,
53
(2015),
S. 315
- 374.
-
G. Charwat, W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
"Methods for solving reasoning problems in abstract argumentation - A survey";
Artificial Intelligence,
220
(2015),
S. 28
- 63.
-
M. Diller, J. P. Wallner, S. Woltran:
"Reasoning in Abstract Dialectical Frameworks using Quantified Boolean Formulas";
Argument & Computation,
6
(2015),
2;
S. 149
- 177.
-
P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
"Characteristics of multiple viewpoints in abstract argumentation";
Artificial Intelligence,
228
(2015),
S. 153
- 178.
-
F. Dusberger, M. Abseher, B. Bliem, G. Charwat, S. Woltran:
"Computing Secure Sets in Graphs using Answer Set Programming";
Journal of Logic and Computation,
2015 special issue
(2015),
2015 special issue;
S. 1
- 26.
-
I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov:
"On the undecidability of the equivalence of second-order tuple generating dependencies";
Information Systems,
48
(2015),
S. 113
- 129.
-
J. Fichte, S. Szeider:
"Backdoors to Normality for Disjunctive Logic Programs";
ACM Transactions on Computational Logic,
17
(2015),
1;
S. 7:1
- 7:23.
-
J. Fichte, M. Truszczynski, S. Woltran:
"Dual-normal logic programs - the forgotten class";
Theory and Practice of Logic Programming,
15
(2015),
S. 495
- 510.
-
S. Gaggl, N. Manthey, A. Ronca, J. P. Wallner, S. Woltran:
"Improved answer-set programming encodings for abstract argumentation";
Theory and Practice of Logic Programming,
15
(2015),
4-5;
S. 434
- 448.
-
P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"Intra- and interdiagram consistency checking of behavioral multiview models";
Computer Languages, Systems and Structures,
44
(2015),
Part A;
S. 72
- 88.
-
J. Leite, C. Tran, P. Torroni, S. Woltran:
"Applications of logical approaches to argumentation";
Argument & Computation,
6
(2015),
1;
S. 1
- 2.
-
A. Pfandler, R. Pichler, S. Woltran:
"The complexity of handling minimal solutions in logic-based abduction";
Journal of Logic and Computation,
25
(2015),
3;
S. 805
- 825.
-
H. Strass, J. P. Wallner:
"Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory";
Artificial Intelligence,
226
(2015),
S. 34
- 74.
Buchbeiträge
-
R. Baumann, C. Spanring:
"Infinite Argumentation Frameworks - On the Existence and Uniqueness of Extensions";
in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday",
9060;
T. Eiter, H. Strass, M. Truszczynski, S. Woltran (Hrg.);
herausgegeben von: Springer;
Springer LNCS,
2015,
ISBN: 978-3-319-14726-0,
S. 281
- 295.
-
W. Dvorak, S. Gaggl, T. Linsbichler, J. P. Wallner:
"Reduction-based Approaches to Implement Modgil's Extended Argumentation Frameworks";
in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday",
T. Eiter, H. Strass, M. Truszczynski, S. Woltran (Hrg.);
herausgegeben von: Springer;
Springer,
2015,
ISBN: 978-3-319-14726-0,
S. 249
- 264.
-
T. Eiter, H. Strass, M. Truszczynski, S. Woltran:
"A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence";
in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation",
T. Eiter, H. Strass, M. Truszczynski, S. Woltran (Hrg.);
Springer LNCS,
2015, (eingeladen),
S. 1
- 16.
-
Th. Hammerl, N. Musliu, W. Schafhauser:
"Metaheuristic Algorithms and Tree Decomposition";
in: "Springer Handbook of Computational Intelligence",
J. Kacprzyk, W. Pedrycz (Hrg.);
Springer,
Berlin Heidelberg,
2015,
S. 1255
- 1270.
Beiträge in Tagungsbänden
-
G. Gottlob, M. Manna, A. Pieris:
"Polynomial Rewritings for Linear Existential Rules";
in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015",
AAAI Press,
2015,
ISBN: 978-1-57735-738-4,
S. 2992
- 2998.
-
G. Gottlob, O. Orsi, A. Pieris:
"Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-";
in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015",
9202;
Springer LNCS,
2015, (eingeladen),
ISBN: 978-3-319-21541-9,
S. 35
- 53.
-
G. Gottlob, A. Pieris:
"Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue";
in: "roceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015",
AAAI Press,
2015,
ISBN: 978-1-57735-738-4,
S. 2999
- 3007.
-
T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari:
"From Classical to Consistent Query Answering under Existential Rules";
in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence",
AAAI Press,
2015,
ISBN: 978-1-57735-698-1,
S. 1546
- 1552.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
-
M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran:
"Shift Design with Answer Set Programming";
Vortrag: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015,
Lexington, Kentucky, USA;
27.09.2015
- 30.09.2015; in: "Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings",
F. Calimeri, G. Ianni, M. Truszczynski (Hrg.);
Springer,
Lecture Notes in Computer Science Volume 9345
(2015),
ISBN: 978-3-319-23263-8;
S. 32
- 39.
-
M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran:
"Shift Design with Answer Set Programming";
Vortrag: 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015,
Cork, Ireland;
31.08.2015; in: "8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015",
D. Inclezan, M. Maratea (Hrg.);
(2015),
13 S.
-
S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek:
"DL-Lite and Conjunctive Queries Extended by Optional Matching";
Vortrag: 28th International Workshop on Description Logics,
Athens,Greece;
07.06.2015
- 10.06.2015; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015",
D. Calvanese, B. Konev (Hrg.);
CEUR Workshop Proceedings,
1350
(2015),
Paper-Nr. 4,
4 S.
-
S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek:
"Towards Reconciling SPARQL and Certain Answers";
Vortrag: 24th International Conference on World Wide Web, WWW 2015,
Florence;
18.05.2015
- 22.05.2015; in: "Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015",
A. Gangemi, L. Stefano, A. Panconesi (Hrg.);
ACM,
(2015),
ISBN: 978-1-4503-3469-3;
S. 23
- 33.
-
S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek:
"Towards Reconciling SPARQL and Certain Answers (Extended Abstract)";
Vortrag: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015),
Lima, Peru;
06.05.2015
- 08.05.2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015",
A. Cali, M. Vidal (Hrg.);
CEUR Workshop Proceedings,
1378
(2015),
Paper-Nr. 4,
6 S.
-
M. Alviano, A. Pieris:
"Default Negation for Non-Guarded Existential Rules";
Vortrag: Symposium on Principles of Database Systems, PODS 2015,
Melbourne, Victoria, Australia;
31.05.2015
- 04.06.2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
T. Milo, D. Calvanese (Hrg.);
ACM,
(2015),
ISBN: 978-1-4503-2757-2;
S. 79
- 90.
-
P. Barceló, R. Pichler, S. Skritek:
"Efficient Evaluation and Approximation of Well-designed Pattern Trees";
Vortrag: Symposium on Principles of Database Systems, PODS 2015,
Melbourne, Victoria, Australia;
31.05.2015
- 04.06.2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
T. Milo, D. Calvanese (Hrg.);
ACM,
(2015),
ISBN: 978-1-4503-2757-2;
S. 131
- 144.
-
P. Barceló, R. Pichler, S. Skritek:
"Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract)";
Vortrag: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015),
Lima, Peru;
06.05.2015
- 08.05.2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015",
A. Cali, M. Vidal (Hrg.);
CEUR Workshop Proceedings,
1378
(2015),
Paper-Nr. 5,
6 S.
-
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
"Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results";
Vortrag: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015),
Lima, Peru;
06.05.2015
- 08.05.2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015",
CEUR Workshop Proceedings,
1378
(2015),
ISSN: 1613-0073;
S. 162
- 171.
-
B. Bliem, G. Charwat, M. Hecher, S. Woltran:
"D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy";
Vortrag: 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015,
Cork, Ireland;
31.08.2015; in: "8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015",
D. Inclezan, M. Maratea (Hrg.);
(2015),
15 S.
-
R. Brochenin, T. Linsbichler, M. Maratea, J. Wallner, S. Woltran:
"Abstract Solvers for Dung's Argumentation Frameworks";
Vortrag: The 2015 International Workshop on Theory and Applications of Formal Argument,
Buenos Aires, Argentinien;
25.07.2015
- 26.07.2015; in: "Theory and Applications of Formal Argumentation",
E. Black, S. Modgil, N. Oren (Hrg.);
Lecture Notes in Computer Science,
9524
(2015),
ISBN: 978-3-319-28459-0;
S. 40
- 58.
-
M. Calautti, G. Gottlob, A. Pieris:
"Chase Termination for Guarded Existential Rules";
Vortrag: Symposium on Principles of Database Systems, PODS 2015,
Melbourne, Victoria, Australia;
31.05.2015
- 04.06.2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
T. Milo, D. Calvanese (Hrg.);
ACM,
(2015),
ISBN: 978-1-4503-2757-2;
S. 91
- 103.
-
M. Calautti, G. Gottlob, A. Pieris:
"Chase Termination for Guarded Existential Rules";
Vortrag: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015),
Lima, Peru;
06.05.2015
- 08.05.2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015",
A. Cali, M. Vidal (Hrg.);
CEUR Workshop Proceedings,
1378
(2015),
Paper-Nr. 28,
6 S.
-
G. Charwat, A. Pfandler:
"Democratix: A Declarative Approach to Winner Determination";
Vortrag: 4th International Conference on Algorithmic Decision Theory, ADT 2015,
Lexington, Kentucky, USA;
27.09.2015
- 30.09.2015; in: "Algorithmic Decision Theory, 4th International Conference, ADT 2015 Lexington, KY, USA, September 27 - 30, 2015 Proceedings",
T. Walsh (Hrg.);
Springer,
Lecture Notes in Computer Science Volume 9346
(2015),
ISBN: 978-3-319-23113-6;
S. 253
- 269.
-
G. Charwat, S. Woltran:
"Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams";
Vortrag: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015,
Lexington, Kentucky, USA;
27.09.2015
- 30.09.2015; in: "Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings",
F. Calimeri, G. Ianni, M. Truszczynski (Hrg.);
Springer,
Lecture Notes in Computer Science Volume 9345
(2015),
ISBN: 978-3-319-23263-8;
S. 213
- 227.
-
T. Csar, R. Pichler, E. Sallinger, V. Savenkov:
"Using Statistics for Computing Joins with MapReduce";
Vortrag: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015),
Lima, Peru;
06.05.2015
- 08.05.2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015",
A. Cali, M. Vidal (Hrg.);
CEUR Workshop Proceedings,
1378
(2015),
Paper-Nr. 13,
6 S.
-
R. de Haan, M. Kronegger, A. Pfandler:
"Fixed-parameter Tractable Reductions to SAT for Planning";
Vortrag: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
Buenos Aires, Argentina;
25.07.2015
- 31.07.2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015",
Q. Yang, M. Wooldridge (Hrg.);
AAAI Press,
(2015),
ISBN: 978-1-57735-738-4;
S. 2897
- 2903.
-
M. Diller, A. Haret, T. Linsbichler, St. Rümmele, S. Woltran:
"An extension-based approach to belief revision in abstract argumentation";
Vortrag: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
Buenos Aires, Argentina;
25.07.2015
- 31.07.2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015",
Q. Yang, M. Wooldridge (Hrg.);
AAAI Press,
(2015),
ISBN: 978-1-57735-738-4;
S. 2926
- 2932.
-
F. Dusberger, M. Abseher, N. Musliu, S. Woltran:
"Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning";
Vortrag: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
Buenos Aires, Argentina;
25.07.2015
- 31.07.2015; in: "Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence",
Q. Yang, M. Wooldridge (Hrg.);
AAAI Press,
(2015),
ISBN: 978-1-57735-738-4;
S. 275
- 282.
-
W. Dvorak, M. Järvisalo, J. Wallner, S. Woltran:
"Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Buenos Aires, Argentinien;
25.07.2015
- 31.07.2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015",
(2015),
S. 4173
- 4177.
-
T. Eiter, J. Z. Pan, P. Schneider, M. Simkus, G. Xiao:
"A Rule-based Framework for Creating Instance Data from OpenStreetMap";
Vortrag: International Conference on Web Reasoning and Rule Systems (RR),
Berlin, Germany;
04.08.2015
- 05.08.2015; in: "Web Reasoning and Rule Systems - 9th International Conference, RR 2015",
B. ten Cate, A. Mileo (Hrg.);
Springer LNCS,
9209
(2015),
ISBN: 978-3-319-22001-7;
S. 93
- 104.
-
G. Erdélyi, M. Lackner, A. Pfandler:
"Manipulation of k-Approval in Nearly Single-Peaked Electorates";
Vortrag: 4th International Conference on Algorithmic Decision Theory, ADT 2015,
Lexington, Kentucky, USA;
27.09.2015
- 30.09.2015; in: "Algorithmic Decision Theory, 4th International Conference, ADT 2015 Lexington, KY, USA, September 27 - 30, 2015 Proceedings",
T. Walsh (Hrg.);
Springer,
Lecture Notes in Computer Science Volume 9346
(2015),
ISBN: 978-3-319-23113-6;
S. 71
- 85.
-
R. Ganian, M. Kronegger, A. Pfandler, A. Popa:
"Parameterized Complexity of Asynchronous Border Minimization";
Vortrag: 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2015,
Singapur;
18.05.2015
- 20.05.2015; in: "Theory and Applications of Models of Computation, 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings",
R. Jain, S. Jain, F. Stephan (Hrg.);
Springer,
Lecture Notes in Computer Science Volume 9076
(2015),
ISBN: 978-3-319-17141-8;
S. 428
- 440.
-
M. Giacomin, T. Linsbichler, S. Woltran:
"On the Functional Completeness of Argumentation Semantics";
Vortrag: KI 2015 Workshop on Formal and Cognitive Reasoning,
Dresden, Germany;
22.09.2015; in: "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015)",
C. Beierle, G. Kern-Isberner, M. Ragni, F. Stolzenburg (Hrg.);
CEUR Workshop Proceedings,
1444
(2015),
12 S.
-
G. Gottlob, M. Manna, A. Pieris:
"Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations";
Vortrag: 28th International Workshop on Description Logics,
Athens,Greece;
07.06.2015
- 10.06.2015; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015",
CEUR Workshop Proceedings,
1350
(2015),
4 S.
-
G. Gottlob, M. Morak, A. Pieris:
"Recent Advances in Datalog+/-";
Vortrag: 11th International Summer School Reasoning Web 2015,
Berlin, Germany (eingeladen);
31.07.2015
- 04.08.2015; in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures.",
Springer,
Lecture Notes in Computer Science Volume 9203 2015
(2015),
ISBN: 978-3-319-21767-3;
S. 193
- 217.
-
G. Gottlob, R. Pichler, E. Sallinger:
"Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability";
Vortrag: Symposium on Principles of Database Systems, PODS 2015,
Melbourne, Victoria, Australia;
31.05.2015
- 04.06.2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
T. Milo, D. Calvanese (Hrg.);
ACM,
(2015),
ISBN: 978-1-4503-2757-2;
S. 65
- 77.
-
A. Haret, St. Rümmele, S. Woltran:
"Merging in the Horn Fragment";
Vortrag: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
Buenos Aires, Argentina;
25.07.2015
- 31.07.2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015",
Q. Yang, M. Wooldridge (Hrg.);
AAAI Press,
(2015),
ISBN: 978-1-57735-738-4;
S. 3041
- 3047.
-
T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Extending ALCQIO with Trees";
Vortrag: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015),
Kyoto, Japan;
06.07.2015
- 10.07.2015; in: "LICS 2015",
IEEE,
(2015),
ISBN: 978-1-4799-8875-4;
S. 511
- 522.
-
M. Kronegger, A. Pfandler, S. Ordyniak:
"Variable-Deletion Backdoors to Planning";
Poster: Twenty-Ninth AAAI Conference on Artificial Intelligence,
Austin, Texas, USA;
25.01.2015
- 30.01.2015; in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA",
B. Bonet, S. Koenig (Hrg.);
AAAI Press,
(2015),
S. 3305
- 3312.
-
T. Linsbichler, C. Spanring, S. Woltran:
"The Hidden Power of Abstract Argumentation Semantics";
Vortrag: The 2015 International Workshop on Theory and Applications of Formal Argument,
Buenos Aires, Argentinien;
25.07.2015
- 26.07.2015; in: "Theory and Applications of Formal Argumentation",
E. Black, S. Modgil, N. Oren (Hrg.);
Lecture Notes in Computer Science,
9524
(2015),
ISBN: 978-3-319-28459-0;
S. 146
- 162.
-
T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari:
"From Classical to Consistent Query Answering under Existential Rules";
Vortrag: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015),
Lima, Peru;
06.05.2015
- 08.05.2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015",
CEUR Workshop Proceedings,
1378
(2015),
6 S.
-
N. Ngo, M. Ortiz de la Fuente, M. Simkus:
"The Combined Complexity of Reasoning with Closed Predicates in Description Logics";
Vortrag: 28th International Workshop on Description Logics,
Athens,Greece;
07.06.2015
- 10.06.2015; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015",
D. Calvanese, B. Konev (Hrg.);
CEUR Workshop Proceedings,
1350
(2015),
ISSN: 1613-0073;
S. 249
- 261.
-
A. Pfandler, St. Rümmele, J. P. Wallner, S. Woltran:
"On the Parameterized Complexity of Belief Revision";
Vortrag: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
Buenos Aires, Argentina;
25.07.2015
- 31.07.2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015",
Q. Yang, M. Wooldridge (Hrg.);
AAAI Press,
(2015),
ISBN: 978-1-57735-738-4;
S. 3149
- 3155.
-
A. Pfandler, E. Sallinger:
"Distance-Bounded Consistent Query Answering";
Vortrag: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
Buenos Aires, Argentina;
25.07.2015
- 31.07.2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015",
Q. Yang, M. Wooldridge (Hrg.);
AAAI Press,
(2015),
ISBN: 978-1-57735-738-4;
S. 2262
- 2269.
-
A. Pieris:
"From Classical to Consistent Query Answering under Existential Rules";
Vortrag: Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology,
Buenos Aires, Argentina (eingeladen);
25.07.2015
- 27.07.2015; in: "Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)",
CEUR Workshop Proceedings,
1517
(2015),
1 S.
-
M. Simkus:
"Binary Frontier-Guarded ASP with Function Symbols";
Vortrag: International RuleML Symposium on Rule Interchange and Applications,
Berlin, Germany;
02.08.2015
- 05.08.2015; in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium (RuleML 2015)",
N. Bassiliades, G. Gottlob, F. Sadri, A. Paschke, D. Roman (Hrg.);
Springer LNCS,
9202
(2015),
ISBN: 978-3-319-21541-9;
S. 311
- 327.
-
M. Simkus, T. Eiter:
"Linking Open-World Knowledge Bases Using Nonmonotonic Rules";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Lexington, KY, USA;
27.09.2015
- 30.09.2015; in: "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR 2015)",
F. Calimeri, G. Ianni, M. Truszczynski (Hrg.);
Springer LNCS,
9345
(2015),
ISBN: 978-3-319-23263-8;
S. 294
- 308.
-
C. Spanring:
"Hunt for the Collapse of Semantics in Infinite Abstract Argumentation Frameworks";
Vortrag: 2015 Imperial College Computing Student Workshop,
London;
24.09.2015
- 25.09.2015; in: "2015 Imperial College Computing Student Workshop",
C. Schulz, D. Liew (Hrg.);
OpenAccess Series in Informatics,
49
(2015),
ISBN: 978-3-95977-000-2;
Paper-Nr. 12,
8 S.
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
-
S. Ahmetaj, W. Fischl:
"Towards Reconciling SPARQL and Certain Answers";
Vortrag: PhDs in Logic VII,
Wien;
14.05.2015
- 16.05.2015.
-
J. Fichte:
"Modern SAT Solvers -- History, Techniques, and Success --";
Vortrag: UIB Department Seminar at Informatics,
University of Bergen, Bergen, Norwegen (eingeladen);
26.03.2015.
-
A. Pieris, M. Thomazo:
"Ontological Conjunctive Query Answering via Existential Rules";
Hauptvortrag: 27th European Summer School in Logic, Language and Information (ESSLLI 2015),
Barcelona (eingeladen);
03.08.2015
- 14.08.2015.
-
S. Woltran:
"Dynamic Programming on Tree Decomposition in Practice. Some Lessons Learned";
Hauptvortrag: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015),
Timisoara (eingeladen);
21.09.2015
- 24.09.2015.
Diplom- und Master-Arbeiten (eigene und betreute)
-
K. Bader:
"Memetic Algorithms for Tree Decomposition";
Betreuer/in(nen): N. Musliu;
Institut für Informationssysteme,
2015;
Abschlussprüfung: 13.01.2015.
-
J. Fichte:
"Backdoors to Tractability of Disjunctive Answer Set Programming";
Betreuer/in(nen): S. Szeider;
Institut für Informationssysteme,
2015.
-
M. Hecher:
"Optimizing Second-Level Dynamic Programming Algorithms";
Betreuer/in(nen): S. Woltran;
Institut für Informationssysteme,
2015;
Abschlussprüfung: 09.11.2015.
-
D. Kocabas:
"Exact Methods for Shift Design and Break Scheduling";
Betreuer/in(nen): N. Musliu;
Institut für Informationssysteme,
2015.
-
M. Moldovan:
"Implementing Variations of the Traveling Salesperson Problem in a Declarative Dynamic Programming Environment";
Betreuer/in(nen): S. Woltran;
Institut für Informationssysteme,
2015;
Abschlussprüfung: 15.04.2015.
Wissenschaftliche Berichte
-
B. Bliem, G. Charwat, M. Hecher, S. Woltran:
"D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy";
Bericht für TU Wien;
Berichts-Nr. DBAI-TR-2015-93,
2015;
38 S.
-
P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
"Characteristics of Multiple Viewpoints in Abstract Argumentation";
Berichts-Nr. DBAI-TR-2015-89,
2015;
42 S.
-
W. Dvorak, C. Spanring:
"Comparing the expressiveness of argumentation semantics";
Berichts-Nr. DBAI-TR-2014-90,
2015;
32 S.
-
S. Polberg:
"Revisiting Extension-Based Semantics of Abstract Dialectical Frameworks";
Berichts-Nr. DBAI-TR-2015-88,
2015;
72 S.