Databases and Artificial Intelligence E192-02

A Research Unit of The Institute of Logic and Computation

Our research is located at the interface between methods from Theoretical Computer Science (such as logic, algorithmics, approximation, and complexity theory) and their application to various areas of Computer Science such as Database Theory, Artificial Intelligence Knowledge Representation & Reasoning, Scheduling and Planning as well as Graph Theory.

Research Unit Databases and Artificial Intelligence

Contact

About

The overall research goal of our work is to understand the inherent computational complexity of problems in those areas, and then use these insights to define novel concepts and algorithms towards efficient practical solutions.

More specifically, topics covered by our research include Database Query Languages, Information Integration, the Semantic Web, Description Logics, Ontology-based Data Access, Formal Argumentation, Belief Change, Computational Social Choice, Answer-set Programming, Automated Timetabling and Scheduling.

The research Unit Databases and Artificial Intelligence is part of the Institute of Logic and Computation.

Professors

Scientific Staff

Administrative Staff

Juliane Auerböck J. Auerböck

Office Services

Anton Pisjak A. Pisjak

IT Services

Student Staff

External Lecturers

Rudolf Mayer R. Mayer

Lecturer
Mag. DI

Courses

2020W

Abstract Argumentation / 184.682 / VU
Bachelor Thesis / 184.691 / PR
Complexity theory / 181.142 / VU
Data Base Systems / 184.686 / VU
Data Modelling / 184.685 / VU
Database Theory / 181.140 / VU
Deductive Databases / 192.067 / VO
Doctoral & Master Students Seminar / 181.223 / SE
Formal Methods in Computer Science / 185.A93 / UE
Formal Methods in Computer Science / 185.291 / VU
Foundations of Information Systems / 192.104 / VU
Fundamentals of Computer Engineering / 183.579 / VU
Fundamentals of Data Analysis and Visualization / 192.103 / VU
Interdisciplinary Project in Data Science / 194.047 / PR
Introduction to Logical Methods in Computer Science / 184.766 / VO
Introduction to the Fundamentals of Programming for Students and Refugees / 184.791 / UE
IT Projects for Youth / 192.055 / PR
IT Projects for Youth / 192.058 / UE
Machine Learning / 184.702 / VU
Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
Project in Computer Science 1 / 184.688 / PR
Project in Computer Science 2 / 184.689 / PR
Research and Career Planning for Doctoral Students / 184.778 / VU
Research and Career Planning for Doctoral Students / 195.098 / VU
Research Seminar LogiCS / 184.767 / SE
Scientific Research and Writing / 193.052 / SE
Seminar Database Systems / 181.201 / SE

Projects

Scalable Reasoning in Knowledge Graphs
2020 – 2028 / Vienna Science and Technology Fund (WWFT)
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
2020 – 2024 / Vienna Science and Technology Fund (WWFT)
Concept recognition in monitoring data
2020 – 2022 / Vienna Business Agency (WAW)
Hybrid Parameterized Problem Solving in Practice
2019 – 2022 / Austrian Science Fund (FWF)
Algorithms for Sustainable Group Decision Making
2019 – 2022 / Austrian Science Fund (FWF)
Predictive Analytics for Emergency Call Infrastructure
2019 – 2021 / Austrian Research Promotion Agency (FFG)
Systemübergreifende Steuerung von Transport- und Intralogistik zur nachhaltigen Distribution im Physical Internet
2019 – 2021 / Austrian Research Promotion Agency (FFG)
Compiling Knowledge into Applications
2018 – 2022 / Austrian Science Fund (FWF)
HyperTrac: hypergraph Decompositions and Tractability
2018 – 2022 / Austrian Science Fund (FWF)
Selbstlernende Prognose kapazitiver Aufwände zur Sicherung der Materialver- und -entsorgung komplexer Produktionssysteme
2018 – 2021 / Austrian Research Promotion Agency (FFG)
Automated Curriculum-based Course Timetabling in the University of Prishtina
2018 – 2020 / Federal Ministry of Science, Research and Economy (bm:wfw)
CD Laboratory for Artificial Intelligence and Optimization for Planning and Scheduling
2017 – 2024 / Christian Doppler Research Association (CDG)
Ontology-mediated Queries for Graph Databases
2017 – 2021 / Austrian Science Fund (FWF)
Advanced Tools for Graph - Based Formal Argumentation
2016 – 2019 / Austrian Science Fund (FWF)
START
2014 – 2022 / Austrian Science Fund (FWF)
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
2013 – 2018 / Austrian Science Fund (FWF)
Fragment-Driven Belief Change
2013 – 2017 / Austrian Science Fund (FWF)
Heuristic Intelligence
2013 – 2016 / Austrian Research Promotion Agency (FFG)
Heterogenous Information Integration
2012 – 2017 / Austrian Science Fund (FWF)
Artificial Intelligence in Employee Scheduling
2012 – 2017 / Austrian Science Fund (FWF)

Publications

2020

On the Language of Nested Tuple Generating Dependencies / P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov / ACM Transactions on Database Systems, 45 (2020), 2; 1 - 59
Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation / R. Pichler / ACM SIGMOD Record, 49 (2020), 1; 51
Structural Constraints for Dynamic Operators in Abstract Argumentation / J. P. Wallner / Argument & Computation, 11 (2020), 1-2; 151 - 190
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Artificial Intelligence, 280 (2020), 103220; 1 - 27
Labelling-based Algorithms for SETAFs / W. Dvorak, A. Rapberger, J. P. Wallner / Talk: Third International Workshop on Systems and Algorithms for Formal Argumentation, online; 2020-09-08; in: "Proceedings SAFA 2020", S. Gaggl, M. Thimm, M. Vallati (ed.); CEUR-WS.org, 2672 (2020), 34 - 46
Computing Strongly Admissible Sets / W. Dvorak, J. P. Wallner / Talk: COMMA - International Conference on Computational Models of Argument, online; 2020-09-08 - 2020-09-11; in: "Proceedings COMMA", H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (ed.); IOs Press, 2326 (2020), ISBN: 978-1-64368-107-8; 179 - 190
The ASPARTIX system suite / W. Dvorak, S. Gaggl, A. Rapberger, J. P. Wallner, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, online; 2020-09-08 - 2020-09-11; in: "Proceedings COMMA", H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (ed.); IOS Press, 326 (2020), ISBN: 978-1-64368-107-8; 461 - 462
Explaining Non-Acceptability in Abstract Argumentation / Z. G. Saribatur, J. P. Wallner, S. Woltran / Talk: European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain; 2020-06-08 - 2020-06-12; in: "Proceedings ECAI", G. De Giacomo (ed.); IOS Press, 325 (2020), ISBN: 978-1-64368-101-6; 881 - 888
Proportional Belief Merging / A. Haret, M. Lackner, A. Pfandler, J. P. Wallner / Talk: AAAI Conference, New York; 2020-02-07 - 2020-02-12; in: "Proceedings AAAI", V. Conitzer, F. Sha (ed.); AAAI Press, (2020), 2822 - 2829
ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation / W. Dvorak, A. Rapberger, J. P. Wallner, S. Woltran / Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Dortmund; 2020-02-17 - 2020-02-20; in: "Foundations of Information and Knowledge Systems", A. Herzig, J. Kontinen (ed.); Springer, 12012 (2020), 79 - 89

2019

Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy / A. Soylu, S. Moschoyiannis, G. Governatori, M. Simkus, P. Stefaneas, A. Steen, A. Giurca / CEUR, Aachen, Deutschland, 2019, ISSN: 1613-0073; 81 pages
Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019 / M. Simkus, G. Weddell / CEUR, Aachen, Deutschland, 2019, ISSN: 1613-0073; 410 pages
Parameterized Complexity of Asynchronous Border Minimization / R. Ganian, M. Kronegger, A. Pfandler, A. Popa / Algorithmica, 81 (2019), 1; 201 - 223
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? / J. Maly, M. Truszczynski, S. Woltran / Journal of Artificial Intelligence Research, 66 (2019), 1147 - 1197
On Uniform Equivalence of Epistemic Logic Programs / W. Faber, M. Morak, S. Woltran / TPLP - Theory and Practice of Logic Programming, 19 (2019), 5-6; 826 - 840
Expansion-based {QBF} Solving on Tree Decompositions / G. Charwat, S. Woltran / Fundamenta Informaticae, 167 (2019), 1-2; 59 - 92
VADA: an architecture for end user informed data preparation / G. Gottlob, N. Konstantinou, E. Sallinger et al. / Journal of Big Data, 6 (2019), 6; 1 - 32
Integer programming model extensions for a multi-stage nurse rostering problem / F. Mischek, N. Musliu / Annals of Operations Research, 275 (2019), 1; 123 - 143
Modeling and solving staff scheduling with partial weighted maxSAT / F. Winter, N. Musliu, E. Demirovic / Annals of Operations Research, 275 (2019), 1; 79 - 99
Solving the Torpedo Scheduling Problem / L. Kletzander, N. Musliu, M. Geiger / Journal of Artificial Intelligence Research, 66 (2019), 1 - 32
On the expressive power of collective attacks / W. Dvorak, S. Woltran, J. Fandinno / Argument & Computation, 10 (2019), 2; 191 - 230
A general notion of equivalence for abstract argumentation / W. Dvorak, R. Baumann, T. Linsbichler, S. Woltran / Artificial Intelligence, 275 (2019), 275; 379 - 410
A complexity theory for hard enumeration problems / N. Creignou, M. Kröll, R. Pichler, S. Skritek, H. Vollmer / Discrete Applied Mathematics, 268 (2019), 191 - 209
Synthesizing Argumentation Frameworks from Examples / A. Niskanen, J. P. Wallner, M. Järvisalo / Journal of Artificial Intelligence Research, 66 (2019), 66; 503 - 554
On the complexity of inconsistency measurement / M. Thimm, J. P. Wallner / Artificial Intelligence, 275 (2019), 411 - 456
Backdoors to planning / M. Kronegger, S. Ordyniak, A. Pfandler / Artificial Intelligence, 269 (2019), 49 - 75
A Multiparametric View on Answer Set Programming / J. Fichte, M. Kronegger, S. Woltran / Annals of Mathematics and Artificial Intelligence (invited), 86 (2019), 1-3; 121 - 147
Counteracting electrode shifts in upper-limb prosthesis control via transfer learning / C. Prahm, A. Schulz, B. Paaßen, J. Schoisswohl, E. Kaniusas, G. Dorffner, B. Hammer, O. Aszmann / IEEE Transactions on Neural Systems and Rehabilitation Engineering TNSRE, 27 (2019), 5; 956 - 962
Relaxing and Restraining Queries for OBDA / M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus / Poster: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019", (2019), 2654 - 2661
Datalog: Bag Semantics via Set Semantics / R. Pichler, G. Gottlob, L. Bertossi / Poster: ICDT 2019 - 22nd International Conference on Database Theory, Lissabon, Portugal; 2019-03-26 - 2019-03-28; in: "22nd International Conference on Database Theory, {ICDT} 2019", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 127 (2019), ISBN: 978-3-95977-101-6; 16:1 - 16:19
Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection / S. Skritek, S. Mengel / Poster: ICDT 2019 - 22nd International Conference on Database Theory, Lissabon, Portugal; 2019-03-26 - 2019-03-28; in: "22nd International Conference on Database Theory, {ICDT} 2019", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 127 (2019), ISBN: 978-3-95977-101-6; 20:1 - 20:18
Special Issue on the 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2018) - Preface / S. Woltran, F. Ferrarotti / Annals of Mathematics and Artificial Intelligence, 87 (2019), 1-2; 1 - 4
Answer Set Programs Challenged by Ontologies / M. Ortiz de la Fuente, M. Simkus, S. Lukumbuzya / Talk: International Workshop on Description Logics, Oslo, Norway; 2019-06-18 - 2019-06-21; in: "32nd International Workshop on Description Logics", M. Simkus, G. Weddell (ed.); CEUR Workshop proceedings, 2373 (2019), ISSN: 1613-0073
Inconsistency Proofs for ASP: The ASP-DRUPE Format / J. Fichte, M. Hecher, T. Philipp / Talk: Aspocp 2019 @ Lpnmr 2019, Philadelphia; 2019-06-03; in: "Aspocp 2019 @ Lpnmr 2019", (2019), 1 - 15
gpusat2 - An Improved GPU Model Counter / J. Fichte, M. Hecher, M. Zisser / Talk: SAT 2019 - The 22nd International Conference on Theory and Applications of Satisfiability Testing, Lissabon; 2019-07-07 - 2019-07-12; in: "Pragmatics of SAT 2019 @ SAT 2019", (2019), 1 - 17
Answer Set Solving exploiting Treewidth and its Limits / M. Hecher / Talk: The 25th International Conference on Principles and Practice of Constraint Programming, Stamford, USA; 2019-09-30 - 2019-10-04; in: "CP 2019", (2019), 1 - 7
Structural Decompositions of Epistemic Logic Programs / M. Hecher, M. Morak, S. Woltran / Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 2019-11-18 - 2019-11-19; in: "TAASP 2019", (2019), 1 - 15
Treewidth and Counting Projected Answer Sets / J. Fichte, M. Hecher / Talk: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference, Philadelphia, USA; 2019-06-03 - 2019-06-07; in: "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019", Springer, 11481 (2019), ISBN: 978-3-030-20527-0; 105 - 119
Improved GPU-Based SAT Model Counter / J. Fichte, M. Hecher, M. Zisser / Talk: CP 2019 - Principles and Practice of Constraint Programming - 25th International Conference, Stamford, USA; 2019-09-30 - 2019-10-04; in: "Principles and Practice of Constraint Programming - 25th International Conference, CP 2019", Springer, 11802 (2019), ISBN: 978-3-030-30047-0; 491 - 509
Counting Complexity for Reasoning in Abstract Argumentation / J. Fichte, M. Hecher, A. Meier / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", (2019), ISBN: 978-1-57735-809-1; 2827 - 2834
Inconsistency Proofs for ASP: The ASP - DRUPE Format / M. Alviano, C. Dodaro, J. Fichte, M. Hecher, T. Philipp, J. Rath / Talk: ICLP 2019 - 35th International Conference on Logic Programming, Las Cruces, New Mexico, USA; 2019-09-20 - 2019-09-25; in: "Theory and Practice of Logic Programming", TPLP, 19 (2019), 891 - 907
Aggregating Expert Opinions in Support of Medical Diagnostic Decision-Making / C. Gangl, M. Lackner, J. Maly, S. Woltran / Talk: KR4HC 2019 - Knowledge Representation for Health Care/ProHealth, Poznan, Polen; 2019-06-26 - 2019-06-29; in: "Knowledge Representation for Health Care/ProHealth, KR4HC 2019", (2019), 56 - 62
Multi-valued GRAPPA / G. Brewka, J. Pührer, S. Woltran / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 85 - 101
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs / A. Haret, S. Woltran / Talk: IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Macao, China; 2019-08-10 - 2019-08-16; in: "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019", ijcai.org, (2019), 1726 - 1733
Forgetting in Modular Answer Set Programming / R. Goncalves, T. Janhunen, M. Knorr, J. Leite, S. Woltran / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, (2019), ISBN: 978-1-57735-809-1; 2843 - 2850
Strong Equivalence for Epistemic Logic Programs Made Easy / W. Faber, M. Morak, S. Woltran / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, (2019), ISBN: 978-1-57735-809-1; 2809 - 2816
The Space-Efficient Core of Vadalog / G. Berger, G. Gottlob, A. Pieris, E. Sallinger / Talk: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 2019-06-30 - 2019-07-05; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019", (2019), ISBN: 978-1-4503-6227-6; 270 - 284
Vadalog: Recent Advances and Applications / G. Gottlob, E. Sallinger, A. Pieris / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 21 - 37
Optimizing Horn-SHIQ Reasoning for OBDA / L. Bajraktari, M. Ortiz de la Fuente, G. Xiao / Talk: ISWC 2019 - International Semantic Web Conference, Auckland, New Zealand; 2019-10-26 - 2019-10-30; in: "The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}", Springer, 11778 (2019), ISBN: 978-3-030-30792-9; 75 - 92
Instance Space Analysis for a Personnel Scheduling Problem / L. Kletzander, N. Musliu, K. Smith-Miles / Talk: IJCAI 2019 - DSO Workshop, Macao, China; 2019-08-11; in: "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019", (2019), 1 - 8
HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings / W. Fischl, G. Gottlob, D. Longo, R. Pichler / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019.},", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling / T. Geibinger, F. Mischek, N. Musliu / Talk: CPAIOR 2019 - 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research, Thessaloniki, Greece; 2019-06-04 - 2019-06-07; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, {CPAIOR} 2019", Springer, 11494 (2019), ISBN: 978-3-030-19211-2; 304 - 319
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs / T. Geibinger, H. Tompits / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Proceedings", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 542 - 558
Solution Approaches for an Automotive Paint Shop Scheduling Problem / F. Winter, N. Musliu, C. Mrkvicka, E. Demirovic / Talk: ICAPS 2019 - 29th International Conference on Automated Planning and Scheduling, Berkeley, USA; 2019-07-10 - 2019-07-15; in: "Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, {ICAPS} 2019", AAAI Press, 29 (2019), 573 - 581
Exact Methods for Extended Rotating Workforce Scheduling Problems / L. Kletzander, N. Musliu, J. Gärtner, J. Krennwallner, W. Schafhauser / Talk: ICAPS 2019 - 29th International Conference on Automated Planning and Scheduling, Berkeley, USA; 2019-07-10 - 2019-07-15; in: "Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15, 2019", AAAI Press, (2019), ISSN: 2334-0843; 519 - 527
Modelling and Solving the Minimum Shift Design Problem / L. Kletzander, N. Musliu / Talk: CPAIOR 2019 - 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research, Thessaloniki, Greece; 2019-06-04 - 2019-06-07; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, {CPAIOR} 2019, Proceedings", Springer, 11494 (2019), ISBN: 978-3-030-19211-2; 391 - 408
Strong Equivalence for Argumentation Frameworks with Collective Attacks / W. Dvorak, A. Rapberger, S. Woltran / Talk: KI 2019 - 42nd German Conference on AI, Kassel, Deutschland; 2019-09-23 - 2019-09-26; in: "KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI", 11793 (2019), ISBN: 978-3-030-30178-1; 131 - 145
Preprocessing Argumentation Frameworks via Replacement Patterns / W. Dvorak, M. Järvisalo, T. Linsbichler, A. Niskanen, S. Woltran / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalbrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Proceedings", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 116 - 132
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs / K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil / Talk: CONCUR 2019 - The 30th International Conference on Concurrency Theory, Amsterdam, Niederlande; 2019-08-26 - 2019-08-31; in: "30th International Conference on Concurrency Theory, {CONCUR} 2019", Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 140 (2019), ISBN: 978-3-95977-121-4; 1 - 16
Complexity of Abstract Argumentation under a Claim-Centric View / W. Dvorak, S. Woltran / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, 33 (2019), ISBN: 978-1-57735-809-1; 2801 - 2808
A Quantitative Analysis of Multi-Winner Rules / M. Lackner, P. Skowron / Talk: IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Macao, China; 2019-08-10 - 2019-08-16; in: "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019", ijcai.org, (2019), ISBN: 978-0-9992411-4-1; 407 - 413
On Rational Delegations in Liquid Democracy / D. Bloembergen, D. Grossi, M. Lackner / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019", AAAI Press, (2019), 1796 - 1803
Towards Reconciling Certain Answers and {SPARQL:} Bag Semantics to the Rescue? / S. Skritek / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings / W. Fischl, D. Longo, G. Gottlob, R. Pichler / Talk: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 2019-06-30 - 2019-07-05; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019", ACM, (2019), ISBN: 978-1-4503-6227-6; 464 - 480
Complexity Bounds for Relational Algebra over Document Spanners / M. Kröll, L. Peterfreund, D. Freydenberger, B. Kimmelfeld / Talk: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 2019-06-30 - 2019-07-05; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019.", (2019), ISBN: 978-1-4503-6227-6; 320 - 334
On the Enumeration Complexity of Unions of Conjunctive Queries / M. Kröll, N. Carmeli / Talk: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 2019-06-30 - 2019-07-05; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019", ACM, (2019), ISBN: 978-1-4503-6227-6; 134 - 148
Parallel Computation of Generalized Hypertree Decompositions / G. Gottlob, R. Pichler, C. Okulmus / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
Semantic Width Revisited (Extended Abstract) / G. Gottlob, M. Lanzinger, R. Pichler / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings / T. Lehtonen, J. P. Wallner, M. Järvisalo / Talk: AAAI Conference, Honolulu, Hawaii; 2019-01-27 - 2019-02-01; in: "Proceedings AAAI 2019", P. Van Hentenryck, Z. Zhou (ed.); AAAI Press, (2019), 2938 - 2945
Manipulating Skeptical and Credulous Consequences when Merging Beliefs / A. Haret, J. P. Wallner / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy; 2019-05-08 - 2019-05-10; in: "Proceedings JELIA", F. Calimeri, N. Leone, M. Manna (ed.); Springer, 11468 (2019), ISBN: 978-3-030-19570-0; 133 - 150
Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems / M. Lanzinger, G. Gottlob, R. Pichler / Talk: Vienna Young Scientists Symposium (VSS), Wien; 2019-06-13 - 2019-06-14; in: "noch nicht bekannt", (2019), 1 - 2

2018

