Overview Professors Scientific Staff Administrative Staff External Lecturers By Responsibilities By Committee By Name

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

Contact

2019W

2020S

 

2019

  • Enumeration in Data Management (Dagstuhl Seminar 19211) / E. Boros, B. Kimelfeld, R. Pichler, N. Schweikardt / Dagstuhl Reports, 9 (2019), 5; 89 - 109
  • A complexity theory for hard enumeration problems / N. Creignou, M. Kröll, R. Pichler, S. Skritek, H. Vollmer / Discrete Applied Mathematics, 268 (2019), 191 - 209
  • Datalog: Bag Semantics via Set Semantics / R. Pichler, G. Gottlob, L. Bertossi / Poster: ICDT 2019 - 22nd International Conference on Database Theory, Lissabon, Portugal; 2019-03-26 - 2019-03-28; in: "22nd International Conference on Database Theory, {ICDT} 2019", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 127 (2019), ISBN: 978-3-95977-101-6; 16:1 - 16:19
  • HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings / W. Fischl, G. Gottlob, D. Longo, R. Pichler / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019.},", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
  • HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings / W. Fischl, D. Longo, G. Gottlob, R. Pichler / Talk: SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Niederlande; 2019-06-30 - 2019-07-05; in: "Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019", ACM, (2019), ISBN: 978-1-4503-6227-6; 464 - 480
  • Parallel Computation of Generalized Hypertree Decompositions / G. Gottlob, R. Pichler, C. Okulmus / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
  • Semantic Width Revisited (Extended Abstract) / G. Gottlob, M. Lanzinger, R. Pichler / Talk: AMW 2019 - 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asuncion, Paraguay; 2019-06-03 - 2019-06-07; in: "Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{'{o}}n, Paraguay, June 3-7, 2019", CEUR-WS.org, 2369 (2019), ISSN: 1613-0073; 1 - 5
  • Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems / M. Lanzinger, G. Gottlob, R. Pichler / Talk: Vienna Young Scientists Symposium (VSS), Wien; 2019-06-13 - 2019-06-14; in: "noch nicht bekannt", (2019), 1 - 2

2018

2017

2016

  • Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 / R. Pichler, A. da Silva / CEUR-WS.org, 2016
  • Universities and computer science in the European crisis of refugees / K. Conrad, N. Musliu, R. Pichler, H. Werthner / Communications of the ACM, 59 (2016), 10; 31 - 33
  • Fuzzy data exchange / R. Pichler, J. Medina / Fuzzy Sets and Systems, 301 (2016), 129 - 145
  • The Challenge of Optional Matching in SPARQL / S. Ahmetaj, W. Fischl, M. Kröll, R. Pichler, M. Simkus, S. Skritek / Keynote Lecture: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016, Linz (invited); 2016-03-07 - 2016-03-11; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings", M. Gyssens, G. Simari (ed.); Lecture Notes in Computer Science (LNCS) / Springer, 9616 (2016), ISBN: 978-3-319-30023-8; 169 - 190
  • Winner Determination in Huge Elections with MapReduce / T. Csar, M. Lackner, R. Pichler, E. Sallinger / Talk: 10th Multidisciplinary Workshop on Advances in Preference Handling, New York City, USA; 2016-07-09; in: "10th Multidisciplinary Workshop on Advances in Preference Handling", M. Endres, N. Mattei, A. Pfandler (ed.); (2016), 7 pages
  • Limits of Schema Mappings / P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), Paper ID 19, 17 pages
  • Complexity of Repair Checking and Consistent Query Answering / S. Arming, R. Pichler, E. Sallinger / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), Paper ID 21, 18 pages
  • On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees / M. Kröll, R. Pichler, S. Skritek / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 14, 5 pages
  • On the Complexity of Enumerating the Answers to Well-designed Pattern Trees / M. Kröll, R. Pichler, S. Skritek / Talk: International Conference on Database Theory - ICDT 2016, Bordeaux; 2016-03-15 - 2016-03-18; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), 1 - 18

