Reinhard Pichler
Univ.Prof. Mag.rer.nat. Dr.techn.
Research Focus
- Logic and Computation: 100%
Research Areas
- Knowledge Representation and Reasoning, Database Theory, Parameterized Complexity, Complexity Theory, Computational Logic, Information Integration, Semantic Web
About
Basic Research in Database Theory and Computational Logic with focus on: Properties of Query Languages, Information Integration and Knowledge Representation and Reasoning
Roles
-
Full Professor
Databases and Artificial Intelligence, E192-02 -
Faculty Council
Chair -
Curriculum Commission for Informatics
Principal Member -
Curriculum Commission for Business Informatics
Substitute Member
Courses
2022W
- Bachelor Thesis / 184.691 / PR
- Complexity theory / 181.142 / VU
- Database Theory / 181.140 / VU
- Doctoral & Master Students Seminar / 181.223 / SE
- Introduction to the Fundamentals of Programming for Students and Refugees / 184.791 / UE
- IT Projects for Youth / 192.055 / PR
- IT Projects for Youth / 192.058 / UE
- Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
- Project in Computer Science 1 / 184.688 / PR
- Project in Computer Science 2 / 184.689 / PR
- Scientific Research and Writing / 193.052 / SE
- Seminar Database Systems / 181.201 / SE
- Theoretical Computer Science and Logics / 185.278 / VU
2023S
- Advanced Database Systems / 184.780 / VU
- Bachelor Thesis / 184.691 / PR
- Doctoral & Master Students Seminar / 181.223 / SE
- IT Projects for Youth / 192.055 / PR
- IT Projects for Youth / 192.058 / UE
- Project in Computer Science 1 / 184.688 / PR
- Project in Computer Science 2 / 184.689 / PR
- Research Seminar LogiCS / 184.767 / SE
- Scientific Research and Writing / 193.052 / SE
- Seminar Database Systems / 181.201 / SE
- Seminar in Complexity Theory / 184.687 / SE
- Seminar of Artificial Intelligence / 181.034 / SE
Projects
-
HyperTrac: hypergraph Decompositions and Tractability
2018 – 2022 / Austrian Science Fund (FWF) -
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
2013 – 2018 / Austrian Science Fund (FWF) -
Model-based Web-Ranking >Extraction
2013 – 2014 / Center for Innovation and Technology (ZIT) -
Heterogenous Information Integration
2012 – 2017 / Austrian Science Fund (FWF) -
SEE: SPARQL Evaluation and Extensions
2012 – 2016 / Vienna Science and Technology Fund (WWTF) -
TASK MINING from CROWD BEHAVIOUR
2011 – 2013 / Austrian Research Promotion Agency (FFG) -
Service-Oriented Data Integration
2009 – 2013 / Vienna Science and Technology Fund (WWTF) -
Advanced Barrier-free Browser Accessibility
2009 – 2011 / Austrian Research Promotion Agency (FFG) -
Theoretical Tractability vs. Practical Computation
2008 – 2012 / Austrian Science Fund (FWF) -
GraphWrap - Graph-Based Wrapping from PDF Documents
2008 – 2010 / Austrian Research Promotion Agency (FFG) -
B1: A special-purpose meta-search generator for integrating deep web data
2007 – 2009 / Austrian Research Promotion Agency (FFG) -
Know it All and Know it Right: High Quality Mining in the Web
2005 – 2009 / Austrian Research Promotion Agency (FFG) -
NEXTWRAP Next Generation Web Wrapper Technologies
2005 – 2007 / Austrian Research Promotion Agency (FFG)
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
2021
- HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings / W. Fischl, G. Gottlob, D. Longo, R. Pichler / ACM Journal of Experimental Algorithmics, 26 (2021), 1.6; 1 - 40
- Fast and Parallel Decomposition of Constraint Satisfaction Problems / G. Gottlob, C. Okulmus, R. Pichler / Talk: IJCAI 2020, Yokohama; 2021-01-01 - 2021-01-10; in: "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, (IJCAI 2020)", (2021), 1155 - 1162
- Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems / H. Chen, G. Gottlob, M. Lanzinger, R. Pichler / Talk: IJCAI 2020, Yokohama; 2021-01-01 - 2021-01-10; in: "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020", (2021), 1726 - 1733
2020
- Enumerating the Repairs of Inconsistent Databases / B. Kimmelfeld, R. Pichler, P. Kolaitis, S. Skritek / Talk: WEPA 2020 - 4th International Workshop on Enumeration Problems and Applications, online; 2020-12-07 - 2020-12-10
- The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions / G. Gottlob, M. Lanzinger, D. Longo, C. Okulmus, R. Pichler / Talk: CPAIOR 2020, Wien (invited); 2020-09-21 - 2020-09-24; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, {CPAIOR} 2020", Springer, 12296 (2020), 3 - 21
- Fractional Covers of Hypergraphs with BoundedMulti-Intersection / G. Gottlob, M. Lanzinger, R. Pichler, I. Razgon / Talk: MFCS 2020 - International Symposium on Mathematical Foundations of Computer Science, Prag; 2020-08-24 - 2020-08-28; in: "45th International Symposium on Mathematical Foundations of Computer Science August 24-28, 2020, Prague (Czech Republic)", (2020), 1 - 14
- Complexity Analysis of General and Fractional Hypertree Decompositions / G. Gottlob, M. Lanzinger, R. Pichler, I. Razgon / CoRR - Computing Research Repository, 1 (2020), 1; 1 - 54
- On the Language of Nested Tuple Generating Dependencies / P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov / ACM Transactions on Database Systems, 45 (2020), 2; 1 - 59
- Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation / R. Pichler / ACM SIGMOD Record, 49 (2020), 1; 51
2019
- HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings / W. Fischl, D. Longo, G. Gottlob, R. Pichler / Talk: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 2019-06-30 - 2019-07-05; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019", ACM, (2019), ISBN: 978-1-4503-6227-6; 464 - 480
- Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems / M. Lanzinger, G. Gottlob, R. Pichler / Talk: Vienna Young Scientists Symposium (VSS), Wien; 2019-06-13 - 2019-06-14; in: "noch nicht bekannt", (2019), 1 - 2
- HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings / W. Fischl, G. Gottlob, D. Longo, R. Pichler / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019.},", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
- Parallel Computation of Generalized Hypertree Decompositions / G. Gottlob, R. Pichler, C. Okulmus / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
- Semantic Width Revisited (Extended Abstract) / G. Gottlob, M. Lanzinger, R. Pichler / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
- Datalog: Bag Semantics via Set Semantics / R. Pichler, G. Gottlob, L. Bertossi / Poster: ICDT 2019 - 22nd International Conference on Database Theory, Lissabon, Portugal; 2019-03-26 - 2019-03-28; in: "22nd International Conference on Database Theory, {ICDT} 2019", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 127 (2019), ISBN: 978-3-95977-101-6; 16:1 - 16:19
- Enumeration in Data Management (Dagstuhl Seminar 19211) / E. Boros, B. Kimelfeld, R. Pichler, N. Schweikardt / Dagstuhl Reports, 9 (2019), 5; 89 - 109
- A complexity theory for hard enumeration problems / N. Creignou, M. Kröll, R. Pichler, S. Skritek, H. Vollmer / Discrete Applied Mathematics, 268 (2019), 191 - 209
2018
- 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
- 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
- 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
- Proceedings of the 21th International Conference on Extending Database Technology / R. Pichler, N. May, E. Rahm, S. Wu, K. Hose / EDBT 2018, Edbt / Icdt 2018, 2018, ISBN: 978-3-89318-078-3; 717 pages
- 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
- 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
2017
- On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks / M. Kröll, R. Pichler, S. Woltran / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017", (2017), 1145 - 1152
- Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Montevideo, Uruguay; 2017-06-07 - 2017-06-09; in: "11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017", E. Sallinger (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1912 (2017), ISSN: 1613-0073; 1 - 5
- Computational Social Choice in the Clouds / T. Csar, M. Lackner, R. Pichler, E. Sallinger / Talk: Workshop Präferenzen und Personalisierung in der Informatik bei der Konferenz "Datenbanksysteme für Business, Technologie und Web" (BTW), Stuttgart; 2017-03-07; in: "Workshop Präferenzen und Personalisierung in der Informatik bei der Konferenz "Datenbanksysteme für Business, Technologie und Web" (BTW)", (2017), 163 - 167
- On the Complexity of Hard Enumeration Problems / N. Creignou, M. Kröll, R. Pichler, S. Skritek, H. Vollmer / Talk: Language and Automata Theory and Applications - LATA 2017, Schweden; 2017-03-06 - 2017-03-09; in: "Language and Automata Theory and Applications - 11th International Conference, LATA 2017", (2017), 183 - 195
- Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458 / T. Csar, M. Lackner, R. Pichler, E. Sallinger / Talk: AAAI 2017, San Francisco; 2017-02-04 - 2017-02-09; in: "AAAI 2017", (2017), 451 - 458
- Implementing Courcelle's Theorem in a declarative framework for dynamic programming / B. Bliem, R. Pichler, S. Woltran / Journal of Logic and Computation, 27 (2017), 4; 1067 - 1094
2016
- 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
- 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
- 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
- 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
- The Challenge of Optional Matching in SPARQL / S. Ahmetaj, W. Fischl, M. Kröll, R. Pichler, M. Simkus, S. Skritek / Keynote Lecture: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016, Linz (invited); 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; 169 - 190
- 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
- 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
2015
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
2014
- On the Parameterized Complexity of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 2014-10-08 - 2014-10-11
- Capturing Relational Schemas and Functional Dependencies in RDFS / W. Fischl, D. Calvanese, R. Pichler, M. Simkus, E. Sallinger / Poster: Reasoning Web, International Summer School, Athen; 2014-09-07 - 2014-09-13
- Certain Answers to Well-Designed SPARQL Queries / R. Pichler / Talk: Dagstuhl Seminar 14331: "Querying and Reasoning Under Expressive Constraints", Dagstuhl (invited); 2014-08-11 - 2014-08-14; in: "Dagstuhl Reports 4(8)", (2014), ISSN: 2192-5283; 15 - 16
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
2013
- Coping with High Complexity: Structure Matters / R. Pichler / Keynote Lecture: The 32nd INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SOCIETY (SCCC), Temuco (invited); 2013-11-13 - 2013-11-15
- 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
- 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
- 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
- Applicability of ASP-based Problem Solving on Tree Decompositions / B. Bliem, R. Pichler, S. Woltran / Talk: Third International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR) 2013, Peking; 2013-08-03 - 2013-08-05
- 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
- 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
- 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
- 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
- Relaxed Notions of Schema Mapping Equivalence Revisited / R. Pichler, E. Sallinger, V. Savenkov / Theory of Computing Systems (invited), 52 (2013), 3; 483 - 541
- 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
2012
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough / R. Pichler, St. Rümmele, St. Szeider, S. Woltran / CoRR - Computing Research Repository, 1204.3040 (2012), abs/1204.3040; 20 pages
2011
- A New Tree-Decomposition Based Algorithm for Answer Set Programming / M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran / Poster: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, Boca Raton, Florida USA; 2011-11-07 - 2011-11-09; in: "2011 IEEE 23rd International Conference on Tools with Artificial Intelligence", T. M. Khoshgoftaar, X. Zhu (ed.); (2011), ISSN: 1082-3409; 916 - 918
- On Integrating Data Services Using Data Mashups / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: Britsh National Conference on Databases - BNCOD, Manchester, Großbritannien; 2011-07-12 - 2011-07-14; in: "Advances in Databases", A. A. A. Fernandes, A.J.G. Gray, K. Belhajjame (ed.); LNCS/Springer, 7051 (2011), ISBN: 978-3-642-24576-3; 132 - 135
- Data Concern Aware Querying for the Integration of Data Services / M. Ali, R. Pichler, H. Truong, S. Dustdar / Poster: ICEIS, Beijing; 2011-06-08 - 2011-06-11; in: "Proceedings of the 13th International Conference on Enterprise Information Systems", J. Cordeiro, X. Li, Z. Zhang, J. Zhang (ed.); SciTePress, Volume 1 (2011), ISBN: 978-989-8425-53-9; 111 - 119
- On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies / I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile; 2011-05-09 - 2011-05-12; in: "CEUR Workshop Proceedings", P. Barceló, V. Tannen (ed.); 749 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages
- Tractable Counting of the Answers to Conjunctive Queries / R. Pichler, S. Skritek / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile; 2011-05-09 - 2011-05-12; in: "CEUR Workshop Proceedings", P. Barceló, V. Tannen (ed.); CEUR Workshop Proceedings, 749 (2011), ISSN: 1613-0073; Paper ID 4, 12 pages
- The Complexity of Evaluating Tuple Generating Dependencies / R. Pichler, S. Skritek / Talk: International Conference on Database Theory (ICDT), Uppsala, Schweden; 2011-03-21 - 2011-03-25; in: "Proceedings of the 14th International Conference on Database Theory", T. Milo (ed.); ACM, (2011), ISBN: 978-1-4503-0529-7; Paper ID 23, 12 pages
- Relaxed Notions of Schema Mapping Equivalence Revisited / R. Pichler, E. Sallinger, V. Savenkov / Talk: International Conference on Database Theory (ICDT), Uppsala, Schweden; 2011-03-21 - 2011-03-25; in: "Proceedings of the 14th International Conference Database Theory", T. Milo (ed.); ACM, (2011), ISBN: 978-1-4503-0529-7; Paper ID 10, 12 pages
- Normalization and optimization of schema mappings / G. Gottlob, R. Pichler, V. Savenkov / VLDB Journal, 20 (2011), 2; 277 - 302
- Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation / W. Dvorak, R. Pichler, S. Woltran / Report for TU Wien, Institut für Informationssysteme; Report No. DBAI-TR-2011-74, 2011; 55 pages
- Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming / M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran / Report No. DBAI-TR-2011-73, 2011; 19 pages
2010
- Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries / R. Pichler, A. Polleres, S. Skritek, S. Woltran / Talk: RR 2010 - The fourth international Conference on Web Reasoning and Rule Systems, Brixen, Italy; 2010-09-22 - 2010-09-24; in: "RR 2010", P. Hitzler, T. Lukasiewicz (ed.); Lecture Notes/ Springer, 6333 (2010), ISBN: 978-3-642-15917-6; 133 - 148
- A Dynamic-Programming Based ASP-Solver / M. Morak, R. Pichler, St. Rümmele, S. Woltran / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "Lecture Notes in Artificial Intelligence", R. Goebel, J. Siekmann, W. Wahlster (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 369 - 372
- Uncertain Databases in Collaborative Data Management / R. Pichler, V. Savenkov, S. Skritek, H. Truong / Talk: The Fourth International VLDB Workshop on Management of Uncertain Data, Singapore, Singapur; 2010-09-13 - 2010-09-17; in: "CTIT Workshop Proceedings Series", A. De Keijzer, M. Van Keulen (ed.); CTIT, Centre for Telematics and Information Technology, (2010), ISSN: 0929-0672; 129 - 143
- The Complexity of Handling Minimal Solutions in Logic-Based Abduction / R. Pichler, S. Woltran / Talk: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 2010-08-16 - 2010-08-20; in: "Prooceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence", H. Coelho, R. Studer, M. Woolridge (ed.); IOS Press, 215 (2010), ISBN: 978-1-60750-605-8; 895 - 900
- Multicut Algorithms via Tree Decompositions / R. Pichler, St. Rümmele, S. Woltran / Talk: 7#{th}^Int. Conference on Algorithms and Complexity - CIAC 2010, Rome, Italy; 2010-05-26 - 2010-05-28; in: "Algorithms and Complexity", T. Calamoneri, J. Diaz (ed.); LNCS, Springer, 6078 (2010), ISBN: 978-3-642-13072-4; 167 - 179
- Minimising RDF Graphs under Rules and Constraints Revisited / R. Pichler, A. Polleres, S. Skritek, S. Woltran / Talk: 4th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2010), Bueons Aires, Argentina; 2010-05-17 - 2010-05-20; in: "Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management", A. H. F. Laender, L. V. S. Lakshmanan (ed.); CEUR Workshop Proceedings, 619 (2010), ISSN: 1613-0073
- Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough / R. Pichler, St. Rümmele, St. Szeider, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 2010-05-09 - 2010-05-13; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 71, 10 pages
- Towards Fixed-Parameter Tractable Algorithms for Argumentation / W. Dvorak, R. Pichler, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 2010-05-09 - 2010-05-13; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 24, 11 pages
- Counting and Enumeration Problems with Bounded Treewidth / R. Pichler, St. Rümmele, S. Woltran / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Dakar, Senegal; 2010-04-25 - 2010-05-01; in: "Lecture Notes in Artificial Intelligence 6355", R. Goebel, J. Siekmann, W. Wahlster (ed.); Lecture Notes in Computer Science, 6355 (2010), ISBN: 978-3-642-17510-7; 387 - 404
- Decentralized Diagnosis: Complexity Analysis and Datalog Encodings / A. Pfandler, R. Pichler, S. Woltran / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 291 - 292
- Implementing a Peer Database Management System / S. Skritek, R. Pichler / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 299 - 300
- Schema Mapping Optimization in the Presence of Target Constraints / E. Sallinger, R. Pichler, V. Savenkov / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 309 - 310
- Monadic datalog over finite structures of bounded treewidth / G. Gottlob, R. Pichler, F. Wei / ACM Transactions on Computational Logic, 12 (2010), 1
- Counting complexity of propositional abduction / M. Hermann, R. Pichler / Journal of Computer and System Sciences, 76 (2010), 7; 634 - 649
- Tractable database design and datalog abduction through bounded treewidth / G. Gottlob, R. Pichler, F. Wei / Information Systems, 35 (2010), 3; 278 - 298
- Bounded treewidth as a key to tractability of knowledge representation and reasoning / G. Gottlob, R. Pichler, F. Wei / Artificial Intelligence, 174 (2010), 1; 105 - 132
- Towards practical feasibility of core computation in data exchange / R. Pichler, V. Savenkov / Theoretical Computer Science, 411 (2010), 7-9; 935 - 957
2009
- Belief Revision with Bounded Treewidth / R. Pichler, St. Rümmele, S. Woltran / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 250 - 263
- Alternation as a programming paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Talk: PPDP'09 - 11th International ACM SIGPLAN Symposium on Princeples and Practice of Declarative Programming, Coimbra, Portugal; 2009-09-07 - 2009-09-09; in: "Proc. of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming", A. Porto, F. J. Lopez-Fraguas (ed.); ACM Press, (2009), ISBN: 978-1-60558-568-0; 61 - 72
- DEMo: Data Exchange Modeling Tool / R. Pichler, V. Savenkov / Poster: Very Large Databases (VLDB), Lyon, Frankreich; 2009-08-24 - 2009-08-28; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); (2009), Paper ID 1043, 4 pages
- Normalization and Optimization of Schema Mappings / G. Gottlob, R. Pichler, V. Savenkov / Talk: Very Large Databases (VLDB), Lyon, Frankreich; 2009-08-24 - 2009-08-28; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); VLDB Endowment, Vol. 2, Nr. 1 (2009), Paper ID 923, 12 pages
- Answer-Set Programming with Bounded Tree Width / M. Jakl, R. Pichler, S. Woltran / Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 2009-07-11 - 2009-07-17; in: "Proc. of the Twenty-First Int. Joint Conference on Artificial Intelligence", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), ISBN: 978-1-57735-428-4; 816 - 822
- On Using Distributed Extended XQuery for Web Data Sources as Services / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: 9th International Conference on Web Engineering, ICWE 2009, San Sebastián, Spain; 2009-06-24 - 2009-06-26; in: "Web Engineering Proceedings of the 9th International Conference, ICWE 2009", M. Gaedke, M. Grossniklaus, O. Díaz (ed.); Springer, LNCS 5648 (2009), ISBN: 978-3-642-02817-5; 497 - 500
- DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: 11th International Conference on Enterprise Information Systems, ICEIS 2009, Milan, Italy; 2009-05-06 - 2009-05-10; in: "Enterprise Information Systems Proceedings of the 11th International Conference, ICEIS 2009", J. Filipe, J. Cordeiro (ed.); Springer, LNBIP 24 (2009), ISBN: 978-3-642-01346-1; 172 - 183
- Complexity of Counting the Optimal Solution / M. Hermann, R. Pichler / Theoretical Computer Science, 410 (2009), 38-40; 3814 - 3825
- Alternation as a Programming Paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Report No. DBAI-TR-2009-64, 2009; 28 pages
2008
- Fast Counting with Bounded Treewidth / M. Jakl, R. Pichler, St. Rümmele, S. Woltran / 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; 436 - 450
- 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
- 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
- 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
- Complexity of Counting the Optimal Solution / M. Hermann, R. Pichler / Talk: The 14th Annual International Computing and Combinatorics Conference (COCOON 2008), Dalian, China; 2008-06-27 - 2008-06-29; in: "Computing and Combinatorics", X. Hu, J. Wang (ed.); Lecture Notes of Computer Science, Springer, 5092 (2008), ISBN: 978-3-540-69732-9; 149 - 159
- 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
- Fast Counting with Bounded Treewidth / M. Jakl, R. Pichler, St. Rümmele, S. Woltran / Report No. DBAI-TR-2008-61, 2008; 27 pages
- dRDF: Entailment for Domain-Restricted RDF / R. Pichler, A. Polleres, F. Wei, S. Woltran / Report No. DBAI-TR-2008-59, 2008; 28 pages
2007
- Foundations of Rule-Based Query / F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei / Talk: Third International Summer School 2007, Dresden, Germany; 2007-09-03 - 2007-09-07; in: "Reasoning Web", Lecture Notes in Computer Science, 4636 (2007), ISBN: 978-3-540-74613-3; 1 - 153
- Efficient Datalog Abduction through Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada; 2007-07-22 - 2007-07-26; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 17/AAAI07-260, 6 pages
- Monadic Datalog over Finite Structures with Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: PODS 2007, Beijing, China; 2007-06-11 - 2007-06-13; in: "Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007)", P. Kolaitis (ed.); ACM, (2007), ISBN: 978-1-59593-685-1; 165 - 174
- Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains / M. Fink, R. Pichler, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 2007-05-14 - 2007-05-17; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135
- Counting Complexity of Propositional Abduction / M. Hermann, R. Pichler / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, Indien; 2007-01-06 - 2007-01-12; in: "Proceeding of the Twentieth International Joint Conference on Artificial Intelligence", AAAI Press, Volume 1, 2 (2007), ISBN: 978-1-57735-298-3; 417 - 422
- Model Representation over Finite and Infinite Signatures / C. Fermüller, R. Pichler / Journal of Logic and Computation, 17 (2007), 3; 453 - 477
2006
- 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
- 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
- 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
2005
- 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
- On Deciding Subsumption Problems / U. Egly, R. Pichler, S. Woltran / Annals of Mathematics and Artificial Intelligence, 43 (2005), 1-4; 255 - 294
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
2019
- Rewriting Approaches for Ontology-Mediated Query Answering / Doctoral Thesis by S. Ahmetaj / Supervisor, Reviewer: R. Pichler, M. Simkus; Institut für Logic and Computation, 2019; oral examination: 2019-07-09
2016
- On the Parameterized Complexity of Planning / Doctoral Thesis by M. Kronegger / Supervisor, Reviewer: R. Pichler, C. Bäckström; Institut für Informationsysteme, 2016
2014
- Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings / Doctoral Thesis by E. Sallinger / Supervisor, Reviewer: R. Pichler, P. Kolaitis; E184, 2014; oral examination: 2014-07-15
- Detecting Structure in Permutations and Preferences / Doctoral Thesis by M. Lackner / Supervisor, Reviewer: R. Pichler, St. Szeider, G. Erdélyi; Institut für Informationssysteme, 2014; oral examination: 2014-06-11
- Web Accessibility for the Blind Through Visual Representation Analysis / Doctoral Thesis by R. Fayzrakhmanov / Supervisor, Reviewer: R. Pichler, A. Provetti; Institut für Informationssysteme, 2014
- XML Data Integration / Master Thesis by I. Stoilkovska / Supervisor: R. Pichler; Institut für Informationssysteme, 2014
2013
- Normal Forms for Non-Relational for Data / Master Thesis by W. Fischl / Supervisor: R. Pichler; Institut für Informationssysteme, 2013; final examination: 2013-11-19
- Foundational Aspects of Semantic Web Optimization: New Algorithms and Complexity Results / Doctoral Thesis by S. Skritek / Supervisor, Reviewer: R. Pichler, M. Arenas; 184-2, 2013; oral examination: 2013-04-30
2012
- Decompose, guess and check : declarative problem solving on tree decompositions / Master Thesis by B. Bliem / Supervisor: S. Woltran, R. Pichler; Institut für Informationssysteme, 2012; final examination: 2012-11-19
- Foundational Aspects of Schema Mapping Optimization and Normalization / Doctoral Thesis by V. Savenkov / Supervisor, Reviewer: R. Pichler, N. Schweikardt; Institut für Informationssysteme, 2012; oral examination: 2012-08-10
2011
- LinkEfficient planning with QBF-solvers / Master Thesis by M. Kronegger / Supervisor: R. Pichler, A. Pfandler; f. Informationssysteme, 2011; final examination: 2011-09-13
- Distributed Heterogeneous Web Data Sources Integration - DeXIN Approach / Doctoral Thesis by M. Ali / Supervisor, Reviewer: R. Pichler, U. Zdun; Institut für Informationssysteme, 2011; oral examination: 2011-08-26
2010
- Complexity results and algorithms for Multicut on graphs of bounded clique-width / Master Thesis by M. Lackner / Supervisor: R. Pichler; Institut für Informationssysteme, 2010; final examination: 2010-09-30
- Fixed parameter algorithms for answer set programming / Doctoral Thesis by M. Jakl / Supervisor, Reviewer: R. Pichler, S. Woltran; Institut für Informationssysteme, 2010; oral examination: 2010-06-29
- Optimizing schema mappings with relaxed notions of equivalence / Master Thesis by E. Sallinger / Supervisor: R. Pichler, V. Savenkov; Institut für Informationssysteme, 2010; final examination: 2010-01-28
2009
- Decentralized Diagnosis: Complexity Analysis and Datalog Encodings / Master Thesis by A. Pfandler / Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-11
- Complexity of Argumentation / Master Thesis by A. Roubickova / Supervisor: R. Pichler, S. Woltran; Institut fuer Informationssysteme, 2009; final examination: 2009-11-01
- Foundations of Data Integration / Master Thesis by S. Rettinger / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-11
- OpenESB for Web Process Integration / Master Thesis by O. Selinger / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-08-30
- Implementing a peer data management system / Master Thesis by S. Skritek / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-08
- Realizing Web Accessibility based on Understanding the Visual Structure of Grocery Web Portals / Master Thesis by N. Prangnawarat / Supervisor: R. Pichler, W. Holzinger; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-07-10
- Analyse von Redundanzen beim Datenaustausch / Master Thesis by F. Wagner / Supervisor: R. Pichler, V. Savenkov; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-07
- Alternation as a programming paradigm / Master Thesis by W. Dvorak / Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-02
- On extending postgreSQL with the skyline operator / Master Thesis by J. Eder / Supervisor: R. Pichler, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 2009-01
2008
- Efficient Counting with Bounded Treewidth using Datalog / Master Thesis by St. Rümmele / Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2008; final examination: 2008-12
- VENTip - Methodology and implementation of table interpretation / Master Thesis by P. Bohunsky / Supervisor: R. Pichler, S. Dustdar; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-11
- Efficient problem solving based on datalog transformations / Master Thesis by Ch. Singewald / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-11
- Automatisiertes Verständnis von formularbasierten Webseiten durch statistische Klassifikation der Seiten und Elemente / Master Thesis by A. Mager / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10-08
- Open Source Jave EE Application Server functionality, Configuration and performance on the basis of Geronimo, JBoss and Glassfish / Master Thesis by M. J. Kofler / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10-07
- An Extensible and Configurable Record Linkage Framework / Master Thesis by Th. Zwierschitz / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10-07
- Data representation, queries and updates in probabilistic and uncertain databases / Master Thesis by R. Ostrcil / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10
- Einbindung von automatisiert extrahierten Webdaten in Internet Portalen / Master Thesis by L. Steiner / Supervisor: R. Pichler, M. Herzog; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-10
- Optimizations of structural join algorithms: XML - Structural Join Evolution / Master Thesis by M. Dorner / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-06-26
- An Application of Heuristic Route Search Techniques for a Scalable Flight Search System / Master Thesis by Y. Darmaputra / Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-06
- Umsetzung einer e-Learning Applikation für SQL mithilfe eines regelbasierten Bewertungssystems / Master Thesis by P. Gansterer / Supervisor: R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-04-18
- Data Cleaning and Performance Tuning in the GAINS Model / Master Thesis by M. Makowski / Supervisor: R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-04-18
2007
- Contributions to Large-Scale Information Acquisition from the Web / Doctoral Thesis by W. Gatterbauer / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-09-25
- Efficient Algorithms through Bounded Treewidth / Master Thesis by M. Jakl / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007
- E-Assessment-computergestützte Prüfungssysteme im Bildungssektor / Master Thesis by K. Anestopoulos / Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007
2006
- Business Intelligence in the Logistic Domain using Visual Information Extraction / Doctoral Thesis by J. A. Díaz Prado / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006; oral examination: 2006-04-26
2005
- Requirements andSystem Design for Next Generation Web Data Extraction and Integration / Doctoral Thesis by G. Ledermüller / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2005; oral examination: 2005-11-22
Awards
-
Best Paper Award at the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
2022 / ACM SIGMOD / USA / Website -
2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation
2021 / ACM SIGLOG / USA / Website -
Best paper award at RR 2010: Int. Conf. on Web Reasoning and Rule Systems
2010 / Italy
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Reinhard Pichler’s research profile in TISS .