Computational Problems in Formal Argumentation and their Complexity / W. Dvorak, P. Dunne / in: "Handbook of Formal Argumentation", College Publications, 2018, ISBN: 978-1-84890-275-6, 631 - 687
Foundations of Implementations for Formal Argumentation / F. Cerutti, S. Gaggl, M. Thimm, J. P. Wallner / in: "Handbook of Formal Argumentation", P. Baroni, D.M. Gabbay, M. Giacomin, L. van der Torre (ed.); College Publications, 2018, ISBN: 978-1-84890-275-6, 688 - 767
Abstract Dialectical Frameworks / G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran / in: "Handbook of Formal Argumentation", P. Baroni, D.M. Gabbay, M. Giacomin, L. van der Torre (ed.); College Publications, http://www.collegepublications.co.uk/handbooks/, 2018, ISBN: 978-1-84890-275-6, 237 - 285
An SMT Approach to Fractional Hypertree Width / J. Fichte, M. Hecher, N. Lodha, S. Szeider / in: "Principles and Practice of Constraint Programming", issued by: Springer Verlag; Springer-Verlag, 2018, 109 - 127
On homeomorphically irreducible spanning trees in cubic graphs / A. Hoffmann-Ostenhof, K. Noguchi, K. Ozeki / Journal of Graph Theory, 89 (2018), 2; 93 - 100
A many-sorted variant of Japaridze's polymodal provability logic / G. Berger, L. Beklemishev, H. Tompits / Logic Journal of the IGPL, 26 (2018), 5; 505 - 538
The Impact of Active Domain Predicates on Guarded Existential Rules / G. Gottlob, A. Pieris, M. Simkus / Fundamenta Informaticae, 159 (2018), 1-2; 123 - 146
An extension-based approach to belief revision in abstract argumentation / A. Haret, S. Woltran, T. Linsbichler, St. Rümmele, M. Diller / International Journal of Approximate Reasoning, 93 (2018), 395 - 423
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? / N. Creignou, R. Pichler, S. Woltran / Logical Methods in Computer Science, 14 (2018), 4; 1 - 25
General Belief Revision / J. Delgrande, P. Peppas, S. Woltran / Journal of the ACM, 65 (2018), 5; 29:1 - 29:34
Dynamic Programming on Tree Decompositions with {D-FLAT} / M. Abseher, M. Hecher, M. Moldovan, S. Woltran, B. Bliem / KI - Künstliche Intelligenz, 32 (2018), 2-3; 191 - 192
Answer set programming unleashed! / S. Woltran, T. Schaub / KI - Künstliche Intelligenz, 32 (2018), 2-3; 105 - 108
Summary Report of the Second International Competition on Computational Models of Argumentation / S. Gaggl, T. Linsbichler, M. Maratea, S. Woltran / AI Magazine, 39 (2018), 4; 77 - 79
Defensive alliances in graphs of bounded treewidth / B. Bliem, S. Woltran / Discrete Applied Mathematics, 251 (2018), 251; 334 - 339
Snarks with Special Spanning Trees / A. Hoffmann-Ostenhof, T. Jatschka / Graphs and Combinatorics, 1 (2018), 1 - 13
ArgueApply: Abstract Argumentation at Your Fingertips / J. Pührer / KI - Künstliche Intelligenz, 32 (2018), 2-3; 209 - 212
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments / J. Pührer, G. Brewka, St. Ellmauthaler, R. Goncalves, M. Knorr, J. Leite / Artificial Intelligence, 256 (2018), 68 - 104
Stepwise debugging of answer-set programs / J. Pührer, J. Oetsch, H. Tompits / Theory and Practice of Logic Programming, 18 (2018), 1; 30 - 80
Cycle Double Covers via Kotzig Graphs / A. Hoffmann-Ostenhof, H. Fleischner, R. Häggkvist / Journal of Combinatorial Theory Series B, 1 (2018), 1 - 12
Equivalence between answer-set programs under (partially) fixed input / B. Bliem, S. Woltran / Annals of Mathematics and Artificial Intelligence, 83 (2018), 3-4; 277 - 295
Complexity of Secure Sets / B. Bliem, S. Woltran / Algorithmica, 80 (2018), 10; 2909 - 2940
Limits of Schema Mappings / P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov / Theory of Computing Systems, 62 (2018), 4; 899 - 940
Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection / M. Kröll, P. Barcelo, R. Pichler, S. Skritek / ACM Transactions on Database Systems, 43 (2018), 2; 1 - 44
Abstract Solvers for Dung's Argumentation Frameworks / R. Brochenin, T. Linsbichler, M. Maratea, J. P. Wallner, S. Woltran / Argument & Computation, 9 (2018), 1; 41 - 72
A Quantitative Analysis of Multi-Winner Rules / M. Lackner, P. Skowron / in: "Proceedings of the 7th International Workshop on Computational Social Choice (COMSOC 2018)", Computing Research Repository (CoRR), 2018, 1 - 29
Relaxing and Restraining Queries for OBDA - Extended Abstract / M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus / Poster: Principles of Knowledge Representation and Reasoning (KR), Tempe, AZ, USA; 2018-10-30 - 2018-11-02; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October-2 November 2018.", (2018), ISBN: 978-1-57735-803-9; 617 - 618
Parameter-Independent Strategies for pMDPs via POMDPs / S. Arming, E. Bartocci, K. Chatterjee, J. Katoen, A. Sokolova / Poster: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 53 - 70
Special Issue on Answer Set Programming / T. Schaub, S. Woltran / KI - Künstliche Intelligenz, 32 (2018), 2-3; 101 - 103
Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV) / J. Leite, C. Tran, P. Torroni, S. Woltran / Journal of Logic and Computation, 28 (2018), 3; 475 - 476
Taming Complex Role Inclusions for DL-Lite / M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus / Talk: 31st International Workshop on Description Logics (DL 2018), Tempe, Arizona, USA; 2018-10-27 - 2018-10-29; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.", CEUR-WS.org, (2018), Paper ID 05, 12 pages
Satisfiability in the Triguarded Fragment of First-Order Logic / S. Rudolph, M. Simkus / Talk: 31st International Workshop on Description Logics (DL 2018), Tempe, Arizona, USA; 2018-10-27 - 2018-10-29; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.", CEUR-WS.org, (2018), Paper ID 32, 12 pages
Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks / A. Haret, J. P. Wallner / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona; 2018-10-27 - 2018-10-29; in: "Proceedings of the 17th International Workshop on Non-monotonic Reasoning", E. Fermé, S. Villata (ed.); (2018), Paper ID 146, 10 pages
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments / A. Haret, J. P. Wallner, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (ed.); IJCAI, (2018), 1854 - 1860
Exploiting Treewidth for Counting Projected Answer Sets / M. Hecher, J. Fichte / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona, USA; 2018-10-27 - 2018-10-29; in: "17th International Workshop on Non-Monotonic Reasoning (NMR)", AAAI Press, (2018), 1 - 10
Exploiting Treewidth for Counting Projected Answer Sets / J. Fichte, M. Hecher / Talk: International Conference on Principles of Knowledge Representation and Reasoning - KR, Tempe, Arizona, USA; 2018-10-27 - 2018-10-29; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018", AAAI Press, (2018), ISBN: 978-1-57735-803-9; 639 - 640
Combining Rules and Ontologies into Clopen Knowledge Bases / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: AAAI 2018, New Orleans, Lousiana, USA; 2018-02-02 - 2018-02-07; in: "Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence e (AAAI-18)", (2018), 1728 - 1735
Compiling Model Representations for Querying Large ABoxes in Expressive DLs / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", (2018), 1691 - 1698
The Triguarded Fragment of First-Order Logic / S. Rudolph, M. Simkus / Talk: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Awassa, Ethiopia; 2018-11-16 - 2018-11-21; in: "LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018", EasyChair EPiC Series in Computing, 57 (2018), 604 - 619
Application of ASP in formal argumentation / W. Dvorak, J. Pührer, J. P. Wallner, S. Woltran, M. Diller / Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 2018-11-19 - 2018-11-20; in: "2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)", (2018), 1 - 11
Crowd-Sourced Knowledge Graph Extension: A Belief Revision Based Approach. / A. Revenko, R. Sabou, A. Ahmeti, M. Schauer / Talk: 6th AAAI Conference on Human Computation and Crowdsourcing (HCOMP), Zurich, Switzerland; 2018-07-05 - 2018-07-08; in: "Proceedings of the 6th AAAI Conference on Human Computation and Crowdsourcing (HCOMP)", AAAI, (2018), ISBN: 978-1-57735-799-5
Solution-Based Phase Saving and MaxSAT for Employee Scheduling: A Computational Study / F. Winter, N. Musliu, E. Demirovic, P. Stuckey / Talk: 12th International Conference on the Practice and Theory of Automated Timetabling, Wien; 2018-08-28 - 2018-08-31; in: "12th International Conference on the Practice and Theory of Automated Timetabling", (2018), ISBN: 978-0-9929984-2-4; 453 - 457
Paint Shop Scheduling in the Automotive Supply Industry / F. Winter, N. Musliu, E. Demirovic, C. Mrkvicka / Talk: 29th European Conference on Operational Research, Valencia; 2018-07-08 - 2018-07-11; in: "29th European Conference on Operational Research", (2018), 161
Modeling and Solving an Automotive Paint Shop Scheduling Problem / F. Winter, N. Musliu, E. Demirovic, C. Mrkvicka / Talk: 12th International Conference on the Practice and Theory of Automated Timetabling, Wien; 2018-08-28 - 2018-08-31; in: "12th International Conference on the Practice and Theory of Automated Timetabling", (2018), ISBN: 978-0-9929984-2-4; 477 - 480
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games / A. Svozil, W. Dvorak, K. Chatterjee, M. Henzinger / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Awassa, Ethiopia; 2018-11-16 - 2018-11-21; in: "LPAR 2018 : International Conference on Logic for Programming, Artificial Intelligence and Reasoning", EasyChair Publications, in the EPiC Series in Computing, 57 (2018), 233 - 253
General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract) / W. Fischl, G. Gottlob, R. Pichler / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Kolumbien; 2018-05-21 - 2018-05-25; in: "Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management", {CEUR} Workshop Proceedings, (2018), ISSN: 1613-0073; 1 - 4
Approval-Based Multi-Winner Rules and Strategic Voting / M. Lackner, P. Skowron / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; 340 - 346
Effective Heuristics for Committee Scoring Rules / M. Lackner, P. Faliszewski, D. Peters, N. Talmon / Talk: AAAI 2018, New Orleans, Lousiana, USA; 2018-02-02 - 2018-02-07; in: "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18)", AAAI Press, (2018), 1023 - 1030
On the Complexity of Extended and Proportional Justified Representation / M. Lackner, H. Aziz, E. Elkind, S. Huang, L. Sánchez-Fernández, P. Skowron / Talk: AAAI 2018, New Orleans, Lousiana, USA; 2018-02-02 - 2018-02-07; in: "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18)", AAAI Press, (2018), 902 - 909
A Single-Shot Epistemic Logic Program Solver / M. Bichler, M. Morak, S. Woltran / Talk: Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010, Oxford; 2018-07-09 - 2018-07-12; in: "11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018)", (2018), 1 - 14
Rewriting Guarded Existential Rules into Small Datalog Programs / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: Edbt / Icdt 2018, Wien; 2018-03-26 - 2018-03-30; in: "21st International Conference on Database Theory, {ICDT} 2018", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 98 (2018), ISBN: 978-3-89318-078-3; 1 - 24
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs / A. Haret, S. Woltran / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona, USA; 2018-10-27 - 2018-10-29; in: "17th International Workshop On Non-Monotonic Reasoning", (2018), 156 - 165
Ceteris paribus majority for social ranking / A. Haret, H. Khani, S. Moretti, M. Öztürk / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI)", ijcai.org, (2018), 303 - 309
Solving the General Employee Scheduling Problem / L. Kletzander, N. Musliu / Talk: PATAT - International Conference on the Practice and Theory of Automated Timetabling, Wien; 2018-08-28 - 2018-08-31; in: "12th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2018", (2018), 1 - 36
Weighted Model Counting on the GPU by Exploiting Small Treewidth / J. Fichte, M. Hecher, S. Woltran, M. Zisser / Talk: European Symposium on Algorithms (ESA), Helsinki, Finnland; 2018-08-20 - 2018-08-24; in: "26th Annual European Symposium on Algorithms, {ESA} 2018", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 112 (2018), ISBN: 978-3-95977-081-1; 1 - 16
Default Logic and Bounded Treewidth / J. Fichte, M. Hecher, I. Schindler / Talk: Language and Automata Theory and Applications (LATA), Ramat Gan, Israel; 2018-04-09 - 2018-04-11; in: "12th International Conference Language and Automata theory and Applications (LATA)", Springer, 10792 (2018), ISBN: 978-3-319-77312-4; 130 - 142
Evaluating SETAFs via Answer-Set Programming / W. Dvorak, S. Woltran, A. Gressler / Talk: 2nd International Workshop on Systems and Algorithms for Formal Argumentation, Warschau; 2018-09-11; in: "2nd International Workshop on Systems and Algorithms for Formal Argumentation", CEUR-WS.org, 2171 (2018), ISSN: 1613-0073; 10 - 21
On the Expressive Power of Collective Attacks / W. Dvorak, S. Woltran, J. Fandinno / Talk: 7th International Conference on Computational Models of Argument, Warschau; 2018-09-11 - 2018-09-14; in: "7th International Conference on Computational Models of Argument", IOS Press, 305 (2018), ISBN: 978-1-61499-905-8; 1 - 27
Algorithms and Conditional Lower bounds for Planning Problems / W. Dvorak, K. Chatterjee, M. Henzinger, A. Svozil / Talk: International Conference on Automated Planning and Scheduling (ICAPS), Delft; 2018-06-24 - 2018-06-29; in: "International Conference on Automated Planning and Scheduling (ICAPS 2018)", CoRR, abs/1804.07031 (2018), 1 - 14
A Local Search Framework for Industrial Test Laboratory Scheduling / F. Mischek, N. Musliu / Talk: PATAT - International Conference on the Practice and Theory of Automated Timetabling, Wien; 2018-08-28 - 2018-08-31; in: "Proceedings of the 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2018)", (2018), 465 - 467
Solver Independent Rotating Workforce Scheduling / N. Musliu, A. Schutt, P. Stuckey / Talk: CPAIOR: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Delft, The Netherlands; 2018-06-26 - 2018-06-28; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, {CPAIOR} 2018", Springer, 10848 (2018), ISBN: 978-3-319-93030-5; 429 - 445
Min-conflicts heuristic for multi-mode resource-constrained projects scheduling / N. Musliu, A. Ahmeti / Talk: GECCO: Genetic and Evolutionary Computation Conference, Kyoto, Japan; 2018-07-15 - 2018-07-19; in: "Proceedings of the Genetic and Evolutionary Computation Conference {GECCO} 2018", ACM, (2018), ISBN: 978-1-4503-5618-3; 237 - 244
General and Fractional Hypertree Decompositions: Hard and Easy Cases / R. Pichler, W. Fischl, G. Gottlob / Talk: ACM SIGMOD/PODS International Conference on Management of Data, Houston, Texas, USA; 2018-06-10 - 2018-06-15; in: "Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems", ACM, (2018), ISBN: 978-1-4503-4706-8; 17 - 32
Belief Update in the Horn Fragment / A. Haret, N. Creignou, O. Papini, S. Woltran / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, 27 (2018), ISBN: 978-0-9992411-2-7; 1781 - 1787
A New Logic for Jointly Representing Hard and Soft Constraints / J. Maly, S. Woltran / Talk: Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV), Oxford; 2018-07-19; in: "Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness", (2018), 1 - 4
Multiwinner Elections With Diversity Constraints / M. Lackner, R. Bredereck, P. Faliszewski, A. Igarashi, P. Skowron / Talk: AAAI 2018, New Orleans, Lousiana, USA; 2018-02-02 - 2018-02-07; in: "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18)", AAAI Press, (2018), 933 - 940
Variable Elimination for DLP-Functions / S. Woltran, R. Goncalves, T. Janhunen, M. Knorr, J. Leite / Talk: Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona, USA; 2018-10-27 - 2018-11-02; in: "AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning", AAAI, (2018), 643 - 644
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? / J. Maly, S. Woltran, M. Truszczynski / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; 433 - 439
Single-Shot Epistemic Logic Program Solving / M. Bichler, M. Morak, S. Woltran / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; 1714 - 1720
Computing the Schulze Method for Large-Scale Preference Data Sets / T. Csar, M. Lackner, R. Pichler / Talk: IJCAI - International Joint Conference on Artificial Intelligence, Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden", ijcai.org, (2018), ISBN: 978-0-9992411-2-7; 180 - 187
ASP Programs with Groundings of Small Treewidth / B. Bliem / Talk: Foundations of Information and Knowledge Systems (FOIKS) 2018, Budapest, Hungary; 2018-05-14 - 2018-05-18; in: "Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings", LNCS, 10833 (2018), ISBN: 978-3-319-90049-0; 97 - 113
Exploiting Treewidth for Projected Model Counting and Its Limits / J. Fichte, M. Hecher, M. Morak, S. Woltran / Talk: Theory and Applications of Satisfiability Testing - (SAT), Oxford, UK; 2018-07-09 - 2018-07-12; in: "Theory and Applications of Satisfiability Testing - (SAT 2018) - 21st International Conference, (SAT 2018)Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings", Springer, (2018), ISBN: 978-3-319-94143-1; 165 - 184
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter / W. Dvorak, K. Chatterjee, M. Henzinger, V. Loitzenbauer / Talk: ACM-SIAM Symposium on Discrete Algorithms (SODA), New Orleans, Louisiana, USA; 2018-01-07 - 2018-01-10; in: "Proceedings of the Twenty-Ninth Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2018", (2018), 2341 - 2356
Extension Enforcement under Grounded Semantics in Abstract Argumentation / A. Niskanen, J. P. Wallner, M. Järvisalo / Talk: Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona; 2018-10-30 - 2018-11-02; in: "Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning", M. Thielscher, F. Toni, F. Wolter (ed.); AAAI Press, (2018), 178 - 183
Weighted Abstract Dialectical Frameworks / G. Brewka, H. Strass, J. P. Wallner, S. Woltran / Talk: AAAI Conference, New Orleans, Louisiana, USA; 2018-02-02 - 2018-02-07; in: "Proceedings AAAI 2018", S. McIlraith, K. Weinberger (ed.); AAAI Press, (2018), 1779 - 1786
Structural Constraints for Dynamic Operators in Abstract Argumentation / J. P. Wallner / Talk: COMMA - International Conference on Computational Models of Argument, Warschau; 2018-09-11 - 2018-09-14; in: "Computational Models of Argument", S. Modgil, K. Budzynska, J. Lawrence (ed.); IOS Press, 305 (2018), ISBN: 978-1-61499-905-8; 73 - 84
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving / T. Linsbichler, M. Maratea, A. Niskanen, J. P. Wallner, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (ed.); IJCAI, (2018), 1905 - 1911

