Published in: TGDK, Volume 3, Issue 3 (2025). Transactions on Graph Data and Knowledge, Volume 3, Issue 3
Shqiponja Ahmetaj, Robert David, Axel Polleres, and Mantas Šimkus. A Logic Programming Approach to Repairing SHACL Constraint Violations. In Transactions on Graph Data and Knowledge (TGDK), Volume 3, Issue 3, pp. 1:1-1:36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Article{ahmetaj_et_al:TGDK.3.3.1,
author = {Ahmetaj, Shqiponja and David, Robert and Polleres, Axel and \v{S}imkus, Mantas},
title = {{A Logic Programming Approach to Repairing SHACL Constraint Violations}},
journal = {Transactions on Graph Data and Knowledge},
pages = {1:1--1:36},
ISSN = {2942-7517},
year = {2025},
volume = {3},
number = {3},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.3.3.1},
URN = {urn:nbn:de:0030-drops-252124},
doi = {10.4230/TGDK.3.3.1},
annote = {Keywords: SHACL, Shapes Constraint Language, Database Repairs, Knowledge Graphs, Semantic Web, Answer Set Programming}
}
Published in: OASIcs, Volume 138, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025)
Camille Bourgaux. Inconsistency-Tolerant Semantics Based on (Preferred) Repairs (Invited Paper). In Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025). Open Access Series in Informatics (OASIcs), Volume 138, pp. 5:1-5:67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bourgaux:OASIcs.RW.2024/2025.5,
author = {Bourgaux, Camille},
title = {{Inconsistency-Tolerant Semantics Based on (Preferred) Repairs}},
booktitle = {Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 \& RW 2025)},
pages = {5:1--5:67},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-405-5},
ISSN = {2190-6807},
year = {2025},
volume = {138},
editor = {Artale, Alessandro and Bienvenu, Meghyn and Garc{\'\i}a, Yazm{\'\i}n Ib\'{a}\~{n}ez and Murlak, Filip},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.RW.2024/2025.5},
URN = {urn:nbn:de:0030-drops-250504},
doi = {10.4230/OASIcs.RW.2024/2025.5},
annote = {Keywords: Knowledge bases, databases, inconsistency handling, repairs, preferences}
}
Published in: LIPIcs, Volume 345, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)
Jingyang Zhao and Mingyu Xiao. Improved Approximation Algorithms for Capacitated Vehicle Routing with Fixed Capacity. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 93:1-93:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{zhao_et_al:LIPIcs.MFCS.2025.93,
author = {Zhao, Jingyang and Xiao, Mingyu},
title = {{Improved Approximation Algorithms for Capacitated Vehicle Routing with Fixed Capacity}},
booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)},
pages = {93:1--93:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-388-1},
ISSN = {1868-8969},
year = {2025},
volume = {345},
editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.93},
URN = {urn:nbn:de:0030-drops-242008},
doi = {10.4230/LIPIcs.MFCS.2025.93},
annote = {Keywords: Combinatorial Optimization, Capacitated Vehicle Routing, Approximation Algorithms, Graph Algorithms}
}
Published in: LIPIcs, Volume 328, 28th International Conference on Database Theory (ICDT 2025)
Batya Kenig and Dan Shlomo Mizrahi. Enumeration of Minimal Hitting Sets Parameterized by Treewidth. In 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 328, pp. 8:1-8:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kenig_et_al:LIPIcs.ICDT.2025.8,
author = {Kenig, Batya and Mizrahi, Dan Shlomo},
title = {{Enumeration of Minimal Hitting Sets Parameterized by Treewidth}},
booktitle = {28th International Conference on Database Theory (ICDT 2025)},
pages = {8:1--8:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-364-5},
ISSN = {1868-8969},
year = {2025},
volume = {328},
editor = {Roy, Sudeepa and Kara, Ahmet},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2025.8},
URN = {urn:nbn:de:0030-drops-229498},
doi = {10.4230/LIPIcs.ICDT.2025.8},
annote = {Keywords: Enumeration, Hitting sets}
}
Published in: LIPIcs, Volume 328, 28th International Conference on Database Theory (ICDT 2025)
Youri Kaminsky, Benny Kimelfeld, Ester Livshits, Felix Naumann, and David Wajc. Repairing Databases over Metric Spaces with Coincidence Constraints. In 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 328, pp. 14:1-14:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kaminsky_et_al:LIPIcs.ICDT.2025.14,
author = {Kaminsky, Youri and Kimelfeld, Benny and Livshits, Ester and Naumann, Felix and Wajc, David},
title = {{Repairing Databases over Metric Spaces with Coincidence Constraints}},
booktitle = {28th International Conference on Database Theory (ICDT 2025)},
pages = {14:1--14:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-364-5},
ISSN = {1868-8969},
year = {2025},
volume = {328},
editor = {Roy, Sudeepa and Kara, Ahmet},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2025.14},
URN = {urn:nbn:de:0030-drops-229554},
doi = {10.4230/LIPIcs.ICDT.2025.14},
annote = {Keywords: Database repairs, metric spaces, coincidence constraints, inclusion constraints, foreign-key constraints}
}
Published in: LIPIcs, Volume 327, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)
Noam Touitou. Nearly-Optimal Algorithm for Non-Clairvoyant Service with Delay. In 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 327, pp. 74:1-74:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{touitou:LIPIcs.STACS.2025.74,
author = {Touitou, Noam},
title = {{Nearly-Optimal Algorithm for Non-Clairvoyant Service with Delay}},
booktitle = {42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)},
pages = {74:1--74:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-365-2},
ISSN = {1868-8969},
year = {2025},
volume = {327},
editor = {Beyersdorff, Olaf and Pilipczuk, Micha{\l} and Pimentel, Elaine and Thắng, Nguy\~{ê}n Kim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.74},
URN = {urn:nbn:de:0030-drops-228995},
doi = {10.4230/LIPIcs.STACS.2025.74},
annote = {Keywords: Online, Delay, Deadlines, k-server, Non-clairvoyant}
}
Published in: LIPIcs, Volume 245, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022)
Marcin Bienkowski, Martin Böhm, Jarosław Byrka, and Jan Marcinkowski. Online Facility Location with Linear Delay. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 245, pp. 45:1-45:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{bienkowski_et_al:LIPIcs.APPROX/RANDOM.2022.45,
author = {Bienkowski, Marcin and B\"{o}hm, Martin and Byrka, Jaros{\l}aw and Marcinkowski, Jan},
title = {{Online Facility Location with Linear Delay}},
booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022)},
pages = {45:1--45:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-249-5},
ISSN = {1868-8969},
year = {2022},
volume = {245},
editor = {Chakrabarti, Amit and Swamy, Chaitanya},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX/RANDOM.2022.45},
URN = {urn:nbn:de:0030-drops-171678},
doi = {10.4230/LIPIcs.APPROX/RANDOM.2022.45},
annote = {Keywords: online facility location, network design problems, facility location with delay, JMS algorithm, competitive analysis, factor revealing LP}
}
Published in: LIPIcs, Volume 144, 27th Annual European Symposium on Algorithms (ESA 2019)
Marek Adamczyk, Jarosław Byrka, Jan Marcinkowski, Syed M. Meesum, and Michał Włodarczyk. Constant-Factor FPT Approximation for Capacitated k-Median. In 27th Annual European Symposium on Algorithms (ESA 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 144, pp. 1:1-1:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{adamczyk_et_al:LIPIcs.ESA.2019.1,
author = {Adamczyk, Marek and Byrka, Jaros{\l}aw and Marcinkowski, Jan and Meesum, Syed M. and W{\l}odarczyk, Micha{\l}},
title = {{Constant-Factor FPT Approximation for Capacitated k-Median}},
booktitle = {27th Annual European Symposium on Algorithms (ESA 2019)},
pages = {1:1--1:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-124-5},
ISSN = {1868-8969},
year = {2019},
volume = {144},
editor = {Bender, Michael A. and Svensson, Ola and Herman, Grzegorz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2019.1},
URN = {urn:nbn:de:0030-drops-111225},
doi = {10.4230/LIPIcs.ESA.2019.1},
annote = {Keywords: K-median, Clustering, Approximation Algorithms, Fixed Parameter Tractability}
}