2015

  • The complexity of handling minimal solutions in logic-based abduction / A. Pfandler, R. Pichler, S. Woltran / Journal of Logic and Computation, 25 (2015), 3; 805 - 825
  • On the undecidability of the equivalence of second-order tuple generating dependencies / I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov / Information Systems, 48 (2015), 113 - 129
  • Using Statistics for Computing Joins with MapReduce / T. Csar, R. Pichler, E. Sallinger, V. Savenkov / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 13, 6 pages
  • DL-Lite and Conjunctive Queries Extended by Optional Matching / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), Paper ID 4, 4 pages
  • Towards Reconciling SPARQL and Certain Answers (Extended Abstract) / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 4, 6 pages
  • Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract) / P. Barceló, R. Pichler, S. Skritek / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 5, 6 pages
  • Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 65 - 77
  • Towards Reconciling SPARQL and Certain Answers / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 24th International Conference on World Wide Web, WWW 2015, Florence; 2015-05-18 - 2015-05-22; in: "Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015", A. Gangemi, L. Stefano, A. Panconesi (ed.); ACM, (2015), ISBN: 978-1-4503-3469-3; 23 - 33
  • Efficient Evaluation and Approximation of Well-designed Pattern Trees / P. Barceló, R. Pichler, S. Skritek / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 131 - 144

2014

2013

2012

2011

2010

2009

  • Complexity of Counting the Optimal Solution / M. Hermann, R. Pichler / Theoretical Computer Science, 410 (2009), 38-40; 3814 - 3825
  • DEMo: Data Exchange Modeling Tool / R. Pichler, V. Savenkov / Poster: Very Large Databases (VLDB), Lyon, Frankreich; 2009-08-24 - 2009-08-28; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); (2009), Paper ID 1043, 4 pages
  • Normalization and Optimization of Schema Mappings / G. Gottlob, R. Pichler, V. Savenkov / Talk: Very Large Databases (VLDB), Lyon, Frankreich; 2009-08-24 - 2009-08-28; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); VLDB Endowment, Vol. 2, Nr. 1 (2009), Paper ID 923, 12 pages
  • Answer-Set Programming with Bounded Tree Width / M. Jakl, R. Pichler, S. Woltran / Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 2009-07-11 - 2009-07-17; in: "Proc. of the Twenty-First Int. Joint Conference on Artificial Intelligence", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), ISBN: 978-1-57735-428-4; 816 - 822
  • On Using Distributed Extended XQuery for Web Data Sources as Services / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: 9th International Conference on Web Engineering, ICWE 2009, San Sebastián, Spain; 2009-06-24 - 2009-06-26; in: "Web Engineering Proceedings of the 9th International Conference, ICWE 2009", M. Gaedke, M. Grossniklaus, O. Díaz (ed.); Springer, LNCS 5648 (2009), ISBN: 978-3-642-02817-5; 497 - 500
  • Belief Revision with Bounded Treewidth / R. Pichler, St. Rümmele, S. Woltran / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 250 - 263
  • Alternation as a programming paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Talk: PPDP'09 - 11th International ACM SIGPLAN Symposium on Princeples and Practice of Declarative Programming, Coimbra, Portugal; 2009-09-07 - 2009-09-09; in: "Proc. of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming", A. Porto, F. J. Lopez-Fraguas (ed.); ACM Press, (2009), ISBN: 978-1-60558-568-0; 61 - 72
  • DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources / M. Ali, R. Pichler, H. Truong, S. Dustdar / Talk: 11th International Conference on Enterprise Information Systems, ICEIS 2009, Milan, Italy; 2009-05-06 - 2009-05-10; in: "Enterprise Information Systems Proceedings of the 11th International Conference, ICEIS 2009", J. Filipe, J. Cordeiro (ed.); Springer, LNBIP 24 (2009), ISBN: 978-3-642-01346-1; 172 - 183
  • Alternation as a Programming Paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Report No. DBAI-TR-2009-64, 2009; 28 pages