2017

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning / M. Abseher, N. Musliu, S. Woltran / Journal of Artificial Intelligence Research, 58 (2017), 829 - 858
Abstract Dialectical Frameworks. An Overview / G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran / IfCoLog Journal of Logics and their Applications, 4 (2017), 8; 2263 - 2318
Merging in the Horn Fragment / A. Haret, St. Rümmele, S. Woltran / ACM Transactions on Computational Logic, 18 (2017), 1; 1 - 32
Computational Problems in Formal Argumentation and their Complexity / W. Dvorak, P. Dunne / IfCoLog Journal of Logics and their Applications, 4 (2017), 8; 2557 - 2622
Managing Change in Graph-Structured Data Using Description Logics / S. Ahmetaj, M. Ortiz de la Fuente, D. Calvanese, M. Simkus / ACM Transactions on Computational Logic, 18 (2017), 4; 1 - 35
A Hybrid Approach for the Sudoku Problem: Using Constraint Programming in Iterated Local Search / N. Musliu, F. Winter / IEEE Intelligent Systems, 32 (2017), 2; 52 - 62
MaxSAT-based large neighborhood search for high school timetabling / E. Demirovic, N. Musliu / Computers & Operations Research, 78 (2017), 172 - 180
Modeling and solving a real-life multi-skill shift design problem / E. Demirovic, N. Musliu / Annals of Operations Research, 252 (2017), 2; 365 - 382
Modeling high school timetabling with bitvectors / E. Demirovic, N. Musliu / Annals of Operations Research, 252 (2017), 2; 215 - 238
Ranking Specific Sets of Objects / J. Maly, S. Woltran / Datenbank Spektrum - Zeitschrift für Datenbanktechnologie und Information Retrieval, 17 (2017), 3; 255 - 265
Comparing the expressiveness of argumentation semantics / W. Dvorak, C. Spanring / Journal of Logic and Computation, 27 (2017), 5; 1489 - 1521
When you must forget: Beyond strong persistence when forgetting in answer set programming / R. Goncalves, M. Knorr, J. Leite, S. Woltran / Theory and Practice of Logic Programming, 17 (2017), 5-6; 837 - 854
Construction of permutation snarks / J. Hägglund, A. Hoffmann-Ostenhof / Journal of Combinatorial Theory Series B, 122 (2017), 55 - 67
Implementing Courcelle's Theorem in a declarative framework for dynamic programming / B. Bliem, R. Pichler, S. Woltran / Journal of Logic and Computation, 27 (2017), 4; 1067 - 1094
Conformant planning as a case study of incremental QBF solving / U. Egly, M. Kronegger, F. Lonsing, A. Pfandler / Annals of Mathematics and Artificial Intelligence, 80 (2017), 1; 21 - 45
Computational Aspects of Nearly Single-Peaked Electorates / G. Erdélyi, M. Lackner, A. Pfandler / Journal of Artificial Intelligence Research, 58 (2017), 1
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation / J. P. Wallner, A. Niskanen, M. Järvisalo / Journal of Artificial Intelligence Research, 60 (2017), 1 - 40
Planning the trip itinerary for tourist groups / K. Sylejmani, J. Dorn, N. Musliu / Journal of Information Technology and Tourism (invited), 17 (2017), 1; 1 - 40
lpopt: A Rule Optimization Tool for Answer Set Programming / M. Morak, M. Bichler, S. Woltran / Poster: 26th InternationalSymposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, UK; 2017-09-06 - 2017-09-08; in: "Proceedings of the 26th InternationalSymposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)", M. Hermenegildo, P. Lopez-Garcia (ed.); Lecture Notes in Computer Science, 10184 (2017), ISBN: 978-3-319-63138-7; 114 - 130
Deviation in Belief Change on Fragments of Propositional Logic / A. Haret, S. Woltran / Talk: 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017) on Formal and Cognitive Reasoning, Dortmund; 2017-09-26; in: "Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017)", C. Beierle, G. Kern-Isberner, M. Ragni, F. Stolzenburg (ed.); CEUR Workshop Proceedings, 1928 (2017), ISSN: 1613-0073; Paper ID 6, 13 pages
The Impact of Treewidth on ASP Grounding and Solving / B. Bliem, M. Moldovan, M. Morak, S. Woltran / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)", AAAI Press, (2017), 852 - 858
Computational Social Choice in the Clouds / T. Csar, M. Lackner, R. Pichler, E. Sallinger / Talk: Workshop Präferenzen und Personalisierung in der Informatik bei der Konferenz "Datenbanksysteme für Business, Technologie und Web" (BTW), Stuttgart; 2017-03-07; in: "Workshop Präferenzen und Personalisierung in der Informatik bei der Konferenz "Datenbanksysteme für Business, Technologie und Web" (BTW)", (2017), 163 - 167
The Impact of Treewidth on {ASP} Grounding and Solving / M. Moldovan, B. Bliem, M. Morak, S. Woltran, B. Bliem / Talk: 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017), Espoo, Helsinki; 2017-07-03; in: "Proceedings of the 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017)", (2017), 1 - 13
Expansion-based (QBF) Solving on Tree Decompositions / G. Charwat, S. Woltran / Talk: 24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017), Bari, Italien; 2017-11-14 - 2017-11-15; in: "Proceedings of the 24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017)", M. Maratea, I. Serina (ed.); CEUR-WS.org, 2011 (2017), 16 - 26
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: 30th International Workshop on Description Logics, Montpellier, France (invited); 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", A. Artale, B. Glimm, R. Kontchakov (ed.); CEUR Workshop Proceedings, 1879 (2017), ISSN: 1613-0073; 1 - 13
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Montevideo, Uruguay; 2017-06-07 - 2017-06-09; in: "11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017", E. Sallinger (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1912 (2017), ISSN: 1613-0073; 1 - 5
Backdoor Trees for Answer Set Programming / J. Fichte, S. Szeider / Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland; 2017-07-03 - 2017-07-06; in: "Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (ASPOCP@LPNMR'17", B. Bogaerts, A. Harrison (ed.); (2017), ISSN: 1613-0073; 1 - 16
A Hybrid Feature Selection Algorithm Based on Large Neighborhood Search / G. Taghizadeh, N. Musliu / Talk: EvoCOP 2017, Amsterdam, Niederlande; 2017-04-19 - 2017-04-21; in: "Evolutionary Computation in Combinatorial Optimization - 17th European Conference, EvoCOP 2017", Lecture Notes in Computer Science / Springer, 10197 (2017), ISBN: 978-3-319-55452-5; 30 - 43
Personnel Scheduling as Satisfiability Modulo Theorie / C. Erkinger, N. Musliu / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017", ijcai.org, (2017), ISBN: 978-0-9992411-0-3; 614 - 621
htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond / M. Abseher, N. Musliu, S. Woltran / Talk: 14th International Conference on Integration of AI and OR Teniques (CPAIOR) 2017, Padua, Italien; 2017-06-05 - 2017-06-08; in: "CPAIOR 2017", Lecture Notes in Computer Science / Springer, 10335 (2017), ISBN: 978-3-319-59775-1; 376 - 386
A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem / L. Kletzander, N. Musliu / Talk: 14th International Conference on Integration of AI and OR Teniques (CPAIOR) 2017, Padua, Italien; 2017-06-05 - 2017-06-08; in: "ntegration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017", Lecture Notes in Computer Science (LNCS) / Springer, 10335 (2017), ISBN: 978-3-319-59775-1; 344 - 358
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width / J. Fichte, N. Lodha, S. Szeider / Talk: 20th International Conference on Theory and Applications of Satisfiability Testing - SAT 2017, Melbourne, Australien; 2017-08-28 - 2017-09-01; in: "Proceedings on the 20th International Conference on Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017.", S. Gaspers, T. Walsh (ed.); Lecture Notes in Computer Science (LNCS) / Springer, 10491 (2017), ISBN: 978-3-319-66263-3; 401 - 411
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning / T. Lehtonen, J. P. Wallner, M. Järvisalo / Talk: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Lugano; 2017-07-10 - 2017-07-14; in: "Proceedings of Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017)", A. Antonucci, L. Cholvy, O. Papini (ed.); Springer, 10369 (2017), ISBN: 978-3-319-61580-6; 57 - 68

2016

10th Workshop on Advances in Preference Handling (M-PREF) / M. Endres, N. Mattei, A. Pfandler / Online Publication, http://www.mpref-2016.preflib.org/program/, 2016, 68 pages
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 / CEUR-WS.org, 2016
The role of self-attacking arguments in characterizations of equivalence notions / R. Baumann, S. Woltran / Journal of Logic and Computation, 26 (2016), 4; 1293 - 1313
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics / R. Baumann, W. Dvorak, T. Linsbichler, C. Spanring, H. Strass, S. Woltran / Artificial Intelligence, 241 (2016), 244 - 284
Conformant Planning as a Case Study of Incremental QBF Solving / U. Egly, M. Kronegger, F. Lonsing, A. Pfandler / Annals of Mathematics and Artificial Intelligence, TBA (2016), 1 - 25
Belief Merging within Fragments of Propositional Logic / N. Creignou, O. Papini, St. Rümmele, S. Woltran / ACM Transactions on Computational Logic, 17 (2016), 3; 20:1 - 20:28
Shift Design with Answer Set Programming / M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran / Fundamenta Informaticae, 147 (2016), 1; 1 - 25
D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy / B. Bliem, G. Charwat, M. Hecher, S. Woltran / Fundamenta Informaticae, 147 (2016), 1; 27 - 61
The Power of Non-Ground Rules in Answer Set Programming / M. Bichler, M. Morak, S. Woltran / Theory and Practice of Logic Programming, 16 (2016), 5-6; 552 - 569
Guarded-Based Disjunctive Tuple-Generating Dependencies / P. Bourhis, M. Manna, M. Morak, A. Pieris / ACM Transactions on Database Systems, 41 (2016), 4; 27:1 - 27:45
Universities and computer science in the European crisis of refugees / K. Conrad, N. Musliu, R. Pichler, H. Werthner / Communications of the ACM, 59 (2016), 10; 31 - 33
Fuzzy data exchange / R. Pichler, J. Medina / Fuzzy Sets and Systems, 301 (2016), 129 - 145
Using enthymemes to fill the gap between logical argumentation and revision of abstract argumentation frameworks / J. Mailly / Keynote Lecture: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 2016-04-22 - 2016-04-24; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (ed.); (2016), 11 pages
Grappavis - A system for advanced graph-based argumentation / G. Heissenberger, S. Woltran / Poster: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 473 - 474
Semantic Acyclicity Under Constraints / P. Barceló, G. Gottlob, A. Pieris / Poster: 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS 2016, San Fracisco, CA, USA; 2016-06-26 - 2016-07-20; 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 (ed.); ACM, (2016), ISBN: 978-1-4503-4191-2; 343 - 354
An Exact Algorithm for Unicost Set Covering / E. Demirovic, T. Le Calvar, N. Musliu, K. Inoue / Talk: International Conference on Principles and Practice of Constraint Programming (CP), Toulouse; 2016-09-05 - 2016-09-09; in: "Doctoral Program of the 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016)", (2016), 9 pages
Feature Extractors for Describing Vehicle Routing Problem Instances / J. Rasku, N. Musliu, T. Kärkkäinen / Talk: 5th Student Conference on Operational Research (SCOR 2016), Nottingham; 2016-04-08 - 2016-04-10; in: "5th Student Conference on Operational Research (SCOR 2016)", (2016), ISBN: 978-3-95977-004-0; 13 pages
Integer Programming and Heuristic Approaches for a Multi-Stage Nurse Rostering Problem / F. Mischek, N. Musliu / Talk: PATAT 2016, Udine; 2016-08-23 - 2016-08-26; 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 pages
Modeling and solving staff scheduling with partial weighted maxSAT / E. Demirovic, N. Musliu, F. Winter / Talk: PATAT 2016, Udine; 2016-08-23 - 2016-08-26; 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 pages
lpopt: A Rule Optimization Tool for Answer Set Programming / M. Bichler, M. Morak, S. Woltran / Talk: International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, UK; 2016-09-06 - 2016-09-08; in: "Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)", M. Hermenegildo, P. Lopez-Garcia (ed.); (2016), 14 pages
Characterizing realizability in abstract argumentation / T. Linsbichler, J. Puehrer, H. Strass / Talk: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 2016-04-22 - 2016-04-24; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (ed.); (2016), 10 pages
Distributing Knowledge Into Simple Bases / A. Haret, J. Mailly, S. Woltran / Talk: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 2016-04-22 - 2016-04-24; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (ed.); (2016), 9 pages
How different are two argumentation semantics? / S. Doutre, J. Mailly / Talk: Dixièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2016), Montpellier; 2016-06-15 - 2016-06-17; in: "Dixièmes Journées d'Intelligence Artificielle Fondamentale", (2016), 8 pages
Revision of abstract dialectical frameworks: Preliminary report / T. Linsbichler, S. Woltran / Talk: First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016), New York; 2016-07-10; in: "Proceedings of the First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning", S. Gaggl, J. Nieves, H. Strass (ed.); (2016), 8 pages
Clique-Width and Directed Width Measures for Answer-Set Programming / B. Bliem, S. Ordyniak, S. Woltran / Talk: Workshop on Trends and Applications of Answer Set Programming, Klagenfurt, Austria; 2016-09-26; in: "Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)", T. Eiter, W. Faber, S. Woltran (ed.); (2016), 17 pages
Winner Determination in Huge Elections with MapReduce / T. Csar, M. Lackner, R. Pichler, E. Sallinger / Talk: 10th Multidisciplinary Workshop on Advances in Preference Handling, New York City, USA; 2016-07-09; in: "10th Multidisciplinary Workshop on Advances in Preference Handling", M. Endres, N. Mattei, A. Pfandler (ed.); (2016), 7 pages
Dynamic Programming-based QBF Solving / G. Charwat, S. Woltran / Talk: 4th International Workshop on Quantified Boolean Formulas (QBF 2016), Bordeaux, France; 2016-07-04; in: "Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)", F. Lonsing, M. Seidl (ed.); CEUR-WS.org, 1719 (2016), 14 pages
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa; 2016-04-22 - 2016-04-25; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.", M. Lenzerini, R. Penaloza (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1577 (2016), Paper ID 26, 13 pages
Closed Predicates in Description Logics: Results on Combined Complexity / N. Ngo, M. Ortiz de la Fuente, M. Simkus / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; 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 (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 8, 5 pages
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; 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 (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 19, 5 pages
A Compilation Technique for Interactive Ontology-mediated Data Exploration / M.-P. Andresel, M. Ortiz de la Fuente, M. Simkus / Talk: 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa; 2016-04-22 - 2016-04-25; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.", M. Lenzerini, R. Penaloza (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1577 (2016), Paper ID 37, 12 pages
Limits of Schema Mappings / P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), Paper ID 19, 17 pages
Complexity of Repair Checking and Consistent Query Answering / S. Arming, R. Pichler, E. Sallinger / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), Paper ID 21, 18 pages
A Datalog-Based Language for Querying RDF Graphs / M. Arenas, G. Gottlob, A. Pieris / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; 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 (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 17, 4 pages
Semantic Acyclicity Under Constraints / P. Barceló, G. Gottlob, A. Pieris / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; 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 (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 6, 5 pages
On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees / M. Kröll, R. Pichler, S. Skritek / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; 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 (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 14, 5 pages
Beyond IC Postulates: Classification Criteria for Merging Operators / A. Haret, A. Pfandler, S. Woltran / Talk: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 2016-08-29 - 2016-09-02; 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 (ed.); IOS Press, 285 (2016), ISBN: 978-1-61499-671-2; 372 - 380
On the functional completeness of argumentation semantics / M. Giacomin, T. Linsbichler, S. Woltran / Talk: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Kapstadt; 2016-04-25 - 2016-04-29; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference", C. Baral, J. Delgrande, F. Wolter (ed.); AAAI Press, (2016), 43 - 52
Merging of Abstract Argumentation Frameworks / J. Delobelle, A. Haret, S. Konieczny, J. Mailly, J. Rossit, S. Woltran / Talk: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Kapstadt; 2016-04-25 - 2016-04-29; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference", C. Baral, J. Delgrande, F. Wolter (ed.); AAAI Press, (2016), 33 - 42
Investigating the relationship between argumentation semantics via signature / P. Dunne, T. Linsbichler, C. Spanring, S. Woltran / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 1051 - 1057
Distributing Knowledge Into Simple Bases / A. Haret, J. Mailly, S. Woltran / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 1109 - 1115
A uniform account of realizability in abstract argumentation / T. Linsbichler, J. Puehrer, H. Strass / Talk: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 2016-08-29 - 2016-09-02; 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 (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 285 (2016), ISBN: 978-1-61499-671-2; 252 - 260
Translation-Based Revision and Merging for Minimal Horn Reasoning / G. Brewka, J. Mailly, S. Woltran / Talk: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 2016-08-29 - 2016-09-02; 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 (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 285 (2016), ISBN: 978-1-61499-671-2; 734 - 742
Verifiability of argumentation semantics / R. Baumann, T. Linsbichler, S. Woltran / Talk: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 83 - 94
Quantifying the difference between argumentation semantics / S. Doutre, J. Mailly / Talk: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 255 - 262
Perfection in abstract argumentation / C. Spanring / Talk: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 439 - 446
Understanding the abstract dialectical framework / S. Polberg / Talk: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Larnaca; 2016-11-09 - 2016-11-11; in: "Proceedings of the 15th European Conference On Logics In Artificial Intelligence", L. Michael, A. Kakas (ed.); Springer, LNCS 10021 (2016), ISBN: 978-3-319-48757-1; 430 - 446
On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions / B. Bliem, M. Hecher, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Potsdam, Germany; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 107 - 118
Unsere Empfehlung für Sie: Präferenzen und Personalisierung in der Informatik / M. Endres, A. Pfandler / Talk: 46. Jahrestagung der Gesellschaft für Informatik, Klagenfurt; 2016-09-26 - 2016-09-30; in: "Informatik 2016", H. Mayr, M. Pinzger (ed.); Gesellschaft für Informatik, Bonn, (2016), ISBN: 978-3-88579-653-4; 1927 - 1934
Complexity of Secure Sets / B. Bliem, S. Woltran / Talk: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Garching, Germany; 2015-06-17 - 2015-06-19; in: "Proceedings of the 41st International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2015)", E. Mayr (ed.); LNCS/Springer, 9224 (2016), ISBN: 978-3-662-53173-0; 64 - 77
Subset Minimization in Dynamic Programming on Tree Decompositions / B. Bliem, G. Charwat, M. Hecher, S. Woltran / Talk: AAAI-16 Workshop on Beyond NP, Phoenix, Arizona, USA; 2016-02-12; in: "Beyond NP, Papers from the 2016 AAAI Workshop", A. Darwiche (ed.); AAAI Press, WS-16-05 (2016), 300 - 306
Equivalence between Answer-Set Programs under (Partially) Fixed Input / B. Bliem, S. Woltran / Talk: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016, Linz; 2016-03-07 - 2016-03-11; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings", M. Gyssens, G. Simari (ed.); Lecture Notes in Computer Science (LNCS) / Springer, 9616 (2016), ISBN: 978-3-319-30023-8; 95 - 111
ASP for Anytime Dynamic Programming on Tree Decompositions / B. Bliem, B. Kaufmann, T. Schaub, S. Woltran / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 979 - 986
Providing Built-In Counters in a Declarative Dynamic Programming Environment / M. Abseher, M. Moldovan, S. Woltran / Talk: Joint German/Austrian Conference on Artificial Intelligence, Klagenfurt, Austria; 2016-09-26 - 2016-09-30; in: "KI 2016: Advances in Artificial Intelligence", G. Friedrich, M. Helmert, F. Wotawa (ed.); LNCS/Springer, 9904 (2016), ISBN: 978-3-319-46072-7; 3 - 16
Clique-Width and Directed Width Measures for Answer-Set Programming / B. Bliem, S. Ordyniak, S. Woltran / Talk: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 2016-08-29 - 2016-09-02; 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 (ed.); IOS Press, 285 (2016), ISBN: 978-1-61499-671-2; 1105 - 1113
Strong Backdoors for Default Logic / J. Fichte, A. Meier, I. Schindler / Talk: Theory and Application of Satisfiability Testing -- SAT, Bordeaux, France; 2016-07-05 - 2016-07-08; in: "Proceedings of SAT 2016: Theory and Applications of Satisfiability Testing - SAT 2016", N. Creignou, D. Le Berre (ed.); (2016), ISBN: 978-3-319-40969-6; 45 - 59
ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract) / B. Bliem, B. Kaufmann, T. Schaub, S. Woltran / Talk: Annual German Conference on Artificial Intelligence (KI), Klagenfurt, Austria; 2016-09-26 - 2016-09-30; in: "KI 2016: Advances in Artificial Intelligence", G. Friedrich, M. Helmert, F. Wotawa (ed.); LNCS/Springer, 9904 (2016), ISBN: 978-3-319-46072-7; 257 - 263
The Impact of Active Domain Predicates on Guarded Existential Rules / G. Gottlob, A. Pieris, M. Simkus / Talk: RR2016 - Web Reasoning and Rule Systems - 10th International Conference, Aberdeen; 2016-09-09 - 2016-09-11; 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 (ed.); Lecture Notes in Computer Science / Springer, 9898 (2016), ISBN: 978-3-319-45275-3; 94 - 110
Closed Predicates in Description Logics: Results on Combined Complexity / N. Ngo, M. Ortiz de la Fuente, M. Simkus / Talk: 15th International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016, Cape Town, South Africa; 2016-04-24 - 2016-04-29; 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 (ed.); AAAI Press, (2016), 237 - 246
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates / S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 878 - 885
Ontology-Mediated Queries Distributing over Components / G. Berger, A. Pieris / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 943 - 949
On the Complexity of Enumerating the Answers to Well-designed Pattern Trees / M. Kröll, R. Pichler, S. Skritek / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), 1 - 18
Verification of Evolving Graph-structured Data under Expressive Path Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), 1 - 19

2015

Metaheuristic Algorithms and Tree Decomposition / Th. Hammerl, N. Musliu, W. Schafhauser / in: "Springer Handbook of Computational Intelligence", J. Kacprzyk, W. Pedrycz (ed.); Springer, Berlin Heidelberg, 2015, 1255 - 1270
Applications of logical approaches to argumentation / J. Leite, C. Tran, P. Torroni, S. Woltran / Argument & Computation, 6 (2015), 1; 1 - 2
The complexity of handling minimal solutions in logic-based abduction / A. Pfandler, R. Pichler, S. Woltran / Journal of Logic and Computation, 25 (2015), 3; 805 - 825
Intra- and interdiagram consistency checking of behavioral multiview models / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Computer Languages, Systems and Structures, 44 (2015), Part A; 72 - 88
Computing Secure Sets in Graphs using Answer Set Programming / F. Dusberger, M. Abseher, B. Bliem, G. Charwat, S. Woltran / Journal of Logic and Computation, 2015 special issue (2015), 2015 special issue; 1 - 26
Reasoning in Abstract Dialectical Frameworks using Quantified Boolean Formulas / M. Diller, J. P. Wallner, S. Woltran / Argument & Computation, 6 (2015), 2; 149 - 177
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory / H. Strass, J. P. Wallner / Artificial Intelligence, 226 (2015), 34 - 74
Characteristics of multiple viewpoints in abstract argumentation / P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran / Artificial Intelligence, 228 (2015), 153 - 178
Backdoors to Normality for Disjunctive Logic Programs / J. Fichte, S. Szeider / ACM Transactions on Computational Logic, 17 (2015), 1; 7:1 - 7:23
Dual-normal logic programs - the forgotten class / J. Fichte, M. Truszczynski, S. Woltran / Theory and Practice of Logic Programming, 15 (2015), 495 - 510
Improved answer-set programming encodings for abstract argumentation / S. Gaggl, N. Manthey, A. Ronca, J. P. Wallner, S. Woltran / Theory and Practice of Logic Programming, 15 (2015), 4-5; 434 - 448
On the undecidability of the equivalence of second-order tuple generating dependencies / I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov / Information Systems, 48 (2015), 113 - 129
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Journal of Artificial Intelligence Research, 53 (2015), 315 - 374
Methods for solving reasoning problems in abstract argumentation - A survey / G. Charwat, W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran / Artificial Intelligence, 220 (2015), 28 - 63
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- / G. Gottlob, O. Orsi, A. Pieris / in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015", 9202; Springer LNCS, 2015, (invited), ISBN: 978-3-319-21541-9, 35 - 53
Polynomial Rewritings for Linear Existential Rules / G. Gottlob, M. Manna, A. Pieris / in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2992 - 2998
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue / G. Gottlob, A. Pieris / in: "roceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2999 - 3007
From Classical to Consistent Query Answering under Existential Rules / T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari / in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence", AAAI Press, 2015, ISBN: 978-1-57735-698-1, 1546 - 1552
Variable-Deletion Backdoors to Planning / M. Kronegger, A. Pfandler, S. Ordyniak / Poster: Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA; 2015-01-25 - 2015-01-30; in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA", B. Bonet, S. Koenig (ed.); AAAI Press, (2015), 3305 - 3312
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations / G. Gottlob, M. Manna, A. Pieris / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", CEUR Workshop Proceedings, 1350 (2015), 4 pages
From Classical to Consistent Query Answering under Existential Rules / T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; 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 pages
Hunt for the Collapse of Semantics in Infinite Abstract Argumentation Frameworks / C. Spanring / Talk: 2015 Imperial College Computing Student Workshop, London; 2015-09-24 - 2015-09-25; in: "2015 Imperial College Computing Student Workshop", C. Schulz, D. Liew (ed.); OpenAccess Series in Informatics, 49 (2015), ISBN: 978-3-95977-000-2; Paper ID 12, 8 pages
On the Functional Completeness of Argumentation Semantics / M. Giacomin, T. Linsbichler, S. Woltran / Talk: KI 2015 Workshop on Formal and Cognitive Reasoning, Dresden, Germany; 2015-09-22; 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 (ed.); CEUR Workshop Proceedings, 1444 (2015), 12 pages
Shift Design with Answer Set Programming / M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran / Talk: 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015, Cork, Ireland; 2015-08-31; in: "8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015", D. Inclezan, M. Maratea (ed.); (2015), 13 pages
D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy / B. Bliem, G. Charwat, M. Hecher, S. Woltran / Talk: 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015, Cork, Ireland; 2015-08-31; in: "8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015", D. Inclezan, M. Maratea (ed.); (2015), 15 pages
Chase Termination for Guarded Existential Rules / M. Calautti, G. Gottlob, A. Pieris / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 28, 6 pages
Using Statistics for Computing Joins with MapReduce / T. Csar, R. Pichler, E. Sallinger, V. Savenkov / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 13, 6 pages
DL-Lite and Conjunctive Queries Extended by Optional Matching / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), Paper ID 4, 4 pages
Towards Reconciling SPARQL and Certain Answers (Extended Abstract) / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 4, 6 pages
Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract) / P. Barceló, R. Pichler, S. Skritek / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 5, 6 pages
Extending ALCQIO with Trees / T. Kotek, M. Simkus, H. Veith, F. Zuleger / Talk: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan; 2015-07-06 - 2015-07-10; in: "LICS 2015", IEEE, (2015), ISBN: 978-1-4799-8875-4; 511 - 522
On the Parameterized Complexity of Belief Revision / A. Pfandler, St. Rümmele, J. P. Wallner, S. Woltran / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 3149 - 3155
Manipulation of k-Approval in Nearly Single-Peaked Electorates / G. Erdélyi, M. Lackner, A. Pfandler / Talk: 4th International Conference on Algorithmic Decision Theory, ADT 2015, Lexington, Kentucky, USA; 2015-09-27 - 2015-09-30; in: "Algorithmic Decision Theory, 4th International Conference, ADT 2015 Lexington, KY, USA, September 27 - 30, 2015 Proceedings", T. Walsh (ed.); Springer, Lecture Notes in Computer Science Volume 9346 (2015), ISBN: 978-3-319-23113-6; 71 - 85
Democratix: A Declarative Approach to Winner Determination / G. Charwat, A. Pfandler / Talk: 4th International Conference on Algorithmic Decision Theory, ADT 2015, Lexington, Kentucky, USA; 2015-09-27 - 2015-09-30; in: "Algorithmic Decision Theory, 4th International Conference, ADT 2015 Lexington, KY, USA, September 27 - 30, 2015 Proceedings", T. Walsh (ed.); Springer, Lecture Notes in Computer Science Volume 9346 (2015), ISBN: 978-3-319-23113-6; 253 - 269
Parameterized Complexity of Asynchronous Border Minimization / R. Ganian, M. Kronegger, A. Pfandler, A. Popa / Talk: 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2015, Singapur; 2015-05-18 - 2015-05-20; 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 (ed.); Springer, Lecture Notes in Computer Science Volume 9076 (2015), ISBN: 978-3-319-17141-8; 428 - 440
Abstract Solvers for Dung's Argumentation Frameworks / R. Brochenin, T. Linsbichler, M. Maratea, J. Wallner, S. Woltran / Talk: The 2015 International Workshop on Theory and Applications of Formal Argument, Buenos Aires, Argentinien; 2015-07-25 - 2015-07-26; in: "Theory and Applications of Formal Argumentation", E. Black, S. Modgil, N. Oren (ed.); Lecture Notes in Computer Science, 9524 (2015), ISBN: 978-3-319-28459-0; 40 - 58
The Hidden Power of Abstract Argumentation Semantics / T. Linsbichler, C. Spanring, S. Woltran / Talk: The 2015 International Workshop on Theory and Applications of Formal Argument, Buenos Aires, Argentinien; 2015-07-25 - 2015-07-26; in: "Theory and Applications of Formal Argumentation", E. Black, S. Modgil, N. Oren (ed.); Lecture Notes in Computer Science, 9524 (2015), ISBN: 978-3-319-28459-0; 146 - 162
Recent Advances in Datalog+/- / G. Gottlob, M. Morak, A. Pieris / Talk: 11th International Summer School Reasoning Web 2015, Berlin, Germany (invited); 2015-07-31 - 2015-08-04; 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; 193 - 217
Merging in the Horn Fragment / A. Haret, St. Rümmele, S. Woltran / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 3041 - 3047
An extension-based approach to belief revision in abstract argumentation / M. Diller, A. Haret, T. Linsbichler, St. Rümmele, S. Woltran / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2926 - 2932
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract) / W. Dvorak, M. Järvisalo, J. Wallner, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentinien; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015", (2015), 4173 - 4177
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning / F. Dusberger, M. Abseher, N. Musliu, S. Woltran / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 275 - 282
Shift Design with Answer Set Programming / M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran / Talk: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015, Lexington, Kentucky, USA; 2015-09-27 - 2015-09-30; 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 (ed.); Springer, Lecture Notes in Computer Science Volume 9345 (2015), ISBN: 978-3-319-23263-8; 32 - 39
Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams / G. Charwat, S. Woltran / Talk: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015, Lexington, Kentucky, USA; 2015-09-27 - 2015-09-30; 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 (ed.); Springer, Lecture Notes in Computer Science Volume 9345 (2015), ISBN: 978-3-319-23263-8; 213 - 227
Distance-Bounded Consistent Query Answering / A. Pfandler, E. Sallinger / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2262 - 2269
Fixed-parameter Tractable Reductions to SAT for Planning / R. de Haan, M. Kronegger, A. Pfandler / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2897 - 2903
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; 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 (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 65 - 77
Chase Termination for Guarded Existential Rules / M. Calautti, G. Gottlob, A. Pieris / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; 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 (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 91 - 103
Default Negation for Non-Guarded Existential Rules / M. Alviano, A. Pieris / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; 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 (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 79 - 90
Linking Open-World Knowledge Bases Using Nonmonotonic Rules / M. Simkus, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Lexington, KY, USA; 2015-09-27 - 2015-09-30; in: "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR 2015)", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer LNCS, 9345 (2015), ISBN: 978-3-319-23263-8; 294 - 308
A Rule-based Framework for Creating Instance Data from OpenStreetMap / T. Eiter, J. Z. Pan, P. Schneider, M. Simkus, G. Xiao / Talk: International Conference on Web Reasoning and Rule Systems (RR), Berlin, Germany; 2015-08-04 - 2015-08-05; in: "Web Reasoning and Rule Systems - 9th International Conference, RR 2015", B. ten Cate, A. Mileo (ed.); Springer LNCS, 9209 (2015), ISBN: 978-3-319-22001-7; 93 - 104
Binary Frontier-Guarded ASP with Function Symbols / M. Simkus / Talk: International RuleML Symposium on Rule Interchange and Applications, Berlin, Germany; 2015-08-02 - 2015-08-05; in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium (RuleML 2015)", N. Bassiliades, G. Gottlob, F. Sadri, A. Paschke, D. Roman (ed.); Springer LNCS, 9202 (2015), ISBN: 978-3-319-21541-9; 311 - 327
The Combined Complexity of Reasoning with Closed Predicates in Description Logics / N. Ngo, M. Ortiz de la Fuente, M. Simkus / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), ISSN: 1613-0073; 249 - 261
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; 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; 162 - 171
Towards Reconciling SPARQL and Certain Answers / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 24th International Conference on World Wide Web, WWW 2015, Florence; 2015-05-18 - 2015-05-22; 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 (ed.); ACM, (2015), ISBN: 978-1-4503-3469-3; 23 - 33
Efficient Evaluation and Approximation of Well-designed Pattern Trees / P. Barceló, R. Pichler, S. Skritek / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; 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 (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 131 - 144

2014

Automating the Parameter Selection in VRP: An Off-line Parameter Tuning Tool Comparison / J. Rasku, N. Musliu, T. Kärkkäinen / in: "Modeling, Simulation and Optimization for Science and Technology. Computational Methods in Applied Sciences, Volume 34", Springer Netherlands, 2014, 191 - 209
Informal Proceedings of the 27th International Workshop on Description Logics / M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus / CEUR-Proceedings, Vol. 1193. Aachen, Deutschland, 2014, ISSN: 1613-0073; 756 pages
The break scheduling problem: complexity results and practical algorithms / M. Widl, N. Musliu / Memetic Computing, 6 (2014), 2; 97 - 112
Tractable answer-set programming with weight constraints: bounded treewidth is not enough / R. Pichler, St. Rümmele, St. Szeider, S. Woltran / Theory and Practice of Logic Programming, 14 (2014), 2; 141 - 164
Belief revision within fragments of propositional logic / N. Creignou, O. Papini, R. Pichler, S. Woltran / Journal of Computer and System Sciences, 80 (2014), 2; 427 - 449
Numeric semantics of class diagrams with multiplicity and uniqueness constraints / G. Salzer, I. Feinerer / Software and Systems Modeling, 13 (2014), 3; 1167 - 1187
Generalizations of Dung Frameworks and Their Role in Formal Argumentation / G. Brewka, S. Polberg, S. Woltran / IEEE Intelligent Systems, 29 (2014), 1; 30 - 38
Complexity of super-coherence problems in ASP / M. Alviano, W. Faber, S. Woltran / Theory and Practice of Logic Programming, 14 (2014), 3; 339 - 361
Complexity-Sensitive Decision Procedures for Abstract Argumentation / W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran / Artificial Intelligence, 206 (2014), 53 - 78
Nested dependencies: structure and reasoning / P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov / 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 (ed.); ACM, 2014, 176 - 187
Combined Complexity of Repair Checking and Consistent Query Answering / S. Arming, R. Pichler, E. Sallinger / 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 (ed.); CEUR, 2014, 6 pages
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics / D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus / Poster: 27th International Workshop on Description Logics, Vienna, Austria; 2014-07-17 - 2014-07-20; in: "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014)", CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 5 pages
Modeling and Solving a Real-Life Multi-Skill Shift Design Problem / A. Bonutti, F. De Cesco, N. Musliu, A. Schaerf / Talk: PATAT 2014, York; 2014-08-26 - 2014-08-29; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling", (2014), 3 pages
Solving High School Timetabling with Satisfiability Modulo Theories / E. Demirovic, N. Musliu / Talk: PATAT 2014, York; 2014-08-26 - 2014-08-29; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling", (2014), 25 pages
Modeling High School Timetabling as PartialWeighted maxSAT / E. Demirovic, N. Musliu / Talk: 4th Workshop on Logic and Search, Wien; 2014-07-18; in: "The Proceedings of 4th Workshop on Logic and Search (a SAT / ICLP workshop at FLoC 2014)", (2014), 15 pages
SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment / A. Ahmeti, D. Calvanese, A. Polleres / Talk: 27th International Workshop on Description Logics, Vienna, Austria; 2014-07-17 - 2014-07-20; 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 (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; Paper ID 7, 13 pages
Integrating Distributed Configurations With RDFS and SPARQL / G. Schenner, S. Bischof, A. Polleres, S. Steyskal / Talk: Workshop on Configuration, Novi Sad; 2014-09-25 - 2014-09-26; in: "Proceedings of the 16th International Configuration Workshop", A. Felfernig, F. Cipriano, A. Haag (ed.); CEUR-WS, Vol-1220 (2014), 7 pages
Schema-Agnostic Query Rewriting in SPARQL 1.1 / S. Bischof, M. Krötzsch, A. Polleres, S. Rudolph / Talk: 13th International Semantic Web Conference, Riva del Garda; 2014-10-19 - 2014-10-23; in: "The Semantic Web - ISWC 2014", P. Mika et al. (ed.); LNCS/Springer, 8796 (2014), ISBN: 978-3-319-11963-2; 17 pages
DEMOCRATIX: A Declarative Approach to Winner Determination / G. Charwat, A. Pfandler / Talk: International Workshop on Computational Social Choice (COMSOC), Pittsburgh, Pennsylvania, USA; 2014-06-23 - 2014-06-25; in: "Proceedings of the Fifth International Workshop on Computational Social Choice", A. Procaccia, T. Walsh (ed.); (2014), 15 pages
A Parameterized Complexity Analysis of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 2014-07-17 - 2014-07-18; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages
Backdoors to Planning / M. Kronegger, A. Pfandler, S. Ordyniak / Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 2014-07-17 - 2014-07-18; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages
On the Hardness of Counting the Solutions of SPARQL Queries / R. Pichler, S. Skritek / Talk: 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias; 2014-06-04 - 2014-06-06; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR-WS, Vol-1189 (2014), 6 pages
Belief merging within fragments of propositional logic / N. Creignou, O. Papini, St. Rümmele, S. Woltran / Talk: 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna; 2014-07-17 - 2014-07-19; in: "Proceedings of the 15th International Workshop on Non-Monotonic Reasoning", (2014), 10 pages
Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games / C. Spanring / Talk: Imperial College Computing Student Workshop, London; 2014-09-25 - 2014-09-26; in: "2014 Imperial College Computing Student Workshop", R. Neykova, N. Ng (ed.); (2014), 8 pages
Compact Argumentation Frameworks / R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 2014-07-17 - 2014-07-19; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (ed.); (2014), 10 pages
Extension-based Semantics of Abstract Dialectical Frameworks / S. Polberg / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 2014-07-17 - 2014-07-19; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (ed.); (2014), 10 pages
Compact Argumentation Frameworks / R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran / Talk: ECAI 2014, Prag; 2014-08-18 - 2014-08-22; in: "Proceedings of the 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; 69 - 74
Capturing Relational Schemas and Functional Dependencies in RDFS / D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", (2014), 1003 - 1011
Computing Secure Sets in Graphs using Answer Set Programming. / M. Abseher, B. Bliem, G. Charwat, F. Dusberger, S. Woltran / Talk: ASPOCP 2014 - 7th Workshop on Answer Set Programming and Other Computing Paradigms, Wien; 2014-07-23; in: "7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014", (2014)
Nested Regular Path Queries in Description Logics / M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria; 2014-07-20 - 2014-07-24; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014)", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 218 - 227
Planning Problems for Graph Structured Data in Description Logics / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: 27th International Workshop on Description Logics, Vienna, Austria; 2014-07-17 - 2014-07-20; in: "Informal Proceedings of the 27th International Workshop on Description Logics", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 4 - 7
Managing Change in Graph-Structured Data Using Description Logics / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press/IJCAI, (2014), ISBN: 978-1-57735-661-5; 966 - 973
Application of Machine Learning to Algorithm Selection for TSP / J. Pihera, N. Musliu / Talk: ICTAI 2014, Limassol, Cyprus; 2014-11-10 - 2014-11-12; in: "26th IEEE International Conference on Tools with Artificial Intelligence", (2014), 47 - 54
Expressiveness of guarded existential rule languages / G. Gottlob, S. Rudolph, M. Simkus / Talk: ACM Symposium on Principles of Database Systems (PODS), Snowbird, UT, USA; 2014-06-22 - 2014-06-27; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14", R. Hull, M. Grohe (ed.); ACM Press, (2014), ISBN: 978-1-4503-2375-8; 27 - 38
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57 / T. Eiter, P. Schneider, M. Simkus, G. Xiao / Talk: 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), Vienna, Austria; 2014-07-13; in: "Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)", CEUR Workshop Proceedings, 1207 (2014), ISSN: 1613-0073; 51 - 57
Revisiting the Hardness of Query Answering in Expressive Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: RR 2014, 8th International Conference Web Reasoning and Rule Systems, Athens, Greece; 2014-09-15 - 2014-09-17; in: "Web Reasoning and Rule Systems. 8th International Conference, Proceedings", R. Kontchakov, M. Mugnier (ed.); Springer Lecture Notes in Computer Science, 8714 (2014), ISBN: 978-3-319-11112-4; 216 - 223
Nested Regular Path Queries in Description Logics (Extended Abstract) / M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 2014-06-04 - 2014-06-06; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR Workshop Proceedings, 1189 (2014), ISSN: 1613-0073
Planning and Change in Graph Structured Data under Description Logics Constraints / S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 2014-06-04 - 2014-06-06; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR-Proceedings, 1189 (2014), ISSN: 1613-0073
Updating RDFS ABoxes and TBoxes in SPARQL / A. Ahmeti, D. Calvanese, A. Polleres / Talk: 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy; 2014-10-19 - 2014-10-23; 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. (ed.); LNCS/Springer, 8796 (2014), ISBN: 978-3-319-11963-2; 441 - 456
A Parameterized Complexity Analysis of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); (2014), ISBN: 978-1-57735-661-5; 1091 - 1097
Backdoors to Planning / M. Kronegger, A. Pfandler, S. Ordyniak / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press, (2014), ISBN: 978-1-57735-661-5; 2300 - 2307
Containment and equivalence of well-designed SPARQL / R. Pichler, S. Skritek / Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Snowbird, UT, USA,; 2014-06-22 - 2014-06-27; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", R. Hull, M. Grohe (ed.); ACM, (2014), ISBN: 978-1-4503-2375-8; 39 - 50
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Talk: 7th International Conference on Software Language Engineering (SLE), Västerås, Sweden; 2014-09-15 - 2014-09-16; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)", (2014), 21 - 40
Conformant Planning as a Case Study of Incremental QBF Solving / U. Egly, M. Kronegger, F. Lonsing, A. Pfandler / Talk: Artificial Intelligence and Symbolic Computation, Sevilla, Spanien; 2014-12-11 - 2014-12-13; in: "Lecture Notes in Computer Science", Springer, Volume 8884 of LNAI (2014), ISBN: 978-3-319-13770-4; 118 - 129
GRAPPA: A Semantical Framework for Graph-Based Argument Processing / G. Brewka, S. Woltran / Talk: ECAI 2014, Prag; 2014-08-18 - 2014-08-22; in: "Proceedings of 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; 153 - 158
Belief merging within fragments of propositional logic / N. Creignou, O. Papini, St. Rümmele, S. Woltran / Talk: ECAI 2014, Prag; 2014-08-18 - 2014-08-22; in: "Proceedings of the 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; 231 - 236
Benchmarking database systems for graph pattern matching / N. Pobiedina, St. Rümmele, S. Skritek, H. Werthner / Talk: DEXA - International Conference on Database and Expert System Applications, Munich, Germany; 2014-09-01 - 2014-09-04; in: "Lecture Notes in Computer Science", Springer Verlag, (2014), 226 - 241
Probabilistic Abstract Dialectical Frameworks / S. Polberg, D. Doder / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Funchal; 2014-09-24 - 2014-09-26; in: "Logics in Artificial Intelligence", E. Fermé, J. Leite (ed.); Springer, 8761 (2014), ISBN: 978-3-319-11557-3; 591 - 599
Probabilistic Argumentation Frameworks - A Logical Approach / D. Doder, S. Woltran / Talk: International Conference on Scalable Uncertainty Management (SUM), Oxford; 2014-09-15 - 2014-09-17; in: "Scalable Uncertainty Management", U. Straccia, A. Cali (ed.); Springer, 8720 (2014), ISBN: 978-3-319-11507-8; 134 - 147
Extension-based Semantics of Abstract Dialectical Frameworks / S. Polberg / Talk: European Starting AI Researcher Symposium, Prague; 2014-08-18 - 2014-08-19; in: "STAIRS 2014", U. Endriss, J. Leite (ed.); IOS Press, 264 (2014), ISBN: 978-1-61499-421-3; 240 - 249
Revisiting Support in Abstract Argumentation Systems / S. Polberg, N. Oren / Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry; 2014-09-09 - 2014-09-12; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (ed.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; 369 - 376
Resolution-Based Grounded Semantics Revisited / W. Dvorak, T. Linsbichler, E. Oikarinen, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry; 2014-09-09 - 2014-09-12; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (ed.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; 269 - 280
Splitting Abstract Dialectical Frameworks / T. Linsbichler / Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry; 2014-09-09 - 2014-09-12; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (ed.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; 357 - 368
Characteristics of Multiple Viewpoints in Abstract Argumentation / P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Wien; 2014-07-20 - 2014-07-24; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 72 - 81
The D-FLAT System for Dynamic Programming on Tree Decompositions. / M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Madeira; 2014-09-24 - 2014-09-26; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014", E. Fermé, J. Leite (ed.); Springer, (2014), ISSN: 0302-9743; 558 - 572
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas / M. Diller, J. P. Wallner, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry, Scotland, United Kingdom; 2014-09-09 - 2014-09-12; in: "Computational Models of Argument", IOS Press, 266 (2014), ISSN: 1879-8314; 241 - 252
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory / H. Strass, J. P. Wallner / Talk: Principles of Knowledge Representation and Reasoning (KR), Wien; 2014-07-20 - 2014-07-24; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 101 - 110

2013

Computational Logic in Multi-Agent Systems / J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran / Springer, 2013, ISBN: 978-3-642-40623-2
Strong Equivalence of Qualitative Optimization Problems / W. Faber, M. Truszczynski, S. Woltran / Journal of Artificial Intelligence Research, 47 (2013), 351 - 391
The cf2 argumentation semantics revisited. / S. Gaggl, S. Woltran / Journal of Logic and Computation, 23 (2013), 5; 925 - 949
Parametric Properties of Ideal Semantics / P. Dunne, W. Dvorak, S. Woltran / Artificial Intelligence, 202 (2013), 1; 1 - 28
Reasoning about Explanations for Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Journal of Artificial Intelligence Research, 48 (2013), 635 - 669
Tractable counting of the answers to conjunctive queries / R. Pichler, S. Skritek / Journal of Computer and System Sciences (invited), 79 (2013), 6; 984 - 1001
Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries / R. Pichler, A. Polleres, S. Skritek, S. Woltran / Semantic Web (invited), 4 (2013), 4; 351 - 393
Static Analysis and Optimization of Semantic Web Queries / A. Letelier, J. Perez, R. Pichler, S. Skritek / ACM Transactions on Database Systems (invited), 38 (2013), 4; 25:1 - 25:45
A Model-Theoretic Approach to Belief Change in Answer Set Programming / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / ACM Transactions on Computational Logic, 14 (2013), 2
Model-Based Recasting in Answer-Set Programming / T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran / Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 75 - 104
On the relation between SPARQL1.1 and Answer Set Programming / A. Polleres, J. P. Wallner / Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 159 - 212
Relaxed Notions of Schema Mapping Equivalence Revisited / R. Pichler, E. Sallinger, V. Savenkov / Theory of Computing Systems (invited), 52 (2013), 3; 483 - 541
Efficient large-scale configuration via integer linear programming / I. Feinerer / Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 27 (2013), 1; 37 - 49
Beyond the schools of psychology 1: A digital analysis of Psychological Review, 1894-1903 / C. Green, I. Feinerer, J. Burman / Journal of the History of the Behavioral Sciences, 49 (2013), 2; 167 - 189
The textcat package for n-gram based text categorization in R / K. Hornik, P. Mair, J. Rauch, W. Geiger, Ch. Buchta, I. Feinerer / Journal of Statistical Software, 52 (2013), 6; 1 - 17
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems / W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran / in: "Applications of Declarative Programming and Knowledge Management", H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (ed.); Springer, 2013, ISBN: 978-3-642-41523-4, 114 - 133
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence / W. Faber, M. Truszczynski, S. Woltran / in: "Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence", AAAI Press, 2013, ISBN: 978-1-57735-615-8, 297 - 303
Web object identification for web automation and meta-search / I. Kordomatis, C. Herzog, R. Fayzrakhmanov, B. Krüpl-Sypien, W. Holzinger, R. Baumgartner / in: "Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics", C. David, D. Moreno, R. Akerkar (ed.); ACM, 2013, ISBN: 978-1-4503-1850-1
Feature-based object identification for web automation / C. Herzog, I. Kordomatis, W. Holzinger, R. Fayzrakhmanov, B. Krüpl-Sypien / in: "Proceedings of the 28th Annual ACM Symposium on Applied Computing", D. Shin (ed.); ACM, 2013, ISBN: 978-1-4503-1656-9, 742 - 749
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? / N. Creignou, R. Pichler, S. Woltran / in: "Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, 2013, ISBN: 978-1-57735-633-2, 954 - 961
Peer Data Management / A. Roth, S. Skritek / in: "Data Exchange, Integration, and Streams", P. Kolaitis, M. Lenzerini, N. Schweikardt (ed.); issued by: Schloss Dagstuhl; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2013, (invited), ISBN: 978-3-939897-61-3, 30 pages
Algorithms for Core Computation in Data Exchange / V. Savenkov / in: "Data Exchange, Integration, and Streams", P. Kolaitis, M. Lenzerini, N. Schweikardt (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl, 2013, (invited), ISBN: 978-3-939897-61-3, Paper ID 2, 31 pages
Automated Test Case Generation in End-User Programming / N. Musliu, W. Slany, J. Gärtner / Poster: 4th International Symposium End-User Development, Copenhagen, Denmark; 2013-06-10 - 2013-06-13; in: "End-User Development", Springer, LNCS, 7897 (2013), 272 - 277
Abstract Dialectical Frameworks Revisited / G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran / Poster: Twenty-third International Conference on Artificial Intelligence, Beijing, China; 2013-08-03 - 2013-08-09; in: "Proceedings of the twenty-third International Joint Conference on Artificial Intelligence (IJCAI 2013)", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 803 - 809
SPARQL Update under RDFS Entailment in Fully Materialized and Redundancy-Free Triple Stores / A. Ahmeti, A. Polleres / Talk: OrdRing 2013 - 2nd International Workshop on Ordering and Reasoning, Sydney, Australien; 2013-10-21 - 2013-10-22; in: "Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013", I. Celino, E. Valle, M. Krötzsch, S. Schlobach (ed.); CEUR-WS, Vol-1059 (2013), ISSN: 1613-0073; Paper ID 3, 12 pages
Efficient Updates of Uncertain Databases / A. Hubmer, R. Pichler, V. Savenkov, S. Skritek / Talk: 7th Alberto Mendelzon International Workshop on Foundations of Data Management 2013, Puebla/Cholula, Mexico; 2013-05-21 - 2013-05-23; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management Puebla/Cholula, Mexico, May 21-23, 2013", L. Bravo, M. Lenzerini (ed.); CEUR-WS, Vol-1087 (2013), ISSN: 1613-0073; Paper ID 9, 7 pages
Enhancing the Updatability of Projective Views / P. Guagliardo, R. Pichler, E. Sallinger / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico; 2013-05-21 - 2013-05-23; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management", CEUR Workshop Proceedings, 1087 (2013), ISSN: 1613-0073; 7 pages
Conformant Planning as a Benchmark for QBF-Solvers / M. Kronegger, A. Pfandler, R. Pichler / Talk: International Workshop on Quantified Boolean Formulas, Helsinki; 2013-07-09; in: "International Workshop on Quantified Boolean Formulas (QBF 2013)", (2013), 5 pages
A Parameterized Complexity Analysis of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: 7th Multidisciplinary Workshop on Advances in Preference Handling, Peking, China; 2013-08-03 - 2013-08-05; in: "7th Multidisciplinary Workshop on Advances in Preference Handling", (2013), 7 pages
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem / B. Bliem, R. Pichler, S. Woltran / Talk: International Symposium on Parameterized and Exact Computation (IPEC), Sophia Antipolis; 2013-09-04 - 2013-09-06; in: "Parameterized and Exact Computation", G. Gutin, St. Szeider (ed.); Springer, 8246 (2013), ISBN: 978-3-319-03897-1; 28 - 40
Scheduling of electric vehicle charging operations / D. Bucar, S. Bessler, N. Musliu, J. Grønbæk / Talk: MISTA - Multidisciplinary International Scheduling Conference: Theory and Applications, Gent, Belgium; 2013-08-27 - 2013-08-30; in: "Proceedings of MISTA 2013- Multidisciplinary International Scheduling Conference: Theory and Applications", (2013), 1 - 13
Algorithm Selection for the Graph Coloring Problem / N. Musliu, M. Schwengerer / Talk: Learning and Intelligent OptimizatioN Conference LION, Catania, Italy; 2013-01-07 - 2013-01-11; in: "Learning and Intelligent Optimization, 7th International Conference, LION 7", Srringer, LNCS, 7997 (2013), 389 - 403
Applying Machine Learning for Solver Selection in Scheduling / N. Musliu / Talk: Metaheuristic International Conference (MIC), Singapore; 2013-08-05 - 2013-08-08; in: "Proceedings of the 10th Metaheuristic International Conference (MIC 2013)", (2013), 240 - 242
Structural Properties for Deductive Argument Systems / A. Hunter, S. Woltran / Talk: The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Utrecht, The Netherlands; 2013-08-08 - 2013-08-10; in: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty", L. van der Gaag (ed.); Springer, 7958 (2013), ISBN: 978-3-642-39090-6; 278 - 289
Admissibility in the Abstract Dialectical Framework / S. Polberg, J. P. Wallner, S. Woltran / Talk: 14th International Workshop on Computational Logic in Multi-Agent Systems, Corunna, Spain; 2013-09-16 - 2013-09-18; in: "Computational Logic in Multi-Agent Systems", J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran (ed.); Springer, 8143 (2013), ISBN: 978-3-642-40623-2; 102 - 118
ARVis: Visualizing Relations between Answer Sets / T. Ambroz, G. Charwat, A. Jusits, J. P. Wallner, S. Woltran / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning", P. Cabalar, T. Son (ed.); Springer, 8143 (2013), ISBN: 978-3-642-40563-1; 73 - 78
Tractable Queries for Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 768 - 774
Conjunctive Regular Path Queries in Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 761 - 767
Tractability Guarantees for DL-Lite Query Answering / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 41 - 52
Evolving Graph Databases under Description Logic Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 120 - 131
RDFS with attribute equations via SPARQL rewriting / S. Bischof, A. Polleres / Talk: 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France; 2013-05-26 - 2013-05-30; in: "The Semantic Web: Semantics and Big Data", P. Cimiano, O. Corcho, V. Presutti, L. Hollink, S. Rudolph (ed.); Springer LNCS, 7882 (2013), ISBN: 978-3-642-38287-1; 335 - 350
Parameterized Complexity of Optimal Planning: A Detailed Map / M. Kronegger, A. Pfandler, R. Pichler / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 2013-08-03 - 2013-08-09; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 954 - 961
Computational Aspects of Nearly Single-Peaked Electorates / G. Erdélyi, M. Lackner, A. Pfandler / Talk: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA; 2013-07-14 - 2013-07-18; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)", AAAI Press, (2013), 283 - 289
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics / J. Delgrande, P. Peppas, S. Woltran / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; 264 - 276
Advanced SAT Techniques for Abstract Argumentation / J. P. Wallner, G. Weissenbacher, S. Woltran / Talk: International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Corunna, Spanien; 2013-09-16 - 2013-09-18; in: "CLIMA", Springer / LNCS, 8143 (2013), ISBN: 978-3-642-40623-2; 138 - 154
Solving Constraints for Generational Search / D. Pötzl, A. Holzer / Talk: International Conference on Tests and Proofs (TAP), Budapest, Ungarn; 2013-06-16 - 2013-06-20; in: "TAP", Springer / LNCS, 7942 (2013), ISBN: 978-3-642-38915-3; 197 - 213
Backdoors to Abduction / A. Pfandler, St. Rümmele, St. Szeider / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 2013-08-03 - 2013-08-09; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 1046 - 1052
Loop Elimination for Database Updates / V. Savenkov, R. Pichler, C. Koch / Talk: 29th British National Conference on Databases, BNCOD 2013, Oxford, UK; 2013-07-08 - 2013-07-10; in: "Big Data - 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings", G. Gottlob, G. Grasso, D. Olteanu, C. Schallhart (ed.); Springer, 7968 (2013), ISBN: 978-3-642-39466-9; 48 - 61
Class diagrams with equated association chains / I. Feinerer, G. Salzer, T. Sisel / Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 2013-07-01 - 2013-07-03; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216
UMAP: A universal layer for schema mapping languages / F. Chertes, I. Feinerer / Talk: 24th International Conference on Database and Expert Systems Applications, Prague; 2013-08-26 - 2013-08-29; in: "Proceedings of the 24th International Conference on Database and Expert Systems Applications", H. Decker, L. Lhotská, S. Link, J. Basl, A. Tjoa (ed.); Lecture Notes in Computer Science, 8056 (2013), 349 - 363
Lossless horizontal decomposition with domain constraints on interpreted attributes / I. Feinerer, P. Guagliardo, E. Franconi / Talk: 29th British National Conference on Databases, Oxford; 2013-07-08 - 2013-07-10; in: "Proceedings of the 29th British National Conference on Databases", G. Gottlob, G. Grasso, D. Olteanu, C. Schallhart (ed.); Lecture Notes in Computer Science, 7968 (2013), 77 - 91
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Talk: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013), Miami, USA; 2013-10-01; in: "Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR Workshop Proceedings, Vol-1069 (2013), ISSN: 1613-0073; 31 - 40
VCWC: A Versioning Competition Workflow Compiler / G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238

2012

The Added Value of Argumentation / S. Modgil, F. Toni, F. Bex, I. Bratko, C. I. Chesnevar, W. Dvorak, M. A. Falappa, X. Fan, S. Gaggl, A. J. Garcia, M. P. Gonzalez, Th. F. Gordon, J. Leite, M. Mozina, Ch. Reed, G. Simari, St. Szeider, P. Torroni, S. Woltran / in: "Agreement Technologies", S. Ossowski (ed.); Springer Netherlands, Dordrecht, 2012, ISBN: 978-94-007-5582-6, 357 - 403
Incorporating Data Concerns into Query Languages for Data Services / M. Ali, R. Pichler, H. Truong, S. Dustdar / in: "Enterprise Information Systems 13th International Conference, ICEIS 2011, Revised Selected Papers, LNBIP 102", R. Zhang, J. Zhang, Z. Zhang, J. Filipe, J. Cordeiro (ed.); Springer, 2012, (invited), ISBN: 978-3-642-29957-5, 132 - 145
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough / R. Pichler, St. Rümmele, St. Szeider, S. Woltran / Theory and Practice of Logic Programming, FirstView Article (2012), July; 1 - 24
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming / B. Bliem, M. Morak, S. Woltran / Theory and Practice of Logic Programming, 12 (2012), 4-5; 445 - 464
A tm Plug-In for Distributed Text Mining in R / S. Theußl, I. Feinerer, K. Hornik / Journal of Statistical Software, 51 (2012), 5; 1 - 31
Spherical k-Means Clustering / K. Hornik, I. Feinerer, M. Kober, Ch. Buchta / Journal of Statistical Software, 50 (2012), 10; 1 - 22
Augmenting Tractable Fragments of Abstract Argumentation / W. Dvorak, S. Ordyniak, St. Szeider / Artificial Intelligence, 186 (2012), 186; 157 - 173
Towards fixed-parameter tractable algorithms for abstract argumentation / W. Dvorak, R. Pichler, S. Woltran / Artificial Intelligence, 186 (2012), 186; 1 - 37
Quality-aware Service-Oriented Data Integration: Requirements, State of the Art and Open Challenges / S. Dustdar, R. Pichler, V. Savenkov, H. Truong / ACM SIGMOD Record, Volume 41 (2012), Number 1; 11 - 19
An improved SAT formulation for the social golfer problem / M. Triska, N. Musliu / Annals of Operations Research, 194 (2012), 1; 427 - 438
An Effective Greedy Heuristic for the Social Golfer Problem / M. Triska, N. Musliu / Annals of Operations Research, 194 (2012), 1; 413 - 425
Conjunctive query answering in the description logic SH using knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Journal of Computer and System Sciences, 78 (2012), 1; 47 - 85
A Taboo Search approach for solving Multi Constrained Team Orienteering Problem for application in touristic trip planning / K. Sylejmani, J. Dorn, N. Musliu / in: "12th International Conference on HybridIntelligent Systems", issued by: IEEE; IEEE Computer Society, 2012, ISBN: 978-1-4673-5114-0, 300 - 305
Tourist trip planning: solo versus group traveling / K. Sylejmani, J. Dorn, N. Musliu / in: "30th Workshop of the UK Planning and Scheduling Special Interest Group", issued by: UK Planning and Scheduling Special Interest Group; SIGPLAN, 2012
Numeric semantics of class diagrams with multiplicity and uniqueness constraints / I. Feinerer, G. Salzer / Software and Systems Modeling, 2012 (2012), 1 pages
SPAM: A SPARQL Analysis and Manipulation Tool / A. Letelier, J. Perez, R. Pichler, S. Skritek / Poster: Very Large Databases (VLDB), Istanbul, Turkey; 2012-08-27 - 2012-08-31; in: "Proceedings of the VLDB", Z. M. Özsoyoglu (ed.); Vol. 5, No.12 (2012), ISSN: 2150-8097; 1958 - 1961
Evaluating Abstract Dialectical Frameworks with ASP / St. Ellmauthaler, J. P. Wallner / Poster: COMMA - International Conference on Computational Models of Argument, Vienna, Austria; 2012-09-10 - 2012-09-12; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (ed.); IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 505 - 506
The Complexity of Nearly Single-Peaked Consistency / G. Erdély, M. Lackner, A. Pfandler / Talk: International Workshop on Computational Social Choice (COMSOC), Krakow, Poland; 2012-09-11 - 2012-09-13; in: "Proceedings of fourth int. conference on Computational Social Choice", F. Brandt, P. Faliszewski (ed.); (2012), 12 pages
Union and Intersection of Schema Mappings / J. Perez, R. Pichler, E. Sallinger, V. Savenkov / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Preto, Brasil; 2012-06-27 - 2012-06-30; in: "Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management", J. Freire, D. Suciu (ed.); CEUR-WS.org, (2012), ISSN: 1613-0073; Paper ID 9, 13 pages
Fixed-Parameter Algorithms for Finding Minimal Models / M. Lackner, A. Pfandler / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; Paper ID 4880, 11 pages
Utilizing ASP for Generating and Visualizing Argumentation Frameworks / G. Charwat, J. P. Wallner, S. Woltran / Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Ungarn; 2012-09-04; in: "5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)", M. Fink, Y. Lierler (ed.); CoRR, (2012), 15 pages
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics. / W. Dvorak, S. Gaggl / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Rome, Italy; 2012-06-08 - 2012-06-10; in: "Proceedings of 14th International Workshop on Non-Monotonic Reasoning", R. Rosati, S. Woltran (ed.); (2012), Paper ID 10, 9 pages
Belief Revision within Fragments of Propositional Logic / N. Creignou, O. Papini, R. Pichler, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-13; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; 11 pages
Static analysis and optimization of semantic web queries / A. Letelier, J. Perez, R. Pichler, S. Skritek / Talk: ACM Symposium on Principles of Database Systems (PODS), Scottsdale, Arizona, USA; 2012-05-20 - 2012-05-24; in: "Proceedings of the 31st symposium on Principles of Database Systems", M. Benedikt, M. Krötzsch, M. Lenzerini (ed.); ACM, (2012), ISBN: 978-1-4503-1248-6; 12 pages
Towards hybrid techniques for efficient declarative configuration / I. Feinerer / Talk: ECAI Workshop on Con guration 2012, Montpellier, France; 2012-08-27 - 2012-08-31; in: "Proceedings of the Workshop on Configuration at ECAI 2012", (2012), 27 - 30
WPPS: A novel and comprehensive framework for web page understanding and information extraction / R. Fayzrakhmanov / Talk: IADIS international conference WWW/Internet 2012, Madrid, Spanien; 2012-10-18 - 2012-10-21; in: "Proceeding of the International Conference IADIS WWW/Internet", B. White, P. Isaias (ed.); IADIS Press, (2012), 19 - 26
Information Extraction from Web Pages Based on Their Visual Representation / R. Fayzrakhmanov / Talk: International Conference on Web Engineering - ICWE, Paphos, Cyprus; 2011-06-20 - 2011-06-24; in: "Lecture Notes in Computer Science", Springer, 7059 (2012), 342 - 346
Multicut on Graphs of Bounded Clique-width / M. Lackner, R. Pichler, St. Rümmele, S. Woltran / Talk: Annual International Conference on Combinatiorial Optimization and Applications (COCOA), Banff, Canada; 2012-08-05 - 2012-08-09; in: "Lecture Notes of Computer Science", G. Lin (ed.); Springer, 7402 (2012), ISBN: 978-3-642-31769-9; 115 - 126
Datalog and Its Extensions for Semantic Web Databases / G. Gottlob, O. Orsi, A. Pieris, M. Simkus / Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 54 - 77
Reasoning and Query Answering in Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 1 - 53
Abstract Argumentation via Monadic Second Order Logic / W. Dvorak, St. Szeider, S. Woltran / Talk: International Conference on Scalable Uncertainty Management (SUM), Marburg, Germany; 2012-09-17 - 2012-09-19; in: "Proceedings of Sixth International Conference on Scalable Uncertainty Management (SUM 2012)", E. Hüllermeier, S. Link, T. Fober, B. Seeger (ed.); Lecture Notes in Computer Science / Springer, 7520 (2012), ISBN: 978-3-642-33361-3; 85 - 98
Foundational aspects of semantic web optimization / S. Skritek / Talk: SIGMOD/PODS Ph.D. Symposium 2012, Scottsdale, AZ, USA; 2012-05-20; in: "Proceedings of the SIGMOD/PODS 2012 PhD Symposium", X. L. Dong, M. Özsu (ed.); ACM Press, (2012), ISBN: 978-1-4503-1326-1; 45 - 50
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool / G. Charwat, W. Dvorak / Talk: COMMA - International Conference on Computational Models of Argument, Wien; 2012-09-10 - 2012-09-12; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (ed.); Frontiers in Artificial Intelligence and Applications / IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 507 - 508
Comparing the Expressiveness of Argumentation Semantics / W. Dvorak, C. Spanring / Talk: COMMA - International Conference on Computational Models of Argument, Wien; 2012-09-10 - 2012-09-12; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (ed.); Frontiers in Artificial Intelligence and Applications / IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 261 - 272
Computational Aspects of cf2 and stage2 Argumentation Semantics. / W. Dvorak, S. Gaggl / Talk: COMMA - International Conference on Computational Models of Argument, Vienna; 2012-09-10 - 2012-09-12; in: "Proceedings of Fourth International Conference on Computational Models of Argument", B. Verheij, St. Szeider, S. Woltran (ed.); "Frontiers in Artificial Intelligence and Applications" series/IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 273 - 284
WPPS: A framework for web page processing / R. Fayzrakhmanov / Talk: The 13th International Conference on Web Information Systems Engineering (WISE 2012), Paphos, Cypros; 2012-11-28 - 2012-11-30; in: "Lecture Notes of Computer Science", X. S. Wang, I. Cruz, A. Delis, G. Huang (ed.); 7651 (2012), ISBN: 978-3-642-35062-7; 800 - 803
Preprocessing of Complex Non-Ground Rules in Answer Set Programming / M. Morak, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Budapest, Ungarn; 2012-09-04 - 2012-09-08; in: "Technical Communications of the 28th International Conference on Logic Programming", A. Dovier, Vitor Costa (ed.); LIPIcs, 17 (2012), ISBN: 978-3-939897-43-9; 247 - 258
Fixed-Parameter Algorithms for Closed World Reasoning / M. Lackner, A. Pfandler / Talk: European Conference on Artificial Intelligence (ECAI), Montpellier, France; 2012-08-27 - 2012-08-31; in: "Proceedings of the ECAI Conference", L. Raedt, Ch. Bessiere, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, P. Lucas (ed.); IOS Press, 242 (2012), ISBN: 978-1-61499-097-0; 492 - 497
A new Hyperheuristic Algorithm for Cross Domain Search Problems / A. Lehrbaum, N. Musliu / Talk: Learning and Intelligent OptimizatioN Conference LION, Paris, Frankreich; 2012-01-16 - 2012-01-20; in: "Lecture Notes in Computer Science", Y. Hamadi, M. Schoenauer (ed.); Springer, 7219 (2012), ISBN: 978-3-642-34412-1; 437 - 442
Strong Equivalence of Qualitative Optimization Problems / W. Faber, M. Truszczynski, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 188 - 198
Complexity-Sensitive Decision Procedures for Abstract Argumentation / W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Proceedings of 13th int. conf. of Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 54 - 64
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming / M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran / Talk: Learning and Intelligent OptimizatioN Conference LION, Paris, Frankreich; 2012-01-16 - 2012-01-20; in: "Lecture Notes in Computer Science", Y. Hamadi, M. Schoenauer (ed.); Springer, 7219 (2012), ISBN: 978-3-642-34412-1; 130 - 144
Query Rewriting for Horn-SHIQ Plus Rules / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 726 - 733
Towards Practical Query Answering for Horn SHIQ. / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); CEUR workshop proceedings, 846 (2012), ISSN: 1613-0073; 158 - 168
Answering Expressive Path Queries over Lightweight DL Knowledge Bases / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); (2012), ISSN: 1613-0073; 81 - 91
The Complexity of Explaining Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 583 - 587
Configuration Repair via Flow Networks / G. Salzer, I. Feinerer, T. Sisel et al. / Talk: 20th International Symbosium, ISMIS 2012, Macao; 2012-12-04 - 2012-12-07; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (ed.); Berlin (2012), ISBN: 978-3-642-34623-1; 321 - 330
The Parameterized Complexity of Abduction / M. R. Fellows, A. Pfandler, F. A. Rosamond, St. Rümmele / Talk: AAAI Conference, Toronto, Kanada; 2012-07-22 - 2012-07-26; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 743 - 749

