TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der Fakultät für Informatik erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für Angehörige von
E192 - Institut für Logic and Computation
E192-02 Database and AI
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen
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.