TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

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
Reinhard Pichler

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

Contact

2022W

2023S

 

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

2020

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

2017

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

2011

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

 

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.

  • 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

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 .