2011

XHSTT: an XML archive for high school timetabling problems in different countries / G Post, J Kingston, S. Ahmadi, S. Daskalaki, C. Gogos, J. Kyngas, C. Nurmi, N. Musliu, N. Pillay, H. Santos, A. Schaerf / Annals of Operations Research, (*) (2011)
Tractable Cases of the Extended Global Cardinality Constraint / M. Samer, St. Szeider / Constraints, 16 (2011), 1; 1 - 24
Complexity of logic-based argumentation in Post's framework / N. Creignou, J. Schmidt, M. Thomas, S. Woltran / Argument & Computation, 2 (2011), 2-3; 107 - 129
Normalization and optimization of schema mappings / G. Gottlob, R. Pichler, V. Savenkov / VLDB Journal, 20 (2011), 2; 277 - 302
On the Intertranslatability of Argumentation Semantics / W. Dvorak, S. Woltran / Journal of Artificial Intelligence Research, 41 (2011), 445 - 475
Special issue on answer set programming / M. Balduccini, S. Woltran / AI Communications, 24 (2011), 2; 105 - 106
Content-based social network analysis of mailing lists / A. Bohn, I. Feinerer, K. Hornik, P. Mair / R Journal, 3 (2011), 1; 11 - 18
Characterizing strong equivalence for argumentation frameworks / E. Oikarinen, S. Woltran / Artificial Intelligence, 175 (2011), 14-15; 1985 - 2009
Data Concern Aware Querying for the Integration of Data Services / M. Ali, R. Pichler, H. Truong, S. Dustdar / Poster: ICEIS, Beijing; 2011-06-08 - 2011-06-11; in: "Proceedings of the 13th International Conference on Enterprise Information Systems", J. Cordeiro, X. Li, Z. Zhang, J. Zhang (ed.); SciTePress, Volume 1 (2011), ISBN: 978-989-8425-53-9; 111 - 119
A New Tree-Decomposition Based Algorithm for Answer Set Programming / M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran / Poster: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, Boca Raton, Florida USA; 2011-11-07 - 2011-11-09; in: "2011 IEEE 23rd International Conference on Tools with Artificial Intelligence", T. M. Khoshgoftaar, X. Zhu (ed.); (2011), ISSN: 1082-3409; 916 - 918
The Complexity of Conjunctive Query Abduction in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Talk: International Workshop on Description Logics (DL), Barcelon, Spain; 2011-07-13 - 2011-07-16; in: "CEUR Workshop Proceedings", R. Rosati, S. Rudolph, M. Zakharyaschev (ed.); CEUR Workshop Proceedings, 745 (2011), ISSN: 1613-0073; Paper ID 49, 11 pages
On the Complexity of Computing the Justification Status of an Argument / W. Dvorak / Talk: First International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the 1st international Workshop on the Theory and Applications of Formal Argumentation", S. Modgil, N. Oren, F. Toni (ed.); http://ijcai-11.iiia.csic.es/files/proceedings/W25-%20TAFA-post-proceedings.pdf, (2011), 15 pages
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs / G. Brewka, P. Dunne, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelon, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the 22nd Int. Joint Conference on Artificial Intelligence", T. Walsh (ed.); AAAI Press, (2011), ISBN: 978-1-57735-516-8; Paper ID 137, 6 pages
Parametric Properties of Ideal Semantics / W. Dvorak, P. Dunne, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Catalonia, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the 22nd Int. Joint Conference on Artificial Intelligence", T. Walsh (ed.); AAAI Press, (2011), ISBN: 978-1-57735-516-8; Paper ID 148, 6 pages
On Integrating Data Services Using Data Mashups / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: Britsh National Conference on Databases - BNCOD, Manchester, Großbritannien; 2011-07-12 - 2011-07-14; in: "Advances in Databases", A. A. A. Fernandes, A.J.G. Gray, K. Belhajjame (ed.); LNCS/Springer, 7051 (2011), ISBN: 978-3-642-24576-3; 132 - 135
TEMPLE - A Domain Specific Language for Modeling and Solving Staff Scheduling Problems / J. Gärtner, N. Musliu, W. Schafhauser, W. Slany / Talk: Symposium on Computational Intelligence in Scheduling (SCIS), Paris, France; 2011-04-11 - 2011-04-15; in: "Proceedings of 2011 Symposium on Computational Intelligence in Scheduling", (2011), ISBN: 978-1-61284-195-3; 58 - 64
A Constraint Programming Application for Rotating Workforce Scheduling / M. Triska, N. Musliu / Talk: 24th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Syracuse, NY; 2011-06-28 - 2011-07-01; in: "Developing Concepts in Applied Intelligence: 24th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems", Studies in Computational Intelligence, 363 (2011), 83 - 88
Constructing Cyclic Staff Schedules by Iterated Local Search / N. Musliu / Talk: Metaheuristic International Conference (MIC), Udine; 2011-07-25 - 2011-07-28; in: "Proceedings of the 9th Metaheuristic International Conference (MIC 2011)", (2011), ISBN: 978-88-900984-3-7; 655 - 657
Containment of Regular Path Queries under Description Logic Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 805 - 812
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ / M. Ortiz de la Fuente, M. Simkus, S. Rudolph / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 2011-07-16 - 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 1039 - 1044

2010

A Break Scheduling System for Supervision Personnel Using AI techniques. / A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany / IEEE Intelligent Systems, 25 (2010), 2; 60 - 73
Answer-Set Programming Encodings for Argumentation Frameworks / U. Egly, S. Gaggl, S. Woltran / Argument & Computation, 1 (2010), 2; 147 - 177
Algorithms for Propositional Model Counting / M. Samer, St. Szeider / Journal of Discrete Algorithms, 8 (2010), 1; 50 - 64
On the distributivity of LTL specifications / M. Samer, H. Veith / ACM Transactions on Computational Logic, 11 (2010), 3
Monadic datalog over finite structures of bounded treewidth / G. Gottlob, R. Pichler, F. Wei / ACM Transactions on Computational Logic, 12 (2010), 1
Counting complexity of propositional abduction / M. Hermann, R. Pichler / Journal of Computer and System Sciences, 76 (2010), 7; 634 - 649
Computing Product Configurations via UML and Integer Linear Programming / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367
Complexity of semi-stable and stage semantics in argumentation frameworks / W. Dvorak, S. Woltran / Information Processing Letters, Inf. Process. Lett. 110 (2010), 11; 425 - 430
Tractable database design and datalog abduction through bounded treewidth / G. Gottlob, R. Pichler, F. Wei / Information Systems, 35 (2010), 3; 278 - 298
Bounded treewidth as a key to tractability of knowledge representation and reasoning / G. Gottlob, R. Pichler, F. Wei / Artificial Intelligence, 174 (2010), 1; 105 - 132
Towards practical feasibility of core computation in data exchange / R. Pichler, V. Savenkov / Theoretical Computer Science, 411 (2010), 7-9; 935 - 957
Kernel-based machine learning for fast text mining in R / A. Karatzoglou, I. Feinerer / Computational Statistics and Data Analysis, 54 (2010), 2; 290 - 297
Decentralized Diagnosis: Complexity Analysis and Datalog Encodings / A. Pfandler, R. Pichler, S. Woltran / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 291 - 292
Implementing a Peer Database Management System / S. Skritek, R. Pichler / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 299 - 300
Schema Mapping Optimization in the Presence of Target Constraints / E. Sallinger, R. Pichler, V. Savenkov / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 309 - 310
Analysis and Algorithms for Stemming Inversion / I. Feinerer / Poster: 6th Asia Information Retrieval Societies Conference, Taipei, Taiwan; 2010-12-01 - 2010-12-03; in: "Information Retrieval Technology - AIRS 2010 Proceedings", P. Cheng, M. Kan, W. Lam, P. Nakov (ed.); Springer, Lecture Notes in Computer Science 6458 (2010), 290 - 299
An improved memetic algorithm for break scheduling / M. Widl, N. Musliu / Talk: HM 2010, Vienna; 2010-10-01 - 2010-10-02; in: "Proceddings of 7th International Workshop on Hybrid Metaheuristics", Lecture Notes in Computer Sciences, 6373 (2010), 133 - 147
Scheduling content multicast trees with minimal repetitions / S. Bessler, L. Lang, N. Musliu / Talk: Networks 2010, Warsaw, Poland; 2010-09-27 - 2010-09-30; in: "In Proceedings of the 14th International telecommunications Network Strategy and Planning Symposium", (2010), 1 - 6
Ant Colony Optimization for Tree Decompositions / Th. Hammerl, N. Musliu / Talk: EvoCOP 2010, Istanbul; 2010-04-07 - 2010-04-09; in: "Evolutionary Computation in Combinatorial Optimization, 10th European Conference, EvoCOP 2010, Proceedings", Lecture Notes in Computer Science, Springer, 6022 (2010), 95 - 106
A hybrid LS-CP solver for the shifts and breaks design problem / L. Di Gaspero, J. Gärtner, N. Musliu, A. Schaerf, W. Schafhauser, W. Slany / Talk: HM 2010, Vienna; 2010-10-01 - 2010-10-02; in: "Proceedings of 7th International Workshop on Hybrid Metaheuristics", Lecture Notes in Computer Sciences, 6373 (2010), 46 - 61
Semantic Online Tourism Market Monitoring / K. Fröschl, R. Baumgartner, N. Walchhofer, M. Hronsky, M. Pöttler / Talk: 17th ENTER eTourism Conference, Lugano, Switzerland; 2010-02-10 - 2010-02-12; in: "Proceedings of the International Conference in Lugano", Springer Wien/New York, (2010), ISBN: 9783211994061; 629 - 640
Modelling Web Navigation with the User in Mind / R. Fayzrakhmanov, M. Goebel, W. Holzinger, B. Krüpl, A. Mager, R. Baumgartner / Talk: 2010 International Cross Disciplinary Conference on Web Accessibility - W4A2010, Raleigh, USA; 2010-04-26 - 2010-04-27; in: "Proceedings of the 2010 International Cross Disciplinary Conference on Web Accessibility - W4A2010", ACM Press, (2010), ISBN: 978-1-4503-0045-2
The Complexity of Handling Minimal Solutions in Logic-Based Abduction / R. Pichler, S. Woltran / Talk: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 2010-08-16 - 2010-08-20; in: "Prooceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence", H. Coelho, R. Studer, M. Woolridge (ed.); IOS Press, 215 (2010), ISBN: 978-1-60750-605-8; 895 - 900
A Unified Ontology-Based Web Page Model for Improving Accessibility / R. Fayzrakhmanov, M. Goebel, W. Holzinger, B. Krüpl, R. Baumgartner / Talk: International World Wide Web Conference (WWW), Raleigh, USA; 2010-04-26 - 2010-04-30; in: "Proceedings of the 19th international conference on World Wide Web", M. Rappa, P. Jones (ed.); ACM Press, (2010), 1087 - 1088
Sets of Boolean Connectives That Make Argumentation Easier / N. Creignou, J. Schmidt, M. Thomas, S. Woltran / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 117 - 129
Representing Preferences Among Sets / G. Brewka, M. Truszczynski, S. Woltran / Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 2010-07-11 - 2010-07-15; in: "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010", M. Fox, D. Poole (ed.); AAAI Press, (2010)
Counting and Enumeration Problems with Bounded Treewidth / R. Pichler, St. Rümmele, S. Woltran / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Dakar, Senegal; 2010-04-25 - 2010-05-01; in: "Lecture Notes in Artificial Intelligence 6355", R. Goebel, J. Siekmann, W. Wahlster (ed.); Lecture Notes in Computer Science, 6355 (2010), ISBN: 978-3-642-17510-7; 387 - 404
A Dynamic-Programming Based ASP-Solver / M. Morak, R. Pichler, St. Rümmele, S. Woltran / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "Lecture Notes in Artificial Intelligence", R. Goebel, J. Siekmann, W. Wahlster (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 369 - 372
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries / R. Pichler, A. Polleres, S. Skritek, S. Woltran / Talk: RR 2010 - The fourth international Conference on Web Reasoning and Rule Systems, Brixen, Italy; 2010-09-22 - 2010-09-24; in: "RR 2010", P. Hitzler, T. Lukasiewicz (ed.); Lecture Notes/ Springer, 6333 (2010), ISBN: 978-3-642-15917-6; 133 - 148
Reasoning in Argumentation Frameworks of Bounded Clique-Width / W. Dvorak, St. Szeider, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 2010-09-08 - 2010-09-10; in: "Proceedings of COMMA 2010", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; 219 - 230
Minimising RDF Graphs under Rules and Constraints Revisited / R. Pichler, A. Polleres, S. Skritek, S. Woltran / Talk: 4th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2010), Bueons Aires, Argentina; 2010-05-17 - 2010-05-20; in: "Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management", A. H. F. Laender, L. V. S. Lakshmanan (ed.); CEUR Workshop Proceedings, 619 (2010), ISSN: 1613-0073
Web 2.0 Vision for the Blind / R. Baumgartner, B. Krüpl, M. Goebel, D. Klein, R. Gattringer / Talk: 2nd Web Science Conference - WebSci2010, Raleigh, USA; 2010-04-26 - 2010-04-27; in: "Proceedings of the 2nd Web Science Conference - WebSci2010", (2010)
Support Vector Machines for Large Scale Text Mining in R / I. Feinerer, A. Karatzoglou / Talk: 19th International Conference on Computational Statistics, Paris, Frankreich; 2010-08-22 - 2010-08-27; in: "COMPSTAT 2010 --- Proceedings in Computational Statistics", Y. Lechevallier, G. Saporta (ed.); Physica, Heidelberg, Deutschland (2010), ISBN: 978-3-7908-2603-6; 999 - 1006
A New SNA Centrality Measure Quantifying the Distance to the Nearest Center / A. Bohn, S. Theußl, I. Feinerer, K. Hornik, P. Mair, N. Walchhofer / Talk: 11th Conference of the International Federation of Classification Societies, Dresden, Deutschland; 2009-03-13 - 2009-03-18; in: "Classification as a Tool for Research", H. Locarek-Junge, C. Weihs (ed.); Springer, Studies in Classification, Data Analysis, and Knowledge Organization (2010), 579 - 586
Multicut Algorithms via Tree Decompositions / R. Pichler, St. Rümmele, S. Woltran / Talk: 7#{th}^Int. Conference on Algorithms and Complexity - CIAC 2010, Rome, Italy; 2010-05-26 - 2010-05-28; in: "Algorithms and Complexity", T. Calamoneri, J. Diaz (ed.); LNCS, Springer, 6078 (2010), ISBN: 978-3-642-13072-4; 167 - 179

2009

