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
- Seminar Database Systems / 181.201 / SE
- Seminar in Complexity Theory / 184.687 / SE
- Seminar of Artificial Intelligence / 181.034 / SE
Projects
-
Decompose and Conquer: Fast Query Processing via Decomposition
2023 – 2027 / Vienna Science and Technology Fund (WWTF) -
HyperTrac: hypergraph Decompositions and Tractability
2018 – 2022 / Austrian Science Fund (FWF) / Publications: 143880, 145934, 148226, 148253, 148269, 148274, 151091, 153159, 176407, 176408, 59293, 59294, 59295, 61323, 61361, 61655, 61656, 61657, 61659, 61674, 61941, 62022, 62024, 62172 -
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
2013 – 2018 / Austrian Science Fund (FWF) / Publications: 152867, 153726, 155406, 155556, 156980, 157151, 157287, 159436, 160846, 161358, 161359, 163478, 58402, 58470, 58473, 58474, 58475, 58476, 58478, 58479, 58546, 58730, 58731, 58861, 59021, 59164, 59165, 59526, 59550, 59551, 59552, 59573, 59574, 59708, 59710, 59743, 59748, 59756, 59773, 59881, 59887, 59967, 59971, 59999, 60000, 60001, 60016, 60449, 60454, 60824, 60830, 60846, 60847, 60848, 60867, 60868, 61284, 61316, 61323, 61332, 61335, 61336, 61337, 61338, 61361, 61369, 90418, 90440, 90712, 90719 -
Model-based Web-Ranking >Extraction
2013 – 2014 / Center for Innovation and Technology (ZIT) -
Heterogenous Information Integration
2012 – 2017 / Austrian Science Fund (FWF) / Publications: 150854, 157071, 159435, 160883, 57091, 58482, 58483, 58485, 58534, 59175, 59176, 59177, 59570, 59681, 59683, 59756, 59864, 59878, 59879, 59880, 59882, 59885, 59887, 59889, 60277, 60328, 60329, 60331, 60334, 60335, 60336, 60338, 60339, 60449, 60456, 60459, 60460, 60461, 60463, 60464, 60466, 60824, 60842, 60846, 60847, 60848, 60867, 60868, 61369, 62621, 62622, 62623, 62624, 62625, 62626, 90722, 90829 -
SEE: SPARQL Evaluation and Extensions
2012 – 2016 / Vienna Science and Technology Fund (WWTF) / Publications: 160846, 160883, 163693, 163857, 58571, 58647, 58730, 58731, 58791, 58861, 59083, 59147, 59164, 59165, 59177, 59562, 59563, 59564, 59566, 59675, 59676, 59677, 59681, 59683, 59708, 59710, 59743, 59748, 59773, 59864, 59878, 59879, 59880, 59881, 59882, 59885, 59887, 59890, 60189, 60277, 60328, 60329, 60331, 60334, 60335, 60336, 60338, 60339, 60449, 62617, 62621, 62622, 62623, 62624, 62625, 62626, 90722, 90829 -
TASK MINING from CROWD BEHAVIOUR
2011 – 2013 / Austrian Research Promotion Agency (FFG) / Publications: 58547, 59136, 89998 -
Service-Oriented Data Integration
2009 – 2013 / Vienna Science and Technology Fund (WWTF) / Publications: 163468, 163619, 163721, 163857, 171521, 171669, 171818, 174914, 184474, 56346, 56390, 56471, 56477, 56999, 57002, 57013, 57113, 57344, 57345, 57362, 57372, 57504, 57563, 57564, 57566, 57768, 57828, 57830, 57849, 57855, 58268, 58571, 89803, 89904 -
Advanced Barrier-free Browser Accessibility
2009 – 2011 / Austrian Research Promotion Agency (FFG) / Publications: 56480, 56481 -
Theoretical Tractability vs. Practical Computation
2008 – 2012 / Austrian Science Fund (FWF) / Publications: 163468, 163619, 163857, 171669, 171670, 175369, 40665, 56407, 56408, 56422, 56424, 56425, 56427, 56428, 56801, 56837, 57341, 57345, 57833, 57859, 57860, 57862, 57883, 58571 -
GraphWrap - Graph-Based Wrapping from PDF Documents
2008 – 2010 / Austrian Research Promotion Agency (FFG) / Publications: 56449, 56450, 56451 -
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) / Publications: 54651, 54698, 55023, 55190 -
NEXTWRAP Next Generation Web Wrapper Technologies
2005 – 2007 / Austrian Research Promotion Agency (FFG) / Publications: 54697, 54798, 54836, 55024
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
2022
- Fast and parallel decomposition of constraint satisfaction problems / Gottlob, G., Okulmus, C., & Pichler, R. (2022). Fast and parallel decomposition of constraint satisfaction problems. Constraints, 27, 284–326. https://doi.org/10.1007/s10601-022-09332-1 / Project: HyperTrac
- Optimizing Recursive Queries with Progam Synthesis / Wang, Y. R., Khamis, M. A., Ngo, H. Q., Pichler, R., & Suciu, D. (2022). Optimizing Recursive Queries with Progam Synthesis. In SIGMOD ’22: Proceedings of the 2022 International Conference on Management of Data (pp. 79–93). Association for Computing Machinery (ACM). https://doi.org/10.1145/3514221.3517827 / Project: HyperTrac
- Convergence of Datalog over (Pre-) Semirings / Khamis, M. A., Ngo, H. Q., Pichler, R., Suciu, D., & Wang, Y. R. (2022). Convergence of Datalog over (Pre-) Semirings. In PODS ’22: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (p. 105). Association for Computing Machinery. https://doi.org/10.1145/3517804.3524140 / Project: HyperTrac
- Datalog in Wonderland / Khamis, M. A., Ngo, H. Q., Pichler, R., Suciu, D., & Wang, Y. R. (2022). Datalog in Wonderland. SIGMOD RECORD, 51(2), 6–17. https://doi.org/10.1145/3552490.3552492 / Project: HyperTrac
- Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth / Gottlob, G., Lanzinger, M., Okulmus, C., & Pichler, R. (2022). Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. In Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (pp. 325–336). Association for Computing Machinery. https://doi.org/10.1145/3517804.3524153 / Project: HyperTrac
2021
- HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings / Fischl, W., Gottlob, G., Longo, D. M., & Pichler, R. (2021). HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. ACM Journal on Experimental Algorithmics, 26, 1–40. https://doi.org/10.1145/3440015 / Project: HyperTrac
- Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems / Chen, H., Gottlob, G., Lanzinger, M., & Pichler, R. (2021). Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI 2020, Yokohama, Non-EU. https://doi.org/10.24963/ijcai.2020/239 / Project: HyperTrac
- Fast and Parallel Decomposition of Constraint Satisfaction Problems / Gottlob, G., Okulmus, C., & Pichler, R. (2021). Fast and Parallel Decomposition of Constraint Satisfaction Problems. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI 2020, Yokohama, Non-EU. https://doi.org/10.24963/ijcai.2020/161 / Project: HyperTrac
2020
- On the Language of Nested Tuple Generating Dependencies / Kolaitis, P. G., Pichler, R., Sallinger, E., & Savenkov, V. (2020). On the Language of Nested Tuple Generating Dependencies. ACM Transactions on Database Systems, 45(2), 1–59. https://doi.org/10.1145/3369554 / Projects: HINT, KnowledgeGraph, START
- Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation / Pichler, R. (2020). Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. ACM SIGMOD Record, 49(1), 51–51. https://doi.org/10.1145/3422648.3422660
- Complexity Analysis of General and Fractional Hypertree Decompositions / Gottlob, G., Lanzinger, M., Pichler, R., & Razgon, I. (2020). Complexity Analysis of General and Fractional Hypertree Decompositions (p. 54). arXiv. https://doi.org/10.48550/arXiv.2002.05239
- Enumerating the Repairs of Inconsistent Databases / Kimmelfeld, B., Pichler, R., Kolaitis, P. G., & Skritek, S. (2020). Enumerating the Repairs of Inconsistent Databases. WEPA 2020 - 4th International Workshop on Enumeration Problems and Applications, online, EU. http://hdl.handle.net/20.500.12708/87117
- The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions / Gottlob, G., Lanzinger, M., Longo, D. M., Okulmus, C., & Pichler, R. (2020). The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research (pp. 3–21). Springer. https://doi.org/10.1007/978-3-030-58942-4_1 / Project: HyperTrac
- Fractional Covers of Hypergraphs with BoundedMulti-Intersection / Gottlob, G., Lanzinger, M., Pichler, R., & Razgon, I. (2020). Fractional Covers of Hypergraphs with BoundedMulti-Intersection. In 45th International Symposium on Mathematical Foundations of Computer Science August 24-28, 2020, Prague (Czech Republic) (pp. 1–14). https://doi.org/10.4230/LIPIcs.MFCS.2020.41
2019
- A complexity theory for hard enumeration problems / Creignou, N., Kröll, M., Pichler, R., Skritek, S., & Vollmer, H. (2019). A complexity theory for hard enumeration problems. Discrete Applied Mathematics, 268, 191–209. https://doi.org/10.1016/j.dam.2019.02.025 / Project: HyperTrac
- Enumeration in Data Management (Dagstuhl Seminar 19211) / Boros, E., Kimelfeld, B., Pichler, R., & Schweikardt, N. (2019). Enumeration in Data Management (Dagstuhl Seminar 19211). Dagstuhl Reports, 9(5), 89–109. https://doi.org/10.4230/DagRep.9.5.89
- Datalog: Bag Semantics via Set Semantics / Pichler, R., Gottlob, G., & Bertossi, L. (2019). Datalog: Bag Semantics via Set Semantics. In 22nd International Conference on Database Theory, {ICDT} 2019 (pp. 16:1-16:19). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2019.16
- HyperBench / Fischl, W., Longo, D. M., Gottlob, G., & Pichler, R. (2019). HyperBench. In Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS ’19. SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande, EU. ACM. https://doi.org/10.1145/3294052.3319683 / Project: HyperTrac
- Parallel Computation of Generalized Hypertree Decompositions / Gottlob, G., Pichler, R., & Okulmus, C. (2019). Parallel Computation of Generalized Hypertree Decompositions. In Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{’{o}}n, Paraguay, June 3-7, 2019 (pp. 1–5). CEUR-WS.org. http://hdl.handle.net/20.500.12708/57860 / Project: HyperTrac
- Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems / Lanzinger, M., Gottlob, G., & Pichler, R. (2019). Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems. In noch nicht bekannt (pp. 1–2). http://hdl.handle.net/20.500.12708/57793
- HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings / Fischl, W., Gottlob, G., Longo, D. M., & Pichler, R. (2019). HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings. In Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{’{o}}n, Paraguay, June 3-7, 2019.}, (pp. 1–5). CEUR-WS.org. http://hdl.handle.net/20.500.12708/55517 / Project: HyperTrac
- Semantic Width Revisited (Extended Abstract) / Gottlob, G., Lanzinger, M., & Pichler, R. (2019). Semantic Width Revisited (Extended Abstract). In Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{’{o}}n, Paraguay, June 3-7, 2019 (pp. 1–5). CEUR-WS.org. http://hdl.handle.net/20.500.12708/55515 / Project: HyperTrac
2018
- Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? / Creignou, N., Pichler, R., & Woltran, S. (2018). Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? Logical Methods in Computer Science, 14(4), 1–25. https://doi.org/10.23638/LMCS-14(4:10)2018 / Projects: FAIR, START
- Limits of Schema Mappings / Kolaitis, P. G., Pichler, R., Sallinger, E., & Savenkov, V. (2018). Limits of Schema Mappings. Theory of Computing Systems, 62(4), 899–940. https://doi.org/10.1007/s00224-017-9812-7
- Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection / Kröll, M., Barcelo, P., Pichler, R., & Skritek, S. (2018). Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection. ACM Transactions on Database Systems, 43(2), 1–44. https://doi.org/10.1145/3233983
- General and Fractional Hypertree Decompositions: Hard and Easy Cases / Fischl, W., Gottlob, G., & Pichler, R. (2018). General and Fractional Hypertree Decompositions: Hard and Easy Cases. In Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems (pp. 17–32). ACM. https://doi.org/10.1145/3196959.3196962 / Projects: FAIR, HyperTrac
- Advances in Database Technology — EDBT 2018 / Böhlen, M., Pichler, R., May, N., Rahm, E., Wu, S.-H., & Hose, K. (Eds.). (2018). Advances in Database Technology — EDBT 2018. EDBT 2018. https://doi.org/10.5441/002/edbt.2018.01
- Computing the Schulze Method for Large-Scale Preference Data Sets / Csar, T., Lackner, M., & Pichler, R. (2018). Computing the Schulze Method for Large-Scale Preference Data Sets. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI - International Joint Conference on Artificial Intelligence, Stockholm, EU. ijcai.org. https://doi.org/10.24963/ijcai.2018/25 / Projects: FAIR, HyperTrac, START
- General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract) / Fischl, W., Gottlob, G., & Pichler, R. (2018). General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract). In Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management (pp. 1–4). {CEUR} Workshop Proceedings. http://hdl.handle.net/20.500.12708/55500
2017
- Implementing Courcelle's Theorem in a declarative framework for dynamic programming / Bliem, B., Pichler, R., & Woltran, S. (2017). Implementing Courcelle’s Theorem in a declarative framework for dynamic programming. Journal of Logic and Computation, exv089. https://doi.org/10.1093/logcom/exv089 / Projects: D-Flat, FAIR
- Computational Social Choice in the Clouds / Csar, T., Lackner, M., Pichler, R., & Sallinger, E. (2017). Computational Social Choice in the Clouds. In Workshop Präferenzen und Personalisierung in der Informatik bei der Konferenz “Datenbanksysteme für Business, Technologie und Web” (BTW) (pp. 163–167). http://hdl.handle.net/20.500.12708/57077 / Projects: FAIR, HINT, START
- Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / Gottlob, G., Pichler, R., & Sallinger, E. (2017). Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. In E. Sallinger (Ed.), 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017 (pp. 1–5). CEUR Workshop Proceedings / CEUR-WS.org. http://hdl.handle.net/20.500.12708/57055 / Projects: FAIR, HINT
- Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458 / Csar, T., Lackner, M., Pichler, R., & Sallinger, E. (2017). Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458. In AAAI 2017 (pp. 451–458). http://hdl.handle.net/20.500.12708/57076 / Projects: FAIR, HINT, START
- On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks / Kröll, M., Pichler, R., & Woltran, S. (2017). On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, Non-EU. https://doi.org/10.24963/ijcai.2017/159 / Projects: FAIR, GRAPPA, HINT
- On the Complexity of Hard Enumeration Problems / Creignou, N., Kröll, M., Pichler, R., Skritek, S., & Vollmer, H. (2017). On the Complexity of Hard Enumeration Problems. In Language and Automata Theory and Applications - 11th International Conference, LATA 2017 (pp. 183–195). http://hdl.handle.net/20.500.12708/57056 / Projects: FAIR, HINT
2016
- Universities and computer science in the European crisis of refugees / Conrad, K., Musliu, N., Pichler, R., & Werthner, H. (2016). Universities and computer science in the European crisis of refugees. Communications of the ACM, 59(10), 31–33. https://doi.org/10.1145/2893180
- Fuzzy data exchange / Pichler, R., & Medina, J. (2016). Fuzzy data exchange. Fuzzy Sets and Systems, 301, 129–145. https://doi.org/10.1016/j.fss.2015.12.004 / Project: HINT
- Closed Predicates in Description Logics: Results on Combined Complexity / Ngo, N., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Closed Predicates in Description Logics: Results on Combined Complexity. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56672 / Projects: HINT, SemDat
- Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates / Ahmetaj, S., Ortiz de la Fuente, M. M., & Simkus, M. (2016). Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56671 / Projects: HINT, SemDat
- A Datalog-Based Language for Querying RDF Graphs / Arenas, M., Gottlob, G., & Pieris, A. (2016). A Datalog-Based Language for Querying RDF Graphs. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 4). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56548 / Projects: HINT, SEE, START
- Semantic Acyclicity Under Constraints / Barceló, P., Gottlob, G., & Pieris, A. (2016). Semantic Acyclicity Under Constraints. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56547 / Projects: HINT, SEE, START
- On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees / Kröll, M., Pichler, R., & Skritek, S. (2016). On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56490 / Projects: HINT, SEE
- Winner Determination in Huge Elections with MapReduce / Csar, T., Lackner, M., Pichler, R., & Sallinger, E. (2016). Winner Determination in Huge Elections with MapReduce. In M. Endres, N. Mattei, & A. Pfandler (Eds.), 10th Multidisciplinary Workshop on Advances in Preference Handling (p. 7). http://hdl.handle.net/20.500.12708/56661 / Projects: FAIR, HINT, SEE, START
- Limits of Schema Mappings / Kolaitis, P. G., Pichler, R., Sallinger, E., & Savenkov, V. (2016). Limits of Schema Mappings. In W. Martens & T. Zeume (Eds.), 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016 (p. 17). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2016.19 / Projects: HINT, SEE
- Complexity of Repair Checking and Consistent Query Answering / Arming, S., Pichler, R., & Sallinger, E. (2016). Complexity of Repair Checking and Consistent Query Answering. In W. Martens & T. Zeume (Eds.), 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016 (p. 18). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2016.21 / Projects: HINT, SEE
- The Challenge of Optional Matching in SPARQL / Ahmetaj, S., Fischl, W., Kröll, M., Pichler, R., Šimkus, M., & Skritek, S. (2016). The Challenge of Optional Matching in SPARQL. In M. Gyssens & G. R. Simari (Eds.), Lecture Notes in Computer Science (pp. 169–190). Lecture Notes in Computer Science (LNCS) / Springer. https://doi.org/10.1007/978-3-319-30024-5_10 / Projects: HINT, SEE
- On the Complexity of Enumerating the Answers to Well-designed Pattern Trees / Kröll, M., Pichler, R., & Skritek, S. (2016). On the Complexity of Enumerating the Answers to Well-designed Pattern Trees. In W. Martens & T. Zeume (Eds.), 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016 (pp. 1–18). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2016.22 / Projects: HINT, SEE
- Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 / Pichler, R., & da Silva, A. S. (Eds.). (2016). Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24225
2015
- The complexity of handling minimal solutions in logic-based abduction / Pfandler, A., Pichler, R., & Woltran, S. (2015). The complexity of handling minimal solutions in logic-based abduction. Journal of Logic and Computation, 25(3), 805–825. https://doi.org/10.1093/logcom/exu053 / Project: FAIR
- On the undecidability of the equivalence of second-order tuple generating dependencies / Feinerer, I., Pichler, R., Sallinger, E., & Savenkov, V. (2015). On the undecidability of the equivalence of second-order tuple generating dependencies. Information Systems, 48, 113–129. https://doi.org/10.1016/j.is.2014.09.003 / Projects: HINT, SEE
- Function Symbols in Tuple-Generating Dependencies / Gottlob, G., Pichler, R., & Sallinger, E. (2015). Function Symbols in Tuple-Generating Dependencies. In T. Milo & D. Calvanese (Eds.), Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM. https://doi.org/10.1145/2745754.2745756 / Projects: HINT, SEE, START
- Towards Reconciling SPARQL and Certain Answers / Ahmetaj, S., Fischl, W., Pichler, R., Šimkus, M., & Skritek, S. (2015). Towards Reconciling SPARQL and Certain Answers. In A. Gangemi, L. Stefano, & A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web. ACM. https://doi.org/10.1145/2736277.2741636 / Projects: HINT, SEE
- Efficient Evaluation and Approximation of Well-designed Pattern Trees / Barcelo, P., Pichler, R., & Skritek, S. (2015). Efficient Evaluation and Approximation of Well-designed Pattern Trees. In T. Milo & D. Calvanese (Eds.), Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM. https://doi.org/10.1145/2745754.2745767 / Projects: HINT, SEE
- Using Statistics for Computing Joins with MapReduce / Csar, T., Pichler, R., Sallinger, E., & Savenkov, V. (2015). Using Statistics for Computing Joins with MapReduce. In A. Cali & M.-E. Vidal (Eds.), Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 (p. 6). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56102 / Projects: HINT, START
- Towards Reconciling SPARQL and Certain Answers (Extended Abstract) / Ahmetaj, S., Fischl, W., Pichler, R., Simkus, M., & Skritek, S. (2015). Towards Reconciling SPARQL and Certain Answers (Extended Abstract). In A. Cali & M.-E. Vidal (Eds.), Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 (p. 6). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56096 / Projects: HINT, SEE
- Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract) / Barceló, P., Pichler, R., & Skritek, S. (2015). Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract). In A. Cali & M.-E. Vidal (Eds.), Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 (p. 6). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56095 / Projects: HINT, SEE
- DL-Lite and Conjunctive Queries Extended by Optional Matching / Ahmetaj, S., Fischl, W., Pichler, R., Simkus, M., & Skritek, S. (2015). DL-Lite and Conjunctive Queries Extended by Optional Matching. In D. Calvanese & B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015 (p. 4). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56094 / Projects: HINT, SEE
2014
- Capturing Relational Schemas and Functional Dependencies in RDFS / Fischl, W., Calvanese, D., Pichler, R., Simkus, M., & Sallinger, E. (2014). Capturing Relational Schemas and Functional Dependencies in RDFS. Reasoning Web, International Summer School 2014, Athens, Greece. http://hdl.handle.net/20.500.12708/85949 / Projects: HINT, SEE
- Tractable answer-set programming with weight constraints: bounded treewidth is not enough / PICHLER, R., RÜMMELE, S., SZEIDER, S., & WOLTRAN, S. (2014). Tractable answer-set programming with weight constraints: bounded treewidth is not enough. Theory and Practice of Logic Programming, 14(2), 141–164. https://doi.org/10.1017/s1471068412000099 / Project: Complex Reason
- Belief revision within fragments of propositional logic / Creignou, N., Papini, O., Pichler, R., & Woltran, S. (2014). Belief revision within fragments of propositional logic. Journal of Computer and System Sciences, 80(2), 427–449. https://doi.org/10.1016/j.jcss.2013.08.002
- On the Parameterized Complexity of Generalized CP-Nets / Kronegger, M., Lackner, M., Pfandler, A., & Pichler, R. (2014). On the Parameterized Complexity of Generalized CP-Nets. Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland, EU. http://hdl.handle.net/20.500.12708/85939 / Project: FAIR
- Nested dependencies: structure and reasoning / Kolaitis, P. G., Pichler, R., Sallinger, E., & Savenkov, V. (2014). Nested dependencies: structure and reasoning. In R. Hull & M. Grohe (Eds.), Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS’14, Snowbird, UT, USA, June 22-27, 2014 (pp. 176–187). ACM. http://hdl.handle.net/20.500.12708/58804
- Containment and equivalence of well-designed SPARQL / Pichler, R., & Skritek, S. (2014). Containment and equivalence of well-designed SPARQL. In R. Hull & M. Grohe (Eds.), Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM. https://doi.org/10.1145/2594538.2594542 / Project: SEE
- A Parameterized Complexity Analysis of Generalized CP-Nets / Kronegger, M., Lackner, M., Pfandler, A., & Pichler, R. (2014). A Parameterized Complexity Analysis of Generalized CP-Nets. In M. R. Fellows, S. Gaspers, & T. Walsh (Eds.), Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR) (p. 2). http://hdl.handle.net/20.500.12708/55773 / Project: FAIR
- Expressive Identification Constraints to Capture Functional Dependencies in Description Logics / Calvanese, D., Fischl, W., Pichler, R., Sallinger, E., & Simkus, M. (2014). Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. In Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014) (p. 5). CEUR-WS. http://hdl.handle.net/20.500.12708/55903 / Projects: HINT, SEE
- Capturing Relational Schemas and Functional Dependencies in RDFS / Calvanese, D., Fischl, W., Pichler, R., Sallinger, E., & Simkus, M. (2014). Capturing Relational Schemas and Functional Dependencies in RDFS. In Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence (pp. 1003–1011). http://hdl.handle.net/20.500.12708/55901 / Projects: HINT, SEE
- A Parameterized Complexity Analysis of Generalized CP-Nets / Kronegger, M., Lackner, M., Pfandler, A., & Pichler, R. (2014). A Parameterized Complexity Analysis of Generalized CP-Nets. In C. E. Brodley & P. Stone (Eds.), Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence (pp. 1091–1097). http://hdl.handle.net/20.500.12708/55793 / Project: FAIR
- Combined Complexity of Repair Checking and Consistent Query Answering / Arming, S., Pichler, R., & Sallinger, E. (2014). Combined Complexity of Repair Checking and Consistent Query Answering. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014 (p. 6). CEUR. http://hdl.handle.net/20.500.12708/55791 / Project: HINT
- On the Hardness of Counting the Solutions of SPARQL Queries / Pichler, R., & Skritek, S. (2014). On the Hardness of Counting the Solutions of SPARQL Queries. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (p. 6). CEUR-WS. http://hdl.handle.net/20.500.12708/55783 / Project: SEE
- Certain Answers to Well-Designed SPARQL Queries / Pichler, R. (2014). Certain Answers to Well-Designed SPARQL Queries. In Dagstuhl Reports 4(8) (pp. 15–16). http://hdl.handle.net/20.500.12708/55369 / Project: SEE
2013
- Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries / Pichler, R., Polleres, A., Skritek, S., & Woltran, S. (2013). Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries. Semantic Web: Interoperability, Usability, Applicability, 4(4), 351–393. http://hdl.handle.net/20.500.12708/155572 / Projects: SODI, TTPC
- Relaxed Notions of Schema Mapping Equivalence Revisited / Pichler, R., Sallinger, E., & Savenkov, V. (2013). Relaxed Notions of Schema Mapping Equivalence Revisited. Theory of Computing Systems, 52(3), 483–541. https://doi.org/10.1007/s00224-012-9397-0 / Project: SODI
- Static Analysis and Optimization of Semantic Web Queries / Letelier, A., Pérez, J., Pichler, R., & Skritek, S. (2013). Static Analysis and Optimization of Semantic Web Queries. ACM Transactions on Database Systems, 38(4), 1–45. https://doi.org/10.1145/2500130 / Projects: SEE, SODI, TTPC
- Tractable counting of the answers to conjunctive queries / Pichler, R., & Skritek, S. (2013). Tractable counting of the answers to conjunctive queries. Journal of Computer and System Sciences, 79(6), 984–1001. https://doi.org/10.1016/j.jcss.2013.01.012 / Projects: SODI, TTPC
- Coping with High Complexity: Structure Matters / Pichler, R. (2013). Coping with High Complexity: Structure Matters. The 32nd INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SOCIETY (SCCC), Temuco, Non-EU. http://hdl.handle.net/20.500.12708/85923
- Applicability of ASP-based Problem Solving on Tree Decompositions / Bliem, B., Pichler, R., & Woltran, S. (2013). Applicability of ASP-based Problem Solving on Tree Decompositions. Third International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR) 2013, Peking, Non-EU. http://hdl.handle.net/20.500.12708/85667 / Projects: D-Flat, FAIR
- Enhancing the Updatability of Projective Views / Guagliardo, P., Pichler, R., & Sallinger, E. (2013). Enhancing the Updatability of Projective Views. In Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management (p. 7). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/54848 / Project: HINT
- Efficient Updates of Uncertain Databases / Hubmer, A., Pichler, R., Savenkov, V., & Skritek, S. (2013). Efficient Updates of Uncertain Databases. In L. Bravo & M. Lenzerini (Eds.), Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management Puebla/Cholula, Mexico, May 21-23, 2013 (p. 7). CEUR-WS. http://hdl.handle.net/20.500.12708/54797 / Project: HINT
- Conformant Planning as a Benchmark for QBF-Solvers / Kronegger, M., Pfandler, A., & Pichler, R. (2013). Conformant Planning as a Benchmark for QBF-Solvers. In International Workshop on Quantified Boolean Formulas (QBF 2013) (p. 5). http://hdl.handle.net/20.500.12708/54793 / Project: FAIR
- A Parameterized Complexity Analysis of Generalized CP-Nets / Kronegger, M., Lackner, M., Pfandler, A., & Pichler, R. (2013). A Parameterized Complexity Analysis of Generalized CP-Nets. In 7th Multidisciplinary Workshop on Advances in Preference Handling (p. 7). http://hdl.handle.net/20.500.12708/54788 / Project: FAIR
- Parameterized Complexity of Optimal Planning: A Detailed Map / Kronegger, M., Pfandler, A., & Pichler, R. (2013). Parameterized Complexity of Optimal Planning: A Detailed Map. In F. Rossi (Ed.), Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (pp. 954–961). AAAI Press. http://hdl.handle.net/20.500.12708/54787 / Project: FAIR
- Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem / Bliem, B., Pichler, R., & Woltran, S. (2013). Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem. In G. Gutin & S. Szeider (Eds.), Parameterized and Exact Computation (pp. 28–40). Springer. https://doi.org/10.1007/978-3-319-03898-8_4 / Project: D-Flat
- Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? / Creignou, N., Pichler, R., & Woltran, S. (2013). Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? In F. Rossi (Ed.), Proceedings of the 23rd International Joint Conference on Artificial Intelligence (pp. 954–961). AAAI Press. http://hdl.handle.net/20.500.12708/54860 / Project: FAIR
- Loop Elimination for Database Updates / Savenkov, V., Pichler, R., & Koch, C. (2013). Loop Elimination for Database Updates. In G. Gottlob, G. Grasso, D. Olteanu, & C. Schallhart (Eds.), Big Data (pp. 48–61). Springer. https://doi.org/10.1007/978-3-642-39467-6_8 / Project: HINT
2012
- Incorporating Data Concerns into Query Languages for Data Services / Ali, M. I., Pichler, R., Truong, H.-L., & Dustdar, S. (2012). Incorporating Data Concerns into Query Languages for Data Services. In R. Zhang, J. Zhang, Z. Zhang, J. Filipe, & J. Cordeiro (Eds.), Enterprise Information Systems (pp. 132–145). Springer. https://doi.org/10.1007/978-3-642-29958-2_9 / Project: SODI
- Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough / Pichler, R., Rümmele, S., Szeider, S., & Woltran, S. (2012). Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough. CoRR - Computing Research Repository. http://hdl.handle.net/20.500.12708/163667 / Project: TTPC
- Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough / PICHLER, R., RÜMMELE, S., SZEIDER, S., & WOLTRAN, S. (2012). Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough. Theory and Practice of Logic Programming, 14(2), 141–164. https://doi.org/10.1017/s1471068412000099 / Project: Complex Reason
- Towards fixed-parameter tractable algorithms for abstract argumentation / Dvořák, W., Pichler, R., & Woltran, S. (2012). Towards fixed-parameter tractable algorithms for abstract argumentation. Artificial Intelligence, 186, 1–37. https://doi.org/10.1016/j.artint.2012.03.005 / Projects: Argu, SODI, TTPC
- Quality-aware Service-Oriented Data Integration: Requirements, State of the Art and Open Challenges / Dustdar, S., Pichler, R., Savenkov, V., & Truong, H.-L. (2012). Quality-aware Service-Oriented Data Integration: Requirements, State of the Art and Open Challenges. ACM SIGMOD Record, 41(1), 11–19. http://hdl.handle.net/20.500.12708/163519 / Project: SODI
- SPAM: A SPARQL Analysis and Manipulation Tool / Letelier, A., Perez, J., Pichler, R., & Skritek, S. (2012). SPAM: A SPARQL Analysis and Manipulation Tool. In Z. M. Özsoyoglu (Ed.), Proceedings of the VLDB (pp. 1958–1961). http://hdl.handle.net/20.500.12708/54495
- Multicut on Graphs of Bounded Clique-Width / Lackner, M., Pichler, R., Rümmele, S., & Woltran, S. (2012). Multicut on Graphs of Bounded Clique-Width. In G. Lin (Ed.), Combinatorial Optimization and Applications (pp. 115–126). Springer. https://doi.org/10.1007/978-3-642-31770-5_11 / Project: TTPC
- Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming / Morak, M., Musliu, N., Pichler, R., Rümmele, S., & Woltran, S. (2012). Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming. In Y. Hamadi & M. Schoenauer (Eds.), Lecture Notes in Computer Science (pp. 130–144). Springer. https://doi.org/10.1007/978-3-642-34413-8_10
- Belief Revision within Fragments of Propositional Logic / Creignou, N., Papini, O., Pichler, R., & Woltran, S. (2012). Belief Revision within Fragments of Propositional Logic. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. on Principles of Knowledge Representation and Reasoning (p. 11). AAAI Press. http://hdl.handle.net/20.500.12708/54154 / Project: TTPC
- Static analysis and optimization of semantic web queries / Letelier, A., Pérez, J., Pichler, R., & Skritek, S. (2012). Static analysis and optimization of semantic web queries. In M. Benedikt, M. Krötzsch, & M. Lenzerini (Eds.), Proceedings of the 31st symposium on Principles of Database Systems - PODS ’12. ACM. https://doi.org/10.1145/2213556.2213572 / Project: SODI
- Union and Intersection of Schema Mappings / Perez, J., Pichler, R., Sallinger, E., & Savenkov, V. (2012). Union and Intersection of Schema Mappings. In J. Freire & D. Suciu (Eds.), Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management (p. 13). CEUR-WS.org. http://hdl.handle.net/20.500.12708/54149 / Project: SODI
2011
- Normalization and optimization of schema mappings / Gottlob, G., Pichler, R., & Savenkov, V. (2011). Normalization and optimization of schema mappings. The VLDB Journal. https://doi.org/10.1007/s00778-011-0226-x
- On Integrating Data Services Using Data Mashups / Ali, M. I., Pichler, R., Truong, H.-L., & Dustdar, S. (2011). On Integrating Data Services Using Data Mashups. In A. A. A. Fernandes, A. J. G. Gray, & K. Belhajjame (Eds.), Advances in Databases: 28th British National Conference on Databases, BNCOD 28 (pp. 132–135). LNCS/Springer. https://doi.org/10.1007/978-3-642-24577-0_14
- A New Tree-Decomposition Based Algorithm for Answer Set Programming / Morak, M., Musliu, N., Pichler, R., Rümmele, S., & Woltran, S. (2011). A New Tree-Decomposition Based Algorithm for Answer Set Programming. In T. M. Khoshgoftaar & X. Zhu (Eds.), 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence. https://doi.org/10.1109/ictai.2011.154
- Data Concern Aware Querying for the Integration of Data Services / Ali, M. I., Pichler, R., Truong, H.-L., & Dustdar, S. (2011). Data Concern Aware Querying for the Integration of Data Services. In J. Cordeiro, X. Li, Z. Zhang, & J. Zhang (Eds.), Proceedings of the 13#^{th} International Conference on Enterprise Information Systems (pp. 111–119). SciTePress. http://hdl.handle.net/20.500.12708/53892 / Project: SODI
- On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies / Feinerer, I., Pichler, R., Sallinger, E., & Savenkov, V. (2011). On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies. In P. Barceló & V. Tannen (Eds.), CEUR Workshop Proceedings (p. 13). http://hdl.handle.net/20.500.12708/53693
- Tractable Counting of the Answers to Conjunctive Queries / Pichler, R., & Skritek, S. (2011). Tractable Counting of the Answers to Conjunctive Queries. In P. Barceló & V. Tannen (Eds.), CEUR Workshop Proceedings (p. 12). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/53692 / Project: SODI
- The Complexity of Evaluating Tuple Generating Dependencies / Pichler, R., & Skritek, S. (2011). The Complexity of Evaluating Tuple Generating Dependencies. In T. Milo (Ed.), Proceedings of the 14#^{th} International Conference on Database Theory (p. 12). ACM. http://hdl.handle.net/20.500.12708/53675 / Projects: SODI, TTPC
- Relaxed Notions of Schema Mapping Equivalence Revisited / Pichler, R., Sallinger, E., & Savenkov, V. (2011). Relaxed Notions of Schema Mapping Equivalence Revisited. In T. Milo (Ed.), Proceedings of the 14th International Conference Database Theory (p. 12). ACM. http://hdl.handle.net/20.500.12708/53674 / Project: SODI
- Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming / Morak, M., Musliu, N., Pichler, R., Rümmele, S., & Woltran, S. (2011). Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming (DBAI-TR-2011-73). http://hdl.handle.net/20.500.12708/37104
- Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation / Dvorak, W., Pichler, R., & Woltran, S. (2011). Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation (DBAI-TR-2011-74). http://hdl.handle.net/20.500.12708/37126 / Projects: Argu, TTPC
2010
- Monadic datalog over finite structures of bounded treewidth / Gottlob, G., Pichler, R., & Wei, F. (2010). Monadic datalog over finite structures of bounded treewidth. ACM Transactions on Computational Logic, 12(1), 1–48. https://doi.org/10.1145/1838552.1838555
- Tractable database design and datalog abduction through bounded treewidth / Gottlob, G., Pichler, R., & Wei, F. (2010). Tractable database design and datalog abduction through bounded treewidth. Information Systems, 35(3), 278–298. https://doi.org/10.1016/j.is.2009.09.003
- Towards practical feasibility of core computation in data exchange / Pichler, R., & Savenkov, V. (2010). Towards practical feasibility of core computation in data exchange. Theoretical Computer Science, 411(7–9), 935–957. https://doi.org/10.1016/j.tcs.2009.09.035
- Counting complexity of propositional abduction / Hermann, M., & Pichler, R. (2010). Counting complexity of propositional abduction. Journal of Computer and System Sciences, 76(7), 634–649. https://doi.org/10.1016/j.jcss.2009.12.001
- Bounded treewidth as a key to tractability of knowledge representation and reasoning / Gottlob, G., Pichler, R., & Wei, F. (2010). Bounded treewidth as a key to tractability of knowledge representation and reasoning. Artificial Intelligence, 174(1), 105–132. https://doi.org/10.1016/j.artint.2009.10.003
- Uncertain Databases in Collaborative Data Management / Pichler, R., Savenkov, V., Skritek, S., & Truong, H.-L. (2010). Uncertain Databases in Collaborative Data Management. In A. de Keijzer & M. van Keulen (Eds.), CTIT Workshop Proceedings Series (pp. 129–143). CTIT, Centre for Telematics and Information Technology. http://hdl.handle.net/20.500.12708/53505
- Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries / Pichler, R., Polleres, A., Skritek, S., & Woltran, S. (2010). Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries. In P. Hitzler & T. Lukasiewicz (Eds.), Web Reasoning and Rule Systems (pp. 133–148). Lecture Notes/ Springer. https://doi.org/10.1007/978-3-642-15918-3_11
- The Complexity of Handling Minimal Solutions in Logic-Based Abduction / Pichler, R., & Woltran, S. (2010). The Complexity of Handling Minimal Solutions in Logic-Based Abduction. In H. Coelho, R. Studer, & M. Woolridge (Eds.), Prooceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence (pp. 895–900). IOS Press. http://hdl.handle.net/20.500.12708/53439
- Minimising RDF Graphs under Rules and Constraints Revisited / Pichler, R., Polleres, A., Skritek, S., & Woltran, S. (2010). Minimising RDF Graphs under Rules and Constraints Revisited. In A. H. F. Laender & L. V. S. Lakshmanan (Eds.), Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/53438
- A Dynamic-Programming Based ASP-Solver / Morak, M., Pichler, R., Rümmele, S., & Woltran, S. (2010). A Dynamic-Programming Based ASP-Solver. In R. Goebel, J. Siekmann, & W. Wahlster (Eds.), Logics in Artificial Intelligence (pp. 369–372). Springer. https://doi.org/10.1007/978-3-642-15675-5_34
- Counting and Enumeration Problems with Bounded Treewidth / Pichler, R., Rümmele, S., & Woltran, S. (2010). Counting and Enumeration Problems with Bounded Treewidth. In R. Goebel, J. Siekmann, & W. Wahlster (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 387–404). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-17511-4_22
- Schema Mapping Optimization in the Presence of Target Constraints / Sallinger, E., Pichler, R., & Savenkov, V. (2010). Schema Mapping Optimization in the Presence of Target Constraints. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 309–310). http://hdl.handle.net/20.500.12708/53423 / Project: HINT
- Decentralized Diagnosis: Complexity Analysis and Datalog Encodings / Pfandler, A., Pichler, R., & Woltran, S. (2010). Decentralized Diagnosis: Complexity Analysis and Datalog Encodings. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 291–292). http://hdl.handle.net/20.500.12708/53424
- Implementing a Peer Database Management System / Skritek, S., & Pichler, R. (2010). Implementing a Peer Database Management System. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 299–300). http://hdl.handle.net/20.500.12708/53422
- Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough / Pichler, R., Rümmele, S., Szeider, S., & Woltran, S. (2010). Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Proc. of KR 2010 (p. 10). AAAI Press. http://hdl.handle.net/20.500.12708/53171 / Projects: Argu, Complex Reason
- Towards Fixed-Parameter Tractable Algorithms for Argumentation / Dvorak, W., Pichler, R., & Woltran, S. (2010). Towards Fixed-Parameter Tractable Algorithms for Argumentation. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Proc. of KR 2010 (p. 11). AAAI Press. http://hdl.handle.net/20.500.12708/53170 / Projects: Argu, TTPC
- Multicut Algorithms via Tree Decompositions / Pichler, R., Rümmele, S., & Woltran, S. (2010). Multicut Algorithms via Tree Decompositions. In T. Calamoneri & J. Diaz (Eds.), Lecture Notes in Computer Science (pp. 167–179). LNCS, Springer. https://doi.org/10.1007/978-3-642-13073-1_16 / Projects: Argu, TTPC
2009
- Complexity of Counting the Optimal Solution / Hermann, M., & Pichler, R. (2009). Complexity of Counting the Optimal Solution. Theoretical Computer Science, 410(38–40), 3814–3825. http://hdl.handle.net/20.500.12708/166542
- On Using Distributed Extended XQuery for Web Data Sources as Services / Ali, M. I., Pichler, R., Truong, H.-L., & Dustdar, S. (2009). On Using Distributed Extended XQuery for Web Data Sources as Services. In M. Gaedke, M. Grossniklaus, & O. Díaz (Eds.), Web Engineering, 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26 2009 Proceedings (pp. 497–500). Springer. https://doi.org/10.1007/978-3-642-02818-2_47 / Project: SODI
- Belief Revision with Bounded Treewidth / Pichler, R., Rümmele, S., & Woltran, S. (2009). Belief Revision with Bounded Treewidth. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings (pp. 250–263). Springer. https://doi.org/10.1007/978-3-642-04238-6_22 / Project: TTPC
- DEMo: Data Exchange Modeling Tool / Pichler, R., & Savenkov, V. (2009). DEMo: Data Exchange Modeling Tool. In H. V. Jagadish (Ed.), Proceedings of the 35#^{th}Int. Conf. on Very Large Data Bases (p. 4). http://hdl.handle.net/20.500.12708/52812 / Project: SODI
- Normalization and Optimization of Schema Mappings / Gottlob, G., Pichler, R., & Savenkov, V. (2009). Normalization and Optimization of Schema Mappings. In H. V. Jagadish (Ed.), Proceedings of the 35#^{th}Int. Conf. on Very Large Data Bases (p. 12). VLDB Endowment. http://hdl.handle.net/20.500.12708/52806 / Project: SODI
- Alternation as a programming paradigm / Dvořák, W., Gottlob, G., Pichler, R., & Woltran, S. (2009). Alternation as a programming paradigm. In A. Porto & F. J. Lopez-Fraguas (Eds.), Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP ’09. ACM Press. https://doi.org/10.1145/1599410.1599419 / Project: TTPC
- Answer-Set Programming with Bounded Tree Width / Jakl, M., Pichler, R., & Woltran, S. (2009). Answer-Set Programming with Bounded Tree Width. In C. Boutilier (Ed.), Proc. of the Twenty-First Int. Joint Conference on Artificial Intelligence (pp. 816–822). AAAI Press. http://hdl.handle.net/20.500.12708/52743 / Project: TTPC
- DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources / Ali, M. I., Pichler, R., Truong, H.-L., & Dustdar, S. (2009). DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources. In J. Filipe & J. Cordeiro (Eds.), Enterprise Information Systems Proceedings of the 11th International Conference, ICEIS 2009 (pp. 172–183). Springer. http://hdl.handle.net/20.500.12708/52681 / Project: SODI
- Alternation as a Programming Paradigm / Dvorak, W., Gottlob, G., Pichler, R., & Woltran, S. (2009). Alternation as a Programming Paradigm (DBAI-TR-2009-64). http://hdl.handle.net/20.500.12708/35631
2008
- Complexity of Counting the Optimal Solutions / Hermann, M., & Pichler, R. (2008). Complexity of Counting the Optimal Solutions. In X. Hu & J. Wang (Eds.), Computing and Combinatorics: 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings (pp. 149–159). Lecture Notes of Computer Science, Springer. https://doi.org/10.1007/978-3-540-69733-6_16
- Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation / Gottlob, G., Pichler, R., & Wei, F. (2008). Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. In A. Cohn & D. M. Hamilton (Eds.), AAAI-08/IAAI-08 Proceedings (pp. 1541–1547). AAAI Press. http://hdl.handle.net/20.500.12708/52641
- Fast Counting with Bounded Treewidth / Jakl, M., Pichler, R., Rümmele, S., & Woltran, S. (2008). Fast Counting with Bounded Treewidth. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 436–450). Springer. http://hdl.handle.net/20.500.12708/52425
- Towards Practical Feasibility of Core Computation in Data Exchange / Savenkov, V., & Pichler, R. (2008). Towards Practical Feasibility of Core Computation in Data Exchange. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 62–78). Springer. http://hdl.handle.net/20.500.12708/52365
- Counting Complexity of Minimal Cardinality and Minimal Weight Abduction / Herman, M., & Pichler, R. (2008). Counting Complexity of Minimal Cardinality and Minimal Weight Abduction. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Logics in Artificial Intelligence (pp. 206–218). http://hdl.handle.net/20.500.12708/52292
- dRDF: Entailment for Domain-Restricted RDF / Pichler, R., Polleres, A., Wei, F., & Woltran, S. (2008). dRDF: Entailment for Domain-Restricted RDF. In Lecture Notes in Computer Science (pp. 200–214). Springer LNCS. https://doi.org/10.1007/978-3-540-68234-9_17
- Fast Counting with Bounded Treewidth / Jakl, M., Pichler, R., Rümmele, S., & Woltran, S. (2008). Fast Counting with Bounded Treewidth (DBAI-TR-2008-61). http://hdl.handle.net/20.500.12708/35325
- dRDF: Entailment for Domain-Restricted RDF / Pichler, R., Polleres, A., Wei, F., & Woltran, S. (2008). dRDF: Entailment for Domain-Restricted RDF (DBAI-TR-2008-59). http://hdl.handle.net/20.500.12708/35162
2007
- Model Representation over Finite and Infinite Signatures / Fermüller, C., & Pichler, R. (2007). Model Representation over Finite and Infinite Signatures. Journal of Logic and Computation, 17(3), 453–477. https://doi.org/10.1093/logcom/exm008
- Foundations of Rule-Based Query / Bry, F., Eisinger, N., Eiter, T., Furche, T., Gottlob, G., Ley, C., Linse, B., Pichler, R., & Wei, F. (2007). Foundations of Rule-Based Query. In Reasoning Web (pp. 1–153). Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/51850
- Efficient Datalog Abduction through Bounded Treewidth / Gottlob, G., Pichler, R., & Wei, F. (2007). Efficient Datalog Abduction through Bounded Treewidth. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (p. 6). AAAI Press. http://hdl.handle.net/20.500.12708/51837
- Monadic Datalog over Finite Structures with Bounded Treewidth / Gottlob, G., Pichler, R., & Wei, F. (2007). Monadic Datalog over Finite Structures with Bounded Treewidth. In P. G. Kolaitis (Ed.), Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007) (pp. 165–174). ACM. http://hdl.handle.net/20.500.12708/51822
- Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains / Fink, M., Pichler, R., Tompits, H., & Woltran, S. (2007). Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains. In C. Baral, G. Brewka, & J. Schlipf (Eds.), Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007) (pp. 123–135). Springer. http://hdl.handle.net/20.500.12708/51780
- Counting Complexity of Propositional Abduction / Hermann, M., & Pichler, R. (2007). Counting Complexity of Propositional Abduction. In Proceeding of the Twentieth International Joint Conference on Artificial Intelligence (pp. 417–422). AAAI Press. http://hdl.handle.net/20.500.12708/51772
2006
- Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning / Gottlob, G., Pichler, R., & Wei, F. (2006). Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning. In Proceeding of the Twenty-First National Conference on Artificial Intelligence (pp. 250–256). The AAAI Press. http://hdl.handle.net/20.500.12708/51474
- Algorithmic Aspectc of Model Representations / Pichler, R. (2006). Algorithmic Aspectc of Model Representations. In M. Fink, H. Tompits, & S. Woltran (Eds.), 20th Workshop on Logic Programming (WLP2006) (pp. 12–20). INFSYS Research Report. http://hdl.handle.net/20.500.12708/51472
- Model Representation via Contexts and Implicit Generalizations / Fermüller, C., & Pichler, R. (2006). Model Representation via Contexts and Implicit Generalizations. In Logics in Artificial Intelligence (LNAI) (pp. 164–176). Springer-Verlag. http://hdl.handle.net/20.500.12708/51419
- Tractable Database Design through Bounded Treewidth / Gottlob, G., Pichler, R., & Wei, F. (2006). Tractable Database Design through Bounded Treewidth. In Proceedings of the Twenty-Fifth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 124–133). ACM Press. http://hdl.handle.net/20.500.12708/51363
2005
- On Deciding Subsumption Problems / Egly, U., Pichler, R., & Woltran, S. (2005). On Deciding Subsumption Problems. Annals of Mathematics and Artificial Intelligence, 43(1–4), 255–294. http://hdl.handle.net/20.500.12708/173345
- Model Representation via Contexts and Implicit Generalizations / Fermüller, C., & Pichler, R. (2005). Model Representation via Contexts and Implicit Generalizations. In Automated Deduction - CADE-20 (pp. 409–423). Springer Science + Business Media. http://hdl.handle.net/20.500.12708/51026
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Parallel Computation of Structural Decompositions / Okulmus, C. (2023). Parallel Computation of Structural Decompositions [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108704
- Generating diverse solutions to conjunctive queries and propositional formulae / Merkl, T. (2022). Generating diverse solutions to conjunctive queries and propositional formulae [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.102520
- Performance Analysis of Column-Store Extensions for Modern-Day Business Segments / Sessa, V. (2022). Performance Analysis of Column-Store Extensions for Modern-Day Business Segments [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158484
- Integrating skyline queries into spark SQL : Efficient and productive integration of skyline queries into apache spark SQL / Grasmann, L. (2022). Integrating skyline queries into spark SQL : Efficient and productive integration of skyline queries into apache spark SQL [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.89283
- Lightweight integration of query decomposition techniques into SQL-based database systems / Selzer, A. (2021). Lightweight integration of query decomposition techniques into SQL-based database systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.81940
- Analyse und Vergleich von gängigen Graph-Anfragesprachen / Klampfer, M. (2021). Analyse und Vergleich von gängigen Graph-Anfragesprachen [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.79353
- Integration of worst-case optimal join algorithms into column-stores / Ledl, M. (2021). Integration of worst-case optimal join algorithms into column-stores [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.89722
- Hypergraph invariants for computational complexity / Lanzinger, M. P. (2020). Hypergraph invariants for computational complexity [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.90042
- Reasoning in knowledge graphs : bridging databases and the semantic web / Pavlović, A. (2020). Reasoning in knowledge graphs : bridging databases and the semantic web [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/79741
- In-depth evaluation of NoSQL and NewSQL database management systems / Heinzl, M. (2018). In-depth evaluation of NoSQL and NewSQL database management systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.52260
- Generalized and fractional hypertree decompositions : from theory to practice / Fischl, W. (2018). Generalized and fractional hypertree decompositions : from theory to practice [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.62943
- Cloud computing techniques for winner determination in computational social choice / Csar, J. T. (2018). Cloud computing techniques for winner determination in computational social choice [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.58041
- A modular portfolio solver for planning / Benuska, V. (2017). A modular portfolio solver for planning [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.27685
- Distributed big data frameworks / Becker, M. (2017). Distributed big data frameworks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.43462
- Foundations of information integration : analyzing, managing and reasoning about schema mappings / Sallinger, E. (2014). Foundations of information integration : analyzing, managing and reasoning about schema mappings [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/79436
- Normal forms for non-relational data / Fischl, W. (2013). Normal forms for non-relational data [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.22408
- Case studies, automatic reporting, evaluation and optimization of usability using Advanced User Behaviour Analysis / Neukam, D. (2013). Case studies, automatic reporting, evaluation and optimization of usability using Advanced User Behaviour Analysis [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.21678
- Repackaging web pages using Advanced User Behaviour Analysis / Aster, M. (2013). Repackaging web pages using Advanced User Behaviour Analysis [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.21672
- Web interaction archiving and replay using Advanced User Behaviour Analysis / Morgenbesser, S. (2013). Web interaction archiving and replay using Advanced User Behaviour Analysis [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.21673
- Foundational aspects of schema mapping optimization and normalization / Savenkov, V. (2012). Foundational aspects of schema mapping optimization and normalization [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-47546
- Optimizing schema mappings with relaxed notions of equivalence / Sallinger, E. (2010). Optimizing schema mappings with relaxed notions of equivalence [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161530
- Collecting online data anonymously : de-personalisation and security barriers on the Web / Schmid, A. (2010). Collecting online data anonymously : de-personalisation and security barriers on the Web [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161403
- Implementing a Peer Data Management System / Skritek, S. (2009). Implementing a Peer Data Management System [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-36716
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 .