Reinhard Pichler

208 papers A* 37A 13B 17C 5Misc 1Journal 89Unranked 44
YearRankTypeTitle / Venue / Authors
2026 A conf
Database Theory in Action: Evaluation of Aggregate Queries Without Materialisation.
ICDT
Matthias Lanzinger, Reinhard Pichler, Alexander Selzer
2026 — conf
From FPT Decision to FPT Enumeration.
FoIKS
Nadia Creignou, Timo Camillo Merkl, Reinhard Pichler, Daniel Unterberger
2026 A conf
Query Decompositions and All That (Invited Talk).
ICDT
Kyle Deeds, Timo Camillo Merkl, Reinhard Pichler, Dan Suciu
2026 C conf
Selective Use of Yannakakis' Algorithm for Consistent Performance Gains.
DOLAP
Daniela Böhm, Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2026 J jnl
Size Bound-Adorned Datalog.
CoRR
Christian Fattebert, Zhekai Jiang, Christoph Koch, Reinhard Pichler, Qichen Wang
2025 J jnl
Avoiding Materialisation for Guarded Aggregate Queries.
Proc. VLDB Endow.
Matthias Lanzinger, Reinhard Pichler, Alexander Selzer
2025 J jnl
Computing the Schulze Method for Large-Scale Preference Data Sets.
CoRR
Theresa Csar, Martin Lackner, Reinhard Pichler
2025 J jnl
Diversity of Answers to Conjunctive Queries.
Log. Methods Comput. Sci.
Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek
2025 J jnl
From FPT Decision to FPT Enumeration.
CoRR
Nadia Creignou, Timo Camillo Merkl, Reinhard Pichler, Daniel Unterberger
2025 J jnl
Minimal solutions of fuzzy relation equations via maximal independent elements.
Inf. Sci.
David Lobo, Jesús Medina, Timo Camillo Merkl, Reinhard Pichler
2025 J jnl
Query Answering Under Volume-Based Diversity Functions.
Proc. ACM Manag. Data
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2025 J jnl
Query Answering under Volume-Based Diversity Functions.
CoRR
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2025 J jnl
Selective Use of Yannakakis' Algorithm to Improve Query Performance: Machine Learning to the Rescue.
CoRR
Daniela Böhm, Georg Gottlob, Matthias Lanzinger, Davide M. Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2025 J jnl
Soft and Constrained Hypertree Width.
Proc. ACM Manag. Data
Matthias Lanzinger, Cem Okulmus, Reinhard Pichler, Alexander Selzer, Georg Gottlob
2025 J jnl
The Space-Time Complexity of Sum-Product Queries.
CoRR
Kyle Deeds, Timo Camillo Merkl, Reinhard Pichler, Dan Suciu
2025 J jnl
The Space-Time Complexity of Sum-Product Queries.
Proc. ACM Manag. Data
Kyle Deeds, Timo Camillo Merkl, Reinhard Pichler, Dan Suciu
2024 — conf
Avoiding Materialisation for Guarded Aggregate Queries.
AMW
Matthias Lanzinger, Reinhard Pichler, Alexander Selzer
2024 J jnl
Avoiding Materialisation for Guarded Aggregate Queries.
CoRR
Matthias Lanzinger, Reinhard Pichler, Alexander Selzer
2024 — conf
Consistent Query Answering over SHACL Constraints (Extended Abstract).
AMW
Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler
2024 A* conf
Consistent Query Answering over SHACL Constraints.
KR
Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler
2024 J jnl
Consistent Query Answering over SHACL Constraints.
CoRR
Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler
2024 J jnl
Convergence of datalog over (Pre-) Semirings.
J. ACM
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2024 J jnl
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth.
ACM Trans. Database Syst.
Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
2024 J jnl
Soft and Constrained Hypertree Width.
CoRR
Matthias Lanzinger, Cem Okulmus, Reinhard Pichler, Alexander Selzer, Georg Gottlob
2024 J jnl
Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue.
CoRR
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2024 J jnl
Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue.
Proc. ACM Manag. Data
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2023 J jnl
Convergence of Datalog over (Pre-) Semirings.
SIGMOD Rec.
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2023 — conf
Diversity of Answers to Conjunctive Queries (short paper).
AMW
Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek
2023 A conf
Diversity of Answers to Conjunctive Queries.
ICDT
Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek
2023 J jnl
Diversity of Answers to Conjunctive Queries.
CoRR
Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek
2023 J jnl
Fractional covers of hypergraphs with bounded multi-intersection.
Theor. Comput. Sci.
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2023 B conf
Integration of Skyline Queries into Spark SQL.
EDBT
Lukas Grasmann, Reinhard Pichler, Alexander Selzer
2023 — conf
Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper).
AMW
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2023 J jnl
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark].
CoRR
Renzo Angles, Georg Gottlob, Aleksandar Pavlovic, Reinhard Pichler, Emanuel Sallinger
2023 J jnl
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog.
Proc. VLDB Endow.
Renzo Angles, Georg Gottlob, Aleksandar Pavlovic, Reinhard Pichler, Emanuel Sallinger
2023 J jnl
Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice.
CoRR
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2022 A* conf
Convergence of Datalog over (Pre-) Semirings.
PODS
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2022 J jnl
Datalog in Wonderland.
SIGMOD Rec.
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2022 A* conf
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth.
PODS
Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
2022 J jnl
Fast and parallel decomposition of constraint satisfaction problems.
Constraints An Int. J.
Georg Gottlob, Cem Okulmus, Reinhard Pichler
2022 J jnl
Integration of Skyline Queries into Spark SQL.
CoRR
Lukas Grasmann, Reinhard Pichler, Alexander Selzer
2022 — conf
Novel Techniques in Datalog Optimization (Abstract).
Datalog
Reinhard Pichler
2022 — conf
Optimizing Recursive Queries with Progam Synthesis.
SIGMOD Conference
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
2022 J jnl
Optimizing Recursive Queries with Program Synthesis.
CoRR
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
2021 J jnl
Complexity Analysis of Generalized and Fractional Hypertree Decompositions.
J. ACM
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2021 J jnl
Convergence of Datalog over (Pre-) Semirings.
CoRR
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
2021 J jnl
Database Theory Column Report on PODS 2021.
SIGACT News
Reinhard Pichler
2021 J jnl
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth.
CoRR
Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
2021 J jnl
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings.
ACM J. Exp. Algorithmics
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
2021 A* ed.
PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021.
PODS
Leonid Libkin, Reinhard Pichler, Paolo Guagliardo
2020 J jnl
Complexity Analysis of General and Fractional Hypertree Decompositions.
CoRR
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2020 A* conf
Fast and Parallel Decomposition of Constraint Satisfaction Problems.
IJCAI
Georg Gottlob, Cem Okulmus, Reinhard Pichler
2020 B conf
Fractional Covers of Hypergraphs with Bounded Multi-Intersection.
MFCS
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2020 J jnl
Fractional Covers of Hypergraphs with Bounded Multi-Intersection.
CoRR
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2020 J jnl
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings.
CoRR
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
2020 J jnl
On the Language of Nested Tuple Generating Dependencies.
ACM Trans. Database Syst.
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2020 A* conf
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems.
IJCAI
Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2020 J jnl
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems.
CoRR
Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2020 J jnl
Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.
SIGMOD Rec.
Reinhard Pichler
2020 B conf
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions.
CPAIOR
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
2020 J jnl
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions.
CoRR
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
2019 J jnl
A complexity theory for hard enumeration problems.
Discret. Appl. Math.
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
2019 A conf
Datalog: Bag Semantics via Set Semantics.
ICDT
Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler
2019 J jnl
Enumeration in Data Management (Dagstuhl Seminar 19211).
Dagstuhl Reports
Endre Boros, Benny Kimelfeld, Reinhard Pichler, Nicole Schweikardt
2019 — conf
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings.
AMW
Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler
2019 A* conf
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings.
PODS
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
2019 — conf
Parallel Computation of Generalized Hypertree Decompositions.
AMW
Georg Gottlob, Cem Okulmus, Reinhard Pichler
2019 — conf
Semantic Width Revisited (Extended Abstract).
AMW
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2018 A* conf
Computing the Schulze Method for Large-Scale Preference Data Sets.
IJCAI
Theresa Csar, Martin Lackner, Reinhard Pichler
2018 J jnl
Datalog: Bag Semantics via Set Semantics.
CoRR
Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler
2018 J jnl
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Log. Methods Comput. Sci.
Nadia Creignou, Reinhard Pichler, Stefan Woltran
2018 J jnl
Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection.
ACM Trans. Database Syst.
Pablo Barceló, Markus Kröll, Reinhard Pichler, Sebastian Skritek
2018 — conf
General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract).
AMW
Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
2018 A* conf
General and Fractional Hypertree Decompositions: Hard and Easy Cases.
PODS
Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
2018 J jnl
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings.
CoRR
Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler
2018 J jnl
Limits of Schema Mappings.
Theory Comput. Syst.
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2018 B ed.
Proceedings of the 21st International Conference on Extending Database Technology, EDBT 2018, Vienna, Austria, March 26-29, 2018.
EDBT
Michael H. Böhlen, Reinhard Pichler, Norman May, Erhard Rahm, Shan-Hung Wu, Katja Hose
2018 J jnl
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems.
CoRR
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2017 — conf
Computational Social Choice in the Clouds.
BTW (Workshops)
Theresa Csar, Martin Lackner, Reinhard Pichler, Emanuel Sallinger
2017 J jnl
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
CoRR
Nadia Creignou, Reinhard Pichler, Stefan Woltran
2017 — conf
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability.
AMW
Georg Gottlob, Reinhard Pichler, Emanuel Sallinger
2017 J jnl
Implementing Courcelle's Theorem in a declarative framework for dynamic programming.
J. Log. Comput.
Bernhard Bliem, Reinhard Pichler, Stefan Woltran
2017 A* conf
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks.
IJCAI
Markus Kröll, Reinhard Pichler, Stefan Woltran
2017 C conf
On the Complexity of Hard Enumeration Problems.
LATA
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
2017 A* conf
Winner Determination in Huge Elections with MapReduce.
AAAI
Theresa Csar, Martin Lackner, Reinhard Pichler, Emanuel Sallinger
2016 A conf
Complexity of Repair Checking and Consistent Query Answering.
ICDT
Sebastian Arming, Reinhard Pichler, Emanuel Sallinger
2016 J jnl
Fuzzy data exchange.
Fuzzy Sets Syst.
Jesús Medina, Reinhard Pichler
2016 J jnl
General and Fractional Hypertree Decompositions: Hard and Easy Cases.
CoRR
Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
2016 A conf
Limits of Schema Mappings.
ICDT
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2016 — conf
On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees.
AMW
Markus Kröll, Reinhard Pichler, Sebastian Skritek
2016 A conf
On the Complexity of Enumerating the Answers to Well-designed Pattern Trees.
ICDT
Markus Kröll, Reinhard Pichler, Sebastian Skritek
2016 J jnl
On the Complexity of Hard Enumeration Problems.
CoRR
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
2016 — ed.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016
AMW
Reinhard Pichler, Altigran Soares da Silva
2016 — conf
The Challenge of Optional Matching in SPARQL.
FoIKS
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2016 J jnl
Universities and computer science in the European crisis of refugees.
Commun. ACM
Kathrin Conrad, Nysret Musliu, Reinhard Pichler, Hannes Werthner
2015 — conf
DL-Lite and Conjunctive Queries Extended by Optional Matching.
Description Logics
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2015 A* conf
Efficient Evaluation and Approximation of Well-designed Pattern Trees.
PODS
Pablo Barceló, Reinhard Pichler, Sebastian Skritek
2015 — conf
Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract).
AMW
Pablo Barceló, Reinhard Pichler, Sebastian Skritek
2015 A* conf
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability.
PODS
Georg Gottlob, Reinhard Pichler, Emanuel Sallinger
2015 J jnl
On the undecidability of the equivalence of second-order tuple generating dependencies.
Inf. Syst.
Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2015 J jnl
The complexity of handling minimal solutions in logic-based abduction.
J. Log. Comput.
Andreas Pfandler, Reinhard Pichler, Stefan Woltran
2015 — conf
Towards Reconciling SPARQL and Certain Answers (Extended Abstract).
AMW
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2015 A* conf
Towards Reconciling SPARQL and Certain Answers.
WWW
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2015 — conf
Using Statistics for Computing Joins with MapReduce.
AMW
Theresa Csar, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2014 — conf
A Fuzzy Extension of Data Exchange.
IPMU (2)
Jesús Medina, Reinhard Pichler
2014 A* conf
A Parameterized Complexity Analysis of Generalized CP-Nets.
AAAI
Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
2014 J jnl
Belief revision within fragments of propositional logic.
J. Comput. Syst. Sci.
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
2014 A* conf
Capturing Relational Schemas and Functional Dependencies in RDFS.
AAAI
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
2014 — conf
Combined Complexity of Repair Checking and Consistent Query Answering.
AMW
Sebastian Arming, Reinhard Pichler, Emanuel Sallinger
2014 A* conf
Containment and equivalence of well-designed SPARQL.
PODS
Reinhard Pichler, Sebastian Skritek
2014 — conf
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
Description Logics
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
2014 A* conf
Nested dependencies: structure and reasoning.
PODS
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2014 — conf
On the Hardness of Counting the Solutions of SPARQL Queries.
AMW
Reinhard Pichler, Sebastian Skritek
2014 J jnl
Tractable answer-set programming with weight constraints: bounded treewidth is not enough.
Theory Pract. Log. Program.
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2013 J jnl
Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries.
Semantic Web
Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran
2013 B conf
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem.
IPEC
Bernhard Bliem, Reinhard Pichler, Stefan Woltran
2013 A* conf
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
IJCAI
Nadia Creignou, Reinhard Pichler, Stefan Woltran
2013 — conf
Efficient Updates of Uncertain Databases.
AMW
Andreas Hubmer, Reinhard Pichler, Vadim Savenkov, Sebastian Skritek
2013 — conf
Enhancing the Updatability of Projective Views.
AMW
Paolo Guagliardo, Reinhard Pichler, Emanuel Sallinger
2013 — conf
Loop Elimination for Database Updates.
BNCOD
Vadim Savenkov, Reinhard Pichler, Christoph Koch
2013 A* conf
Parameterized Complexity of Optimal Planning: A Detailed Map.
IJCAI
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
2013 J jnl
Relaxed Notions of Schema Mapping Equivalence Revisited.
Theory Comput. Syst.
Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2013 J jnl
Static analysis and optimization of semantic web queries.
ACM Trans. Database Syst.
Andrés Letelier, Jorge Pérez, Reinhard Pichler, Sebastian Skritek
2013 J jnl
Tractable counting of the answers to conjunctive queries.
J. Comput. Syst. Sci.
Reinhard Pichler, Sebastian Skritek
2012 A* conf
Belief Revision within Fragments of Propositional Logic.
KR
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
2012 — ed.
Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Datalog
Pablo Barceló, Reinhard Pichler
2012 — conf
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming.
LION
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2012 C conf
Multicut on Graphs of Bounded Clique-Width.
COCOA
Martin Lackner, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2012 J jnl
Quality-aware service-oriented data integration: requirements, state of the art and open challenges.
SIGMOD Rec.
Schahram Dustdar, Reinhard Pichler, Vadim Savenkov, Hong Linh Truong
2012 J jnl
SPAM: A SPARQL Analysis and Manipulation Tool.
Proc. VLDB Endow.
Andrés Letelier, Jorge Pérez, Reinhard Pichler, Sebastian Skritek
2012 A* conf
Static analysis and optimization of semantic web queries.
PODS
Andrés Letelier, Jorge Pérez, Reinhard Pichler, Sebastian Skritek
2012 J jnl
Towards fixed-parameter tractable algorithms for abstract argumentation.
Artif. Intell.
Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran
2012 J jnl
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough
CoRR
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2012 — conf
Union and Intersection of Schema Mappings.
AMW
Jorge Pérez, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2011 B conf
A New Tree-Decomposition Based Algorithm for Answer Set Programming.
ICTAI
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2011 — conf
Data Concern Aware Querying for the Integration of Data Services.
ICEIS (1)
Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar
2011 — conf
Incorporating Data Concerns into Query Languages for Data Services.
ICEIS
Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar
2011 J jnl
Normalization and optimization of schema mappings.
VLDB J.
Georg Gottlob, Reinhard Pichler, Vadim Savenkov
2011 — conf
On Integrating Data Services Using Data Mashups.
BNCOD
Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar
2011 — conf
On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies.
AMW
Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2011 A conf
Relaxed notions of schema mapping equivalence revisited.
ICDT
Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2011 A conf
The complexity of evaluating tuple generating dependencies.
ICDT
Reinhard Pichler, Sebastian Skritek
2011 — conf
Tractable Counting of the Answers to Conjunctive Queries.
AMW
Reinhard Pichler, Sebastian Skritek
2010 B conf
A Dynamic-Programming Based ASP-Solver.
JELIA
Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 J jnl
Bounded treewidth as a key to tractability of knowledge representation and reasoning.
Artif. Intell.
Georg Gottlob, Reinhard Pichler, Fang Wei
2010 — conf
Counting and Enumeration Problems with Bounded Treewidth.
LPAR (Dakar)
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 J jnl
Counting complexity of propositional abduction.
J. Comput. Syst. Sci.
Miki Hermann, Reinhard Pichler
2010 — conf
Exploiting Bounded Treewidth with Datalog (A Survey).
Datalog
Reinhard Pichler
2010 — conf
Minimising RDF Graphs under Rules and Constraints Revisited.
AMW
Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran
2010 J jnl
Monadic datalog over finite structures of bounded treewidth.
ACM Trans. Comput. Log.
Georg Gottlob, Reinhard Pichler, Fang Wei
2010 C conf
Multicut Algorithms via Tree Decompositions.
CIAC
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 — conf
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries.
RR
Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran
2010 A conf
The Complexity of Handling Minimal Solutions in Logic-Based Abduction.
ECAI
Reinhard Pichler, Stefan Woltran
2010 A* conf
Towards Fixed-Parameter Tractable Algorithms for Argumentation.
KR
Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran
2010 J jnl
Towards practical feasibility of core computation in data exchange.
Theor. Comput. Sci.
Reinhard Pichler, Vadim Savenkov
2010 A* conf
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough.
KR
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2010 J jnl
Tractable database design and datalog abduction through bounded treewidth.
Inf. Syst.
Georg Gottlob, Reinhard Pichler, Fang Wei
2010 — conf
Uncertain Databases in Collaborative Data Management.
MUD
Reinhard Pichler, Vadim Savenkov, Sebastian Skritek, Hong Linh Truong
2009 C conf
Alternation as a programming paradigm.
PPDP
Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran
2009 A* conf
Answer-Set Programming with Bounded Treewidth.
IJCAI
Michael Jakl, Reinhard Pichler, Stefan Woltran
2009 B conf
Belief Revision with Bounded Treewidth.
LPNMR
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2009 J jnl
Complexity of counting the optimal solutions.
Theor. Comput. Sci.
Miki Hermann, Reinhard Pichler
2009 J jnl
DEMo: Data Exchange Modeling Tool.
Proc. VLDB Endow.
Reinhard Pichler, Vadim Savenkov
2009 — conf
DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources .
ICEIS
Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar
2009 J jnl
Normalization and Optimization of Schema Mappings.
Proc. VLDB Endow.
Georg Gottlob, Reinhard Pichler, Vadim Savenkov
2009 B conf
On Using Distributed Extended XQuery for Web Data Sources as Services.
ICWE
Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar
2008 A* conf
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.
AAAI
Georg Gottlob, Reinhard Pichler, Fang Wei
2008 Misc conf
Complexity of Counting the Optimal Solutions.
COCOON
Miki Hermann, Reinhard Pichler
2008 J jnl
Complexity of Counting the Optimal Solutions.
Electron. Colloquium Comput. Complex.
Miki Hermann, Reinhard Pichler
2008 B conf
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction.
JELIA
Miki Hermann, Reinhard Pichler
2008 B conf
Fast Counting with Bounded Treewidth.
LPAR
Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2008 J jnl
Monadic Datalog over Finite Structures with Bounded Treewidth
CoRR
Georg Gottlob, Reinhard Pichler, Fang Wei
2008 B conf
Towards Practical Feasibility of Core Computation in Data Exchange.
LPAR
Reinhard Pichler, Vadim Savenkov
2008 B conf
dRDF: Entailment for Domain-Restricted RDF.
ESWC
Reinhard Pichler, Axel Polleres, Fang Wei, Stefan Woltran
2007 B conf
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.
LPNMR
Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
2007 A* conf
Counting Complexity of Propositional Abduction.
IJCAI
Miki Hermann, Reinhard Pichler
2007 A* conf
Efficient Datalog Abduction through Bounded Treewidth.
AAAI
Georg Gottlob, Reinhard Pichler, Fang Wei
2007 — conf
Foundations of Rule-Based Query Answering.
Reasoning Web
François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
2007 J jnl
Model Representation over Finite and Infinite Signatures.
J. Log. Comput.
Christian G. Fermüller, Reinhard Pichler
2007 A* conf
Monadic datalog over finite structures with bounded treewidth.
PODS
Georg Gottlob, Reinhard Pichler, Fang Wei
2006 — conf
Algorithmic Aspects of Model Representations.
WLP
Reinhard Pichler
2006 A* conf
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning.
AAAI
Georg Gottlob, Reinhard Pichler, Fang Wei
2006 B conf
Model Representation over Finite and Infinite Signatures.
JELIA
Christian G. Fermüller, Reinhard Pichler
2006 A* conf
Tractable database design through bounded treewidth.
PODS
Georg Gottlob, Reinhard Pichler, Fang Wei
2005 J jnl
Efficient algorithms for processing XPath queries.
ACM Trans. Database Syst.
Georg Gottlob, Christoph Koch, Reinhard Pichler
2005 A conf
Model Representation via Contexts and Implicit Generalizations.
CADE
Christian G. Fermüller, Reinhard Pichler
2005 J jnl
On deciding subsumption problems.
Ann. Math. Artif. Intell.
Uwe Egly, Reinhard Pichler, Stefan Woltran
2005 J jnl
The complexity of XPath query evaluation and XML typing.
J. ACM
Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin
2004 J jnl
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width.
SIAM J. Comput.
Georg Gottlob, Reinhard Pichler
2003 J jnl
Explicit versus implicit representations of subsets of the Herbrand universe.
Theor. Comput. Sci.
Reinhard Pichler
2003 J jnl
On the complexity of equational problems in CNF.
J. Symb. Comput.
Reinhard Pichler
2003 A* conf
The complexity of XPath query evaluation.
PODS
Georg Gottlob, Christoph Koch, Reinhard Pichler
2003 J jnl
XPath Processing in a Nutshell.
SIGMOD Rec.
Georg Gottlob, Christoph Koch, Reinhard Pichler
2003 A* conf
XPath Query Evaluation: Improving Time and Space Efficiency.
ICDE
Georg Gottlob, Christoph Koch, Reinhard Pichler
2003 J jnl
XPath processing in a nutshell.
SIGMOD Rec.
Georg Gottlob, Christoph Koch, Reinhard Pichler
2002 A conf
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations.
CADE
Bernhard Gramlich, Reinhard Pichler
2002 A* conf
Efficient Algorithms for Processing XPath Queries.
VLDB
Georg Gottlob, Christoph Koch, Reinhard Pichler
2001 A* conf
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width.
ICALP
Georg Gottlob, Reinhard Pichler
2001 J jnl
Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models.
Inf. Comput.
Georg Gottlob, Reinhard Pichler
2000 A* conf
Negation Elimination from Simple Equational Formulae.
ICALP
Reinhard Pichler
2000 J jnl
Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria.
J. Symb. Comput.
Reinhard Pichler
2000 — conf
The Explicit Representability of Implicit Generalizations.
RTA
Reinhard Pichler
1999 A conf
Solving Equational Problems Efficiently.
CADE
Reinhard Pichler
1999 A* conf
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models.
LICS
Georg Gottlob, Reinhard Pichler
1998 B conf
Algorithms on Atomic Representations of Herbrand Models.
JELIA
Reinhard Pichler
1998 — conf
Completeness and Redundancy in Constrained Clause Logic.
FTP (LNCS Selection)
Reinhard Pichler
1998 — conf
Extending Decidable Clause Classes via Constraints.
FTP (LNCS Selection)
Reinhard Pichler
1998 B conf
On the Complexity of H-Subsumption.
CSL
Reinhard Pichler