Reinhard Pichler
Orcid: 0000-0002-1760-122XAffiliations:
- TU Wien, Vienna, Autria
According to our database1,
Reinhard Pichler
authored at least 138 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Database Syst., March, 2024
2023
Theor. Comput. Sci., November, 2023
Proc. VLDB Endow., 2023
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark].
CoRR, 2023
CoRR, 2023
Proceedings of the 26th International Conference on Database Theory, 2023
Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023
Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper).
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023
2022
Constraints An Int. J., 2022
Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
2021
ACM J. Exp. Algorithmics, 2021
J. ACM, 2021
2020
ACM Trans. Database Syst., 2020
Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.
SIGMOD Rec., 2020
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
2019
Proceedings of the 22nd International Conference on Database Theory, 2019
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019
2018
Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection.
ACM Trans. Database Syst., 2018
Log. Methods Comput. Sci., 2018
CoRR, 2018
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract).
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
2017
J. Log. Comput., 2017
Proceedings of the Language and Automata Theory and Applications, 2017
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Datenbanksysteme für Business, 2017
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Commun. ACM, 2016
Proceedings of the 19th International Conference on Database Theory, 2016
Proceedings of the 19th International Conference on Database Theory, 2016
Proceedings of the Foundations of Information and Knowledge Systems, 2016
2015
J. Log. Comput., 2015
On the undecidability of the equivalence of second-order tuple generating dependencies.
Inf. Syst., 2015
Proceedings of the 24th International Conference on World Wide Web, 2015
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015
2014
Tractable answer-set programming with weight constraints: bounded treewidth is not enough.
Theory Pract. Log. Program., 2014
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
ACM Trans. Database Syst., 2013
Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries.
Semantic Web, 2013
J. Comput. Syst. Sci., 2013
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem.
Proceedings of the Parameterized and Exact Computation - 8th International Symposium, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Big Data - 29th British National Conference on Databases, 2013
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013
2012
Quality-aware service-oriented data integration: requirements, state of the art and open challenges.
SIGMOD Rec., 2012
Artif. Intell., 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the Combinatorial Optimization and Applications, 2012
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012
2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the Enterprise Information Systems - 13th International Conference, 2011
Data Concern Aware Querying for the Integration of Data Services.
Proceedings of the ICEIS 2011, 2011
Proceedings of the Database Theory, 2011
Proceedings of the Advances in Databases - 28th British National Conference on Databases, 2011
2010
ACM Trans. Comput. Log., 2010
Theor. Comput. Sci., 2010
Inf. Syst., 2010
Bounded treewidth as a key to tractability of knowledge representation and reasoning.
Artif. Intell., 2010
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Proceedings of the Fourth International VLDB workshop on Management of Uncertain Data (MUD 2010) in conjunction with VLDB 2010, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
Proceedings of the Algorithms and Complexity, 7th International Conference, 2010
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010
2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Web Engineering, 9th International Conference, 2009
DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources .
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009
2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Semantic Web: Research and Applications, 2008
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the 20th Workshop on Logic Programming, 2006
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006
2005
Proceedings of the Automated Deduction, 2005
2004
SIAM J. Comput., 2004
2003
Theor. Comput. Sci., 2003
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003
Proceedings of the 19th International Conference on Data Engineering, 2003
2002
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations.
Proceedings of the Automated Deduction, 2002
2001
Inf. Comput., 2001
2000
Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria.
J. Symb. Comput., 2000
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998