TU Wien Informatics

Overview
Services
Office of the Dean Coordination and Communication
Institutes
Computer Engineering Information Systems Engineering Logic and Computation Visual Computing and Human-Centered Technology
Research Units
Algorithms and Complexity Automation Systems Business Informatics Compilers and Languages Computer Graphics Computer Vision Cyber-Physical Systems Databases and Artificial Intelligence Distributed Systems E-Commerce Embedded Computing Systems Formal Methods in Systems Engineering Human Computer Interaction Information and Software Engineering Knowledge-Based Systems Multidisciplinary Design and User Research Parallel Computing Pattern Recognition and Image Processing Security and Privacy Theory and Logic Visual Analytics

Research Unit Databases and Artificial Intelligence E192-02

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

On this page

About People Activities

About

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.

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.

Databases and Artificial Intelligence is part of the faculty’s Institute of Logic and Computation.

Georg Gottlob
Georg Gottlob G. Gottlob

Full Professor
O.Univ.Prof. DI Dr.

Reinhard Pichler
Reinhard Pichler R. Pichler

Head of Research Unit
Univ.Prof. Mag. Dr.

Stefan Woltran
Stefan Woltran S. Woltran

Full Professor
Univ.Prof. DI Dr.

Shqiponja Ahmetaj
Shqiponja Ahmetaj S. Ahmetaj

PostDoc Researcher
Dr. /MSc MSc

Medina-Petrina Andresel
Medina-Petrina Andresel M. Andresel

PreDoc Researcher
MSc

Labinot Bajraktari
Labinot Bajraktari L. Bajraktari

PreDoc Researcher
MSc

Wolfgang Dvorak
Wolfgang Dvorak W. Dvorak

PostDoc Researcher
DI DI Dr.

Adrian Haret
Adrian Haret A. Haret

PreDoc Researcher
MPhil

Markus Hecher
Markus Hecher M. Hecher

PreDoc Researcher
DI /BSc

Lucas Kletzander
Lucas Kletzander L. Kletzander

PreDoc Researcher
DI /BSc

Markus Kröll
Markus Kröll M. Kröll

PostDoc Researcher
DI Dr.

Martin Lackner
Martin Lackner M. Lackner

PostDoc Researcher
DI Dr.

Matthias Paul Lanzinger
Matthias Paul Lanzinger M. Lanzinger

PreDoc Researcher
DI /BSc

Jan Maly
Jan Maly J. Maly

PreDoc Researcher
MSc

Florian Mischek
Florian Mischek F. Mischek

PreDoc Researcher
DI /BSc

Nysret Musliu
Nysret Musliu N. Musliu

PostDoc Researcher with Habilitation
DI Dr.

Cem Okulmus
Cem Okulmus C. Okulmus

PreDoc Researcher
DI

Tomas Peitl
Tomas Peitl T. Peitl

PreDoc Researcher
Mag. /Bakk.

Zeynep Gözen Saribatur
Zeynep Gözen Saribatur Z. Saribatur

PreDoc Researcher
MSc

Mantas Simkus
Mantas Simkus M. Simkus

Senior Scientist
Dr. /MSc

Peter Skocovsky
Peter Skocovsky P. Skocovsky

PreDoc Researcher
MSc

Sebastian Skritek
Sebastian Skritek S. Skritek

PostDoc Researcher
DI Dr.

Christof Spanring
Christof Spanring C. Spanring

PostDoc Researcher
Mag. /PhD

Johannes Wallner
Johannes Wallner J. Wallner

PostDoc Researcher
DI Dr. /Bakk.

Felix Winter
Felix Winter F. Winter

PreDoc Researcher
DI /BSc

Juliane Auerböck
Juliane Auerböck J. Auerböck

Administration

Philipp Danzinger
Philipp Danzinger P. Danzinger

Project Administration

Georg Faustmann
Georg Faustmann G. Faustmann

Project Administration
BSc

Stefan Forster
Stefan Forster S. Forster

Project Administration

Maximilian Moser
Maximilian Moser M. Moser

Project Administration
BSc

Anton Pisjak
Anton Pisjak A. Pisjak

IT Services

Johannes Vass
Johannes Vass J. Vass

Project Administration
BSc

Rudolf Mayer
Rudolf Mayer R. Mayer

Lecturer
Mag. DI

Marion Oswald
Marion Oswald M. Oswald

Lecturer
DI Dr.

2018W

2019S

 

2019

2018

  • 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
  • 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 Auto­mated 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 Auto­mated Timetabling, Wien; 2018-08-28 - 2018-08-31; in: "Proceedings of the 12th International Conference on the Practice and Theory of Auto­mated 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

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

2010

2009

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

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

2003

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

2000

1996

1995

 

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

 

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

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 .