Complexity of Counting the Optimal Solution / M. Hermann, R. Pichler / Theoretical Computer Science, 410 (2009), 38-40; 3814 - 3825
Covering graphs with few complete bipartite subgraphs / H. Fleischner, E. Mujuni, D. Paulusma, S. Szeider / Theoretical Computer Science, 410 (2009), 21-23; 2045 - 2053
A Solver for QBFs in Negation Normal Form / U. Egly, M. Seidl, S. Woltran / Constraints, 14 (2009), 1; 38 - 79
Relativized hyperequivalence of logic programs for modular programming / M. Truszczynski, S. Woltran / Theory and Practice of Logic Programming, Vol. 9 (2009), 6; 781 - 819
Hyperequivalence of logic programs with respect to supported models / M. Truszczynski, S. Woltran / Annals of Mathematics and Artificial Intelligence, 53 (2009), 1-4; 331 - 365
Modularity Aspects of Disjunctive Stable Models / T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran / Journal of Artificial Intelligence Research, 35 (2009), 813 - 857
Encoding deductive argumentation in quantified Boolean formulae / P. Besnard, A. Hunter, S. Woltran / Artificial Intelligence, 173 (2009), 15; 1406 - 1423
Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity / D. Pearce, H. Tompits, S. Woltran / Theory and Practice of Logic Programming, 9 (2009), 5; 565 - 616
A Comparison of Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Formal Aspects of Computing, 21 (2009), 3; 293 - 301
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran / in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 247 - 252
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 241 - 246
A Flight Meta-Search Engine with Metamorph / B. Krüpl, W. Holzinger, Y. Darmaputra, R. Baumgartner / Poster: 18th Int. World Wide Web Conference, Madrid, Spanien; 2009-04-20 - 2009-04-24; in: "WWW 2009 Proceedings", J. Quemada, G. Léon (ed.); Association for Computing Machinery, Inc. (ACM), (2009), ISBN: 978-1-60558-487-4; 2 pages
GraphWrap-A System for Interactive Wrapping of PDF Documents Using Graph Matching Techniques / T. Hassan / Poster: The 9th ACM Symposium on Document Engineering (DocEng'09), München, Deutschland; 2009-09-15 - 2009-09-18; in: "Proc. of the 2009 ACM Symposium on Document Engineering", U. M. Borghoff, B. Chidlovskii, S. Rönnau (ed.); (2009), ISBN: 978-1-60558-575-8; 247 - 248
A Memetic Algorithm for a Break Scheduling Problem / N. Musliu, W. Schafhauser, M. Widl / Talk: VIII Metaheuristic International Conference, Hamburg, Deutschland; 2009-07-13 - 2009-07-16; in: "Cd Mic 2009", (2009), 10 pages
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395
Answer-Set Programming with Bounded Tree Width / M. Jakl, R. Pichler, S. Woltran / Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 2009-07-11 - 2009-07-17; in: "Proc. of the Twenty-First Int. Joint Conference on Artificial Intelligence", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), ISBN: 978-1-57735-428-4; 816 - 822
Nonparametric distribution analysis for text mining / A. Karatzoglou, I. Feinerer, K. Hornik / Talk: 32nd Annual Conference of the Gesellschaft für Klassifikation e.V., Hamburg; 2008-07-16 - 2008-07-18; in: "Advances in Data Analysis, Data Handling and Business Intelligence", Springer, (2009), ISBN: 978-3-642-01045-3; 295 - 305
Object-Level Document Analysis of PDF Files / T. Hassan / Talk: The 9th ACM Symposium on Document Engineering (DocEng'09), München, Deutschland; 2009-09-15 - 2009-09-18; in: "Proc. of the 2009 ACM Symposium on Document Engineering", U. M. Borghoff, B. Chidlovskii, S. Rönnau (ed.); (2009), ISBN: 978-1-60558-575-8; 47 - 55
A Framework for Programming with Module Consequences / W. Faber, S. Woltran / Talk: 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09), co-located with the 10th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam; 2009-09-14 - 2009-09-18; in: "Proc. of the 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09)", M. De Vos, T. Schaub (ed.); (2009), ISSN: 1613-0073; 34 - 48
On Using Distributed Extended XQuery for Web Data Sources as Services / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: 9th International Conference on Web Engineering, ICWE 2009, San Sebastián, Spain; 2009-06-24 - 2009-06-26; in: "Web Engineering Proceedings of the 9th International Conference, ICWE 2009", M. Gaedke, M. Grossniklaus, O. Díaz (ed.); Springer, LNCS 5648 (2009), ISBN: 978-3-642-02817-5; 497 - 500
Manifold Answer-Set Programs for Meta-reasoning / W. Faber, S. Woltran / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 115 - 128
Belief Revision with Bounded Treewidth / R. Pichler, St. Rümmele, S. Woltran / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 250 - 263
Alternation as a programming paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Talk: PPDP'09 - 11th International ACM SIGPLAN Symposium on Princeples and Practice of Declarative Programming, Coimbra, Portugal; 2009-09-07 - 2009-09-09; in: "Proc. of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming", A. Porto, F. J. Lopez-Fraguas (ed.); ACM Press, (2009), ISBN: 978-1-60558-568-0; 61 - 72
DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: 11th International Conference on Enterprise Information Systems, ICEIS 2009, Milan, Italy; 2009-05-06 - 2009-05-10; in: "Enterprise Information Systems Proceedings of the 11th International Conference, ICEIS 2009", J. Filipe, J. Cordeiro (ed.); Springer, LNBIP 24 (2009), ISBN: 978-3-642-01346-1; 172 - 183

2008

An Iterative Heuristic Algorithm for Tree Decomposition / N. Musliu / in: "Recent Advances in Evolutionary Computation for Combinatorial Optimization. Studies in Computational Intelligence, Volume 153/2008", C. Cotta, J. van Hemert (ed.); Springer, 2008, ISBN: 978-3-540-70806-3, 133 - 150
Cyclic Games and Linear Programming / S. Vorobyov / Discrete Applied Mathematics (invited), Special Volume Dedicated to the Work of Leonid Khachiyan (2008), 11; 2195 - 2231
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming / S. Woltran / Theory and Practice of Logic Programming, 8 (2008), 2; 217 - 234
Entailment for Domain-restricted RDF / R. Pichler, A. Polleres, F. Wei, S. Woltran / in: "Proceedings of the 5th Annual European Semantic Web Conference (ESWC'08)", Springer LNCS, 2008, ISBN: 978-3-540-68233-2, 200 - 214
Text Mining Infrastructure in R / I. Feinerer, K. Hornik, D. Meyer / Journal of Statistical Software, 25 (2008), 5; 54 pages
Solving Practical Configuration Problems using UML / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / Talk: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 2008-07-21 - 2008-07-22; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 pages
A Generalised Finite Domain Constraint Solver for SWI-Prolog / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 22nd Workshop on (Constraint) Logic Programming, Dresden; 2008-09-30 - 2008-10-01; in: "22nd Workshop on (Constraint) Logic Programming", Technical Report, University Halle-Wittenberg, Institute of Computer Science, 2008/08 (2008), 89 pages
Fast text mining using kernels in R / I. Feinerer, A. Karatzoglou / Talk: COMPSTAT 2008 International Conference on Computational Statistics, Porto, Portugal; 2008-08-24 - 2008-08-29; in: "COMPSTAT 2008-Proceedings in Computational Statistics", (2008), ISBN: 978-3-7908-2083-6; 8 pages
Solving the Social Golfer Problem with a GRASP / M. Triska, N. Musliu / Talk: PATAT 2008, Montreal, Canada; 2008-08-18 - 2008-08-22; in: "In Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 12 pages
An Improved SAT Formulation for the Social Golfer Problem / M. Triska, N. Musliu / Talk: The 7th International Conference on the Practice and Theory of Automated Timetabling, Montreal, Canada; 2008-08-19 - 2008-08-22; in: "Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 13 pages
Scheduling Breaks in Shift Plans for Call Centers / A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany / Talk: The 7th International Conference on the Practice and Theory of Automated Timetabling, Montreal; 2008-08-18 - 2008-08-22; in: "Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 17 pages
Declarative language extensions for prolog courses / U. Neumerkel, M. Triska, J. Wielemaker / Talk: International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada; 2008-09-21; in: "Proceedings of the 2008 international workshop on Functional and declarative programming in education", ACM Press, New York, NY, USA (2008), ISBN: 978-1-60558-068-5; 73 - 77
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation / G. Gottlob, R. Pichler, F. Wei / Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 2008-07-13 - 2008-07-17; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (ed.); AAAI Press, Volume 3 (2008), ISBN: 978-1-57735-368-3; 1541 - 1547
Better Termination for Prolog with Constraints / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "18th Workshop on Logic-based methods in Programming Environments (WLPE'08)", P. Arenas, D. Zanardini (ed.); (2008), 90 - 96
PIPE: Ein System zur Pseudonymisierung von Gesundheitsdaten / T. Neubauer, T. Mück / Talk: eHealth 2008 conference, Portoroz, Slovenia; 2008-05-06 - 2008-05-07; in: "Proceedings of e-Health 2008", (2008)
Text Mining of Supreme Administrative Court Jurisdictions / I. Feinerer, K. Hornik / Talk: 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, Germany; 2007-03-07 - 2007-03-09; in: "Data Analysis, Machine Learning, and Applications (Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V.)", Springer, (2008), 569 - 576
Belief Revision of Logic Programs under Answer Set Semantics / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 2008-09-16 - 2008-09-19; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 411 - 421
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction / W. Faber, H. Tompits, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 2008-09-16 - 2008-09-19; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 433 - 443
Relativized Hyperequivalence of Logic Programs for Modular Programming / M. Truszczynski, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Udine; 2008-12-09 - 2008-12-13; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; 576 - 590
Answer-Set Programming Encodings for Argumentation Frameworks / U. Egly, S. Gaggl, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Udine; 2008-12-09 - 2008-12-13; in: "ICLP-Workshop Proceedings; Proceedings of the 1st International Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2008", W. Faber, J. Lee (ed.); (2008), 1 - 15
Constraint solving for high-level WCET analysis / A. Prantl, J. Knoop, M. Schordan, M. Triska / Talk: The 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "The 18th Workshop on Logic-based methods in Programming Environments", (2008), 77 - 89
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction / M Herman, R. Pichler / Talk: 11th European Conference (JELIA 2008), Dresden, Deutschland; 2008-09-28 - 2008-10-01; in: "Logics in Artificial Intelligence", S. Hölldobler, C. Lutz, H. Wansing (ed.); LNAI 5293 (2008), ISBN: 3-540-87802-5; 206 - 218
Hyperequivalence of Logic Programs with Respect to Supported Models / M. Truszczynski, S. Woltran / Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 2008-07-13 - 2008-07-17; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (ed.); AAAI Press, Volume 1 (2008), ISBN: 978-1-57735-368-3; 560 - 565
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence / J. Puehrer, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 2008-12-09 - 2008-12-13; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; 561 - 575
Towards Practical Feasibility of Core Computation in Data Exchange / V. Savenkov, R. Pichler / Talk: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar; 2008-11-22 - 2008-11-27; in: "Logic for Programming, Artificial Intelligence, and Reasoning", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 5330 (2008), ISBN: 3-540-89438-1; 62 - 78
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets / M. Gebser, T. Schaub, H. Tompits, S. Woltran / Talk: 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italien; 2008-02-11 - 2008-02-15; in: "Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08)", S. Hartmann, G. Kern-Isberner (ed.); Springer LNCS, 4932 (2008), ISBN: 978-3-540-77683-3; 24 - 41

2007

Complexity results for answer set programming with bounded predicate arities and implications / T. Eiter, W. Faber, M. Fink, S. Woltran / Annals of Mathematics and Artificial Intelligence (invited), 51 (2007), 2-4; 123 - 165
A counterexample to the bipartizing matching conjecture / A. Hoffmann-Ostenhof / Discrete Mathematics, 307 (2007), 22; 2723 - 2733
Kompetenzmanagement für Studierende - Ein Erfahrungsbericht / M. Pichlmair, W. Seiringer / Wirtschaftsinformatik, 1 (2007), 1; 63 - 66
Model Representation over Finite and Infinite Signatures / C. Fermüller, R. Pichler / Journal of Logic and Computation, 17 (2007), 3; 453 - 477
The Minimum Shift Design Problem / L. Di Gaspero, J. Gärtner, G. Kortsarz, N. Musliu, A. Schaerf, W. Slany / Annals of Operations Research, 155 (2007), 1; 79 - 105
Genetic algorithms for generalized hypertree decompositions / N. Musliu, W. Schafhauser / European Journal of Industrial Engineering, 1 (2007), 3; 317 - 340
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 2007-10-04 - 2007-10-06; in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Seite 254-257 (2007), 4 pages
A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts / J. Dorn, C. Grün, H. Werthner, M. Zapletal / Talk: 40th Hawaii International Conference On System Science (HICSS 40th), Waikoloa, Big Island, HI, USA; 2007-01-03 - 2007-01-06; in: "40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings", IEEE Computer Society, Los Alamitos, CA, USA (2007), ISSN: 1530-1605; 10 pages
Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions / W. Faber, H. Tompits, S. Woltran / Talk: VLDB 2007, Wien; 2007-09-23 - 2007-09-24; in: "3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007)", (2007), 8 pages
Tabu Search for Generalized Hypertree Decompositions / N. Musliu / Talk: MIC 2007: The Seventh Metaheuristics International Conference, Montreal, Canada; 2007-06-25 - 2007-06-29; in: "MIC 2007: The Seventh Metaheuristics International Conference", (2007), 3 pages
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection / J. Oetsch, H. Tompits, S. Woltran / Talk: AAAI ' 07, Vancouver, Canada; 2007-07-22 - 2007-07-26; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 05/AAAI07-072, 7 pages
Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains / M. Fink, R. Pichler, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 2007-05-14 - 2007-05-17; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135
A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts / J. Dorn, M. Zapletal, H. Werthner / Talk: HICSS 07, Hawaii; 2007-01-03 - 2007-01-06; in: "Proc. of HICCS 2007", IEEE Computer Society Press, (2007)
Digging the Wild Web: An Interactive Tool for Web Data Consolidation / M. Goebel, V. Zigo, M. Ceresna / Talk: The 8th International Conference on Web Information Systems Engineering, Nancy, Frankreich; 2007-12-03 - 2007-12-06; in: "Web Information Systems Engineering - WISE", B. Benatallah, F. Casati, D. Georgakopoulos, C. Bartolini, W. Sadiq, C. Godart (ed.); Lecture Notes of Computer Science/Springer, 4831 (2007), ISBN: 978-3-540-76992-7; 613 - 622
A Competence Management system for Universities / J. Dorn, M. Pichlmair / Talk: 15th European Conference on Information Systems (ECIS 2007), St. Gallen; 2007-06-07 - 2007-06-09; in: "Proceedings of European Conference on Information Systems", H. Österle, J. Schelp, R. Winter (ed.); Proceedings of European Conference on Information Systems, (2007), 759 - 770
Ontology Development for Human Resource Management / J. Dorn, T. Naz, M. Pichlmair / Talk: 4th International Conference on Knowledge Management, Wien; 2007-08-27 - 2007-08-28; in: "Proceedings of 4rd International Conference on Knowledge Management", Ch. Stary, F. Barachini, S. Hawamdeh (ed.); Series on Information & Knowledge Management, 6 (2007), ISBN: 978-981-277-058-5; 109 - 120
Linear Complementarity and (P)-Matrices for Stochastic Games / O. Svenson, S. Vorobyov / Talk: 6th International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia; 2006-06-27 - 2006-06-30; in: "Perspectives of System Informatics", I. Virbitskaite, A. Voronkov (ed.); Lecture Notes of Computer Science, 4378 (2007), ISBN: 978-3-540-70880-3; 412 - 425
Table Recognition and Understanding from PDF Files / T. Hassan, R. Baumgartner / Talk: ICDAR 2007- 9thInternational Conference on Document Analysis and Recognition, Curitiba, Brasilien; 2007-09-23 - 2007-09-26; in: "Proceeding of the ICDAR 2007", IEEE Computer Society Press, Volume 1, 2 (2007), ISBN: 0-7695-2822-8; 1143 - 1147
Foundations of Rule-Based Query / F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei / Talk: Third International Summer School 2007, Dresden, Germany; 2007-09-03 - 2007-09-07; in: "Reasoning Web", Lecture Notes in Computer Science, 4636 (2007), ISBN: 978-3-540-74613-3; 1 - 153
Iterated Local Search for Cyclic Staff Scheduling / N. Musliu / Talk: EURO XXII: 22nd European Conference on Operational Research, Prague; 2007-07-08 - 2007-07-11; in: "EURO XXII: 22nd European Conference on Operational Research (Book of Abstracts)", (2007), 143
Towards Domain-Independent Information Extraction from Web Tables / W. Gatterbauer, P. Bohunsky, M. Herzog, B. Krüpl, B. Pollak / Talk: Sixteenth International World Wide Web Conference, Banff, Alberta, Canada; 2007-05-08 - 2007-05-12; in: "Proceedings of the Sixteenth International World Wide Web Conference (WWW2007)", ACM Press, (2007), ISBN: 978-1-59593-654-7; 71 - 80
Generation of Tree Decompositions by Iterated Local Search / N. Musliu / Talk: EvoCOP 2007 - Seventh European Conference on Evolutionary Computation in Combinatorial Optimisation, Valencia, Spain; 2007-04-11 - 2007-04-13; in: "Proceedings of the Seventh European Conference on Evolutionary Computation in Combinatorial Optimisation, EvoCOP 2007, LNCS, Volume 4446", Berlin Heidelberg (2007), 130 - 141
Creating Permanent Test Collections of Web Pages for Information Extraction Research / B. Pollak, W. Gatterbauer / Talk: Proceedings of SOFSEM 2007, Harrachov, Czech Republic; 2007-01-20 - 2007-01-26; in: "Proceeding of SOFSEM 2007", Academy of Sciences (ed.); Theory and Practice of Computer Science, Vol. II (2007), ISBN: 80-903298-9-6; 103 - 115
Counting Complexity of Propositional Abduction / M. Hermann, R. Pichler / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, Indien; 2007-01-06 - 2007-01-12; in: "Proceeding of the Twentieth International Joint Conference on Artificial Intelligence", AAAI Press, Volume 1, 2 (2007), ISBN: 978-1-57735-298-3; 417 - 422

2006

Multimedia News Systems / M. Schranz, S. Dustdar / in: "Encyclopedia of Multimedia", B. Furht (ed.); Springer, 2006, (invited), ISBN: 978-0-387-24395-5, 547 - 556
The DLV System for knowledge representation and reasoning / N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello / ACM Transactions on Computational Logic, Vol. 7 (2006), 3; 499 - 562
Heuristic Methods for Automatic Rotating Workforce Scheduling / N. Musliu / International Journal of Computational Intelligence Research, Volume 2 (2006), Number 4; 309 - 326
Conjunctive Queries over Trees / G. Gottlob, C. Koch, K. Schulz / Journal of the ACM, Vol. 53 (2006), 2; 238 - 272
Toward Semantic Composition of Web Services with MOVE / J. Dorn, P. Hrastnik, A. Rainer / in: "IEEE Conference on Enterprise Computing, E-Commerce and E-Services (EEE'06) (EEE/CEC 06)", A. Rainer (ed.); IEEE Computer Society Press, 2006, ISBN: 978-0-7695-2511-2, 437 - 438
Algorithmic Aspectc of Model Representations / R. Pichler / Keynote Lecture: 20th Workshop on Logic Programming (WLP2006), Vienna, Austria; 2006-02-22 - 2006-02-24; in: "20th Workshop on Logic Programming (WLP2006)", M. Fink, H. Tompits, S. Woltran (ed.); INFSYS Research Report, 1843-06-02 (2006), 12 - 20
The Lixto Project: Exploring New Frontiers of Web Data Extraction / J. Carme, M. Ceresna, O. Froelich, G. Gottlob, T. Hassan, M. Herzog, W. Holzinger, B. Krüpl / Keynote Lecture: BNCOD 2006, Belfast, Northern Ireland, UK; 2006-07-18 - 2006-07-20; in: "Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23", D. Bell, J. Hong (ed.); Springer, LNCS 4042 (2006), ISBN: 3-540-35969-9; 1 - 15
Visually Guided Bottom-Up Table Detection and Segmentation in Web Documents / B. Krüpl, M. Herzog / Poster: WWW2006, Edinburgh, Scotland; 2006-05-22 - 2006-05-26; in: "Conference Proceedings of WWW 2006", (2006), ISBN: 085432853x; 933 - 934
Estimating Required Recall for Successful Knowledge Acquisition from the Web / W. Gatterbauer / Poster: 15th International World Wide Web Conference (WWW 2006), Edinburgh, Scotland, UK; 2006-05-23 - 2006-05-26; in: "Proceedings of the 15th International World Wide Web Conference (WWW2006)", ACM Press, (2006), ISBN: 1-59593-323-9; 969 - 970
Using Graph Matching Techniques to Wrap Data from PDF Documents / T. Hassan, R. Baumgartner / Poster: WWW2006, Edinburgh, Scotland; 2006-05-22 - 2006-05-26; in: "Proceedings of WWW'2006", (2006), ISBN: 085432853x; 901 - 902
Hierarchical Value Transformation in Ontology-based Data Integration / C. Herzog, M. Herzog / Talk: Proceedings of the Semantics 2006, Tech Gate Vienna; 2006-11-28 - 2006-11-30; in: "Proceedings of the Semantics 2006", S. Schaffert (ed.); (2006), ISBN: 3-85403-212-9; 15 - 29
Semantically Integrating Portlets in Portals Through Annotation / I. Paz, O. Diaz, R. Baumgartner, F Anzuola / Talk: Web Information Systems -- WISE 2006: 7th International Conference in Web Information Systems Engineering, China; 2006-10-23 - 2006-10-26; in: "Web Information Systems -- WISE 2006", K. Aberer, P. Zhiyong, E. Rundensteiner, Y. Zhang, X. LI (ed.); Springer LNCS, Volume 4255/2006 (2006), ISBN: 978-3-540-48105-8; 436 - 447
Using Ontologies for Extracting Product Features from Web Pages / W. Holzinger, B. Krüpl, M. Herzog / Talk: ISWC 2006, Athens, GA, USA; 2006-11-05 - 2006-11-09; in: "The Semantic Web - ISWC 2006", Springer Berlin / Heidelberg, LNCS 4273 (2006), ISBN: 978-3-540-49029-6; 286 - 299
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning / G. Gottlob, R. Pichler, F. Wei / Talk: Twenty-First National Conference on Artificial Intelligence, Boston, Massachusetts, USA; 2006-07-16 - 2006-07-20; in: "Proceeding of the Twenty-First National Conference on Artificial Intelligence", The AAAI Press, (2006), 250 - 256
Tractable Database Design through Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: PODS 2006, Chicago, USA; 2006-06-26 - 2006-06-28; in: "Proceedings of the Twenty-Fifth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", ACM Press, (2006), ISBN: 1-59593-318-2; 124 - 133
Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Logics in Artificial Intelligence (LNAI)", Springer-Verlag, LNAI 4160 (2006), ISBN: 3-540-39625-x; 164 - 176
Competence Managament at Universities / J. Dorn, M. Pichlmair / Talk: XML-Tage 2006 in Berlin, Berlin, Deutschland; 2006-09-25 - 2006-09-27; in: "XML-Tage 2006 in Berlin", Humboldt-Universität zu Berlin, Freie Universität Berlin, (2006), ISBN: 3-938863-76-5; 175 - 177
Competence Management in Virtual Enterprises / J. Dorn / Talk: XML-Tage 2006 in Berlin, Berlin, Deutschland; 2006-09-25 - 2006-09-27; in: "XML-Tage 2006 in Berlin", Humboldt-Universität zu Berlin, Freie Universität Berlin, (2006), ISBN: 3-938863-76-5; 41 - 50
Constraint Satisfaction with Bounded Treewidth Revisited / M. Samer, S. Szeider / Talk: International Conference on Principles and Practice of Constraint Programming (CP), Nantes, Frankreich; 2006-09-25 - 2006-09-29; in: "Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming", Springer-Verlag, Lecture Notes in Computer Science 4204 (2006), ISBN: 978-3-540-46267-5; 499 - 513
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model / W. Gatterbauer, P. Bohunsky / Talk: 21th National Conference on Artificial Intelligence (AAAI 2006), Boston, Massachusetts, USA; 2006-07-16 - 2006-07-20; in: "Proceedings of the 21th National Conference on Artificial Intelligence (AAAI 2006)", AAAI, MIT Press, (2006), ISBN: 1-59593323-9; 1313 - 1318
Applications Utilising the PHOAF Prototype for Integrated ENUM and FOAF Queries / K. Reichinger, R. Baumgartner, G. Reichinger / Talk: 17th Information Resource Management Internation Conference, Washington, USA; 2006-05-21 - 2006-05-24; in: "Emerging Trends and Challenges in Information Technology Management, Proc. of Information Resource Management International Conference 2006 (IRMA 2006)", (2006), 133 - 136
Local Search Algorithm for Unicost Set Covering Problem / N. Musliu / Talk: 19th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, Frankreich; 2006-06-27 - 2006-06-30; in: "Advances in Applied Artificial Intelligence", M. Ali, R. Dapoigny (ed.); Springer, LNAI 4031 (2006), ISBN: 3-540-35453-0; 302 - 311
A Formal Comparison of Visual Web Wrapper Generators / G. Gottlob, C. Koch / Talk: SOFSEM 2006, Merin, Tschech. Republik (invited); 2006-01-21 - 2006-01-27; in: "Theory and Practice of Computer Science", Springer, LNCS 3831 (2006), ISBN: 3-540-31198-x; 30 - 48

2005

