BibTeX records: Reinhard Pichler

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics