Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Reinhard Pichler
@article{DBLP:journals/tods/GottlobLOP24, author = {Georg Gottlob and Matthias Lanzinger and Cem Okulmus and Reinhard Pichler}, title = {Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth}, journal = {{ACM} Trans. Database Syst.}, volume = {49}, number = {1}, pages = {1:1--1:43}, year = {2024}, url = {https://doi.org/10.1145/3638758}, doi = {10.1145/3638758}, timestamp = {Tue, 26 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tods/GottlobLOP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/AnglesG0PS23, author = {Renzo Angles and Georg Gottlob and Aleksandar Pavlovic and Reinhard Pichler and Emanuel Sallinger}, title = {SparqLog: {A} System for Efficient Evaluation of {SPARQL} 1.1 Queries via Datalog}, journal = {Proc. {VLDB} Endow.}, volume = {16}, number = {13}, pages = {4240--4253}, year = {2023}, url = {https://www.vldb.org/pvldb/vol16/p4240-sallinger.pdf}, timestamp = {Mon, 27 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pvldb/AnglesG0PS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/Khamis0PSW23, author = {Mahmoud Abo Khamis and Hung Q. Ngo and Reinhard Pichler and Dan Suciu and Yisu Remy Wang}, title = {Convergence of Datalog over (Pre-) Semirings}, journal = {{SIGMOD} Rec.}, volume = {52}, number = {1}, pages = {75--82}, year = {2023}, url = {https://doi.org/10.1145/3604437.3604454}, doi = {10.1145/3604437.3604454}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/Khamis0PSW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GottlobLPR23, author = {Georg Gottlob and Matthias Lanzinger and Reinhard Pichler and Igor Razgon}, title = {Fractional covers of hypergraphs with bounded multi-intersection}, journal = {Theor. Comput. Sci.}, volume = {979}, pages = {114204}, year = {2023}, url = {https://doi.org/10.1016/j.tcs.2023.114204}, doi = {10.1016/J.TCS.2023.114204}, timestamp = {Fri, 08 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GottlobLPR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/GottlobLLOPS23, author = {Georg Gottlob and Matthias Lanzinger and Davide Mario Longo and Cem Okulmus and Reinhard Pichler and Alexander Selzer}, editor = {Benny Kimelfeld and Maria Vanina Martinez and Renzo Angles}, title = {Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper)}, booktitle = {Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management {(AMW} 2023), Santiago de Chile, Chile, May 22-26, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3409}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3409/paper6.pdf}, timestamp = {Tue, 13 Jun 2023 16:59:20 +0200}, biburl = {https://dblp.org/rec/conf/amw/GottlobLLOPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/MerklPS23, author = {Timo Camillo Merkl and Reinhard Pichler and Sebastian Skritek}, editor = {Benny Kimelfeld and Maria Vanina Martinez and Renzo Angles}, title = {Diversity of Answers to Conjunctive Queries (short paper)}, booktitle = {Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management {(AMW} 2023), Santiago de Chile, Chile, May 22-26, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3409}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3409/paper2.pdf}, timestamp = {Tue, 13 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amw/MerklPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/GrasmannPS23, author = {Lukas Grasmann and Reinhard Pichler and Alexander Selzer}, editor = {Julia Stoyanovich and Jens Teubner and Nikos Mamoulis and Evaggelia Pitoura and Jan M{\"{u}}hlig and Katja Hose and Sourav S. Bhowmick and Matteo Lissandrini}, title = {Integration of Skyline Queries into Spark {SQL}}, booktitle = {Proceedings 26th International Conference on Extending Database Technology, {EDBT} 2023, Ioannina, Greece, March 28-31, 2023}, pages = {337--350}, publisher = {OpenProceedings.org}, year = {2023}, url = {https://doi.org/10.48786/edbt.2023.27}, doi = {10.48786/EDBT.2023.27}, timestamp = {Sat, 29 Apr 2023 13:06:22 +0200}, biburl = {https://dblp.org/rec/conf/edbt/GrasmannPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/MerklPS23, author = {Timo Camillo Merkl and Reinhard Pichler and Sebastian Skritek}, editor = {Floris Geerts and Brecht Vandevoort}, title = {Diversity of Answers to Conjunctive Queries}, booktitle = {26th International Conference on Database Theory, {ICDT} 2023, March 28-31, 2023, Ioannina, Greece}, series = {LIPIcs}, volume = {255}, pages = {10:1--10:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2023.10}, doi = {10.4230/LIPICS.ICDT.2023.10}, timestamp = {Fri, 17 Mar 2023 15:19:25 +0100}, biburl = {https://dblp.org/rec/conf/icdt/MerklPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-08848, author = {Timo Camillo Merkl and Reinhard Pichler and Sebastian Skritek}, title = {Diversity of Answers to Conjunctive Queries}, journal = {CoRR}, volume = {abs/2301.08848}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.08848}, doi = {10.48550/ARXIV.2301.08848}, eprinttype = {arXiv}, eprint = {2301.08848}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-08848.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-02723, author = {Georg Gottlob and Matthias Lanzinger and Davide Mario Longo and Cem Okulmus and Reinhard Pichler and Alexander Selzer}, title = {Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice}, journal = {CoRR}, volume = {abs/2303.02723}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.02723}, doi = {10.48550/ARXIV.2303.02723}, eprinttype = {arXiv}, eprint = {2303.02723}, timestamp = {Tue, 14 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-02723.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-06119, author = {Renzo Angles and Georg Gottlob and Aleksandar Pavlovic and Reinhard Pichler and Emanuel Sallinger}, title = {SparqLog: {A} System for Efficient Evaluation of {SPARQL} 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]}, journal = {CoRR}, volume = {abs/2307.06119}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.06119}, doi = {10.48550/ARXIV.2307.06119}, eprinttype = {arXiv}, eprint = {2307.06119}, timestamp = {Mon, 24 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-06119.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/constraints/GottlobOP22, author = {Georg Gottlob and Cem Okulmus and Reinhard Pichler}, title = {Fast and parallel decomposition of constraint satisfaction problems}, journal = {Constraints An Int. J.}, volume = {27}, number = {3}, pages = {284--326}, year = {2022}, url = {https://doi.org/10.1007/s10601-022-09332-1}, doi = {10.1007/S10601-022-09332-1}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/constraints/GottlobOP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/KhamisNPSW22, author = {Mahmoud Abo Khamis and Hung Q. Ngo and Reinhard Pichler and Dan Suciu and Yisu Remy Wang}, title = {Datalog in Wonderland}, journal = {{SIGMOD} Rec.}, volume = {51}, number = {2}, pages = {6--17}, year = {2022}, url = {https://doi.org/10.1145/3552490.3552492}, doi = {10.1145/3552490.3552492}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/KhamisNPSW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/datalog/Pichler22, author = {Reinhard Pichler}, editor = {Mario Alviano and Andreas Pieris}, title = {Novel Techniques in Datalog Optimization (Abstract)}, booktitle = {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), Genova-Nervi, Italy, September 5, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3203}, pages = {1}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3203/invited1.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:45 +0100}, biburl = {https://dblp.org/rec/conf/datalog/Pichler22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/Khamis0PSW22, author = {Mahmoud Abo Khamis and Hung Q. Ngo and Reinhard Pichler and Dan Suciu and Yisu Remy Wang}, editor = {Leonid Libkin and Pablo Barcel{\'{o}}}, title = {Convergence of Datalog over (Pre-) Semirings}, booktitle = {{PODS} '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022}, pages = {105--117}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3517804.3524140}, doi = {10.1145/3517804.3524140}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/Khamis0PSW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/GottlobLOP22, author = {Georg Gottlob and Matthias Lanzinger and Cem Okulmus and Reinhard Pichler}, editor = {Leonid Libkin and Pablo Barcel{\'{o}}}, title = {Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth}, booktitle = {{PODS} '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022}, pages = {325--336}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3517804.3524153}, doi = {10.1145/3517804.3524153}, timestamp = {Wed, 15 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/GottlobLOP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/WangK0PS22, author = {Yisu Remy Wang and Mahmoud Abo Khamis and Hung Q. Ngo and Reinhard Pichler and Dan Suciu}, editor = {Zachary G. Ives and Angela Bonifati and Amr El Abbadi}, title = {Optimizing Recursive Queries with Progam Synthesis}, booktitle = {{SIGMOD} '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022}, pages = {79--93}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3514221.3517827}, doi = {10.1145/3514221.3517827}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/WangK0PS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-10390, author = {Yisu Remy Wang and Mahmoud Abo Khamis and Hung Q. Ngo and Reinhard Pichler and Dan Suciu}, title = {Optimizing Recursive Queries with Program Synthesis}, journal = {CoRR}, volume = {abs/2202.10390}, year = {2022}, url = {https://arxiv.org/abs/2202.10390}, eprinttype = {arXiv}, eprint = {2202.10390}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-10390.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-03718, author = {Lukas Grasmann and Reinhard Pichler and Alexander Selzer}, title = {Integration of Skyline Queries into Spark {SQL}}, journal = {CoRR}, volume = {abs/2210.03718}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.03718}, doi = {10.48550/ARXIV.2210.03718}, eprinttype = {arXiv}, eprint = {2210.03718}, timestamp = {Wed, 12 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-03718.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/GottlobLPR21, author = {Georg Gottlob and Matthias Lanzinger and Reinhard Pichler and Igor Razgon}, title = {Complexity Analysis of Generalized and Fractional Hypertree Decompositions}, journal = {J. {ACM}}, volume = {68}, number = {5}, pages = {38:1--38:50}, year = {2021}, url = {https://doi.org/10.1145/3457374}, doi = {10.1145/3457374}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/GottlobLPR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jea/FischlGLP21, author = {Wolfgang Fischl and Georg Gottlob and Davide Mario Longo and Reinhard Pichler}, title = {HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings}, journal = {{ACM} J. Exp. Algorithmics}, volume = {26}, pages = {1.6:1--1.6:40}, year = {2021}, url = {https://doi.org/10.1145/3440015}, doi = {10.1145/3440015}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jea/FischlGLP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigact/Pichler21, author = {Reinhard Pichler}, title = {Database Theory Column Report on {PODS} 2021}, journal = {{SIGACT} News}, volume = {52}, number = {3}, pages = {69--72}, year = {2021}, url = {https://doi.org/10.1145/3494656.3494669}, doi = {10.1145/3494656.3494669}, timestamp = {Mon, 15 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigact/Pichler21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pods/2021, editor = {Leonid Libkin and Reinhard Pichler and Paolo Guagliardo}, title = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3452021}, doi = {10.1145/3452021}, isbn = {978-1-4503-8381-3}, timestamp = {Mon, 21 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-13793, author = {Georg Gottlob and Matthias Lanzinger and Cem Okulmus and Reinhard Pichler}, title = {Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth}, journal = {CoRR}, volume = {abs/2104.13793}, year = {2021}, url = {https://arxiv.org/abs/2104.13793}, eprinttype = {arXiv}, eprint = {2104.13793}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-13793.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-14435, author = {Mahmoud Abo Khamis and Hung Q. Ngo and Reinhard Pichler and Dan Suciu and Yisu Remy Wang}, title = {Convergence of Datalog over (Pre-) Semirings}, journal = {CoRR}, volume = {abs/2105.14435}, year = {2021}, url = {https://arxiv.org/abs/2105.14435}, eprinttype = {arXiv}, eprint = {2105.14435}, timestamp = {Wed, 02 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-14435.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/Pichler20, author = {Reinhard Pichler}, title = {Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation}, journal = {{SIGMOD} Rec.}, volume = {49}, number = {1}, pages = {51}, year = {2020}, url = {https://doi.org/10.1145/3422648.3422660}, doi = {10.1145/3422648.3422660}, timestamp = {Tue, 06 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmod/Pichler20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/KolaitisPSS20, author = {Phokion G. Kolaitis and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, title = {On the Language of Nested Tuple Generating Dependencies}, journal = {{ACM} Trans. Database Syst.}, volume = {45}, number = {2}, pages = {8:1--8:59}, year = {2020}, url = {https://doi.org/10.1145/3369554}, doi = {10.1145/3369554}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/KolaitisPSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/GottlobLLOP20, author = {Georg Gottlob and Matthias Lanzinger and Davide Mario Longo and Cem Okulmus and Reinhard Pichler}, editor = {Emmanuel Hebrard and Nysret Musliu}, title = {The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions}, booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, {CPAIOR} 2020, Vienna, Austria, September 21-24, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12296}, pages = {3--21}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58942-4\_1}, doi = {10.1007/978-3-030-58942-4\_1}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/GottlobLLOP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/GottlobOP20, author = {Georg Gottlob and Cem Okulmus and Reinhard Pichler}, editor = {Christian Bessiere}, title = {Fast and Parallel Decomposition of Constraint Satisfaction Problems}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, pages = {1155--1162}, publisher = {ijcai.org}, year = {2020}, url = {https://doi.org/10.24963/ijcai.2020/161}, doi = {10.24963/IJCAI.2020/161}, timestamp = {Mon, 20 Jul 2020 12:38:52 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/GottlobOP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/ChenGLP20, author = {Hubie Chen and Georg Gottlob and Matthias Lanzinger and Reinhard Pichler}, editor = {Christian Bessiere}, title = {Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, pages = {1726--1733}, publisher = {ijcai.org}, year = {2020}, url = {https://doi.org/10.24963/ijcai.2020/239}, doi = {10.24963/IJCAI.2020/239}, timestamp = {Mon, 13 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/ChenGLP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/GottlobLPR20, author = {Georg Gottlob and Matthias Lanzinger and Reinhard Pichler and Igor Razgon}, editor = {Javier Esparza and Daniel Kr{\'{a}}l'}, title = {Fractional Covers of Hypergraphs with Bounded Multi-Intersection}, booktitle = {45th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic}, series = {LIPIcs}, volume = {170}, pages = {41:1--41:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.41}, doi = {10.4230/LIPICS.MFCS.2020.41}, timestamp = {Mon, 21 Dec 2020 13:23:22 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/GottlobLPR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-05239, author = {Georg Gottlob and Matthias Lanzinger and Reinhard Pichler and Igor Razgon}, title = {Complexity Analysis of General and Fractional Hypertree Decompositions}, journal = {CoRR}, volume = {abs/2002.05239}, year = {2020}, url = {https://arxiv.org/abs/2002.05239}, eprinttype = {arXiv}, eprint = {2002.05239}, timestamp = {Fri, 14 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-05239.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-01830, author = {Georg Gottlob and Matthias Lanzinger and Reinhard Pichler and Igor Razgon}, title = {Fractional Covers of Hypergraphs with Bounded Multi-Intersection}, journal = {CoRR}, volume = {abs/2007.01830}, year = {2020}, url = {https://arxiv.org/abs/2007.01830}, eprinttype = {arXiv}, eprint = {2007.01830}, timestamp = {Mon, 06 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-01830.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-14169, author = {Hubie Chen and Georg Gottlob and Matthias Lanzinger and Reinhard Pichler}, title = {Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems}, journal = {CoRR}, volume = {abs/2007.14169}, year = {2020}, url = {https://arxiv.org/abs/2007.14169}, eprinttype = {arXiv}, eprint = {2007.14169}, timestamp = {Mon, 03 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-14169.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-01769, author = {Wolfgang Fischl and Georg Gottlob and Davide Mario Longo and Reinhard Pichler}, title = {HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings}, journal = {CoRR}, volume = {abs/2009.01769}, year = {2020}, url = {https://arxiv.org/abs/2009.01769}, eprinttype = {arXiv}, eprint = {2009.01769}, timestamp = {Wed, 16 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-01769.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-14762, author = {Georg Gottlob and Matthias Lanzinger and Davide Mario Longo and Cem Okulmus and Reinhard Pichler}, title = {The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions}, journal = {CoRR}, volume = {abs/2012.14762}, year = {2020}, url = {https://arxiv.org/abs/2012.14762}, eprinttype = {arXiv}, eprint = {2012.14762}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-14762.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CreignouKPSV19, author = {Nadia Creignou and Markus Kr{\"{o}}ll and Reinhard Pichler and Sebastian Skritek and Heribert Vollmer}, title = {A complexity theory for hard enumeration problems}, journal = {Discret. Appl. Math.}, volume = {268}, pages = {191--209}, year = {2019}, url = {https://doi.org/10.1016/j.dam.2019.02.025}, doi = {10.1016/J.DAM.2019.02.025}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dam/CreignouKPSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/FischlGLP19, author = {Wolfgang Fischl and Georg Gottlob and Davide M. Longo and Reinhard Pichler}, editor = {Aidan Hogan and Tova Milo}, title = {HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings}, booktitle = {Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{\'{o}}n, Paraguay, June 3-7, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2369}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2369/short02.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/FischlGLP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/GottlobLP19, author = {Georg Gottlob and Matthias Lanzinger and Reinhard Pichler}, editor = {Aidan Hogan and Tova Milo}, title = {Semantic Width Revisited (Extended Abstract)}, booktitle = {Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{\'{o}}n, Paraguay, June 3-7, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2369}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2369/short01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/GottlobLP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/GottlobOP19, author = {Georg Gottlob and Cem Okulmus and Reinhard Pichler}, editor = {Aidan Hogan and Tova Milo}, title = {Parallel Computation of Generalized Hypertree Decompositions}, booktitle = {Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{\'{o}}n, Paraguay, June 3-7, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2369}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2369/short03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/GottlobOP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/BertossiGP19, author = {Leopoldo E. Bertossi and Georg Gottlob and Reinhard Pichler}, editor = {Pablo Barcel{\'{o}} and Marco Calautti}, title = {Datalog: Bag Semantics via Set Semantics}, booktitle = {22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal}, series = {LIPIcs}, volume = {127}, pages = {16:1--16:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2019.16}, doi = {10.4230/LIPICS.ICDT.2019.16}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/icdt/BertossiGP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/FischlGLP19, author = {Wolfgang Fischl and Georg Gottlob and Davide Mario Longo and Reinhard Pichler}, editor = {Dan Suciu and Sebastian Skritek and Christoph Koch}, title = {HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings}, booktitle = {Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019}, pages = {464--480}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3294052.3319683}, doi = {10.1145/3294052.3319683}, timestamp = {Sun, 16 Jun 2019 19:26:40 +0200}, biburl = {https://dblp.org/rec/conf/pods/FischlGLP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/BorosKPS19, author = {Endre Boros and Benny Kimelfeld and Reinhard Pichler and Nicole Schweikardt}, title = {Enumeration in Data Management (Dagstuhl Seminar 19211)}, journal = {Dagstuhl Reports}, volume = {9}, number = {5}, pages = {89--109}, year = {2019}, url = {https://doi.org/10.4230/DagRep.9.5.89}, doi = {10.4230/DAGREP.9.5.89}, timestamp = {Tue, 29 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BorosKPS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/CreignouPW18, author = {Nadia Creignou and Reinhard Pichler and Stefan Woltran}, title = {Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?}, journal = {Log. Methods Comput. Sci.}, volume = {14}, number = {4}, year = {2018}, url = {https://doi.org/10.23638/LMCS-14(4:10)2018}, doi = {10.23638/LMCS-14(4:10)2018}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/CreignouPW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/KolaitisPSS18, author = {Phokion G. Kolaitis and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, title = {Limits of Schema Mappings}, journal = {Theory Comput. Syst.}, volume = {62}, number = {4}, pages = {899--940}, year = {2018}, url = {https://doi.org/10.1007/s00224-017-9812-7}, doi = {10.1007/S00224-017-9812-7}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/KolaitisPSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/BarceloKPS18, author = {Pablo Barcel{\'{o}} and Markus Kr{\"{o}}ll and Reinhard Pichler and Sebastian Skritek}, title = {Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection}, journal = {{ACM} Trans. Database Syst.}, volume = {43}, number = {2}, pages = {8:1--8:44}, year = {2018}, url = {https://doi.org/10.1145/3233983}, doi = {10.1145/3233983}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/BarceloKPS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/FischlGP18, author = {Wolfgang Fischl and Georg Gottlob and Reinhard Pichler}, editor = {Dan Olteanu and Barbara Poblete}, title = {General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract)}, booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2100}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2100/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/FischlGP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/CsarLP18, author = {Theresa Csar and Martin Lackner and Reinhard Pichler}, editor = {J{\'{e}}r{\^{o}}me Lang}, title = {Computing the Schulze Method for Large-Scale Preference Data Sets}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages = {180--187}, publisher = {ijcai.org}, year = {2018}, url = {https://doi.org/10.24963/ijcai.2018/25}, doi = {10.24963/IJCAI.2018/25}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/CsarLP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/FischlGP18, author = {Wolfgang Fischl and Georg Gottlob and Reinhard Pichler}, editor = {Jan Van den Bussche and Marcelo Arenas}, title = {General and Fractional Hypertree Decompositions: Hard and Easy Cases}, booktitle = {Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018}, pages = {17--32}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3196959.3196962}, doi = {10.1145/3196959.3196962}, timestamp = {Wed, 21 Nov 2018 12:44:18 +0100}, biburl = {https://dblp.org/rec/conf/pods/FischlGP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/edbt/2018, editor = {Michael H. B{\"{o}}hlen and Reinhard Pichler and Norman May and Erhard Rahm and Shan{-}Hung Wu and Katja Hose}, title = {Proceedings of the 21st International Conference on Extending Database Technology, {EDBT} 2018, Vienna, Austria, March 26-29, 2018}, publisher = {OpenProceedings.org}, year = {2018}, isbn = {978-3-89318-078-3}, timestamp = {Fri, 28 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edbt/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-06445, author = {Leopoldo E. Bertossi and Georg Gottlob and Reinhard Pichler}, title = {Datalog: Bag Semantics via Set Semantics}, journal = {CoRR}, volume = {abs/1803.06445}, year = {2018}, url = {http://arxiv.org/abs/1803.06445}, eprinttype = {arXiv}, eprint = {1803.06445}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-06445.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-08181, author = {Wolfgang Fischl and Georg Gottlob and Davide M. Longo and Reinhard Pichler}, title = {HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings}, journal = {CoRR}, volume = {abs/1811.08181}, year = {2018}, url = {http://arxiv.org/abs/1811.08181}, eprinttype = {arXiv}, eprint = {1811.08181}, timestamp = {Mon, 26 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-08181.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1812-04329, author = {Georg Gottlob and Matthias Lanzinger and Reinhard Pichler}, title = {Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems}, journal = {CoRR}, volume = {abs/1812.04329}, year = {2018}, url = {http://arxiv.org/abs/1812.04329}, eprinttype = {arXiv}, eprint = {1812.04329}, timestamp = {Tue, 01 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1812-04329.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BliemPW17, author = {Bernhard Bliem and Reinhard Pichler and Stefan Woltran}, title = {Implementing Courcelle's Theorem in a declarative framework for dynamic programming}, journal = {J. Log. Comput.}, volume = {27}, number = {4}, pages = {1067--1094}, year = {2017}, url = {https://doi.org/10.1093/logcom/exv089}, doi = {10.1093/LOGCOM/EXV089}, timestamp = {Thu, 14 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/BliemPW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CsarLPS17, author = {Theresa Csar and Martin Lackner and Reinhard Pichler and Emanuel Sallinger}, editor = {Satinder Singh and Shaul Markovitch}, title = {Winner Determination in Huge Elections with MapReduce}, booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}}, pages = {451--458}, publisher = {{AAAI} Press}, year = {2017}, url = {https://doi.org/10.1609/aaai.v31i1.10606}, doi = {10.1609/AAAI.V31I1.10606}, timestamp = {Mon, 04 Sep 2023 14:40:32 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CsarLPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/GottlobPS17, author = {Georg Gottlob and Reinhard Pichler and Emanuel Sallinger}, editor = {Juan L. Reutter and Divesh Srivastava}, title = {Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability}, booktitle = {Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1912}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1912/paper31.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/GottlobPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/btw/CsarLPS17, author = {Theresa Csar and Martin Lackner and Reinhard Pichler and Emanuel Sallinger}, editor = {Bernhard Mitschang and Norbert Ritter and Holger Schwarz and Meike Klettke and Andreas Thor and Oliver Kopp and Matthias Wieland}, title = {Computational Social Choice in the Clouds}, booktitle = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web {(BTW} 2017), 17. Fachtagung des GI-Fachbereichs ,,Datenbanken und Informationssysteme" (DBIS), 6.-10. M{\"{a}}rz 2017, Stuttgart, Germany, Workshopband}, series = {{LNI}}, volume = {{P-266}}, pages = {163--167}, publisher = {{GI}}, year = {2017}, url = {https://dl.gi.de/handle/20.500.12116/911}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/btw/CsarLPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KrollPW17, author = {Markus Kr{\"{o}}ll and Reinhard Pichler and Stefan Woltran}, editor = {Carles Sierra}, title = {On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {1145--1152}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/159}, doi = {10.24963/IJCAI.2017/159}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KrollPW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/CreignouKPSV17, author = {Nadia Creignou and Markus Kr{\"{o}}ll and Reinhard Pichler and Sebastian Skritek and Heribert Vollmer}, editor = {Frank Drewes and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {On the Complexity of Hard Enumeration Problems}, booktitle = {Language and Automata Theory and Applications - 11th International Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10168}, pages = {183--195}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-53733-7\_13}, doi = {10.1007/978-3-319-53733-7\_13}, timestamp = {Mon, 16 Sep 2019 15:27:03 +0200}, biburl = {https://dblp.org/rec/conf/lata/CreignouKPSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-07786, author = {Nadia Creignou and Reinhard Pichler and Stefan Woltran}, title = {Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?}, journal = {CoRR}, volume = {abs/1711.07786}, year = {2017}, url = {http://arxiv.org/abs/1711.07786}, eprinttype = {arXiv}, eprint = {1711.07786}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-07786.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/PichlerW16, author = {Kathrin Conrad and Nysret Musliu and Reinhard Pichler and Hannes Werthner}, title = {Universities and computer science in the European crisis of refugees}, journal = {Commun. {ACM}}, volume = {59}, number = {10}, pages = {31--33}, year = {2016}, url = {https://doi.org/10.1145/2893180}, doi = {10.1145/2893180}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/PichlerW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fss/MedinaP16, author = {Jes{\'{u}}s Medina and Reinhard Pichler}, title = {Fuzzy data exchange}, journal = {Fuzzy Sets Syst.}, volume = {301}, pages = {129--145}, year = {2016}, url = {https://doi.org/10.1016/j.fss.2015.12.004}, doi = {10.1016/J.FSS.2015.12.004}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fss/MedinaP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/KrollPS16, author = {Markus Kr{\"{o}}ll and Reinhard Pichler and Sebastian Skritek}, editor = {Reinhard Pichler and Altigran Soares da Silva}, title = {On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees}, booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1644}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1644/paper14.pdf}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amw/KrollPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/AhmetajFKPSS16, author = {Shqiponja Ahmetaj and Wolfgang Fischl and Markus Kr{\"{o}}ll and Reinhard Pichler and Mantas Simkus and Sebastian Skritek}, editor = {Marc Gyssens and Guillermo Ricardo Simari}, title = {The Challenge of Optional Matching in {SPARQL}}, booktitle = {Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9616}, pages = {169--190}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30024-5\_10}, doi = {10.1007/978-3-319-30024-5\_10}, timestamp = {Sat, 09 Apr 2022 12:42:08 +0200}, biburl = {https://dblp.org/rec/conf/foiks/AhmetajFKPSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KolaitisPSS16, author = {Phokion G. Kolaitis and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, editor = {Wim Martens and Thomas Zeume}, title = {Limits of Schema Mappings}, booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016}, series = {LIPIcs}, volume = {48}, pages = {19:1--19:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.19}, doi = {10.4230/LIPICS.ICDT.2016.19}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdt/KolaitisPSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/ArmingPS16, author = {Sebastian Arming and Reinhard Pichler and Emanuel Sallinger}, editor = {Wim Martens and Thomas Zeume}, title = {Complexity of Repair Checking and Consistent Query Answering}, booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016}, series = {LIPIcs}, volume = {48}, pages = {21:1--21:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.21}, doi = {10.4230/LIPICS.ICDT.2016.21}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/ArmingPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KrollPS16, author = {Markus Kr{\"{o}}ll and Reinhard Pichler and Sebastian Skritek}, editor = {Wim Martens and Thomas Zeume}, title = {On the Complexity of Enumerating the Answers to Well-designed Pattern Trees}, booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016}, series = {LIPIcs}, volume = {48}, pages = {22:1--22:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.22}, doi = {10.4230/LIPICS.ICDT.2016.22}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdt/KrollPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/amw/2016, editor = {Reinhard Pichler and Altigran Soares da Silva}, title = {Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1644}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1644}, urn = {urn:nbn:de:0074-1644-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CreignouKPSV16, author = {Nadia Creignou and Markus Kr{\"{o}}ll and Reinhard Pichler and Sebastian Skritek and Heribert Vollmer}, title = {On the Complexity of Hard Enumeration Problems}, journal = {CoRR}, volume = {abs/1610.05493}, year = {2016}, url = {http://arxiv.org/abs/1610.05493}, eprinttype = {arXiv}, eprint = {1610.05493}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CreignouKPSV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FischlGP16, author = {Wolfgang Fischl and Georg Gottlob and Reinhard Pichler}, title = {General and Fractional Hypertree Decompositions: Hard and Easy Cases}, journal = {CoRR}, volume = {abs/1611.01090}, year = {2016}, url = {http://arxiv.org/abs/1611.01090}, eprinttype = {arXiv}, eprint = {1611.01090}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FischlGP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/FeinererPSS15, author = {Ingo Feinerer and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, title = {On the undecidability of the equivalence of second-order tuple generating dependencies}, journal = {Inf. Syst.}, volume = {48}, pages = {113--129}, year = {2015}, url = {https://doi.org/10.1016/j.is.2014.09.003}, doi = {10.1016/J.IS.2014.09.003}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/is/FeinererPSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/PfandlerPW15, author = {Andreas Pfandler and Reinhard Pichler and Stefan Woltran}, title = {The complexity of handling minimal solutions in logic-based abduction}, journal = {J. Log. Comput.}, volume = {25}, number = {3}, pages = {805--825}, year = {2015}, url = {https://doi.org/10.1093/logcom/exu053}, doi = {10.1093/LOGCOM/EXU053}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/PfandlerPW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/AhmetajFPSS15, author = {Shqiponja Ahmetaj and Wolfgang Fischl and Reinhard Pichler and Mantas Simkus and Sebastian Skritek}, editor = {Andrea Cal{\`{\i}} and Maria{-}Esther Vidal}, title = {Towards Reconciling {SPARQL} and Certain Answers (Extended Abstract)}, booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1378}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/AhmetajFPSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/BarceloPS15, author = {Pablo Barcel{\'{o}} and Reinhard Pichler and Sebastian Skritek}, editor = {Andrea Cal{\`{\i}} and Maria{-}Esther Vidal}, title = {Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract)}, booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1378}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/BarceloPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/CsarPSS15, author = {Theresa Csar and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, editor = {Andrea Cal{\`{\i}} and Maria{-}Esther Vidal}, title = {Using Statistics for Computing Joins with MapReduce}, booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1378}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/CsarPSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/AhmetajFPSS15, author = {Shqiponja Ahmetaj and Wolfgang Fischl and Reinhard Pichler and Mantas Simkus and Sebastian Skritek}, editor = {Diego Calvanese and Boris Konev}, title = {DL-Lite and Conjunctive Queries Extended by Optional Matching}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-04.pdf}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/AhmetajFPSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/GottlobPS15, author = {Georg Gottlob and Reinhard Pichler and Emanuel Sallinger}, editor = {Tova Milo and Diego Calvanese}, title = {Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability}, booktitle = {Proceedings of the 34th {ACM} Symposium on Principles of Database Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015}, pages = {65--77}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2745754.2745756}, doi = {10.1145/2745754.2745756}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/GottlobPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/BarceloPS15, author = {Pablo Barcel{\'{o}} and Reinhard Pichler and Sebastian Skritek}, editor = {Tova Milo and Diego Calvanese}, title = {Efficient Evaluation and Approximation of Well-designed Pattern Trees}, booktitle = {Proceedings of the 34th {ACM} Symposium on Principles of Database Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015}, pages = {131--144}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2745754.2745767}, doi = {10.1145/2745754.2745767}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/BarceloPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/AhmetajFPSS15, author = {Shqiponja Ahmetaj and Wolfgang Fischl and Reinhard Pichler and Mantas Simkus and Sebastian Skritek}, editor = {Aldo Gangemi and Stefano Leonardi and Alessandro Panconesi}, title = {Towards Reconciling {SPARQL} and Certain Answers}, booktitle = {Proceedings of the 24th International Conference on World Wide Web, {WWW} 2015, Florence, Italy, May 18-22, 2015}, pages = {23--33}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2736277.2741636}, doi = {10.1145/2736277.2741636}, timestamp = {Tue, 27 Dec 2022 09:06:31 +0100}, biburl = {https://dblp.org/rec/conf/www/AhmetajFPSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/CreignouPPW14, author = {Nadia Creignou and Odile Papini and Reinhard Pichler and Stefan Woltran}, title = {Belief revision within fragments of propositional logic}, journal = {J. Comput. Syst. Sci.}, volume = {80}, number = {2}, pages = {427--449}, year = {2014}, url = {https://doi.org/10.1016/j.jcss.2013.08.002}, doi = {10.1016/J.JCSS.2013.08.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/CreignouPPW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/PichlerRSW14, author = {Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Szeider and Stefan Woltran}, title = {Tractable answer-set programming with weight constraints: bounded treewidth is not enough}, journal = {Theory Pract. Log. Program.}, volume = {14}, number = {2}, pages = {141--164}, year = {2014}, url = {https://doi.org/10.1017/S1471068412000099}, doi = {10.1017/S1471068412000099}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/PichlerRSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CalvaneseFPSS14, author = {Diego Calvanese and Wolfgang Fischl and Reinhard Pichler and Emanuel Sallinger and Mantas Simkus}, editor = {Carla E. Brodley and Peter Stone}, title = {Capturing Relational Schemas and Functional Dependencies in {RDFS}}, booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada}, pages = {1003--1011}, publisher = {{AAAI} Press}, year = {2014}, url = {https://doi.org/10.1609/aaai.v28i1.8867}, doi = {10.1609/AAAI.V28I1.8867}, timestamp = {Mon, 04 Sep 2023 15:06:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CalvaneseFPSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KroneggerLPP14, author = {Martin Kronegger and Martin Lackner and Andreas Pfandler and Reinhard Pichler}, editor = {Carla E. Brodley and Peter Stone}, title = {A Parameterized Complexity Analysis of Generalized CP-Nets}, booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada}, pages = {1091--1097}, publisher = {{AAAI} Press}, year = {2014}, url = {https://doi.org/10.1609/aaai.v28i1.8859}, doi = {10.1609/AAAI.V28I1.8859}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KroneggerLPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/ArmingPS14, author = {Sebastian Arming and Reinhard Pichler and Emanuel Sallinger}, editor = {Georg Gottlob and Jorge P{\'{e}}rez}, title = {Combined Complexity of Repair Checking and Consistent Query Answering}, booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1189}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1189/paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/ArmingPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/PichlerS14, author = {Reinhard Pichler and Sebastian Skritek}, editor = {Georg Gottlob and Jorge P{\'{e}}rez}, title = {On the Hardness of Counting the Solutions of {SPARQL} Queries}, booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1189}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1189/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/PichlerS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CalvaneseFPSS14, author = {Diego Calvanese and Wolfgang Fischl and Reinhard Pichler and Emanuel Sallinger and Mantas Simkus}, editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus}, title = {Expressive Identification Constraints to Capture Functional Dependencies in Description Logics}, booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1193}, pages = {416--420}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1193/paper\_48.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/CalvaneseFPSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipmu/MedinaP14, author = {Jes{\'{u}}s Medina and Reinhard Pichler}, editor = {Anne Laurent and Olivier Strauss and Bernadette Bouchon{-}Meunier and Ronald R. Yager}, title = {A Fuzzy Extension of Data Exchange}, booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based Systems - 15th International Conference, {IPMU} 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part {II}}, series = {Communications in Computer and Information Science}, volume = {443}, pages = {214--223}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08855-6\_22}, doi = {10.1007/978-3-319-08855-6\_22}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipmu/MedinaP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/PichlerS14, author = {Reinhard Pichler and Sebastian Skritek}, editor = {Richard Hull and Martin Grohe}, title = {Containment and equivalence of well-designed {SPARQL}}, booktitle = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014}, pages = {39--50}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2594538.2594542}, doi = {10.1145/2594538.2594542}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/PichlerS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/KolaitisPSS14, author = {Phokion G. Kolaitis and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, editor = {Richard Hull and Martin Grohe}, title = {Nested dependencies: structure and reasoning}, booktitle = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014}, pages = {176--187}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2594538.2594544}, doi = {10.1145/2594538.2594544}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/KolaitisPSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/PichlerS13, author = {Reinhard Pichler and Sebastian Skritek}, title = {Tractable counting of the answers to conjunctive queries}, journal = {J. Comput. Syst. Sci.}, volume = {79}, number = {6}, pages = {984--1001}, year = {2013}, url = {https://doi.org/10.1016/j.jcss.2013.01.012}, doi = {10.1016/J.JCSS.2013.01.012}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/PichlerS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/PichlerSS13, author = {Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, title = {Relaxed Notions of Schema Mapping Equivalence Revisited}, journal = {Theory Comput. Syst.}, volume = {52}, number = {3}, pages = {483--541}, year = {2013}, url = {https://doi.org/10.1007/s00224-012-9397-0}, doi = {10.1007/S00224-012-9397-0}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/PichlerSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/semweb/PichlerPSW13, author = {Reinhard Pichler and Axel Polleres and Sebastian Skritek and Stefan Woltran}, title = {Complexity of redundancy detection on {RDF} graphs in the presence of rules, constraints, and queries}, journal = {Semantic Web}, volume = {4}, number = {4}, pages = {351--393}, year = {2013}, url = {https://doi.org/10.3233/SW-2012-0076}, doi = {10.3233/SW-2012-0076}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/semweb/PichlerPSW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/Letelier0PS13, author = {Andr{\'{e}}s Letelier and Jorge P{\'{e}}rez and Reinhard Pichler and Sebastian Skritek}, title = {Static analysis and optimization of semantic web queries}, journal = {{ACM} Trans. Database Syst.}, volume = {38}, number = {4}, pages = {25}, year = {2013}, url = {https://doi.org/10.1145/2500130}, doi = {10.1145/2500130}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/Letelier0PS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/GuagliardoPS13, author = {Paolo Guagliardo and Reinhard Pichler and Emanuel Sallinger}, editor = {Loreto Bravo and Maurizio Lenzerini}, title = {Enhancing the Updatability of Projective Views}, booktitle = {Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1087}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1087/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/GuagliardoPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/HubmerPSS13, author = {Andreas Hubmer and Reinhard Pichler and Vadim Savenkov and Sebastian Skritek}, editor = {Loreto Bravo and Maurizio Lenzerini}, title = {Efficient Updates of Uncertain Databases}, booktitle = {Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1087}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1087/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/HubmerPSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bncod/SavenkovPK13, author = {Vadim Savenkov and Reinhard Pichler and Christoph Koch}, editor = {Georg Gottlob and Giovanni Grasso and Dan Olteanu and Christian Schallhart}, title = {Loop Elimination for Database Updates}, booktitle = {Big Data - 29th British National Conference on Databases, {BNCOD} 2013, Oxford, UK, July 8-10, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7968}, pages = {48--61}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39467-6\_8}, doi = {10.1007/978-3-642-39467-6\_8}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bncod/SavenkovPK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/CreignouPW13, author = {Nadia Creignou and Reinhard Pichler and Stefan Woltran}, editor = {Francesca Rossi}, title = {Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {824--831}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6622}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/CreignouPW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KroneggerPP13, author = {Martin Kronegger and Andreas Pfandler and Reinhard Pichler}, editor = {Francesca Rossi}, title = {Parameterized Complexity of Optimal Planning: {A} Detailed Map}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {954--961}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6830}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/KroneggerPP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpec/BliemPW13, author = {Bernhard Bliem and Reinhard Pichler and Stefan Woltran}, editor = {Gregory Z. Gutin and Stefan Szeider}, title = {Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem}, booktitle = {Parameterized and Exact Computation - 8th International Symposium, {IPEC} 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8246}, pages = {28--40}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03898-8\_4}, doi = {10.1007/978-3-319-03898-8\_4}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/iwpec/BliemPW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/DvorakPW12, author = {Wolfgang Dvor{\'{a}}k and Reinhard Pichler and Stefan Woltran}, title = {Towards fixed-parameter tractable algorithms for abstract argumentation}, journal = {Artif. Intell.}, volume = {186}, pages = {1--37}, year = {2012}, url = {https://doi.org/10.1016/j.artint.2012.03.005}, doi = {10.1016/J.ARTINT.2012.03.005}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/DvorakPW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/LetelierPPS12, author = {Andr{\'{e}}s Letelier and Jorge P{\'{e}}rez and Reinhard Pichler and Sebastian Skritek}, title = {{SPAM:} {A} {SPARQL} Analysis and Manipulation Tool}, journal = {Proc. {VLDB} Endow.}, volume = {5}, number = {12}, pages = {1958--1961}, year = {2012}, url = {http://vldb.org/pvldb/vol5/p1958\_andresletelier\_vldb2012.pdf}, doi = {10.14778/2367502.2367547}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/LetelierPPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/DustdarPST12, author = {Schahram Dustdar and Reinhard Pichler and Vadim Savenkov and Hong Linh Truong}, title = {Quality-aware service-oriented data integration: requirements, state of the art and open challenges}, journal = {{SIGMOD} Rec.}, volume = {41}, number = {1}, pages = {11--19}, year = {2012}, url = {https://doi.org/10.1145/2206869.2206873}, doi = {10.1145/2206869.2206873}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/DustdarPST12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/PerezPSS12, author = {Jorge P{\'{e}}rez and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, editor = {Juliana Freire and Dan Suciu}, title = {Union and Intersection of Schema Mappings}, booktitle = {Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, Ouro Preto, Brazil, June 27-30, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {866}, pages = {129--141}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-866/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/PerezPSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocoa/LacknerPRW12, author = {Martin Lackner and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Guohui Lin}, title = {Multicut on Graphs of Bounded Clique-Width}, booktitle = {Combinatorial Optimization and Applications - 6th International Conference, {COCOA} 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7402}, pages = {115--126}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31770-5\_11}, doi = {10.1007/978-3-642-31770-5\_11}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cocoa/LacknerPRW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/CreignouPPW12, author = {Nadia Creignou and Odile Papini and Reinhard Pichler and Stefan Woltran}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, title = {Belief Revision within Fragments of Propositional Logic}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012}, publisher = {{AAAI} Press}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4512}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/CreignouPPW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lion/MorakMPRW12, author = {Michael Morak and Nysret Musliu and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Youssef Hamadi and Marc Schoenauer}, title = {Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming}, booktitle = {Learning and Intelligent Optimization - 6th International Conference, {LION} 6, Paris, France, January 16-20, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7219}, pages = {130--144}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34413-8\_10}, doi = {10.1007/978-3-642-34413-8\_10}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/lion/MorakMPRW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/LetelierPPS12, author = {Andr{\'{e}}s Letelier and Jorge P{\'{e}}rez and Reinhard Pichler and Sebastian Skritek}, editor = {Michael Benedikt and Markus Kr{\"{o}}tzsch and Maurizio Lenzerini}, title = {Static analysis and optimization of semantic web queries}, booktitle = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA, May 20-24, 2012}, pages = {89--100}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2213556.2213572}, doi = {10.1145/2213556.2213572}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/LetelierPPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/datalog/2012, editor = {Pablo Barcel{\'{o}} and Reinhard Pichler}, title = {Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7494}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32925-8}, doi = {10.1007/978-3-642-32925-8}, isbn = {978-3-642-32924-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/datalog/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1204-3040, author = {Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Szeider and Stefan Woltran}, title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough}, journal = {CoRR}, volume = {abs/1204.3040}, year = {2012}, url = {http://arxiv.org/abs/1204.3040}, eprinttype = {arXiv}, eprint = {1204.3040}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1204-3040.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vldb/GottlobPS11, author = {Georg Gottlob and Reinhard Pichler and Vadim Savenkov}, title = {Normalization and optimization of schema mappings}, journal = {{VLDB} J.}, volume = {20}, number = {2}, pages = {277--302}, year = {2011}, url = {https://doi.org/10.1007/s00778-011-0226-x}, doi = {10.1007/S00778-011-0226-X}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vldb/GottlobPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/FeinererPSS11, author = {Ingo Feinerer and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, editor = {Pablo Barcel{\'{o}} and Val Tannen}, title = {On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies}, booktitle = {Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {749}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-749/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/FeinererPSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/PichlerS11, author = {Reinhard Pichler and Sebastian Skritek}, editor = {Pablo Barcel{\'{o}} and Val Tannen}, title = {Tractable Counting of the Answers to Conjunctive Queries}, booktitle = {Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {749}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-749/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/amw/PichlerS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bncod/AliPTD11, author = {Muhammad Intizar Ali and Reinhard Pichler and Hong Linh Truong and Schahram Dustdar}, editor = {Alvaro A. A. Fernandes and Alasdair J. G. Gray and Khalid Belhajjame}, title = {On Integrating Data Services Using Data Mashups}, booktitle = {Advances in Databases - 28th British National Conference on Databases, {BNCOD} 28, Manchester, UK, July 12-14, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7051}, pages = {132--135}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24577-0\_14}, doi = {10.1007/978-3-642-24577-0\_14}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bncod/AliPTD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/PichlerSS11, author = {Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov}, editor = {Tova Milo}, title = {Relaxed notions of schema mapping equivalence revisited}, booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings}, pages = {90--101}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1938551.1938566}, doi = {10.1145/1938551.1938566}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdt/PichlerSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/PichlerS11, author = {Reinhard Pichler and Sebastian Skritek}, editor = {Tova Milo}, title = {The complexity of evaluating tuple generating dependencies}, booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings}, pages = {244--255}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1938551.1938583}, doi = {10.1145/1938551.1938583}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/PichlerS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/AliPTD11, author = {Muhammad Intizar Ali and Reinhard Pichler and Hong Linh Truong and Schahram Dustdar}, editor = {Runtong Zhang and Jos{\'{e}} Cordeiro and Xuewei Li and Zhenji Zhang and Juliang Zhang}, title = {Data Concern Aware Querying for the Integration of Data Services}, booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 1, Beijing, China, 8-11 June, 2011}, pages = {111--119}, publisher = {SciTePress}, year = {2011}, timestamp = {Tue, 15 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iceis/AliPTD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/AliPTD11a, author = {Muhammad Intizar Ali and Reinhard Pichler and Hong Linh Truong and Schahram Dustdar}, editor = {Runtong Zhang and Juliang Zhang and Zhenji Zhang and Joaquim Filipe and Jos{\'{e}} Cordeiro}, title = {Incorporating Data Concerns into Query Languages for Data Services}, booktitle = {Enterprise Information Systems - 13th International Conference, {ICEIS} 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {102}, pages = {132--145}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29958-2\_9}, doi = {10.1007/978-3-642-29958-2\_9}, timestamp = {Sat, 19 Oct 2019 20:26:19 +0200}, biburl = {https://dblp.org/rec/conf/iceis/AliPTD11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/MorakMPRW11, author = {Michael Morak and Nysret Musliu and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, title = {A New Tree-Decomposition Based Algorithm for Answer Set Programming}, booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence, {ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011}, pages = {916--918}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICTAI.2011.154}, doi = {10.1109/ICTAI.2011.154}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/MorakMPRW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GottlobPW10, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, title = {Bounded treewidth as a key to tractability of knowledge representation and reasoning}, journal = {Artif. Intell.}, volume = {174}, number = {1}, pages = {105--132}, year = {2010}, url = {https://doi.org/10.1016/j.artint.2009.10.003}, doi = {10.1016/J.ARTINT.2009.10.003}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GottlobPW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/GottlobPW10, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, title = {Tractable database design and datalog abduction through bounded treewidth}, journal = {Inf. Syst.}, volume = {35}, number = {3}, pages = {278--298}, year = {2010}, url = {https://doi.org/10.1016/j.is.2009.09.003}, doi = {10.1016/J.IS.2009.09.003}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/is/GottlobPW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/HermannP10, author = {Miki Hermann and Reinhard Pichler}, title = {Counting complexity of propositional abduction}, journal = {J. Comput. Syst. Sci.}, volume = {76}, number = {7}, pages = {634--649}, year = {2010}, url = {https://doi.org/10.1016/j.jcss.2009.12.001}, doi = {10.1016/J.JCSS.2009.12.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/HermannP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/PichlerS10, author = {Reinhard Pichler and Vadim Savenkov}, title = {Towards practical feasibility of core computation in data exchange}, journal = {Theor. Comput. Sci.}, volume = {411}, number = {7-9}, pages = {935--957}, year = {2010}, url = {https://doi.org/10.1016/j.tcs.2009.09.035}, doi = {10.1016/J.TCS.2009.09.035}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/PichlerS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/GottlobPW10, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, title = {Monadic datalog over finite structures of bounded treewidth}, journal = {{ACM} Trans. Comput. Log.}, volume = {12}, number = {1}, pages = {3:1--3:48}, year = {2010}, url = {https://doi.org/10.1145/1838552.1838555}, doi = {10.1145/1838552.1838555}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/GottlobPW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/PichlerPSW10, author = {Reinhard Pichler and Axel Polleres and Sebastian Skritek and Stefan Woltran}, editor = {Alberto H. F. Laender and Laks V. S. Lakshmanan}, title = {Minimising {RDF} Graphs under Rules and Constraints Revisited}, booktitle = {Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, Buenos Aires, Argentina, May 17-20, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {619}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-619/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/PichlerPSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ciac/PichlerRW10, author = {Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Tiziana Calamoneri and Josep D{\'{\i}}az}, title = {Multicut Algorithms via Tree Decompositions}, booktitle = {Algorithms and Complexity, 7th International Conference, {CIAC} 2010, Rome, Italy, May 26-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6078}, pages = {167--179}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13073-1\_16}, doi = {10.1007/978-3-642-13073-1\_16}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ciac/PichlerRW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/datalog/Pichler10, author = {Reinhard Pichler}, editor = {Oege de Moor and Georg Gottlob and Tim Furche and Andrew Jon Sellers}, title = {Exploiting Bounded Treewidth with Datalog {(A} Survey)}, booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6702}, pages = {88--105}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-24206-9\_6}, doi = {10.1007/978-3-642-24206-9\_6}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/datalog/Pichler10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/PichlerW10, author = {Reinhard Pichler and Stefan Woltran}, editor = {Helder Coelho and Rudi Studer and Michael J. Wooldridge}, title = {The Complexity of Handling Minimal Solutions in Logic-Based Abduction}, booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, pages = {895--900}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-606-5-895}, doi = {10.3233/978-1-60750-606-5-895}, timestamp = {Fri, 26 Apr 2019 14:26:43 +0200}, biburl = {https://dblp.org/rec/conf/ecai/PichlerW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/MorakPRW10, author = {Michael Morak and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Tomi Janhunen and Ilkka Niemel{\"{a}}}, title = {A Dynamic-Programming Based ASP-Solver}, booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA} 2010, Helsinki, Finland, September 13-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6341}, pages = {369--372}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15675-5\_34}, doi = {10.1007/978-3-642-15675-5\_34}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/MorakPRW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/DvorakPW10, author = {Wolfgang Dvor{\'{a}}k and Reinhard Pichler and Stefan Woltran}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {Towards Fixed-Parameter Tractable Algorithms for Argumentation}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1331}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/DvorakPW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/PichlerRSW10, author = {Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Szeider and Stefan Woltran}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1368}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/PichlerRSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/PichlerRW10, author = {Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Counting and Enumeration Problems with Bounded Treewidth}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {387--404}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_22}, doi = {10.1007/978-3-642-17511-4\_22}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/PichlerRW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mud/PichlerSST10, author = {Reinhard Pichler and Vadim Savenkov and Sebastian Skritek and Hong Linh Truong}, editor = {Ander de Keijzer and Maurice van Keulen}, title = {Uncertain Databases in Collaborative Data Management}, booktitle = {Proceedings of the Fourth International {VLDB} workshop on Management of Uncertain Data {(MUD} 2010) in conjunction with {VLDB} 2010, Singapore, September 13, 2010}, series = {{CTIT} Workshop Proceedings Series}, volume = {{WP10-04}}, pages = {129--143}, publisher = {Centre for Telematics and Information Technology (CTIT), University of Twente, The Netherlands}, year = {2010}, url = {http://ewi1276.ewi.utwente.nl:3000/papers/MUD2010\_pichler.pdf}, timestamp = {Tue, 15 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mud/PichlerSST10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/PichlerPSW10, author = {Reinhard Pichler and Axel Polleres and Sebastian Skritek and Stefan Woltran}, editor = {Pascal Hitzler and Thomas Lukasiewicz}, title = {Redundancy Elimination on {RDF} Graphs in the Presence of Rules, Constraints, and Queries}, booktitle = {Web Reasoning and Rule Systems - Fourth International Conference, {RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6333}, pages = {133--148}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15918-3\_11}, doi = {10.1007/978-3-642-15918-3\_11}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/PichlerPSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/GottlobPS09, author = {Georg Gottlob and Reinhard Pichler and Vadim Savenkov}, title = {Normalization and Optimization of Schema Mappings}, journal = {Proc. {VLDB} Endow.}, volume = {2}, number = {1}, pages = {1102--1113}, year = {2009}, url = {http://www.vldb.org/pvldb/vol2/vldb09-923.pdf}, doi = {10.14778/1687627.1687751}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/GottlobPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/PichlerS09, author = {Reinhard Pichler and Vadim Savenkov}, title = {DEMo: Data Exchange Modeling Tool}, journal = {Proc. {VLDB} Endow.}, volume = {2}, number = {2}, pages = {1606--1609}, year = {2009}, url = {http://www.vldb.org/pvldb/vol2/vldb09-1043.pdf}, doi = {10.14778/1687553.1687603}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/PichlerS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HermannP09, author = {Miki Hermann and Reinhard Pichler}, title = {Complexity of counting the optimal solutions}, journal = {Theor. Comput. Sci.}, volume = {410}, number = {38-40}, pages = {3814--3825}, year = {2009}, url = {https://doi.org/10.1016/j.tcs.2009.05.025}, doi = {10.1016/J.TCS.2009.05.025}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HermannP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/AliPTD09, author = {Muhammad Intizar Ali and Reinhard Pichler and Hong Linh Truong and Schahram Dustdar}, editor = {Joaquim Filipe and Jos{\'{e}} Cordeiro}, title = {DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources}, booktitle = {Enterprise Information Systems, 11th International Conference, {ICEIS} 2009, Milan, Italy, May 6-10, 2009. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {24}, pages = {172--183}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01347-8\_15}, doi = {10.1007/978-3-642-01347-8\_15}, timestamp = {Tue, 16 Aug 2022 23:04:29 +0200}, biburl = {https://dblp.org/rec/conf/iceis/AliPTD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icwe/AliPTD09, author = {Muhammad Intizar Ali and Reinhard Pichler and Hong Linh Truong and Schahram Dustdar}, editor = {Martin Gaedke and Michael Grossniklaus and Oscar D{\'{\i}}az}, title = {On Using Distributed Extended XQuery for Web Data Sources as Services}, booktitle = {Web Engineering, 9th International Conference, {ICWE} 2009, San Sebasti{\'{a}}n, Spain, June 24-26, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5648}, pages = {497--500}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02818-2\_47}, doi = {10.1007/978-3-642-02818-2\_47}, timestamp = {Sat, 09 Apr 2022 12:43:15 +0200}, biburl = {https://dblp.org/rec/conf/icwe/AliPTD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/JaklPW09, author = {Michael Jakl and Reinhard Pichler and Stefan Woltran}, editor = {Craig Boutilier}, title = {Answer-Set Programming with Bounded Treewidth}, booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, pages = {816--822}, year = {2009}, url = {http://ijcai.org/Proceedings/09/Papers/140.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:40 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/JaklPW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/PichlerRW09, author = {Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {Belief Revision with Bounded Treewidth}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {250--263}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_22}, doi = {10.1007/978-3-642-04238-6\_22}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/PichlerRW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/DvorakGPW09, author = {Wolfgang Dvor{\'{a}}k and Georg Gottlob and Reinhard Pichler and Stefan Woltran}, editor = {Ant{\'{o}}nio Porto and Francisco Javier L{\'{o}}pez{-}Fraguas}, title = {Alternation as a programming paradigm}, booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal}, pages = {61--72}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1599410.1599419}, doi = {10.1145/1599410.1599419}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/DvorakGPW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GottlobPW08, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, editor = {Dieter Fox and Carla P. Gomes}, title = {Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation}, booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008}, pages = {1541--1546}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/AAAI/2008/aaai08-258.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GottlobPW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocoon/HermannP08, author = {Miki Hermann and Reinhard Pichler}, editor = {Xiaodong Hu and Jie Wang}, title = {Complexity of Counting the Optimal Solutions}, booktitle = {Computing and Combinatorics, 14th Annual International Conference, {COCOON} 2008, Dalian, China, June 27-29, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5092}, pages = {149--159}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69733-6\_16}, doi = {10.1007/978-3-540-69733-6\_16}, timestamp = {Tue, 10 Dec 2019 14:59:33 +0100}, biburl = {https://dblp.org/rec/conf/cocoon/HermannP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/PichlerPWW08, author = {Reinhard Pichler and Axel Polleres and Fang Wei and Stefan Woltran}, editor = {Sean Bechhofer and Manfred Hauswirth and J{\"{o}}rg Hoffmann and Manolis Koubarakis}, title = {dRDF: Entailment for Domain-Restricted {RDF}}, booktitle = {The Semantic Web: Research and Applications, 5th European Semantic Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5021}, pages = {200--214}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68234-9\_17}, doi = {10.1007/978-3-540-68234-9\_17}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/esws/PichlerPWW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/HermannP08, author = {Miki Hermann and Reinhard Pichler}, editor = {Steffen H{\"{o}}lldobler and Carsten Lutz and Heinrich Wansing}, title = {Counting Complexity of Minimal Cardinality and Minimal Weight Abduction}, booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA} 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5293}, pages = {206--218}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87803-2\_18}, doi = {10.1007/978-3-540-87803-2\_18}, timestamp = {Tue, 29 Dec 2020 18:34:12 +0100}, biburl = {https://dblp.org/rec/conf/jelia/HermannP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/PichlerS08, author = {Reinhard Pichler and Vadim Savenkov}, editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov}, title = {Towards Practical Feasibility of Core Computation in Data Exchange}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, {LPAR} 2008, Doha, Qatar, November 22-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5330}, pages = {62--78}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89439-1\_5}, doi = {10.1007/978-3-540-89439-1\_5}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/PichlerS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/JaklPRW08, author = {Michael Jakl and Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov}, title = {Fast Counting with Bounded Treewidth}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, {LPAR} 2008, Doha, Qatar, November 22-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5330}, pages = {436--450}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89439-1\_31}, doi = {10.1007/978-3-540-89439-1\_31}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/JaklPRW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0809-3140, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, title = {Monadic Datalog over Finite Structures with Bounded Treewidth}, journal = {CoRR}, volume = {abs/0809.3140}, year = {2008}, url = {http://arxiv.org/abs/0809.3140}, eprinttype = {arXiv}, eprint = {0809.3140}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0809-3140.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eccc/HermannP08, author = {Miki Hermann and Reinhard Pichler}, title = {Complexity of Counting the Optimal Solutions}, journal = {Electron. Colloquium Comput. Complex.}, volume = {{TR08-044}}, year = {2008}, url = {https://eccc.weizmann.ac.il/eccc-reports/2008/TR08-044/index.html}, eprinttype = {ECCC}, eprint = {TR08-044}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eccc/HermannP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/FermullerP07, author = {Christian G. Ferm{\"{u}}ller and Reinhard Pichler}, title = {Model Representation over Finite and Infinite Signatures}, journal = {J. Log. Comput.}, volume = {17}, number = {3}, pages = {453--477}, year = {2007}, url = {https://doi.org/10.1093/logcom/exm008}, doi = {10.1093/LOGCOM/EXM008}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/FermullerP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GottlobPW07, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, title = {Efficient Datalog Abduction through Bounded Treewidth}, booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}, pages = {1626--1631}, publisher = {{AAAI} Press}, year = {2007}, url = {http://www.aaai.org/Library/AAAI/2007/aaai07-260.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GottlobPW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/HermannP07, author = {Miki Hermann and Reinhard Pichler}, editor = {Manuela M. Veloso}, title = {Counting Complexity of Propositional Abduction}, booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, pages = {417--422}, year = {2007}, url = {http://ijcai.org/Proceedings/07/Papers/065.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:11 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/HermannP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/FinkPTW07, author = {Michael Fink and Reinhard Pichler and Hans Tompits and Stefan Woltran}, editor = {Chitta Baral and Gerhard Brewka and John S. Schlipf}, title = {Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference, {LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4483}, pages = {123--135}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72200-7\_12}, doi = {10.1007/978-3-540-72200-7\_12}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/FinkPTW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/GottlobPW07, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, editor = {Leonid Libkin}, title = {Monadic datalog over finite structures with bounded treewidth}, booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China}, pages = {165--174}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1265530.1265554}, doi = {10.1145/1265530.1265554}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/GottlobPW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/BryEEFGLLPW07, author = {Fran{\c{c}}ois Bry and Norbert Eisinger and Thomas Eiter and Tim Furche and Georg Gottlob and Clemens Ley and Benedikt Linse and Reinhard Pichler and Fang Wei}, editor = {Grigoris Antoniou and Uwe A{\ss}mann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula{-}Lavinia Patranjan and Robert Tolksdorf}, title = {Foundations of Rule-Based Query Answering}, booktitle = {Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {4636}, pages = {1--153}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74615-7\_1}, doi = {10.1007/978-3-540-74615-7\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rweb/BryEEFGLLPW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GottlobPW06, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, title = {Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning}, booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, {USA}}, pages = {250--256}, publisher = {{AAAI} Press}, year = {2006}, url = {http://www.aaai.org/Library/AAAI/2006/aaai06-040.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GottlobPW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/FermullerP06, author = {Christian G. Ferm{\"{u}}ller and Reinhard Pichler}, editor = {Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa}, title = {Model Representation over Finite and Infinite Signatures}, booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA} 2006, Liverpool, UK, September 13-15, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4160}, pages = {164--176}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11853886\_15}, doi = {10.1007/11853886\_15}, timestamp = {Fri, 03 Jun 2022 08:18:13 +0200}, biburl = {https://dblp.org/rec/conf/jelia/FermullerP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/GottlobPW06, author = {Georg Gottlob and Reinhard Pichler and Fang Wei}, editor = {Stijn Vansummeren}, title = {Tractable database design through bounded treewidth}, booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, {USA}}, pages = {124--133}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1142351.1142370}, doi = {10.1145/1142351.1142370}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/GottlobPW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wlp/Pichler06, author = {Reinhard Pichler}, editor = {Michael Fink and Hans Tompits and Stefan Woltran}, title = {Algorithmic Aspects of Model Representations}, booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006}, series = {{INFSYS} Research Report}, volume = {1843-06-02}, pages = {12--20}, publisher = {Technische Universit{\"{a}}t Wien, Austria}, year = {2006}, url = {http://www.kr.tuwien.ac.at/wlp06/I02-final.ps.gz}, timestamp = {Thu, 16 Nov 2017 07:57:26 +0100}, biburl = {https://dblp.org/rec/conf/wlp/Pichler06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/EglyPW05, author = {Uwe Egly and Reinhard Pichler and Stefan Woltran}, title = {On deciding subsumption problems}, journal = {Ann. Math. Artif. Intell.}, volume = {43}, number = {1}, pages = {255--294}, year = {2005}, url = {https://doi.org/10.1007/s10472-005-0434-4}, doi = {10.1007/S10472-005-0434-4}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/EglyPW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/GottlobKPS05, author = {Georg Gottlob and Christoph Koch and Reinhard Pichler and Luc Segoufin}, title = {The complexity of XPath query evaluation and {XML} typing}, journal = {J. {ACM}}, volume = {52}, number = {2}, pages = {284--335}, year = {2005}, url = {https://doi.org/10.1145/1059513.1059520}, doi = {10.1145/1059513.1059520}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/GottlobKPS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/GottlobKP05, author = {Georg Gottlob and Christoph Koch and Reinhard Pichler}, title = {Efficient algorithms for processing XPath queries}, journal = {{ACM} Trans. Database Syst.}, volume = {30}, number = {2}, pages = {444--491}, year = {2005}, url = {https://doi.org/10.1145/1071610.1071614}, doi = {10.1145/1071610.1071614}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/GottlobKP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/FermullerP05, author = {Christian G. Ferm{\"{u}}ller and Reinhard Pichler}, editor = {Robert Nieuwenhuis}, title = {Model Representation via Contexts and Implicit Generalizations}, booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3632}, pages = {409--423}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11532231\_30}, doi = {10.1007/11532231\_30}, timestamp = {Sun, 02 Oct 2022 15:55:55 +0200}, biburl = {https://dblp.org/rec/conf/cade/FermullerP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/GottlobP04, author = {Georg Gottlob and Reinhard Pichler}, title = {Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width}, journal = {{SIAM} J. Comput.}, volume = {33}, number = {2}, pages = {351--378}, year = {2004}, url = {https://doi.org/10.1137/S0097539701396807}, doi = {10.1137/S0097539701396807}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/GottlobP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/Pichler03, author = {Reinhard Pichler}, title = {On the complexity of equational problems in {CNF}}, journal = {J. Symb. Comput.}, volume = {36}, number = {1-2}, pages = {235--269}, year = {2003}, url = {https://doi.org/10.1016/S0747-7171(03)00029-4}, doi = {10.1016/S0747-7171(03)00029-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Pichler03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/GottlobKP03, author = {Georg Gottlob and Christoph Koch and Reinhard Pichler}, title = {XPath Processing in a Nutshell}, journal = {{SIGMOD} Rec.}, volume = {32}, number = {1}, pages = {12--19}, year = {2003}, url = {https://doi.org/10.1145/640990.640992}, doi = {10.1145/640990.640992}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/GottlobKP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/GottlobKP03a, author = {Georg Gottlob and Christoph Koch and Reinhard Pichler}, title = {XPath processing in a nutshell}, journal = {{SIGMOD} Rec.}, volume = {32}, number = {2}, pages = {21--27}, year = {2003}, url = {https://doi.org/10.1145/776985.776988}, doi = {10.1145/776985.776988}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/GottlobKP03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Pichler03, author = {Reinhard Pichler}, title = {Explicit versus implicit representations of subsets of the Herbrand universe}, journal = {Theor. Comput. Sci.}, volume = {290}, number = {1}, pages = {1021--1056}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(02)00583-2}, doi = {10.1016/S0304-3975(02)00583-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Pichler03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icde/GottlobKP03, author = {Georg Gottlob and Christoph Koch and Reinhard Pichler}, editor = {Umeshwar Dayal and Krithi Ramamritham and T. M. Vijayaraman}, title = {XPath Query Evaluation: Improving Time and Space Efficiency}, booktitle = {Proceedings of the 19th International Conference on Data Engineering, March 5-8, 2003, Bangalore, India}, pages = {379--390}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ICDE.2003.1260807}, doi = {10.1109/ICDE.2003.1260807}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icde/GottlobKP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/GottlobKP03, author = {Georg Gottlob and Christoph Koch and Reinhard Pichler}, editor = {Frank Neven and Catriel Beeri and Tova Milo}, title = {The complexity of XPath query evaluation}, booktitle = {Proceedings of the Twenty-Second {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, {USA}}, pages = {179--190}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/773153.773171}, doi = {10.1145/773153.773171}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/GottlobKP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GramlichP02, author = {Bernhard Gramlich and Reinhard Pichler}, editor = {Andrei Voronkov}, title = {Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations}, booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2392}, pages = {241--259}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45620-1\_20}, doi = {10.1007/3-540-45620-1\_20}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/GramlichP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/GottlobKP02, author = {Georg Gottlob and Christoph Koch and Reinhard Pichler}, title = {Efficient Algorithms for Processing XPath Queries}, booktitle = {Proceedings of 28th International Conference on Very Large Data Bases, {VLDB} 2002, Hong Kong, August 20-23, 2002}, pages = {95--106}, publisher = {Morgan Kaufmann}, year = {2002}, url = {http://www.vldb.org/conf/2002/S04P02.pdf}, doi = {10.1016/B978-155860869-6/50017-2}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vldb/GottlobKP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GottlobP01, author = {Georg Gottlob and Reinhard Pichler}, title = {Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models}, journal = {Inf. Comput.}, volume = {165}, number = {2}, pages = {183--207}, year = {2001}, url = {https://doi.org/10.1006/inco.2000.2915}, doi = {10.1006/INCO.2000.2915}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GottlobP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GottlobP01, author = {Georg Gottlob and Reinhard Pichler}, editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen}, title = {Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width}, booktitle = {Automata, Languages and Programming, 28th International Colloquium, {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2076}, pages = {708--719}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48224-5\_58}, doi = {10.1007/3-540-48224-5\_58}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GottlobP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/Pichler00, author = {Reinhard Pichler}, title = {Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria}, journal = {J. Symb. Comput.}, volume = {29}, number = {2}, pages = {213--257}, year = {2000}, url = {https://doi.org/10.1006/jsco.1999.0361}, doi = {10.1006/JSCO.1999.0361}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Pichler00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Pichler00, author = {Reinhard Pichler}, editor = {Ugo Montanari and Jos{\'{e}} D. P. Rolim and Emo Welzl}, title = {Negation Elimination from Simple Equational Formulae}, booktitle = {Automata, Languages and Programming, 27th International Colloquium, {ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1853}, pages = {612--623}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45022-X\_52}, doi = {10.1007/3-540-45022-X\_52}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Pichler00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Pichler00, author = {Reinhard Pichler}, editor = {Leo Bachmair}, title = {The Explicit Representability of Implicit Generalizations}, booktitle = {Rewriting Techniques and Applications, 11th International Conference, {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1833}, pages = {187--202}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10721975\_13}, doi = {10.1007/10721975\_13}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Pichler00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Pichler99, author = {Reinhard Pichler}, editor = {Harald Ganzinger}, title = {Solving Equational Problems Efficiently}, booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1632}, pages = {97--111}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48660-7\_7}, doi = {10.1007/3-540-48660-7\_7}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Pichler99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/GottlobP99, author = {Georg Gottlob and Reinhard Pichler}, title = {Working with Arms: Complexity Results on Atomic Representations of Herbrand Models}, booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999}, pages = {306--315}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/LICS.1999.782625}, doi = {10.1109/LICS.1999.782625}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/GottlobP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Pichler98, author = {Reinhard Pichler}, editor = {Georg Gottlob and Etienne Grandjean and Katrin Seyr}, title = {On the Complexity of H-Subsumption}, booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1584}, pages = {355--371}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10703163\_24}, doi = {10.1007/10703163\_24}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/Pichler98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftp/Pichler98, author = {Reinhard Pichler}, editor = {Ricardo Caferra and Gernot Salzer}, title = {Extending Decidable Clause Classes via Constraints}, booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1761}, pages = {206--220}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-46508-1\_14}, doi = {10.1007/3-540-46508-1\_14}, timestamp = {Mon, 05 Feb 2024 20:35:45 +0100}, biburl = {https://dblp.org/rec/conf/ftp/Pichler98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftp/Pichler98a, author = {Reinhard Pichler}, editor = {Ricardo Caferra and Gernot Salzer}, title = {Completeness and Redundancy in Constrained Clause Logic}, booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1761}, pages = {221--235}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-46508-1\_15}, doi = {10.1007/3-540-46508-1\_15}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ftp/Pichler98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Pichler98, author = {Reinhard Pichler}, editor = {J{\"{u}}rgen Dix and Luis Fari{\~{n}}as del Cerro and Ulrich Furbach}, title = {Algorithms on Atomic Representations of Herbrand Models}, booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1489}, pages = {199--215}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49545-2\_14}, doi = {10.1007/3-540-49545-2\_14}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Pichler98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.