Declarative Planning and Knowledge Representation in an Action Language / T. Eiter, W. Faber, G. Pfeifer, A. Polleres / in: "Intelligent Techniques for Planning", I. Vlahavas, D. Vrakas (ed.); Idea Group Publishing, 2005, ISBN: 1-59140-450-9, 1 - 34
Technology of Test-Case Generation / L. Lucio, M. Samer / in: "Model-Based Testing of Reactive Systems", M. Broy et al. (ed.); Springer-Verlag, Berlin Heidelberg, 2005, ISBN: 3-540-26278-4, 323 - 354
On Deciding Subsumption Problems / U. Egly, R. Pichler, S. Woltran / Annals of Mathematics and Artificial Intelligence, 43 (2005), 1-4; 255 - 294
Vom Internet zu mobilen Applikationen: intelligente Einbindung von Webdaten mit Lixto / R. Baumgartner, O. Froelich, M. Herzog / Elektrotechnik und Informationstechnik (e&i), 7-8 (2005), 247 - 252
The Personal Publication Reader: Illustrating Web Data Extraction, Personalization and Reasoning for the Semantic Web / R. Baumgartner, N. Henze, M. Herzog / in: "European Semantic Web Conference ESWC 2005, LNCS 3532", Springer, Berlin Heidelberg, 2005, ISBN: 3-540-26124-9, 515 - 530
Using Visual Cues for Extraction of Tabular Data from Arbitrary HTML Documents / B. Krüpl, M. Herzog, W. Gatterbauer / Poster: The 14th International World Wide Web Conference (WWW2005), Chiba, Japan; 2005-05-10 - 2005-05-14; in: "Special Interest Tracks and Posters", ACM, (2005), ISBN: 1-59593-051-5; 1000 - 1001
Hypertree-decomposition via Branch-decomposition / M. Samer / Poster: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK; 2005-07-30 - 2005-08-05; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence", L. Kaelbling, A. Saffiotti (ed.); Professional Book Center, (2005), ISBN: 0-938075-93-4; 1535 - 1536
Combination of Local Search Strategies for Rotating Workforce Scheduling Problem / N. Musliu / Poster: IJCAI-05, Edinburgh, Scotland; 2005-07-30 - 2005-08-05; in: "IJCAI-05 Proceedings", Professional Book Center, Denver, Colorado (2005), ISBN: 0-938075-93-4; 1529 - 1530
Min Conflicts Based Heuristics for Rotating Workforce Scheduling Problem / N. Musliu / Talk: The 5th Metaheuristics International Conference, Vienna, Austria; 2005-08-22 - 2005-08-26; in: "Proceedings of the 6th Metaheuristics International Conference", (2005), 6 pages
Web Service Discovery and Composition with MOVE / J. Dorn, P. Hrastnik, A. Rainer / Talk: The 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, Hongkong; 2005-03-29 - 2005-04-01; in: "The 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service", (2005), ISBN: 0-7695-2274-2; 791 - 792
Web Information Extraction Using Eupeptic Data in Web Tables / W. Gatterbauer, B. Krüpl, W. Holzinger, M. Herzog / Talk: RAWS 2005, Tocna, Tschechien; 2005-09-14 - 2005-09-16; in: "Proceedings of the 1st International Workshop on Representation and Analysis of Web Space", V. Snásel, V. Svátek (ed.); Faculty of Electrical Engineering and Computer Science, VSB - Technical University of Ostrava, (2005), ISBN: 80-248-0864-1; 41 - 48
Hypertree Decompositions: Structure, Algorithms, and Applications / G. Gottlob, M. Grohe, N. Musliu, M. Samer, F. Scarcello / Talk: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Metz, France; 2005-06-23 - 2005-06-25; in: "Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science", D. Kratsch (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 3787 (2005), ISBN: 3-540-31000-2; 1 - 15
Web Data Extraction for Business Intelligence: the Lixto Approach / R. Baumgartner, O. Froelich, G. Gottlob, P. Harz, M. Herzog, P. Lehmann / Talk: 11. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme, Karlsruhe, Deutschland (invited); 2005-03-02 - 2005-03-04; in: "Datenbanksysteme in Business, Technologie und Web (BTW)", LNI, Series of the Gesellschaft für Informatik, P-65 (2005), ISBN: 3-88579-394-6; 48 - 65
Deep Web Navigation in Web Extraction / R. Baumgartner, M. Ceresna, G. Ledermüller / Talk: International Conference on Intelligent Agents Web Technologies & Internet Commerce (IAWTIC) 2005, Wien, Österreich; 2005-11-28 - 2005-11-30; in: "Book of Abstracts and Conference Program", (2005), ISBN: 1740882474; 1 - 5
Integrating Semi-structured Data into Business Applications: A Web Intelligence Example / R. Baumgartner, O. Froelich, G. Gottlob, M. Herzog, P. Lehmann / Talk: KMBI 2005 (Knowledge Management and Business Intelligence), Kaiserslautern, Deutschland (invited); 2005-04-10 - 2005-04-13; in: "Professional Knowledge Management", K.-D. Althof, A. Dengel, R. Bergmann, M. Nick, T. Roth-Berghofer (ed.); Springer, Berlin Heidelberg (2005), ISBN: 3-540-30465-7; 469 - 482
Information Extraction for the Semantic Web / R. Baumgartner, T. Eiter, G. Gottlob, M. Herzog, C. Koch / Talk: First International Summer School Reasoning Web 2005, Msida, Malta; 2005-07-25 - 2005-07-29; in: "Reasoning Web", Springer, LNCS 3564 (2005), ISBN: 3-540-27828-1; 275 - 289
The Personal Publications Reader / F. Abel, R. Baumgartner, A. Brooks, C. Enzi, G. Gottlob, N. Henze, M. Herzog, M. Kriesell, W. Nejdl, K. Tomaschewski / Talk: 4th International Semantic Web Conference, ISWC 2005, Galway, Irland; 2005-11-08 - 2005-11-10; in: "The Semantic Web - ISWC 2005", LNCS, 3729 (2005), ISBN: 3-540-29754-5; 1050 - 1053
Intelligent Text Extraction from PDF / T. Hassan, R. Baumgartner / Talk: IADIS International Conference WWW/Internet 2005, Lissabon, Portugal; 2005-10-19 - 2005-10-22; in: "Proceedings of the IADIS International Conference, WWW/Internet 2005", IADIS Press, Volume II (2005), ISBN: 972-8924-02-x; 371 - 373
Intelligent Wrapping from PDF Documents / T. Hassan, R. Baumgartner / Talk: RAWS 2005, Tocna, Tschechien; 2005-09-14 - 2005-09-16; in: "Proceedings of the 1st International Workshop on Representation and Analysis of Web Space", V. Svátek, V. Snásel (ed.); Faaculty of Electrical Engineering and Computer Science, VSB - Technical University of Ostrava, (2005), ISBN: 80-248-0864-1; 33 - 40
Interactive Learning of HTML Wrappers Using Attribute Classification / M. Ceresna / Talk: RAWS 2005, Tocna, Tschechien; 2005-09-14 - 2005-09-16; in: "Proceedings of the 1st International Workshop on Representation and Analysis of Web Space", V. Svátek, V. Snásel (ed.); Faaculty of Electrical Engineering and Computer Science, VSB - Technical University of Ostrava, (2005), ISBN: 80-248-0864-1; 25 - 32
Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 20th International Conference on Automated Deduction, Tallinn, Estland; 2005-07-22 - 2005-07-27; in: "Automated Deduction - CADE-20", Springer Science + Business Media, LNAI 3632 (2005), ISBN: 3-540-28005-7; 409 - 423
Semantic Web Enabled Information Systems: Personalized Views on Web Data / R. Baumgartner, C. Enzi, N. Henze, M. Herrlich, M. Kriesell, M. Herzog, K. Tomaschewski / Talk: ICCSA 2005, Singapore; 2005-05-09 - 2005-05-12; in: "Computational Science and Its Applications", Springer, II (2005), ISBN: 3-540-25861-2; 988 - 997

2004

Logic-based Web Information Extraction / G. Gottlob, C. Koch / ACM SIGMOD Record, Vol. 33 (2004), 2; 87 - 94
Using Lixto for automating portal-based B2B processes in the automotive industry / R. Baumgartner, M. Herzog / International Journal of Electronic Business (IJEB), 2 (2004), 5; 519 - 530
Planning in virtual enterprises / J. Dorn / International Journal of Electronic Business (IJEB), 2 (2004), 5; 557 - 565
Monadic Datalog and the Expressive Power of Languages Web Information Extraction / G. Gottlob, C. Koch / Journal of the ACM, 51 (2004), 1; 74 - 113
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity / T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres / ACM Transactions on Computational Logic, 5 (2004), 2; 206 - 263
Query Rewriting with Symmetric Constraints / C. Koch / AI Communications, 17 (2004), 2; 41 - 100
Reasoning Methods for Personalization on the Semantic Web / G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, R. Schindlauer, H. Tompits, S. Schaffert / Annals of Mathematics, Computing & Teleinformatics, 2 (2004), 1 - 24
Local search for shift design / N. Musliu, A. Schaerf, W. Slany / European Journal of Operational Research, 153 (2004), 1; 51 - 64
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs / G. Pfeifer / Lecture Notes in Computer Science, 2923 (2004), 2923; 220 - 233
System Description: DLV with Aggregates / T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer / in: "Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923, 2004, ISBN: 3-540-20721-x, 326 - 330
New DLV Features for Data Integration / F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer / in: "Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 2004, Proceedings", J. Alferes, J. Leite (ed.); Springer, LNAI, 2004, ISBN: 3-540-23242-7, 698 - 701
Local Search Strategies for Rotating Workforce Scheduling / N. Musliu / Talk: 4th EU/ME Workshop, Nottingham, UK; 2004-11-04 - 2004-11-05; in: "Design and Evaluation of Advanced Hybrid Meta-Heuristics", (2004)
A Heuristic Based System for Generation of Shifts with Breaks / J. Gärtner, N. Musliu, W. Slany / Talk: Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, United Kingdom; 2004-12-13 - 2004-12-15; in: "Proceedings of the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence", Springer, (2004), ISBN: 1-85233-908-x; 95 - 106
A Syntactic Characterization of Distributive LTL Queries / M. Samer, H. Veith / Talk: International Colloquium on Automata, Languages and Programming (ICALP), Turku, Finnland; 2004-07-12 - 2004-07-16; in: "Proceedings of the 31st International Colloquium on Automata, Languages and Programming", J. Diaz et al. (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 3142 (2004), ISBN: 3-540-22849-7; 1099 - 1110
Parameterized Vacuity / M. Samer, H. Veith / Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA; 2004-11-14 - 2004-11-17; in: "Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design", A. Hu, A. Martin (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 3312 (2004), ISBN: 3-540-23738-0; 322 - 336
Strategies for Virtual Enterprises Using XForms and the Semantic Web / J. Dorn, A. Rainer, P. Hrastnik / Talk: International Workshop on Semantic Web Technologies in Electronic Business (SWEB2004), Berlin; 2004-10-11 - 2004-10-13; in: "Proceedings of International Workshop on Semantic Web Technologies in Electronic Business (SWEB2004)", (2004), ISBN: 3-88579-122-6; 16
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation / W. Steiner, J. Rushby, M. Sorea, G. Pfeifer / Talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 2004-06-28 - 2004-07-01; in: "Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004)", IEEE, (2004), ISBN: 0-7695-2052-9
Genetic Algorithm for Rotating Workforce Scheduling Problem / N. Musliu, M. Mörz / Talk: ICCC 2004, Wien; 2004-08-30 - 2004-09-01; in: "Proceedings of the Second IEEE International Conference on Computational Cybernetics", (2004), 121 - 126
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming / T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 2004-06-02 - 2004-06-05; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, Menlo Park, CA, USA (2004), ISBN: 1-57735-199-1; 377 - 387
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity / W. Faber, N. Leone, G. Pfeifer / Talk: 9th European Conference on Logics in AI (JELIA 2004), Lisbon, Portugal; 2004-09-27 - 2004-09-30; in: "Logics in Artificial Intelligence", J. Alferes, J. Leite (ed.); Springer Verlag, LNAI 3229 (2004), ISBN: 3-540-23242-7; 200 - 212

2003

Semantic Markup of News Items with Lixto / R. Baumgartner, S. Eichholz, S. Flesca, G. Gottlob, M. Herzog / in: "Annotation for the Semantic Web", S. Handschuh, S. Staab (ed.); issued by: Frontiers in Artificial Intelligence and Applications; IOS Press Ohmsha, 2003, ISBN: 1-58603-345-x, 63 - 78
A Canonical Model of the Region Connection Calculus / J. Renz / Journal of Applied Non-Classical Logics (JANCL), 12 (2003), 3-4
Enhancing disjunctive logic programming systems by SAT checkers / C. Koch, N. Leone, G. Pfeifer / Artificial Intelligence, Volume 151 (2003), Issues 1-2; 177 - 212
A Logic Programming Approach to Knowledge-State Planning, II: The DLV<sup>K</sup> System / T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres / Artificial Intelligence, 144 (2003), 1; 157 - 211
Answer Set Planning under Action Costs / T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres / Journal of Artificial Intelligence Research, 19 (2003), 25 - 71
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming / T. Eiter, W. Faber, N. Leone, G. Pfeifer / Theory and Practice of Logic Programming, 3 (2003), 4+5; 463 - 498
XPath Processing in a Nutshell / G. Gottlob, C. Koch, R. Pichler / ACM SIGMOD Record, Issue 1 (2003), Volume 32; 12 - 19
Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV / T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer / in: "Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003", Elsevier Science Publishers, 2003, ISBN: 0-127-05661-0, 847 - 852
Aggregate Functions in DLV / T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer / in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS.org, 2003, ISSN: 1613-0073, 274 - 288
Web Information Acquisition with Lixto Suite: A Demonstration / R. Baumgartner, M. Ceresna, G. Gottlob, M. Herzog, V. Zigo / Poster: 19th International Conference on Data Engineering, Bangalore, India; 2003-03-05 - 2003-03-08; in: "Proceedings 19th International Conference on Data Engineering", IEEE Computer Society, (2003), ISBN: 0-7803-7665-x; 747 - 749
Applying Tabu Search to the Rotating Workforce Scheduling Problem / N. Musliu / Poster: The 5th Metaheuristics International Conference, Kyoto, Japan; 2003-08-25 - 2003-08-28; in: "Proceedings of "The Fifth Metaheuristics International Conference", (2003), 12 - 18
Validity of CTL Queries Revisited / M. Samer, H. Veith / Talk: Annual Conference of the European Association for Computer Science Logic (CSL), Wien, Österreich; 2003-08-25 - 2003-08-30; in: "Proceedings of the 12th Annual Conference of the European Association for Computer Science Logic", M. Baaz, J. A. Makowsky (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 2803 (2003), ISBN: 3-540-40801-0; 470 - 483
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming / T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran / Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 2003-09-26 - 2003-09-28; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 69 - 83
The Complexity of XPath Query Evaluation / G. Gottlob, C. Koch, R. Pichler / Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, San Diego, USA (invited); 2003-06-09 - 2003-06-11; in: "Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", F. Neven (ed.); ACM Press, (2003), ISBN: 1-58113-670-6; 179 - 190
Visual Programming of Web Data Aggregation Applications / R. Baumgartner, G. Gottlob, M. Herzog / Talk: IIWeb-03: IJCAI-03 Workshop on Information Integration on the Web, Acapulco, Mexiko; 2003-08-09 - 2003-08-10; in: "Information Integration on the Web (IIWeb-03)", S. Kambhampati, C. Knoblock (ed.); (2003), 137 - 142
Web Data Extraction and Integration (Tutorial) / R. Baumgartner, M. Herzog, T. Wiedemair / Talk: 2nd International Conference on Mobile Business, Vienna; 2003-06-23 - 2003-06-24; in: "The Second International Conference of Mobile Business", G. Giaglis, H. Werthner, V. Tschammer, K. Fröschl (ed.); OCG, (2003), ISBN: 3-85403-169-6; 575 - 577

2002

Qualitative Spatial reasoning with Topological Information, LNCS 2293 / J. Renz / Springer, Berlin, 2002, ISBN: 3-540-43346-5; 190 pages
A Symmetric Strategy in Graph Avoidance Games / F. Harary, W. Slany, O. Verbitsky / in: "More Games of No Chance, Mathematical Sciences Research Institute Publications 42", R. Nowakowski (ed.); Cambridge University Press, Cambridge, 2002, ISBN: 0521808324, 369 - 381
Efficient generation of rotating workforce schedules / N. Musliu, J. Gärtner, W. Slany / Discrete Applied Mathematics, 118 (2002), 1-2; 85 - 98
Propositional Default Logics Made Easier: Computational Complexity of Model Checking / R. Baumgartner, G. Gottlob / Theoretical Computer Science, 289 (2002), 591 - 627
Endgame Problems of Sim-like graph Ramsey avoidance games are PSPACE-complete / W. Slany / Theoretical Computer Science, Vol. 289 (2002), 1; 829 - 843
Combining Topological and Size Constraints for Spatial Reasoning / A. Gerevini, J. Renz / Artificial Intelligence, 137 (2002), 1-2; 1 - 42
Disjunctions, Independence, Refinements / M. Broxvall, P. Jonsson, J. Renz / Artificial Intelligence, 140 (2002), 1-2; 153 - 173
Answer Set Planning under Action Costs / T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres / in: "Logics in Artificial in Intelligence, LNAI 2424", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer, Cosenza, Italy, 2002, ISBN: 3-540-44190-5, 186 - 197
The DLV System / N. Leone, G. Pfeifer, W. Faber, F. Calimeri, T. Dell´Armi, T. Eiter, G. Gottlob, G. Ianni, G. Ielpa, C. Koch, S. Perri, A. Polleres / Poster: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy (invited); 2002-09-23 - 2002-09-26; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Lecture Notes in Artificial Intelligence, Springer, 2424 (2002), ISBN: 3-540-44190-5; 537 - 540
The DLV<sup>K</sup> Planning System: Progress Report / T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres / Poster: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy; 2002-09-23 - 2002-09-26; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Lecture Notes in Artificial Intelligence (LNAI)/Springer, 2424 (2002), ISBN: 3-540-44190-5; 541 - 544
On Network Design Problems: Fixed Cost Flows and the Covering Steiner Problem / G. Even, G. Kortsarz, W. Slany / Talk: 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland; 2002-07-03 - 2002-07-05; in: "8th Scandinavian Workshop on Algorithm Theory (SWAT), Lecture Notes in Computer Science", M. Pentonnen, E. Meineche Schmitt (ed.); Springer LNCS, 2368 (2002), ISBN: 3-540-43866-1; 318 - 329
Securing Symmetric Watermarking Schemes Against Protocol Attacks / S. Katzenbeisser, H. Veith / Talk: Conference Security and Watermarking of Multimedia Contents IV, San Jose, California, USA; 2002-01-21 - 2002-01-24; in: "Proceedings of SPIE 2002", E. Delp, P. Wong (ed.); Vol. 4675 (2002), ISBN: 0-8194-4415-4; 260 - 268
Monadic Queries over Tree-Structured Data / G. Gottlob, C. Koch / Talk: 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02), Copenhagen, Denmark (invited); 2002-07-22 - 2002-07-25; in: "Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02)", G. Plotkin (ed.); IEEE Computer Society, (2002), ISBN: 0-7695-1483-9; 189 - 202
Defining Security in Steganographic Systems / S. Katzenbeisser, F. Petitcolas / Talk: Conference Security and Watermarking of Multimedia Contents IV, San Jose, USA; 2002-01-21 - 2002-01-24; in: "Proceedings of SPIE", E. Delp, P. Wong (ed.); 4675 (2002), ISBN: 0-8194-4415-4; 50 - 56
Pruning Operators for Answer Set Programming Systems / F. Calimeri, W. Faber, N. Leone, G. Pfeifer / Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France; 2002-04-19 - 2002-04-21; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'200)", S. Benferhat, E. Giunchiglia (ed.); (2002), 200 - 209
Query Rewriting with Symmetric Constraints / C. Koch / Talk: 2nd International Symposium on Foundations of information and knowledge systems, Salzau Castle, Germany; 2002-02-20 - 2002-02-23; in: "Foundations of information and knowledge systems", T. Eiter, K. Schewe (ed.); LNCS/Springer Verlag, Berlin (2002), ISBN: 3-540-43220-5; 130 - 147
Efficient Algorithms for Processing XPath Queries / G. Gottlob, C. Koch, R. Pichler / Talk: 28th international Conference on Very Large Data Bases 2002, Hong Kong SAR, China; 2002-08-20 - 2002-08-23; in: "Proceedings of the 28th international Conference on Very Large Data Bases 2002", P. Bernstein, Y. Ioannidis, R. Ramakrishnan, D. Papadias (ed.); Morgan Kaufmann Publishers, (2002), ISBN: 1-55860-869-9; 95 - 106

2001

Zyklische Schichtplanung / R. Fingerlos, J. Gärtner, N. Musliu, W. Slany / KI - Künstliche Intelligenz, 2 (2001), 1; 31 - 34
Rota: A research project on algorithms for workforce scheduling and shift design optimisation / J. Gärtner, N. Musliu, W. Slany / AI Communications, 14 (2001), 2; 83 - 92
Cooperating scheduling systems / J. Dorn / International Journal of Manufacturing Technology and Management (IJMTM), 3 (2001), 6; 570 - 585

2000

Planung von betrieblichen Abläufen durch Standardsoftware - ein Widerspruch? / J. Dorn / Wirtschaftsinformatik, 2000 (2000), 2

1996

Expert Systems in the Steel Industry: Introduction to the Special Issue / J. Dorn / IEEE Expert, (1996), Feb
Scheduling High-grade Steel Making / J. Dorn, R. Shams / IEEE Expert, (1996)
Comparison of Iterative Improvement Techniques for Schedule Optimization / J. Dorn, M. Girsch, G. Skele, W. Slany / European Journal of Operational Research, (1996), 349 - 361

1995

Reactive Scheduling - improving the robustness of schedules and restricting the effects of shop floor disturbances by fuzzy reasoning / J. Dorn, R. Kerr, G. Thalhammer / International Journal of Human-Computer Studies, 42 (1995), 687 - 704
Dependable reactive event-oriented planning / J. Dorn / Data & Knowledge Engineering, 16 (1995), 7 - 49

Theses

2019

Realising argumentation using answer set programming and quantified boolean formulas / PhD Thesis by M. Diller / Supervisor, Reviewer: S. Woltran, U. Egly; Institute of Logic and Computations, 2019; oral examination: 2019-04-30
Rewriting Approaches for Ontology-Mediated Query Answering / PhD Thesis by S. Ahmetaj / Supervisor, Reviewer: R. Pichler, M. Simkus; Institut für Logic and Computation, 2019; oral examination: 2019-07-09
Argumentation Frameworks with Claims and Collective Attacks -- Complexity Results and Answer-Set Programming Encodings / Master Thesis by A. Greßler / Supervisor: S. Woltran, W. Dvorak; Institut für Logic and Computation, 2019; final examination: 2019-08-21

2018

Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen / Master Thesis by C. Okulmus / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-04
Advancements in Equivalence Checking for Abstract Argumentation Frameworks / Master Thesis by P. Bellositz / Supervisor: W. Dvorak, S. Woltran; Instute of Logic and Computation, E192-02, 2018; final examination: 2018-10-03
A Solver for the Steiner Tree Problem with few Terminals / Master Thesis by A. Schidler / Supervisor: S. Woltran, J. Fichte; Institute of Logic and Computation, 2018; final examination: 2018-11-12
Solving #SAT on the GPU with Dynamic Programming and OpenCL / Master Thesis by M. Zisser / Supervisor: S. Woltran, J. Fichte; Institute of Logic and Computation, 2018; final examination: 2018-06-04

2017

BDD-based Dynamic Programming on Tree Decompositions - Towards an Alternative Approach for Efficient (QBF) Solving / PhD Thesis by G. Charwat / Supervisor, Reviewer: L. Pulina, M. Seidl, S. Woltran; Institut fuer Informationssysteme, 2017; oral examination: 2017-09-22
Tailored Tree Decompositions for Efficient Problem Solving / PhD Thesis by M. Abseher / Supervisor, Reviewer: S. Woltran, L. Di Gaspero, R. Niedermeier; Institut fuer Informationssysteme, 2017; oral examination: 2017-04-28
Set- and Graph-theoretic Investigations in Abstract Argumentation / PhD Thesis by C. Spanring / Supervisor, Reviewer: P. Dunne, D. Grossi, S. Woltran, F. Wolter, P. Baroni; Institut fuer Informationssysteme, 2017; oral examination: 2017-09-13
Developing the Abstract Dialectical Framework / PhD Thesis by S. Polberg / Supervisor, Reviewer: S. Woltran, L. van der Torre, S. Modgil; Institut fuer Informationssysteme, 2017; oral examination: 2017-08-16
Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs / PhD Thesis by B. Bliem / Supervisor, Reviewer: S. Woltran, F. Scarcello, G. Woeginger; Institut für Informationssysteme, 2017; oral examination: 2017-10-20
Advances in Abstract Argumentation - Expressiveness and Dynamics / PhD Thesis by T. Linsbichler / Supervisor, Reviewer: S. Woltran, W. Dvorak; Institut fuer Informationssysteme, 2017; oral examination: 2017-06-30
Investigating subclasses of abstract dialectical frameworks / Master Thesis by A. Keshavarzi / Supervisor: S. Woltran, M. Diller, T. Linsbichler; Institut fuer Informationssysteme, 2017; final examination: 2017-10-03

2016

On the Parameterized Complexity of Planning / PhD Thesis by M. Kronegger / Supervisor, Reviewer: R. Pichler, C. Bäckström; Institut für Informationsysteme, 2016
Fault Detection and Diagnosis in Building Energy Systems / PhD Thesis by U. Habib / Supervisor, Reviewer: D. Dietrich, N. Musliu; E384, 2016; oral examination: 2016-04-11
Large Neighborhood Search for Break Scheduling / Master Thesis by M. Züger / Supervisor: N. Musliu; Institut für Informationssysteme, 2016; final examination: 2016-10
Exact and Heuristic Approaches for a Multi-Stage Nurse Rostering / Master Thesis by F. Mischek / Supervisor: N. Musliu; Institut für Informationssysteme, 2016; final examination: 2016-10
MaxSAT Modeling and Metaheuristic Methods for the Employee Scheduling Problem / Master Thesis by F. Winter / Supervisor: N. Musliu; Institut für Informationssysteme, 2016; final examination: 2016-10
Designing a System for the Experimental Analysis and Visualization of Dynamic Programming on Tree Decompositions / Master Thesis by T. Ambroz, A. Jusits / Supervisor: S. Woltran, G. Charwat; Institut für Informationssysteme, 2016; final examination: 2016-02-29
A System For Advanced Graphical Argumentation Formalisms / Master Thesis by G. Heißenberger / Supervisor: S. Woltran, M. Diller; Institut für Informationssysteme, 2016; final examination: 2016-03-14

2015

Backdoors to Tractability of Disjunctive Answer Set Programming / Master Thesis by J. Fichte / Supervisor: S. Szeider; Institut für Informationssysteme, 2015
Exact Methods for Shift Design and Break Scheduling / Master Thesis by D. Kocabas / Supervisor: N. Musliu; Institut für Informationssysteme, 2015
Implementing Variations of the Traveling Salesperson Problem in a Declarative Dynamic Programming Environment / Master Thesis by M. Moldovan / Supervisor: S. Woltran; Institut für Informationssysteme, 2015; final examination: 2015-04-15
Optimizing Second-Level Dynamic Programming Algorithms / Master Thesis by M. Hecher / Supervisor: S. Woltran; Institut für Informationssysteme, 2015; final examination: 2015-11-09
Memetic Algorithms for Tree Decomposition / Master Thesis by K. Bader / Supervisor: N. Musliu; Institut für Informationssysteme, 2015; final examination: 2015-01-13

2014

Correctness Considerations in CLP(FD) Systems / PhD Thesis by M. Triska / Supervisor, Reviewer: N. Musliu, J. Wielemaker; Institut für Informationssysteme, 2014; oral examination: 2014-01-29
Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings / PhD Thesis by E. Sallinger / Supervisor, Reviewer: R. Pichler, P. Kolaitis; E184, 2014; oral examination: 2014-07-15
Detecting Structure in Permutations and Preferences / PhD Thesis by M. Lackner / Supervisor, Reviewer: R. Pichler, St. Szeider, G. Erdélyi; Institut für Informationssysteme, 2014; oral examination: 2014-06-11
Web Accessibility for the Blind Through Visual Representation Analysis / PhD Thesis by R. Fayzrakhmanov / Supervisor, Reviewer: R. Pichler, A. Provetti; Institut für Informationssysteme, 2014
Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond / PhD Thesis by J. P. Wallner / Supervisor, Reviewer: S. Woltran, G. Weissenbacher; Institute of Information Systems, 2014; oral examination: 2014-05-28
Electric Vehicles Recharge Scheduling with Time Windows / Master Thesis by D. Bucar / Supervisor: N. Musliu, S. Bessler; Institut für Informationssysteme, 2014
XML Data Integration / Master Thesis by I. Stoilkovska / Supervisor: R. Pichler; Institut für Informationssysteme, 2014
Merging in the Horn fragment / Master Thesis by A. Haret / Supervisor: S. Woltran, St. Rümmele; Institut für Informationssysteme, 2014; final examination: 2014-09-23
Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas / Master Thesis by M. Diller / Supervisor: S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2014; final examination: 2014-04-11

2013

A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation / PhD Thesis by S. Gaggl / Supervisor, Reviewer: S. Woltran, P. Baroni; Institut für Informationssysteme, 2013; oral examination: 2013-03-04
Foundational Aspects of Semantic Web Optimization: New Algorithms and Complexity Results / PhD Thesis by S. Skritek / Supervisor, Reviewer: R. Pichler, M. Arenas; 184-2, 2013; oral examination: 2013-04-30
Normal Forms for Non-Relational for Data / Master Thesis by W. Fischl / Supervisor: R. Pichler; Institut für Informationssysteme, 2013; final examination: 2013-11-19
Rotating Workforce Scheduling As Satisfiability Modulo Theories / Master Thesis by C. Erkinger / Supervisor: N. Musliu; Institut für Informationssysteme, 2013; final examination: 2013-11
On the Limits of Expressiveness in Abstract Argumentation Semantics: Realizability and Signatures / Master Thesis by T. Linsbichler / Supervisor: S. Woltran, W. Dvorak; Institut für Informationssysteme, 2013; final examination: 2013-06-11
Argumentation and Answer-Set Programming Modelling the Resolution-Based Grounded Semantics / Master Thesis by C. Weichselbaum / Supervisor: S. Woltran, S. Gaggl; Institut für Informationssysteme, 2013; final examination: 2013-03-04
Solving shift design problems with answer set programming / Master Thesis by M. Abseher / Supervisor: N. Musliu, S. Woltran; Institut für Informationssysteme, 2013; final examination: 2013

2012

The Parameterized Complexity of Nonmonotonic Reasoning / PhD Thesis by St. Rümmele / Supervisor, Reviewer: F. Scarcello, G. Brewka; Institut für Informationssysteme, 2012; oral examination: 2012-09-13
Foundational Aspects of Schema Mapping Optimization and Normalization / PhD Thesis by V. Savenkov / Supervisor, Reviewer: R. Pichler, N. Schweikardt; Institut für Informationssysteme, 2012; oral examination: 2012-08-10
Computational Aspects of Abstract Argumentation / PhD Thesis by W. Dvorak / Supervisor, Reviewer: S. Woltran, P. Dunne; Institut für Informationssysteme, 2012; oral examination: 2012-04-11
Iterated Local Search for the Traveling Tournament Problem / Master Thesis by B. M. Kim / Supervisor: N. Musliu; Institut für Informationssysteme, 2012; final examination: 2012-11-19
Algorithm Selection for the Graph Coloring Problem / Master Thesis by M. Schwengerer / Supervisor: N. Musliu; Institut für Informationssysteme, 2012; final examination: 2012-11-20
Tree-Decomposition based Algorithms for Abstract Argumentation Frameworks / Master Thesis by G. Charwat / Supervisor: S. Woltran, W. Dvorak; Institut für Informationssysteme, 2012; final examination: 2012-02-22
Abstract Dialectical Frameworks: Properties, Complexity, and Implementation / Master Thesis by St. Ellmauthaler / Supervisor: S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2012; final examination: 2012-09-13
Decompose, guess and check : declarative problem solving on tree decompositions / Master Thesis by B. Bliem / Supervisor: S. Woltran, R. Pichler; Institut für Informationssysteme, 2012; final examination: 2012-11-19

2011

Distributed Heterogeneous Web Data Sources Integration - DeXIN Approach / PhD Thesis by M. Ali / Supervisor, Reviewer: R. Pichler, U. Zdun; Institut für Informationssysteme, 2011; oral examination: 2011-08-26
A New Hyperheuristic Algorithm for Cross-Domain Search Problems / Master Thesis by A. Lehrbaum / Supervisor: N. Musliu; Institut für Informationssysteme, 2011; final examination: 2011-11
An Efficient Algorithm for Phylogeny Reconstruction by Maximum Likelihood / Master Thesis by L. Nguyen / Supervisor: N. Musliu, A. von Haeseler; Institut für Informationssysteme, 2011; final examination: 2011-04
LinkEfficient planning with QBF-solvers / Master Thesis by M. Kronegger / Supervisor: R. Pichler, A. Pfandler; f. Informationssysteme, 2011; final examination: 2011-09-13
dynASP - A Dynamic-Programming Based Answer Set Programming Solver / Master Thesis by M. Morak / Supervisor: S. Woltran, St. Rümmele; Institut für Informationssysteme, 2011; final examination: 2011-01-27

2010

Fixed parameter algorithms for answer set programming / PhD Thesis by M. Jakl / Supervisor, Reviewer: R. Pichler, S. Woltran; Institut für Informationssysteme, 2010; oral examination: 2010-06-29
TEMPLE - a domain specific language for modeling and solving real-life staff scheduling problems / PhD Thesis by W. Schafhauser / Supervisor, Reviewer: N. Musliu, J. Gärtner; Institut für Informationssysteme, 2010; oral examination: 2010-11-10
Complexity results and algorithms for Multicut on graphs of bounded clique-width / Master Thesis by M. Lackner / Supervisor: R. Pichler; Institut für Informationssysteme, 2010; final examination: 2010-09-30
Memetic algorithms for break scheduling / Master Thesis by M. Widl / Supervisor: N. Musliu; Institut für Informationssysteme, 2010; final examination: 2010-04-30
Optimizing schema mappings with relaxed notions of equivalence / Master Thesis by E. Sallinger / Supervisor: R. Pichler, V. Savenkov; Institut für Informationssysteme, 2010; final examination: 2010-01-28

2009

Decentralized Diagnosis: Complexity Analysis and Datalog Encodings / Master Thesis by A. Pfandler / Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-11
Complexity of Argumentation / Master Thesis by A. Roubickova / Supervisor: R. Pichler, S. Woltran; Institut fuer Informationssysteme, 2009; final examination: 2009-11-01
Solving Argumentation Frameworks using Answer Set Programming / Master Thesis by S. Gaggl / Supervisor: U. Egly, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-02
Alternation as a programming paradigm / Master Thesis by W. Dvorak / Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-02
On extending postgreSQL with the skyline operator / Master Thesis by J. Eder / Supervisor: R. Pichler, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-01
Foundations of Data Integration / Master Thesis by S. Rettinger / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-11
Implementing a peer data management system / Master Thesis by S. Skritek / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-08
Analyse von Redundanzen beim Datenaustausch / Master Thesis by F. Wagner / Supervisor: R. Pichler, V. Savenkov; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-07
Realizing Web Accessibility based on Understanding the Visual Structure of Grocery Web Portals / Master Thesis by N. Prangnawarat / Supervisor: R. Pichler, W. Holzinger; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-07-10
OpenESB for Web Process Integration / Master Thesis by O. Selinger / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-08-30
Ant Colony Optimization for Tree and Hypertree Decompositions / Master Thesis by Th. Hammerl / Supervisor: N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-04-28

2008

Contributions to Advanced Equivalence Checking in Answer Set Programming / Habilitation Thesis by S. Woltran / TU Wien, Fakultät für Informatik, 2008
Evaluierung von Kompetenzmanagement für Studierende / PhD Thesis by M. Pichlmair / Supervisor, Reviewer: J. Dorn, G. Steinhardt; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-06-17
VENTip - Methodology and implementation of table interpretation / Master Thesis by P. Bohunsky / Supervisor: R. Pichler, S. Dustdar; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-11
Data representation, queries and updates in probabilistic and uncertain databases / Master Thesis by R. Ostrcil / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10
Efficient Counting with Bounded Treewidth using Datalog / Master Thesis by St. Rümmele / Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2008; final examination: 2008-12
Umsetzung einer e-Learning Applikation für SQL mithilfe eines regelbasierten Bewertungssystems / Master Thesis by P. Gansterer / Supervisor: R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-04-18
Data Cleaning and Performance Tuning in the GAINS Model / Master Thesis by M. Makowski / Supervisor: R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-04-18
Hypertree Decompositions for Optimal Winner Determination in Combinatorial Auctions / Master Thesis by E. Lebedeva / Supervisor: G. Gottlob, N. Musliu, W. Schafhauser; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-03
Einbindung von automatisiert extrahierten Webdaten in Internet Portalen / Master Thesis by L. Steiner / Supervisor: R. Pichler, M. Herzog; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10
Efficient problem solving based on datalog transformations / Master Thesis by Ch. Singewald / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-11
An Application of Heuristic Route Search Techniques for a Scalable Flight Search System / Master Thesis by Y. Darmaputra / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-06
Generic Programing for Graph Problems Using Tree Decompositions / Master Thesis by E. Paisios / Supervisor: N. Musliu, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008
Optimizations of structural join algorithms: XML - Structural Join Evolution / Master Thesis by M. Dorner / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-06-26
Open Source Jave EE Application Server functionality, Configuration and performance on the basis of Geronimo, JBoss and Glassfish / Master Thesis by M. J. Kofler / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10-07
Automatisiertes Verständnis von formularbasierten Webseiten durch statistische Klassifikation der Seiten und Elemente / Master Thesis by A. Mager / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10-08
An Extensible and Configurable Record Linkage Framework / Master Thesis by Th. Zwierschitz / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10-07
Data Mining on Empty Result Queries / Master Thesis by M. Lee / Supervisor: N. Musliu, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-05
Solution Methods for the Social Golfer Problem / Master Thesis by M. Triska / Supervisor: N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008

2007

Metaheuristics for Scheduling and other Hard Problems / Habilitation Thesis by N. Musliu / Technische Universität/Informatik, 2007
Towards a Sustainable DWH Approach for Evidence-Based Healthcare / PhD Thesis by N. Stolba / Supervisor, Reviewer: A. Tjoa, T. Mück; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-11-20
Telecommunication and the Next Generation Web: Introducing ENUM to the Semantic Web / PhD Thesis by K. Reichinger / Supervisor, Reviewer: G. Gottlob, J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-01-16
Contributions to Large-Scale Information Acquisition from the Web / PhD Thesis by W. Gatterbauer / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-09-25
A Light-weight Processing Model for Interactive Web Information Acquisition / PhD Thesis by V. Zigo / Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-01-16
Efficient Algorithms through Bounded Treewidth / Master Thesis by M. Jakl / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007
Erstellung und semantische Annotation von Dokumenten auf Basis automatisch extrahierter Webdaten / Master Thesis by M. Bauer / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 2007-11-13
E-Assessment-computergestützte Prüfungssysteme im Bildungssektor / Master Thesis by K. Anestopoulos / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007
A new Tabu Search Framework and it's Application / Master Thesis by M. Mörz / Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme 184/2, 2007; final examination: 2007-03-13
Generalized Hypertree Decomposition based on Hypergraph Partitioning / Master Thesis by A. Dermaku / Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 2007-01-09
Using Licto for Abstract Automation of Web Applications / Master Thesis by C. Semturs / Supervisor: G. Gottlob; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 2007-01-09

2006

A Scalable Special - Purpose Metasearch Engine / PhD Thesis by O. Jaura / Supervisor, Reviewer: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006; oral examination: 2006-06-20
Web Service Composition using Logic Programming / PhD Thesis by A. Rainer / Supervisor, Reviewer: J. Dorn, K. Fröschl; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006
Integration of Transaction Management in Web Service Orchestrations / PhD Thesis by P. Hrastnik / Supervisor, Reviewer: J. Dorn, W. Winiwarter; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006
Selbstausrichtende Prozesse - Elemente der Künstlichen Intelligenz im Geschäftsmanagement / PhD Thesis by R. El-Berry / Supervisor, Reviewer: J. Dorn, G. Raidl; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006
Business Intelligence in the Logistic Domain using Visual Information Extraction / PhD Thesis by J. A. Díaz Prado / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006; oral examination: 2006-04-26
New Heuristic Methods for Tree Decompositions and Generalized Hypertree Decompositions / Master Thesis by W. Schafhauser / Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006
Evolution of grid computing / Master Thesis by J. Hirtenfelder / Supervisor: W. Slany; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006
Evaluation von Frameworks für webbasierende Anwendungen / Master Thesis by S. Huber / Supervisor: T. Mück; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006
Extraction of visual features for dynamic object recognition / Master Thesis by P. Kadlec / Supervisor: G. Dorffner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006
A Generic Web Service Client and its Usage in the Lixto Transformation Server / Master Thesis by R. Weiss / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006

2005

Requirements andSystem Design for Next Generation Web Data Extraction and Integration / PhD Thesis by G. Ledermüller / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2005; oral examination: 2005-11-22
Supervised Learning of Wrappers from Structured Data Sources / PhD Thesis by M. Ceresna / Supervisor, Reviewer: G. Gottlob, C. Koch; Institut für Informationssysteme, Datenbanken & Artificial Intelligence, 2005; oral examination: 2005-06-21
Strukturierte Prozessanalyse mit Referenzmodellen in einem Pharmaunternehmen / Master Thesis by J. Menzel / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2005
Geldflüsse in Webprozessen / Master Thesis by J. Knapp / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2005
Semantic Content Integration for LBScult - An Architecture for a Location Based Service Platform in the Cultural Heritage Domain / Master Thesis by B. Peißl / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, 2005
Mobile Forum - Eine Kommunikationsplattform für SMS-, WAP- und Internetbenutzer / Master Thesis by M. Peter / Supervisor: J. Dorn; Institut für Informationssysteme, Datembanken & Artificial Intelligence, 2005

2004

Reasoning about Specifications in Model Checking / PhD Thesis by M. Samer / Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, 2004
Cryptographic Watermarking / PhD Thesis by S. Katzenbeisser / Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004
Efficient Processing of XPath Queries / Master Thesis by T. Lukasser / Supervisor: C. Koch; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
MIKSI - An Example of an Application Based on Service Oriented Architecture / Master Thesis by A. Balaban / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
Eine Transportplattform für die Koordinierung von Personen- und Gütertransporten in Österreich / Master Thesis by C. Piffer / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich datenbanken & Artificial Intelligence, 2004
Entwurf und Realisierung eines Projekts zur Katalogisierung von gastronomischen Betrieben / Master Thesis by C. Wenger / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
EAI Prozessmodellierung / Master Thesis by F. Schweiger / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
Analyse des Einsatzes von mobiler Kommunikation für die Verwaltung von öffentlichen Parkgaragen / Master Thesis by E. Schamp / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
Entwurf und Realisierung eines Webinformationssystems zur Verwaltung in der Lehre / Master Thesis by E. Kicker / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
Bewertung von Geschäftsprozessen / Master Thesis by R. Gruber / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
Analyse des Verbesserungspotential von Geschäftsprozessen im Computerhandel durch Einführung von ebXML / Master Thesis by S. Denninger / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
Interfaces zwischen XML-Datemodellen, basierend auf der Software Lixto, und relationalen Datenbanken / Master Thesis by C. Summerer / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
XML-basierte Entwicklungsumgebungen für einfache Web-Applikationen und Prototypen im Umfeld medizinischer Forschungsaufgaben / Master Thesis by P. Freidl / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationsysteme, ARGR Datenbaken & Artificial Intelligence, 2004

2003

Queries on tree-structured data / Habilitation Thesis by C. Koch / TU Wien, Fakultät für Informatik, 2003
Preemtive Scheduling in real time systems with cyclic precedence constraints / PhD Thesis by A. Prianichnikova / Supervisor, Reviewer: J. Dorn; Institut für Informationssysteme, 2003
Erfolgsfaktoren Mobiler Kommunikation im Aussendienst / Master Thesis by G. Houska / Supervisor: J. Dorn; Institut für Informationssysteme, Datenbanken & Artificial Intelligence, 2003
Integration von mobilen Geräten in Web - Prozesse / Master Thesis by T. Sillhengst / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003
Internet-basierte Billig-Systeme im Tourismus / Master Thesis by A. Köck / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003
Analyse, Entwurf und Implementierung einer XML-basierten Prozessgrammatik / Master Thesis by R. El-Berry / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003
Personal and Knowledge Management / Master Thesis by R. Rateshtari / Supervisor: J. Dorn; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003
Zahlungssysteme im Internet / Master Thesis by S. Forsich / Supervisor: J. Dorn; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003
Problematik der nachträglichen Dokumentation einer Datenbankanwendung unter besonderer Berücksichtigung der Unified Modeling Language / Master Thesis by M. Kummerer / Supervisor: W. Slany; Institut für Informationssysteme, 2003
Entwurf und Implementierung eines wertebasierten Diagnose-Modells für VHDL-Programme / Master Thesis by F. Bruckner / Supervisor: F. Wotawa; Institut für Informationssysteme, 2003
Ubiquitous Computing und Privatsphäre / Master Thesis by A. Krisch / Supervisor: J. Dorn; Institut für Informationssysteme, 2003
Eine webbasierte Übungsumgebung: Ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten "minimale Überdeckung", Schlüsselsuche und 3. Normalform / Master Thesis by A. Corradini / Supervisor: G. Gottlob, G. Pfeifer; für Informationssysteme, 2003
Multi-Platform Publishing / Master Thesis by A. Burner / Supervisor: G. Gottlob, M. Herzog; Institut für Informationssysteme, 2003

2002

A rapid application development environment for XML-based data flow applications / PhD Thesis by M. Herzog / Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, 2002
Location Based Services / Master Thesis by T. Gattringer / Supervisor: M. Herzog, G. Gottlob; Institut für Informationssysteme, 2002
Usenet Test: Ein System zur vergleichenden Bewertung von Usenet News-Servern / Master Thesis by M. Böck / Supervisor: G. Pfeifer; Institut für Informationssysteme, 2002
Erweiterung einer Webserver-Scriptingsprache um XQL - MetaHTML, XML und XQL / Master Thesis by M. Liehmann / Supervisor: G. Pfeifer, W. Slany; Institut für Informationssysteme, 2002
Framework für generische Suche in einem komplexen Objektmodell am Beispiel von See your Client / Master Thesis by B. Schmidt / Supervisor: F. Wotawa; Institut für Informationssystem, 2002
System Analysis und Monitoring / Master Thesis by H. Petek / Supervisor: F. Wotawa; Institut für Informationssysteme, 2002
Constraint Satisfaction Problems - Hyprid Decompostion and Evaluation / Master Thesis by M. Hutle / Supervisor: F. Wotawa; Institut für Informationssysteme, 2002
Aspekte der IT-Security als technisches Gestaltungsziel aus Perspektive der Organisation / Master Thesis by O. Jorns / Supervisor: W. Slany; Institut für Informationssysteme, 2002
Analyse von Geschäftsmodellen im Internet / Master Thesis by M. Rosenthal / Supervisor: J. Dorn; Institut für Informationssysteme, 2002
Anforderungen an Benutzerprofile bei mobilen Telekommunikationsservices / Master Thesis by S. Nebl / Supervisor: J. Dorn; Institut für Informationssystem, 2002
Erfahrung und Bewertung mit dem Einsatz vom SAP Workflowmanagementsystem in der Praxis / Master Thesis by C. Maschek / Supervisor: J. Dorn; Institut für Informationssysteme, 2002
Systematische Vergabe von Benutzerzugriffsberechtigungen / Master Thesis by B. Marx / Supervisor: J. Dorn; Institut für Informationssysteme, 2002
Wissensextraktion aus Dokumenten / Master Thesis by C. Kahlig / Supervisor: J. Dorn; Institut für Informationssysteme, 2002
Evaluierung von Standards zur Abwicklung von elektronischen Business-to-Business Geschäftsbeziehungen / Master Thesis by W. Hübner / Supervisor: J. Dorn; Institut für Informationssysteme, 2002
Prozessoptimierung im intermodalen Güterverkehr durch den Einsatz von Informationssystemen / Master Thesis by D. Böckmann / Supervisor: J. Dorn; Institut für Informationssysteme, 2002
Unterstützung von Quality Function Deployment durch Informationssysteme / Master Thesis by S. Fischer / Supervisor: J. Dorn; Institut für Informationssysteme, 2002

2001

Intelligent Search Methods for Workforce Scheduling: New Ideas and Practical Applications / PhD Thesis by N. Musliu / Supervisor, Reviewer: W. Slany; Institut für Informationssysteme, 2001
Customer Focused Business Processes in Virtual Enterprises / Master Thesis by H. Kilic / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2001
Service Provider Oriented Ontology of Virtual Enterprises / Master Thesis by W. Yauw Ying Jo / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2001
A Distributed Simulation System to Evaluate Reactive Schedulers / Master Thesis by T. David / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2001
Business Process Modeling for E-Business / Master Thesis by A. Rainer / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2001
Führungsinformationssystems für die Vorarlberger Landesregierung / Master Thesis by T. Bernhard / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2001
Informations-Visualisierung bei der Personalplanung im Operating Hours Assistant / Master Thesis by B. Neziri / Supervisor: W. Slany; Institut für Informationssysteme, 2001
Darstellung des Party-Problems der Ramsey Theory in Form eines Spieles / Master Thesis by C. Chavez-Niquen / Supervisor: W. Slany; Institut für Informationssysteme, 2001
GLOF: A Collaborative Distributed Database - Design and Implementation / Master Thesis by R. Bihlmeyer / Supervisor: W. Slany, G. Pfeifer; Institut für Informationssysteme, 2001

2000

Prozessmanagement im Beschaffungsbereich / Master Thesis by F. Richter / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2000
Automatische Generierung von Klassen aus einer EBNF-Grammatik / Master Thesis by I. Tchepkasova / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2000
Analyse von Werkzeugen für ein prozeßorientiertes Qualitätsmanagement / Master Thesis by S. Wiederkom / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2000
Entwicklungstendenzen im Mobile Commerce / Master Thesis by M. Lang / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2000
Business Process Reengineering für einen Fachhochschullehrgang / Master Thesis by F. Guttmann / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2000

1999

Optimierung des Energieverbrauchs im Haushlat durch intelligentes Energiemanagement / Master Thesis by C. Tschida / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 1999
Prozeßorientiertes Vorgehen zur Entwicklung eines Internet-basierten Informationssystems für eine Non-Profit Organisation / Master Thesis by P. Meyer / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 1999
Entwicklung eines Internet-basierten Systems zur Spezifikation von Prozessen / Master Thesis by C. Aigner / Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 1999
Analyse der Verwandtschaft von Texten durch sprachunabhängige Methoden / Master Thesis by M. Winkler / Supervisor: K. Seyr, G. Gottlob; Institut für Informationssysteme, 1999

Awards

Stefan Woltran: EurAI Fellows programme
2018 / EurAI Fellow / Website
Georg Gottlob: ExtraLytics
2014 / ERC Europäischer Forschungsrat
Stefan Woltran: Treating Hard Problems with Decomposition and Dynamic Programming (Decodyn)
2014 / START-Programm / Austria / Website / Project
Stefan Woltran: Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning.
2012 / KR Inc
Reinhard Pichler: Best paper award at RR 2010: Int. Conf. on Web Reasoning and Rule Systems
2010 / Italy
Georg Gottlob: DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology
2010 / ERC Europäischer Forschungsrat
Ingo Feinerer: INiTS Award
2007 / INiTS-Award / Austria
Georg Gottlob: Full Member of the Austrian Academy of Sciences
2004 / Mitgliedschaft / Austria
Georg Gottlob: Fellow of ECCAI, the European Artificial Intelligence Society
2002 / Austria
Georg Gottlob: Best Paper Award at the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Madison, Wisconsin
2002 / USA
Stefan Woltran: OCG-Förderpreis
2002 / Austria
Georg Gottlob: Honorary Scientist of the Guizhou Academy of Sciences, Guyang
2000 / Mitgliedschaft
Georg Gottlob: Elected corresponding member of the Austrian National Academy of Sciences
1999 / Mitgliedschaft / Austria
Georg Gottlob: Best Paper Award at the 5th Int. Conference on Logic Programming and Nonmonotonic Reasoning, El Paso, Texas
1999 / USA
Georg Gottlob: Logik und Algorithmen
1998 / Wittgenstein-Preis / Austria
Georg Gottlob: Senior Fellow of the Christian Doppler Society
1996 / Austria
Wolfgang Slany: Heinz Zemanek Award from Austrian Computer Society
1996 / Austria
Georg Gottlob: Silbermedaille der Universität Helsinki f. wiss. Leistungen auf dem Gebiet der Informatik
1995 / Finland
Nysret Musliu: Distinguished student (Student i dalluar) award from the University of Prishtina, Kosova.
1995 / University of Prishitna / Kosovo
Georg Gottlob: Preis der ital. Vereinigung der Elektronik-Ingenieure f. wiss. Leistungen auf dem Gebiet der Datenbanken
1988 / Italy

And more…

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Databases and Artificial Intelligence’s research profile in TISS .

Services

Institutes

Research Units

Databases and Artificial Intelligence E192-02

Contact

On This Page

About

Professors

Scientific Staff

Administrative Staff

Student Staff

External Lecturers

Courses

2020W

Projects

Publications

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1996

1995

Theses

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

Awards

And more…