| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Schahram Dustdar, Reinhard Pichler, Vadim Savenkov, Hong Linh Truong |
Quality-aware service-oriented data integration: requirements, state of the art and open challenges.  |
SIGMOD Record  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran |
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran |
Towards fixed-parameter tractable algorithms for abstract argumentation. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Letelier, Jorge Pérez, Reinhard Pichler, Sebastian Skritek |
Static analysis and optimization of semantic web queries. |
PODS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Vadim Savenkov |
Normalization and optimization of schema mappings. |
VLDB J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar |
Data Concern Aware Querying for the Integration of Data Services. |
ICEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar |
Incorporating Data Concerns into Query Languages for Data Services. |
ICEIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar |
On Integrating Data Services Using Data Mashups. |
BNCOD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Sebastian Skritek |
Tractable Counting of the Answers to Conjunctive Queries. |
AMW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies. |
AMW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Relaxed notions of schema mapping equivalence revisited. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Sebastian Skritek |
The complexity of evaluating tuple generating dependencies. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
A New Tree-Decomposition Based Algorithm for Answer Set Programming. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov |
Towards practical feasibility of core computation in data exchange. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Tractable database design and datalog abduction through bounded treewidth. |
Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Bounded treewidth as a key to tractability of knowledge representation and reasoning. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Reinhard Pichler |
Counting complexity of propositional abduction. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Monadic datalog over finite structures of bounded treewidth. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Woltran |
The Complexity of Handling Minimal Solutions in Logic-Based Abduction. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Counting and Enumeration Problems with Bounded Treewidth. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov, Sebastian Skritek, Hong Linh Truong |
Uncertain Databases in Collaborative Data Management. |
MUD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran |
Minimising RDF Graphs under Rules and Constraints Revisited. |
AMW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
A Dynamic-Programming Based ASP-Solver. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran |
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Exploiting Bounded Treewidth with Datalog (A Survey). |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran |
Towards Fixed-Parameter Tractable Algorithms for Argumentation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran |
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Multicut Algorithms via Tree Decompositions. |
CIAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Reinhard Pichler |
Complexity of counting the optimal solutions. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov |
DEMo: Data Exchange Modeling Tool. |
PVLDB |
2009 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Vadim Savenkov |
Normalization and Optimization of Schema Mappings. |
PVLDB |
2009 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar |
DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources . |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
Web data sources, Data integration, Distributed query processing, Heterogeneous data sources |
| 1 | Michael Jakl, Reinhard Pichler, Stefan Woltran |
Answer-Set Programming with Bounded Treewidth. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong, Schahram Dustdar |
On Using Distributed Extended XQuery for Web Data Sources as Services. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Belief Revision with Bounded Treewidth. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran |
Alternation as a programming paradigm. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
integration of paradigms, language extension, alternation |
| 1 | Miki Hermann, Reinhard Pichler |
Complexity of Counting the Optimal Solutions. |
Electronic Colloquium on Computational Complexity (ECCC) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Monadic Datalog over Finite Structures with Bounded Treewidth |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Axel Polleres, Fang Wei, Stefan Woltran |
dRDF: Entailment for Domain-Restricted RDF. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov |
Towards Practical Feasibility of Core Computation in Data Exchange. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Fast Counting with Bounded Treewidth. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Reinhard Pichler |
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Reinhard Pichler |
Complexity of Counting the Optimal Solutions. |
COCOON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian G. Fermüller, Reinhard Pichler |
Model Representation over Finite and Infinite Signatures. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Reinhard Pichler |
Counting Complexity of Propositional Abduction. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran |
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei |
Foundations of Rule-Based Query Answering. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Monadic datalog over finite structures with bounded treewidth. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition |
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Efficient Datalog Abduction through Bounded Treewidth. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian G. Fermüller, Reinhard Pichler |
Model Representation over Finite and Infinite Signatures. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Tractable database design through bounded treewidth. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
database design, normal forms, fixed-parameter tractability, tree decomposition, bounded treewidth |
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler |
Algorithmic Aspects of Model Representations. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler |
Efficient algorithms for processing XPath queries. |
ACM Trans. Database Syst. |
2005 |
DBLP DOI BibTeX RDF |
XML, XPath, Efficient Algorithms |
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin |
The complexity of XPath query evaluation and XML typing. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
LOGCFL, XML, Complexity, XPath, DTD |
| 1 | Uwe Egly, Reinhard Pichler, Stefan Woltran |
On deciding subsumption problems. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
equational problems, satisfiability, subsumption, QBFs |
| 1 | Christian G. Fermüller, Reinhard Pichler |
Model Representation via Contexts and Implicit Generalizations. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
Model computation, clause evaluation, model representation |
| 1 | Georg Gottlob, Reinhard Pichler |
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. |
SIAM J. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Explicit versus implicit representations of subsets of the Herbrand universe. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
On the complexity of equational problems in CNF. |
J. Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler |
XPath processing in a nutshell. |
SIGMOD Record |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler |
XPath Processing in a Nutshell. |
SIGMOD Record |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler |
XPath Query Evaluation: Improving Time and Space Efficiency. |
ICDE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler |
The complexity of XPath query evaluation. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Bernhard Gramlich, Reinhard Pichler |
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler |
Efficient Algorithms for Processing XPath Queries. |
VLDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler |
Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler |
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria. |
J. Symb. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Negation Elimination from Simple Equational Formulae. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
The Explicit Representability of Implicit Generalizations. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Solving Equational Problems Efficiently. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler |
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
Automated Model Building, Herbrand Models, Complexity, Knowledge Representation, Logic Programming, Automated Deduction |
| 1 | Reinhard Pichler |
Algorithms on Atomic Representations of Herbrand Models. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Extending Decidable Clause Classes via Constraints. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Completeness and Redundancy in Constrained Clause Logic. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
On the Complexity of H-Subsumption. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")