Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Balder ten Cate
@article{DBLP:journals/ipl/CateFJL24,
author = {Balder ten Cate and
Maurice Funk and
Jean Christoph Jung and
Carsten Lutz},
title = {On the non-efficient {PAC} learnability of conjunctive queries},
journal = {Inf. Process. Lett.},
volume = {183},
pages = {106431},
year = {2024},
url = {https://doi.org/10.1016/j.ipl.2023.106431},
doi = {10.1016/J.IPL.2023.106431},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/CateFJL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Cate24,
author = {Balder ten Cate},
editor = {Aniello Murano and
Alexandra Silva},
title = {Craig Interpolation for Decidable Fragments of First-Order Logic (Invited
Talk)},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {2:1--2:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.2},
doi = {10.4230/LIPICS.CSL.2024.2},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/Cate24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CateC24,
author = {Balder ten Cate and
Jesse Comer},
editor = {Naoki Kobayashi and
James Worrell},
title = {Craig Interpolation for Decidable First-Order Fragments},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14575},
pages = {137--159},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57231-9\_7},
doi = {10.1007/978-3-031-57231-9\_7},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CateC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateDKW24,
author = {Balder ten Cate and
Victor Dalmau and
Phokion G. Kolaitis and
Wei{-}Lin Wu},
editor = {Graham Cormode and
Michael Shekelyan},
title = {When Do Homomorphism Counts Help in Query Algorithms?},
booktitle = {27th International Conference on Database Theory, {ICDT} 2024, March
25-28, 2024, Paestum, Italy},
series = {LIPIcs},
volume = {290},
pages = {8:1--8:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2024.8},
doi = {10.4230/LIPICS.ICDT.2024.8},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CateDKW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateDO24,
author = {Balder ten Cate and
V{\'{\i}}ctor Dalmau and
Jakub Oprsal},
editor = {Graham Cormode and
Michael Shekelyan},
title = {Right-Adjoints for Datalog Programs},
booktitle = {27th International Conference on Database Theory, {ICDT} 2024, March
25-28, 2024, Paestum, Italy},
series = {LIPIcs},
volume = {290},
pages = {10:1--10:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2024.10},
doi = {10.4230/LIPICS.ICDT.2024.10},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CateDO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/CateFJL23,
author = {Balder ten Cate and
Maurice Funk and
Jean Christoph Jung and
Carsten Lutz},
title = {Fitting Algorithms for Conjunctive Queries},
journal = {{SIGMOD} Rec.},
volume = {52},
number = {4},
pages = {6--18},
year = {2023},
url = {https://doi.org/10.1145/3641832.3641834},
doi = {10.1145/3641832.3641834},
timestamp = {Fri, 23 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/CateFJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CateFJL23,
author = {Balder ten Cate and
Maurice Funk and
Jean Christoph Jung and
Carsten Lutz},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {SAT-based {PAC} Learning of Description Logic Concepts (Extended Abstract)},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/abstract-9.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/CateFJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CateFJL23,
author = {Balder ten Cate and
Maurice Funk and
Jean Christoph Jung and
Carsten Lutz},
title = {SAT-Based {PAC} Learning of Description Logic Concepts},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3347--3355},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/373},
doi = {10.24963/IJCAI.2023/373},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CateFJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CateDFL23,
author = {Balder ten Cate and
Victor Dalmau and
Maurice Funk and
Carsten Lutz},
editor = {Floris Geerts and
Hung Q. Ngo and
Stavros Sintos},
title = {Extremal Fitting Problems for Conjunctive Queries},
booktitle = {Proceedings of the 42nd {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2023, Seattle, WA, USA, June 18-23, 2023},
pages = {89--98},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584372.3588655},
doi = {10.1145/3584372.3588655},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CateDFL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06366,
author = {Balder ten Cate and
V{\'{\i}}ctor Dalmau and
Jakub Oprsal},
title = {Right-Adjoints for Datalog Programs, and Homomorphism Dualities over
Restricted Classes},
journal = {CoRR},
volume = {abs/2302.06366},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06366},
doi = {10.48550/ARXIV.2302.06366},
eprinttype = {arXiv},
eprint = {2302.06366},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-06294,
author = {Balder ten Cate and
V{\'{\i}}ctor Dalmau and
Phokion G. Kolaitis and
Wei{-}Lin Wu},
title = {When do homomorphism counts help in query algorithms?},
journal = {CoRR},
volume = {abs/2304.06294},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.06294},
doi = {10.48550/ARXIV.2304.06294},
eprinttype = {arXiv},
eprint = {2304.06294},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06294.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-06646,
author = {Balder ten Cate and
Raoul Koudijs},
title = {Characterising Modal Formulas with Examples},
journal = {CoRR},
volume = {abs/2304.06646},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.06646},
doi = {10.48550/ARXIV.2304.06646},
eprinttype = {arXiv},
eprint = {2304.06646},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-08086,
author = {Balder ten Cate and
Jesse Comer},
title = {Craig Interpolation for Guarded Fragments},
journal = {CoRR},
volume = {abs/2304.08086},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.08086},
doi = {10.48550/ARXIV.2304.08086},
eprinttype = {arXiv},
eprint = {2304.08086},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04656,
author = {Bart Bogaerts and
Balder ten Cate and
Brett McLean and
Jan Van den Bussche},
title = {Preservation theorems for Tarski's relation algebra},
journal = {CoRR},
volume = {abs/2305.04656},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04656},
doi = {10.48550/ARXIV.2305.04656},
eprinttype = {arXiv},
eprint = {2305.04656},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08511,
author = {Balder ten Cate and
Maurice Funk and
Jean Christoph Jung and
Carsten Lutz},
title = {SAT-Based {PAC} Learning of Description Logic Concepts},
journal = {CoRR},
volume = {abs/2305.08511},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08511},
doi = {10.48550/ARXIV.2305.08511},
eprinttype = {arXiv},
eprint = {2305.08511},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-08689,
author = {Balder ten Cate and
Jesse Comer},
title = {Craig Interpolation for Decidable First-Order Fragments},
journal = {CoRR},
volume = {abs/2310.08689},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.08689},
doi = {10.48550/ARXIV.2310.08689},
eprinttype = {arXiv},
eprint = {2310.08689},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-08689.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-03407,
author = {Balder ten Cate and
Maurice Funk and
Jean Christoph Jung and
Carsten Lutz},
title = {Extremal Fitting CQs do not Generalize},
journal = {CoRR},
volume = {abs/2312.03407},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.03407},
doi = {10.48550/ARXIV.2312.03407},
eprinttype = {arXiv},
eprint = {2312.03407},
timestamp = {Mon, 01 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-03407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/CateD22,
author = {Balder ten Cate and
Victor Dalmau},
title = {Conjunctive Queries: Unique Characterizations and Exact Learnability},
journal = {{ACM} Trans. Database Syst.},
volume = {47},
number = {4},
pages = {14:1--14:41},
year = {2022},
url = {https://doi.org/10.1145/3559756},
doi = {10.1145/3559756},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/CateD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/CateKB22,
author = {Balder ten Cate and
Raoul Koudijs and
Johan van Benthem},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Local Dependence and Guarding},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {135--154},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/12-vanBenthem-tenCate-Koudijs.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/CateKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-05080,
author = {Balder ten Cate and
Victor Dalmau and
Maurice Funk and
Carsten Lutz},
title = {Extremal Fitting Problems for Conjunctive Queries},
journal = {CoRR},
volume = {abs/2206.05080},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.05080},
doi = {10.48550/ARXIV.2206.05080},
eprinttype = {arXiv},
eprint = {2206.05080},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-05080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06046,
author = {Johan van Benthem and
Balder ten Cate and
Raoul Koudijs},
title = {Local Dependence and Guarding},
journal = {CoRR},
volume = {abs/2206.06046},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06046},
doi = {10.48550/ARXIV.2206.06046},
eprinttype = {arXiv},
eprint = {2206.06046},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06049,
author = {Balder ten Cate and
Raoul Koudijs},
title = {Characterising Modal Formulas with Examples},
journal = {CoRR},
volume = {abs/2206.06049},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06049},
doi = {10.48550/ARXIV.2206.06049},
eprinttype = {arXiv},
eprint = {2206.06049},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-10255,
author = {Balder ten Cate and
Maurice Funk and
Jean Christoph Jung and
Carsten Lutz},
title = {On the non-efficient {PAC} learnability of acyclic conjunctive queries},
journal = {CoRR},
volume = {abs/2208.10255},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.10255},
doi = {10.48550/ARXIV.2208.10255},
eprinttype = {arXiv},
eprint = {2208.10255},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-10255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BenediktBCPB21,
author = {Michael Benedikt and
Pierre Bourhis and
Balder ten Cate and
Gabriele Puppis and
Michael {Vanden Boom}},
title = {Inference from Visible Information and Background Knowledge},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {2},
pages = {13:1--13:69},
year = {2021},
url = {https://doi.org/10.1145/3452919},
doi = {10.1145/3452919},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BenediktBCPB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateD21,
author = {Balder ten Cate and
Victor Dalmau},
editor = {Ke Yi and
Zhewei Wei},
title = {Conjunctive Queries: Unique Characterizations and Exact Learnability},
booktitle = {24th International Conference on Database Theory, {ICDT} 2021, March
23-26, 2021, Nicosia, Cyprus},
series = {LIPIcs},
volume = {186},
pages = {9:1--9:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2021.9},
doi = {10.4230/LIPICS.ICDT.2021.9},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CateD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Cate20,
author = {Balder ten Cate},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {The Homomorphism Lattice, Unique Characterizations, and Concept Learning},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/invited-3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Cate20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-06299,
author = {Vince B{\'{a}}r{\'{a}}ny and
Michael Benedikt and
Balder ten Cate},
title = {Some Model Theory of Guarded Negation},
journal = {CoRR},
volume = {abs/2005.06299},
year = {2020},
url = {https://arxiv.org/abs/2005.06299},
eprinttype = {arXiv},
eprint = {2005.06299},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06824,
author = {Balder ten Cate and
Victor Dalmau},
title = {Conjunctive Queries: Unique Characterizations and Exact Learnability},
journal = {CoRR},
volume = {abs/2008.06824},
year = {2020},
url = {https://arxiv.org/abs/2008.06824},
eprinttype = {arXiv},
eprint = {2008.06824},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/PeterfreundCFK19,
author = {Liat Peterfreund and
Balder ten Cate and
Ronald Fagin and
Benny Kimelfeld},
editor = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {Recursive Programs for Document Spanners},
booktitle = {22nd International Conference on Database Theory, {ICDT} 2019, March
26-28, 2019, Lisbon, Portugal},
series = {LIPIcs},
volume = {127},
pages = {13:1--13:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2019.13},
doi = {10.4230/LIPICS.ICDT.2019.13},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/PeterfreundCFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12260,
author = {Karan Singhal and
Karthik Raman and
Balder ten Cate},
title = {Learning Multilingual Word Embeddings Using Image-Text Data},
journal = {CoRR},
volume = {abs/1905.12260},
year = {2019},
url = {http://arxiv.org/abs/1905.12260},
eprinttype = {arXiv},
eprint = {1905.12260},
timestamp = {Sat, 05 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaranyBC18,
author = {Vince B{\'{a}}r{\'{a}}ny and
Michael Benedikt and
Balder ten Cate},
title = {Some Model Theory of Guarded Negation},
journal = {J. Symb. Log.},
volume = {83},
number = {4},
pages = {1307--1344},
year = {2018},
url = {https://doi.org/10.1017/jsl.2018.64},
doi = {10.1017/JSL.2018.64},
timestamp = {Wed, 16 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BaranyBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CateK0T18,
author = {Balder ten Cate and
Phokion G. Kolaitis and
Kun Qian and
Wang{-}Chiew Tan},
editor = {Jan Van den Bussche and
Marcelo Arenas},
title = {Active Learning of {GAV} Schema Mappings},
booktitle = {Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, Houston, TX, USA, June 10-15, 2018},
pages = {355--368},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196959.3196974},
doi = {10.1145/3196959.3196974},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/pods/CateK0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/CateKQT17,
author = {Balder ten Cate and
Phokion G. Kolaitis and
Kun Qian and
Wang{-}Chiew Tan},
title = {Approximation Algorithms for Schema-Mapping Discovery from Data Examples},
journal = {{ACM} Trans. Database Syst.},
volume = {42},
number = {2},
pages = {12:1--12:41},
year = {2017},
url = {https://doi.org/10.1145/3044712},
doi = {10.1145/3044712},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/CateKQT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BaranyCKOV17,
author = {Vince B{\'{a}}r{\'{a}}ny and
Balder ten Cate and
Benny Kimelfeld and
Dan Olteanu and
Zografoula Vagena},
title = {Declarative Probabilistic Programming with Datalog},
journal = {{ACM} Trans. Database Syst.},
volume = {42},
number = {4},
pages = {22:1--22:35},
year = {2017},
url = {https://doi.org/10.1145/3132700},
doi = {10.1145/3132700},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BaranyCKOV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-08198,
author = {Liat Peterfreund and
Balder ten Cate and
Ronald Fagin and
Benny Kimelfeld},
title = {Recursive Programs for Document Spanners},
journal = {CoRR},
volume = {abs/1712.08198},
year = {2017},
url = {http://arxiv.org/abs/1712.08198},
eprinttype = {arXiv},
eprint = {1712.08198},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-08198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2016Benedikt,
author = {Michael Benedikt and
Julien Leblay and
Balder ten Cate and
Efthymia Tsamoura},
title = {Generating Plans from Proofs: The Interpolation-based Approach to
Query Reformulation},
series = {Synthesis Lectures on Data Management},
publisher = {Morgan {\&} Claypool Publishers},
year = {2016},
url = {https://doi.org/10.2200/S00703ED1V01Y201602DTM043},
doi = {10.2200/S00703ED1V01Y201602DTM043},
isbn = {978-3-031-00728-6},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2016Benedikt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/CateHK16,
author = {Balder ten Cate and
Richard L. Halpert and
Phokion G. Kolaitis},
title = {Exchange-Repairs - Managing Inconsistency in Data Exchange},
journal = {J. Data Semant.},
volume = {5},
number = {2},
pages = {77--97},
year = {2016},
url = {https://doi.org/10.1007/s13740-016-0057-4},
doi = {10.1007/S13740-016-0057-4},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jodsn/CateHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BenediktCB16,
author = {Michael Benedikt and
Balder ten Cate and
Michael {Vanden Boom}},
title = {Effective Interpolation and Preservation in Guarded Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {2},
pages = {8},
year = {2016},
url = {https://doi.org/10.1145/2814570},
doi = {10.1145/2814570},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BenediktCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BenediktCT16,
author = {Michael Benedikt and
Balder ten Cate and
Efthymia Tsamoura},
title = {Generating Plans from Proofs},
journal = {{ACM} Trans. Database Syst.},
volume = {40},
number = {4},
pages = {22:1--22:45},
year = {2016},
url = {https://doi.org/10.1145/2847523},
doi = {10.1145/2847523},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/BenediktCT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CateHK16,
author = {Balder ten Cate and
Richard L. Halpert and
Phokion G. Kolaitis},
editor = {Evaggelia Pitoura and
Sofian Maabout and
Georgia Koutrika and
Am{\'{e}}lie Marian and
Letizia Tanca and
Ioana Manolescu and
Kostas Stefanidis},
title = {Practical Query Answering in Data Exchange Under Inconsistency-Tolerant
Semantics},
booktitle = {Proceedings of the 19th International Conference on Extending Database
Technology, {EDBT} 2016, Bordeaux, France, March 15-16, 2016, Bordeaux,
France, March 15-16, 2016},
pages = {233--244},
publisher = {OpenProceedings.org},
year = {2016},
url = {https://doi.org/10.5441/002/edbt.2016.23},
doi = {10.5441/002/EDBT.2016.23},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/CateHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BaranyCKOV16,
author = {Vince B{\'{a}}r{\'{a}}ny and
Balder ten Cate and
Benny Kimelfeld and
Dan Olteanu and
Zografoula Vagena},
editor = {Wim Martens and
Thomas Zeume},
title = {Declarative Probabilistic Programming with Datalog},
booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
France, March 15-18, 2016},
series = {LIPIcs},
volume = {48},
pages = {7:1--7:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.7},
doi = {10.4230/LIPICS.ICDT.2016.7},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/BaranyCKOV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktBCP16,
author = {Michael Benedikt and
Pierre Bourhis and
Balder ten Cate and
Gabriele Puppis},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Querying Visible and Invisible Information},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {297--306},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935306},
doi = {10.1145/2933575.2935306},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BenediktBCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BaranyCS15,
author = {Vince B{\'{a}}r{\'{a}}ny and
Balder ten Cate and
Luc Segoufin},
title = {Guarded Negation},
journal = {J. {ACM}},
volume = {62},
number = {3},
pages = {22:1--22:26},
year = {2015},
url = {https://doi.org/10.1145/2701414},
doi = {10.1145/2701414},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BaranyCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CateFK15,
author = {Balder ten Cate and
Ga{\"{e}}lle Fontaine and
Phokion G. Kolaitis},
title = {On the Data Complexity of Consistent Query Answering},
journal = {Theory Comput. Syst.},
volume = {57},
number = {4},
pages = {843--891},
year = {2015},
url = {https://doi.org/10.1007/s00224-014-9586-0},
doi = {10.1007/S00224-014-9586-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CateFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CateT15,
author = {Balder ten Cate and
Wang{-}Chiew Tan},
title = {Foreword: Special Issue on Database Theory},
journal = {Theory Comput. Syst.},
volume = {57},
number = {4},
pages = {1112--1113},
year = {2015},
url = {https://doi.org/10.1007/s00224-015-9641-5},
doi = {10.1007/S00224-015-9641-5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CateT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CateKO15,
author = {Balder ten Cate and
Benny Kimelfeld and
Dan Olteanu},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {{PPDL:} Probabilistic Programming with Datalog},
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\_18.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/CateKO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CateKQT15,
author = {Balder ten Cate and
Phokion G. Kolaitis and
Kun Qian and
Wang Chiew Tan},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {Approximation Algorithms for Schema-Mapping Discovery from Data Examples},
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\_7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amw/CateKQT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateD15,
author = {Balder ten Cate and
V{\'{\i}}ctor Dalmau},
editor = {Marcelo Arenas and
Mart{\'{\i}}n Ugarte},
title = {The Product Homomorphism Problem and Applications},
booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March
23-27, 2015, Brussels, Belgium},
series = {LIPIcs},
volume = {31},
pages = {161--176},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2015.161},
doi = {10.4230/LIPICS.ICDT.2015.161},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CateD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktCCB15,
author = {Michael Benedikt and
Balder ten Cate and
Thomas Colcombet and
Michael {Vanden Boom}},
title = {The Complexity of Boundedness for Guarded Logics},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {293--304},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.36},
doi = {10.1109/LICS.2015.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenediktCCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktCB15,
author = {Michael Benedikt and
Balder ten Cate and
Michael {Vanden Boom}},
title = {Interpolation with Decidable Fixpoint Logics},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {378--389},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.43},
doi = {10.1109/LICS.2015.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenediktCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CateCST15,
author = {Balder ten Cate and
Cristina Civili and
Evgeny Sherkhonov and
Wang{-}Chiew Tan},
editor = {Tova Milo and
Diego Calvanese},
title = {High-Level Why-Not Explanations using Ontologies},
booktitle = {Proceedings of the 34th {ACM} Symposium on Principles of Database
Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June
4, 2015},
pages = {31--43},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745754.2745765},
doi = {10.1145/2745754.2745765},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/CateCST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ArefCGKOPVW15,
author = {Molham Aref and
Balder ten Cate and
Todd J. Green and
Benny Kimelfeld and
Dan Olteanu and
Emir Pasalic and
Todd L. Veldhuizen and
Geoffrey Washburn},
editor = {Timos K. Sellis and
Susan B. Davidson and
Zachary G. Ives},
title = {Design and Implementation of the LogicBlox System},
booktitle = {Proceedings of the 2015 {ACM} {SIGMOD} International Conference on
Management of Data, Melbourne, Victoria, Australia, May 31 - June
4, 2015},
pages = {1371--1382},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2723372.2742796},
doi = {10.1145/2723372.2742796},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/ArefCGKOPVW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2015,
editor = {Balder ten Cate and
Alessandra Mileo},
title = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9209},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22002-4},
doi = {10.1007/978-3-319-22002-4},
isbn = {978-3-319-22001-7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BenediktBCP15,
author = {Michael Benedikt and
Pierre Bourhis and
Balder ten Cate and
Gabriele Puppis},
title = {Querying Visible and Invisible Tables in the Presence of Integrity
Constraints},
journal = {CoRR},
volume = {abs/1509.01683},
year = {2015},
url = {http://arxiv.org/abs/1509.01683},
eprinttype = {arXiv},
eprint = {1509.01683},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenediktBCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CateHK15,
author = {Balder ten Cate and
Richard L. Halpert and
Phokion G. Kolaitis},
title = {Exchange-Repairs: Managing Inconsistency in Data Exchange},
journal = {CoRR},
volume = {abs/1509.06390},
year = {2015},
url = {http://arxiv.org/abs/1509.06390},
eprinttype = {arXiv},
eprint = {1509.06390},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CateHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BienvenuCLW14,
author = {Meghyn Bienvenu and
Balder ten Cate and
Carsten Lutz and
Frank Wolter},
title = {Ontology-Based Data Access: {A} Study through Disjunctive Datalog,
CSP, and {MMSNP}},
journal = {{ACM} Trans. Database Syst.},
volume = {39},
number = {4},
pages = {33:1--33:44},
year = {2014},
url = {https://doi.org/10.1145/2661643},
doi = {10.1145/2661643},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BienvenuCLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BenediktCB14,
author = {Michael Benedikt and
Balder ten Cate and
Michael {Vanden Boom}},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Effective interpolation and preservation in guarded logics},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {13:1--13:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603108},
doi = {10.1145/2603088.2603108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BenediktCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktCT14,
author = {Michael Benedikt and
Balder ten Cate and
Efthymia Tsamoura},
editor = {Richard Hull and
Martin Grohe},
title = {Generating low-cost plans from proofs},
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 = {200--211},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594538.2594550},
doi = {10.1145/2594538.2594550},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktCT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/CateHK14,
author = {Balder ten Cate and
Richard L. Halpert and
Phokion G. Kolaitis},
editor = {Roman Kontchakov and
Marie{-}Laure Mugnier},
title = {Exchange-Repairs: Managing Inconsistency in Data Exchange},
booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR}
2014, Athens, Greece, September 15-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8741},
pages = {140--156},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11113-1\_10},
doi = {10.1007/978-3-319-11113-1\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/CateHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/CateK14,
author = {Balder ten Cate and
Phokion G. Kolaitis},
editor = {Alexandru Baltag and
Sonja Smets},
title = {Schema Mappings: {A} Case of Logical Dynamics in Database Theory},
booktitle = {Johan van Benthem on Logic and Information Dynamics},
pages = {67--100},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06025-5\_3},
doi = {10.1007/978-3-319-06025-5\_3},
timestamp = {Mon, 26 Jun 2023 08:47:47 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/CateK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaranyCKOV14,
author = {Vince B{\'{a}}r{\'{a}}ny and
Balder ten Cate and
Benny Kimelfeld and
Dan Olteanu and
Zografoula Vagena},
title = {Declarative Statistical Modeling with Datalog},
journal = {CoRR},
volume = {abs/1412.2221},
year = {2014},
url = {http://arxiv.org/abs/1412.2221},
eprinttype = {arXiv},
eprint = {1412.2221},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaranyCKOV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CateCST14,
author = {Balder ten Cate and
Cristina Civili and
Evgeny Sherkhonov and
Wang{-}Chiew Tan},
title = {High-Level Why-Not Explanations using Ontologies},
journal = {CoRR},
volume = {abs/1412.2332},
year = {2014},
url = {http://arxiv.org/abs/1412.2332},
eprinttype = {arXiv},
eprint = {1412.2332},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CateCST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BenediktLC14,
author = {Michael Benedikt and
Carsten Lutz and
Balder ten Cate},
title = {Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar
14331)},
journal = {Dagstuhl Reports},
volume = {4},
number = {8},
pages = {1--20},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.8.1},
doi = {10.4230/DAGREP.4.8.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BenediktLC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SegoufinC13,
author = {Luc Segoufin and
Balder ten Cate},
title = {Unary negation},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:25)2013},
doi = {10.2168/LMCS-9(3:25)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SegoufinC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AfanasievC13,
author = {Loredana Afanasiev and
Balder ten Cate},
title = {On Core XPath with Inflationary Fixed Points},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {47},
number = {1},
pages = {3--23},
year = {2013},
url = {https://doi.org/10.1051/ita/2012027},
doi = {10.1051/ITA/2012027},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AfanasievC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CateFS13,
author = {Balder ten Cate and
Enrico Franconi and
Inan{\c{c}} Seylan},
title = {Beth Definability in Expressive Description Logics},
journal = {J. Artif. Intell. Res.},
volume = {48},
pages = {347--414},
year = {2013},
url = {https://doi.org/10.1613/jair.4057},
doi = {10.1613/JAIR.4057},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CateFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbiteboulCK13,
author = {Serge Abiteboul and
Balder ten Cate and
Yannis Katsis},
title = {On the equivalence of distributed systems with queries and communication},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {6},
pages = {739--762},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2013.01.001},
doi = {10.1016/J.JCSS.2013.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AbiteboulCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/CateDK13,
author = {Balder ten Cate and
V{\'{\i}}ctor Dalmau and
Phokion G. Kolaitis},
title = {Learning schema mappings},
journal = {{ACM} Trans. Database Syst.},
volume = {38},
number = {4},
pages = {28},
year = {2013},
url = {https://doi.org/10.1145/2539032.2539035},
doi = {10.1145/2539032.2539035},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/CateDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CateKO13,
author = {Balder ten Cate and
Phokion G. Kolaitis and
Walied Othman},
editor = {Giovanna Guerrini and
Norman W. Paton},
title = {Data exchange with arithmetic operations},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {EDBT} '13 Proceedings, Genoa,
Italy, March 18-22, 2013},
pages = {537--548},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2452376.2452439},
doi = {10.1145/2452376.2452439},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/CateKO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CateKT13,
author = {Balder ten Cate and
Phokion G. Kolaitis and
Wang Chiew Tan},
editor = {Giovanna Guerrini and
Norman W. Paton},
title = {Schema mappings and data examples},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {EDBT} '13 Proceedings, Genoa,
Italy, March 18-22, 2013},
pages = {777--780},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2452376.2452479},
doi = {10.1145/2452376.2452479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/CateKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BaranyBC13,
author = {Vince B{\'{a}}r{\'{a}}ny and
Michael Benedikt and
Balder ten Cate},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Rewriting Guarded Negation Queries},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {98--110},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_11},
doi = {10.1007/978-3-642-40313-2\_11},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BaranyBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BienvenuCLW13,
author = {Meghyn Bienvenu and
Balder ten Cate and
Carsten Lutz and
Frank Wolter},
editor = {Richard Hull and
Wenfei Fan},
title = {Ontology-based data access: a study through disjunctive datalog, CSP,
and {MMSNP}},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {213--224},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2465223},
doi = {10.1145/2463664.2465223},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BienvenuCLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6479,
author = {Meghyn Bienvenu and
Balder ten Cate and
Carsten Lutz and
Frank Wolter},
title = {Ontology-based Data Access: {A} Study through Disjunctive Datalog,
CSP, and {MMSNP}},
journal = {CoRR},
volume = {abs/1301.6479},
year = {2013},
url = {http://arxiv.org/abs/1301.6479},
eprinttype = {arXiv},
eprint = {1301.6479},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2620,
author = {Am{\'{e}}lie Gheerbrant and
Balder ten Cate},
title = {Complete Axiomatizations of Fragments of Monadic Second-Order Logic
on Finite Trees},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {4},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(4:12)2012},
doi = {10.2168/LMCS-8(4:12)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BaranyCO12,
author = {Vince B{\'{a}}r{\'{a}}ny and
Balder ten Cate and
Martin Otto},
title = {Queries with Guarded Negation},
journal = {Proc. {VLDB} Endow.},
volume = {5},
number = {11},
pages = {1328--1339},
year = {2012},
url = {http://vldb.org/pvldb/vol5/p1328\_vincebarany\_vldb2012.pdf},
doi = {10.14778/2350229.2350250},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BaranyCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Cate12,
author = {Balder ten Cate},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Guarded Negation},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {183--184},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Cate.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Cate12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateFK12,
author = {Balder ten Cate and
Ga{\"{e}}lle Fontaine and
Phokion G. Kolaitis},
editor = {Alin Deutsch},
title = {On the data complexity of consistent query answering},
booktitle = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
Germany, March 26-29, 2012},
pages = {22--33},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2274576.2274580},
doi = {10.1145/2274576.2274580},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CateFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateDK12,
author = {Balder ten Cate and
V{\'{\i}}ctor Dalmau and
Phokion G. Kolaitis},
editor = {Alin Deutsch},
title = {Learning schema mappings},
booktitle = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
Germany, March 26-29, 2012},
pages = {182--195},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2274576.2274596},
doi = {10.1145/2274576.2274596},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CateDK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-0077,
author = {Vince B{\'{a}}r{\'{a}}ny and
Balder ten Cate and
Martin Otto},
title = {Queries with Guarded Negation (full version)},
journal = {CoRR},
volume = {abs/1203.0077},
year = {2012},
url = {http://arxiv.org/abs/1203.0077},
eprinttype = {arXiv},
eprint = {1203.0077},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-0077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-3534,
author = {Balder ten Cate and
V{\'{\i}}ctor Dalmau},
title = {A note on the product homomorphism problem and CQ-definability},
journal = {CoRR},
volume = {abs/1212.3534},
year = {2012},
url = {http://arxiv.org/abs/1212.3534},
eprinttype = {arXiv},
eprint = {1212.3534},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AtseriasBCFGR11,
author = {Albert Atserias and
Mikolaj Bojanczyk and
Balder ten Cate and
Ronald Fagin and
Floris Geerts and
Kenneth A. Ross},
title = {Foreword},
journal = {Theory Comput. Syst.},
volume = {49},
number = {2},
pages = {365--366},
year = {2011},
url = {https://doi.org/10.1007/s00224-011-9329-4},
doi = {10.1007/S00224-011-9329-4},
timestamp = {Fri, 08 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AtseriasBCFGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/AlexeCKT11,
author = {Bogdan Alexe and
Balder ten Cate and
Phokion G. Kolaitis and
Wang Chiew Tan},
title = {{EIRENE:} Interactive Design and Refinement of Schema Mappings via
Data Examples},
journal = {Proc. {VLDB} Endow.},
volume = {4},
number = {12},
pages = {1414--1417},
year = {2011},
url = {http://www.vldb.org/pvldb/vol4/p1414-alexe.pdf},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/AlexeCKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/AlexeCKT11,
author = {Bogdan Alexe and
Balder ten Cate and
Phokion G. Kolaitis and
Wang Chiew Tan},
title = {Characterizing schema mappings via data examples},
journal = {{ACM} Trans. Database Syst.},
volume = {36},
number = {4},
pages = {23:1--23:48},
year = {2011},
url = {https://doi.org/10.1145/2043652.2043656},
doi = {10.1145/2043652.2043656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/AlexeCKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaranyCS11,
author = {Vince B{\'{a}}r{\'{a}}ny and
Balder ten Cate and
Luc Segoufin},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Guarded Negation},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {356--367},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_28},
doi = {10.1007/978-3-642-22012-8\_28},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaranyCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AbiteboulCK11,
author = {Serge Abiteboul and
Balder ten Cate and
Yannis Katsis},
editor = {Tova Milo},
title = {On the equivalence of distributed systems with queries and communication},
booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
Sweden, March 21-24, 2011, Proceedings},
pages = {126--137},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1938551.1938570},
doi = {10.1145/1938551.1938570},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/AbiteboulCK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CateFS11,
author = {Balder ten Cate and
Enrico Franconi and
Inan{\c{c}} Seylan},
editor = {Toby Walsh},
title = {Beth Definability in Expressive Description Logics},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1099--1106},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-188},
doi = {10.5591/978-1-57735-516-8/IJCAI11-188},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CateFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CateF11,
author = {Balder ten Cate and
Alessandro Facchini},
editor = {Filip Murlak and
Piotr Sankowski},
title = {Characterizing {EF} over Infinite Trees and Modal Logic on Transitive
Graphs},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6907},
pages = {290--302},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_28},
doi = {10.1007/978-3-642-22993-0\_28},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CateF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AlexeCKT11,
author = {Bogdan Alexe and
Balder ten Cate and
Phokion G. Kolaitis and
Wang Chiew Tan},
editor = {Timos K. Sellis and
Ren{\'{e}}e J. Miller and
Anastasios Kementsietsidis and
Yannis Velegrakis},
title = {Designing and refining schema mappings via data examples},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
pages = {133--144},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989323.1989338},
doi = {10.1145/1989323.1989338},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/AlexeCKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CateS11,
author = {Balder ten Cate and
Luc Segoufin},
editor = {Thomas Schwentick and
Christoph D{\"{u}}rr},
title = {Unary negation},
booktitle = {28th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2011, March 10-12, 2011, Dortmund, Germany},
series = {LIPIcs},
volume = {9},
pages = {344--355},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.STACS.2011.344},
doi = {10.4230/LIPICS.STACS.2011.344},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CateS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CateK10,
author = {Balder ten Cate and
Phokion G. Kolaitis},
title = {Structural characterizations of schema-mapping languages},
journal = {Commun. {ACM}},
volume = {53},
number = {1},
pages = {101--110},
year = {2010},
url = {https://doi.org/10.1145/1629175.1629201},
doi = {10.1145/1629175.1629201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CateK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CateS10,
author = {Balder ten Cate and
Luc Segoufin},
title = {Transitive closure logic, nested tree walking automata, and XPath},
journal = {J. {ACM}},
volume = {57},
number = {3},
pages = {18:1--18:41},
year = {2010},
url = {https://doi.org/10.1145/1706591.1706598},
doi = {10.1145/1706591.1706598},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CateS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CateFL10,
author = {Balder ten Cate and
Ga{\"{e}}lle Fontaine and
Tadeusz Litak},
title = {Some modal aspects of XPath},
journal = {J. Appl. Non Class. Logics},
volume = {20},
number = {3},
pages = {139--171},
year = {2010},
url = {https://doi.org/10.3166/jancl.20.139-171},
doi = {10.3166/JANCL.20.139-171},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/CateFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/CateLM10,
author = {Balder ten Cate and
Tadeusz Litak and
Maarten Marx},
title = {Complete axiomatizations for XPath fragments},
journal = {J. Appl. Log.},
volume = {8},
number = {2},
pages = {153--172},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2009.09.002},
doi = {10.1016/J.JAL.2009.09.002},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/CateLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CateKT10,
author = {Balder ten Cate and
Phokion G. Kolaitis and
Wang Chiew Tan},
editor = {David Cohen},
title = {Database Constraints and Homomorphism Dualities},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {475--490},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_38},
doi = {10.1007/978-3-642-15396-9\_38},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CateKT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CateF10,
author = {Balder ten Cate and
Ga{\"{e}}lle Fontaine},
editor = {C.{-}H. Luke Ong},
title = {An Easy Completeness Proof for the Modal \emph{{\(\mathrm{\mu}\)}}-Calculus
on Finite Trees},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {161--175},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_12},
doi = {10.1007/978-3-642-12032-9\_12},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/CateF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CateGS09,
author = {Balder ten Cate and
David Gabelaia and
Dmitry Sustretov},
title = {Modal languages for topology: Expressivity and definability},
journal = {Ann. Pure Appl. Log.},
volume = {159},
number = {1-2},
pages = {146--170},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2008.11.001},
doi = {10.1016/J.APAL.2008.11.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CateGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3668,
author = {Johan van Benthem and
Balder ten Cate and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Lindstr{\"{o}}m theorems for fragments of first-order logic},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {3},
year = {2009},
url = {http://arxiv.org/abs/0905.3668},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Cate09,
author = {Balder ten Cate},
title = {A note on the expressibility problem for modal logics and star-free
regular expressions},
journal = {Inf. Process. Lett.},
volume = {109},
number = {10},
pages = {509--513},
year = {2009},
url = {https://doi.org/10.1016/j.ipl.2009.01.012},
doi = {10.1016/J.IPL.2009.01.012},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Cate09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CateL09,
author = {Balder ten Cate and
Carsten Lutz},
title = {The complexity of query containment in expressive fragments of XPath
2.0},
journal = {J. {ACM}},
volume = {56},
number = {6},
pages = {31:1--31:48},
year = {2009},
url = {https://doi.org/10.1145/1568318.1568321},
doi = {10.1145/1568318.1568321},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CateL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CateM09,
author = {Balder ten Cate and
Maarten Marx},
title = {Axiomatizing the Logical Core of XPath 2.0},
journal = {Theory Comput. Syst.},
volume = {44},
number = {4},
pages = {561--589},
year = {2009},
url = {https://doi.org/10.1007/s00224-008-9151-9},
doi = {10.1007/S00224-008-9151-9},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/CateM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/CateCKT09,
author = {Balder ten Cate and
Laura Chiticariu and
Phokion G. Kolaitis and
Wang Chiew Tan},
title = {Laconic Schema Mappings: Computing the Core with {SQL} Queries},
journal = {Proc. {VLDB} Endow.},
volume = {2},
number = {1},
pages = {1006--1017},
year = {2009},
url = {http://www.vldb.org/pvldb/vol2/vldb09-595.pdf},
doi = {10.14778/1687627.1687741},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/CateCKT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GheerbrantC09,
author = {Am{\'{e}}lie Gheerbrant and
Balder ten Cate},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {Craig Interpolation for Linear Temporal Languages},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {287--301},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_22},
doi = {10.1007/978-3-642-04027-6\_22},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/GheerbrantC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/AfanasievC09,
author = {Loredana Afanasiev and
Balder ten Cate},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {On Core XPath with Inflationary Fixed Points},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {11--17},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/AfanasievC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/CateF09,
author = {Balder ten Cate and
Ga{\"{e}}lle Fontaine},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {30--38},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib4.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/CateF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateK09,
author = {Balder ten Cate and
Phokion G. Kolaitis},
editor = {Ronald Fagin},
title = {Structural characterizations of schema-mapping languages},
booktitle = {Database Theory - {ICDT} 2009, 12th International Conference, St.
Petersburg, Russia, March 23-25, 2009, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {361},
pages = {63--72},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1514894.1514903},
doi = {10.1145/1514894.1514903},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CateK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GheerbrantC09,
author = {Am{\'{e}}lie Gheerbrant and
Balder ten Cate},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {180--196},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_13},
doi = {10.1007/978-3-540-92687-0\_13},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/GheerbrantC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-1953,
author = {Balder ten Cate and
Laura Chiticariu and
Phokion G. Kolaitis and
Wang Chiew Tan},
title = {Laconic schema mappings: computing core universal solutions by means
of {SQL} queries},
journal = {CoRR},
volume = {abs/0903.1953},
year = {2009},
url = {http://arxiv.org/abs/0903.1953},
eprinttype = {arXiv},
eprint = {0903.1953},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-1953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CateS08,
author = {Balder ten Cate and
Luc Segoufin},
editor = {Maurizio Lenzerini and
Domenico Lembo},
title = {XPath, transitive closure logic, and nested tree walking automata},
booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
BC, Canada},
pages = {251--260},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376916.1376952},
doi = {10.1145/1376916.1376952},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/CateS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/CateM07,
author = {Balder ten Cate and
Maarten Marx},
title = {Navigational XPath: calculus and algebra},
journal = {{SIGMOD} Rec.},
volume = {36},
number = {2},
pages = {19--26},
year = {2007},
url = {https://doi.org/10.1145/1328854.1328858},
doi = {10.1145/1328854.1328858},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/CateM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CateM07,
author = {Balder ten Cate and
Maarten Marx},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Axiomatizing the Logical Core of XPath 2.0},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {134--148},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_10},
doi = {10.1007/11965893\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/CateM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CateBV07,
author = {Balder ten Cate and
Johan van Benthem and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Lindstrom theorems for fragments of first-order logic},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {280--292},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.29},
doi = {10.1109/LICS.2007.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CateBV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CateL07,
author = {Balder ten Cate and
Carsten Lutz},
editor = {Leonid Libkin},
title = {The complexity of query containment in expressive fragments of XPath
2.0},
booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 11-13, 2007, Beijing, China},
pages = {73--82},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1265530.1265541},
doi = {10.1145/1265530.1265541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/CateL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/07/ArecesC07,
author = {Carlos Areces and
Balder ten Cate},
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Hybrid logics},
booktitle = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
pages = {821--868},
publisher = {North-Holland},
year = {2007},
url = {https://doi.org/10.1016/s1570-2464(07)80017-6},
doi = {10.1016/S1570-2464(07)80017-6},
timestamp = {Tue, 16 Jul 2019 10:26:01 +0200},
biburl = {https://dblp.org/rec/books/el/07/ArecesC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tbillc/2005,
editor = {Balder ten Cate and
Henk Zeevat},
title = {Logic, Language, and Computation, 6th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia,
September 12-16, 2005. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4363},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75144-1},
doi = {10.1007/978-3-540-75144-1},
isbn = {978-3-540-75143-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Cate06,
author = {Balder ten Cate},
title = {Expressivity of Second Order Propositional Modal Logic},
journal = {J. Philos. Log.},
volume = {35},
number = {2},
pages = {209--223},
year = {2006},
url = {https://doi.org/10.1007/s10992-005-9012-9},
doi = {10.1007/S10992-005-9012-9},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/Cate06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BezhanishviliC06,
author = {Nick Bezhanishvili and
Balder ten Cate},
title = {Transfer Results for Hybrid Logic. Part {I:} The Case Without Satisfaction
Operators},
journal = {J. Log. Comput.},
volume = {16},
number = {2},
pages = {177--197},
year = {2006},
url = {https://doi.org/10.1093/logcom/exi056},
doi = {10.1093/LOGCOM/EXI056},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BezhanishviliC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BlackburnC06,
author = {Patrick Blackburn and
Balder ten Cate},
title = {Pure Extensions, Proof Rules, and Hybrid Axiomatics},
journal = {Stud Logica},
volume = {84},
number = {2},
pages = {277--322},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-9009-6},
doi = {10.1007/S11225-006-9009-6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BlackburnC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemBCS06,
author = {Johan van Benthem and
Guram Bezhanishvili and
Balder ten Cate and
Darko Sarenac},
title = {Multimo dal Logics of Products of Topologies},
journal = {Stud Logica},
volume = {84},
number = {3},
pages = {369--392},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-9013-x},
doi = {10.1007/S11225-006-9013-X},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemBCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CateCMV06,
author = {Balder ten Cate and
Willem Conradie and
Maarten Marx and
Yde Venema},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Definitorially Complete Description Logics},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {79--89},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-011.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CateCMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Cate06,
author = {Balder ten Cate},
editor = {Stijn Vansummeren},
title = {The expressivity of XPath with transitive closure},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {328--337},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142398},
doi = {10.1145/1142351.1142398},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Cate06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CateL07,
author = {Balder ten Cate and
Tadeusz Litak},
editor = {Patrick Blackburn and
Thomas Bolander and
Torben Bra{\"{u}}ner and
Valeria de Paiva and
J{\o}rgen Villadsen},
title = {Topological Perspective on the Hybrid Proof Rules},
booktitle = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {6},
pages = {79--94},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.027},
doi = {10.1016/J.ENTCS.2006.11.027},
timestamp = {Fri, 27 Jan 2023 13:46:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CateL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CateMV05,
author = {Balder ten Cate and
Maarten Marx and
Jorge Petrucio Viana},
title = {Hybrid logics with Sahlqvist axioms},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {293--300},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi024},
doi = {10.1093/JIGPAL/JZI024},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CateMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/CateF05,
author = {Balder ten Cate and
Massimo Franceschet},
title = {Guarded Fragments with Constants},
journal = {J. Log. Lang. Inf.},
volume = {14},
number = {3},
pages = {281--288},
year = {2005},
url = {https://doi.org/10.1007/s10849-005-5787-x},
doi = {10.1007/S10849-005-5787-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/CateF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cate05,
author = {Balder ten Cate},
title = {Interpolation for extended modal languages},
journal = {J. Symb. Log.},
volume = {70},
number = {1},
pages = {223--234},
year = {2005},
url = {https://doi.org/10.2178/jsl/1107298517},
doi = {10.2178/JSL/1107298517},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Cate05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CateF05,
author = {Balder ten Cate and
Massimo Franceschet},
editor = {C.{-}H. Luke Ong},
title = {On the Complexity of Hybrid Logics with Binders},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {339--354},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_24},
doi = {10.1007/11538363\_24},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/CateF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Cate02,
author = {Balder ten Cate},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {On the Logic of d-separation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {568--577},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/Cate02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CateS02,
author = {Balder ten Cate and
Chung{-}chieh Shan},
editor = {Uwe Egly and
Christian G. Ferm{\"{u}}ller},
title = {Question Answering: From Partitions to Prolog},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2002, Copenhagen, Denmark, July 30 - August
1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2381},
pages = {251--265},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45616-3\_18},
doi = {10.1007/3-540-45616-3\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CateS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0209008,
author = {Chung{-}chieh Shan and
Balder ten Cate},
title = {The partition semantics of questions, syntactically},
journal = {CoRR},
volume = {cs.CL/0209008},
year = {2002},
url = {https://arxiv.org/abs/cs/0209008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0209008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0209009,
author = {Balder ten Cate and
Chung{-}chieh Shan},
title = {Question answering: from partitions to Prolog},
journal = {CoRR},
volume = {cs.CL/0209009},
year = {2002},
url = {https://arxiv.org/abs/cs/0209009},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0209009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cate01,
author = {Balder ten Cate},
editor = {Lawrence S. Moss and
Richard T. Oehrle},
title = {The dynamics of information exchange dialogues},
booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar
{(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL}
2001, Helsinki, Finland, August 10-12, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {53},
pages = {322--333},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)82592-7},
doi = {10.1016/S1571-0661(05)82592-7},
timestamp = {Wed, 30 Nov 2022 11:51:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cate01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