2008

  • Entailment for Domain-restricted RDF / R. Pichler, A. Polleres, F. Wei, S. Woltran / in: "Proceedings of the 5th Annual European Semantic Web Conference (ESWC'08)", Springer LNCS, 2008, ISBN: 978-3-540-68233-2, 200 - 214
  • Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation / G. Gottlob, R. Pichler, F. Wei / Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 2008-07-13 - 2008-07-17; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (ed.); AAAI Press, Volume 3 (2008), ISBN: 978-1-57735-368-3; 1541 - 1547
  • Complexity of Counting the Optimal Solution / M. Hermann, R. Pichler / Talk: The 14th Annual International Computing and Combinatorics Conference (COCOON 2008), Dalian, China; 2008-06-27 - 2008-06-29; in: "Computing and Combinatorics", X. Hu, J. Wang (ed.); Lecture Notes of Computer Science, Springer, 5092 (2008), ISBN: 978-3-540-69732-9; 149 - 159
  • Counting Complexity of Minimal Cardinality and Minimal Weight Abduction / M Herman, R. Pichler / Talk: 11th European Conference (JELIA 2008), Dresden, Deutschland; 2008-09-28 - 2008-10-01; in: "Logics in Artificial Intelligence", S. Hölldobler, C. Lutz, H. Wansing (ed.); LNAI 5293 (2008), ISBN: 3-540-87802-5; 206 - 218
  • Fast Counting with Bounded Treewidth / M. Jakl, R. Pichler, St. Rümmele, S. Woltran / Talk: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar; 2008-11-22 - 2008-11-27; in: "Logic for Programming, Artificial Intelligence, and Reasoning", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 5330 (2008), ISBN: 3-540-89438-1; 436 - 450
  • Towards Practical Feasibility of Core Computation in Data Exchange / V. Savenkov, R. Pichler / Talk: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar; 2008-11-22 - 2008-11-27; in: "Logic for Programming, Artificial Intelligence, and Reasoning", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 5330 (2008), ISBN: 3-540-89438-1; 62 - 78
  • Fast Counting with Bounded Treewidth / M. Jakl, R. Pichler, St. Rümmele, S. Woltran / Report No. DBAI-TR-2008-61, 2008; 27 pages
  • dRDF: Entailment for Domain-Restricted RDF / R. Pichler, A. Polleres, F. Wei, S. Woltran / Report No. DBAI-TR-2008-59, 2008; 28 pages

2007

  • Model Representation over Finite and Infinite Signatures / C. Fermüller, R. Pichler / Journal of Logic and Computation, 17 (2007), 3; 453 - 477
  • Efficient Datalog Abduction through Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada; 2007-07-22 - 2007-07-26; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 17/AAAI07-260, 6 pages
  • Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains / M. Fink, R. Pichler, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 2007-05-14 - 2007-05-17; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135
  • Foundations of Rule-Based Query / F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei / Talk: Third International Summer School 2007, Dresden, Germany; 2007-09-03 - 2007-09-07; in: "Reasoning Web", Lecture Notes in Computer Science, 4636 (2007), ISBN: 978-3-540-74613-3; 1 - 153
  • Monadic Datalog over Finite Structures with Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: PODS 2007, Beijing, China; 2007-06-11 - 2007-06-13; in: "Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007)", P. Kolaitis (ed.); ACM, (2007), ISBN: 978-1-59593-685-1; 165 - 174
  • Counting Complexity of Propositional Abduction / M. Hermann, R. Pichler / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, Indien; 2007-01-06 - 2007-01-12; in: "Proceeding of the Twentieth International Joint Conference on Artificial Intelligence", AAAI Press, Volume 1, 2 (2007), ISBN: 978-1-57735-298-3; 417 - 422

2006

  • Algorithmic Aspectc of Model Representations / R. Pichler / Keynote Lecture: 20th Workshop on Logic Programming (WLP2006), Vienna, Austria; 2006-02-22 - 2006-02-24; in: "20th Workshop on Logic Programming (WLP2006)", M. Fink, H. Tompits, S. Woltran (ed.); INFSYS Research Report, 1843-06-02 (2006), 12 - 20
  • Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning / G. Gottlob, R. Pichler, F. Wei / Talk: Twenty-First National Conference on Artificial Intelligence, Boston, Massachusetts, USA; 2006-07-16 - 2006-07-20; in: "Proceeding of the Twenty-First National Conference on Artificial Intelligence", The AAAI Press, (2006), 250 - 256
  • Tractable Database Design through Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: PODS 2006, Chicago, USA; 2006-06-26 - 2006-06-28; in: "Proceedings of the Twenty-Fifth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", ACM Press, (2006), ISBN: 1-59593-318-2; 124 - 133
  • Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Logics in Artificial Intelligence (LNAI)", Springer-Verlag, LNAI 4160 (2006), ISBN: 3-540-39625-x; 164 - 176

2005

 

2019

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

 

  • Best paper award at RR 2010: Int. Conf. on Web Reasoning and Rule Systems / Italy / 2010

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 .