Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michaël Thomazo
@book{DBLP:books/hal/Thomazo23,
author = {Micha{\"{e}}l Thomazo},
title = {Ontology-Based Query Answering: Expressivity and Extensions. (Interrogation
de donn{\'{e}}es au travers d'une ontologie: expressivit{\'{e}}
et extensions)},
year = {2023},
url = {https://tel.archives-ouvertes.fr/tel-04275013},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Thomazo23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuMT22,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Complexity Landscape for Counting Queries (Extended Abstract)},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/abstract-4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BourgauxCKRT22,
author = {Camille Bourgaux and
David Carral and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Luc De Raedt},
title = {Capturing Homomorphism-Closed Decidable Queries with Existential Rules
(Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5269--5273},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/733},
doi = {10.24963/IJCAI.2022/733},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BourgauxCKRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuMT22,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Counting Queries over ELHI{\(\perp\)} Ontologies},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/6/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/BienvenuMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BourgauxBPT22,
author = {Camille Bourgaux and
Pierre Bourhis and
Liat Peterfreund and
Micha{\"{e}}l Thomazo},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Revisiting Semiring Provenance for Datalog},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/10/},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BourgauxBPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CarralLMT22,
author = {David Carral and
Lucas Larroque and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Normalisations of Existential Rules: Not so Innocuous!},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/11/},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CarralLMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-10766,
author = {Camille Bourgaux and
Pierre Bourhis and
Liat Peterfreund and
Micha{\"{e}}l Thomazo},
title = {Revisiting Semiring Provenance for Datalog},
journal = {CoRR},
volume = {abs/2202.10766},
year = {2022},
url = {https://arxiv.org/abs/2202.10766},
eprinttype = {arXiv},
eprint = {2202.10766},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-10766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03124,
author = {David Carral and
Lucas Larroque and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
title = {Normalisations of Existential Rules: Not so Innocuous!},
journal = {CoRR},
volume = {abs/2206.03124},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03124},
doi = {10.48550/ARXIV.2206.03124},
eprinttype = {arXiv},
eprint = {2206.03124},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuMT21,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Counting Queries over ELHI{\(\perp\)} Ontologies},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/paper-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuMT21a,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Cardinality Queries over DL-Lite Ontologies (Extended abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuMT21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BienvenuMT21,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
editor = {Zhi{-}Hua Zhou},
title = {Cardinality Queries over DL-Lite Ontologies},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1801--1807},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/248},
doi = {10.24963/IJCAI.2021/248},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BienvenuMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BourgauxCKRT21,
author = {Camille Bourgaux and
David Carral and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Capturing Homomorphism-Closed Decidable Queries with Existential Rules},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {141--150},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/14},
doi = {10.24963/KR.2021/14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BourgauxCKRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BuronMT21,
author = {Maxime Buron and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Parallelisable Existential Rules: a Story of Pieces},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {162--173},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/16},
doi = {10.24963/KR.2021/16},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BuronMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06054,
author = {Maxime Buron and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
title = {Parallelisable Existential Rules: a Story of Pieces},
journal = {CoRR},
volume = {abs/2107.06054},
year = {2021},
url = {https://arxiv.org/abs/2107.06054},
eprinttype = {arXiv},
eprint = {2107.06054},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-07811,
author = {Camille Bourgaux and
David Carral and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
title = {Capturing Homomorphism-Closed Decidable Queries with Existential Rules},
journal = {CoRR},
volume = {abs/2107.07811},
year = {2021},
url = {https://arxiv.org/abs/2107.07811},
eprinttype = {arXiv},
eprint = {2107.07811},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-07811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuMT20,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Answering Counting Queries over DL-Lite Ontologies (Extended Abstract)},
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/abstract-4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BienvenuMT20,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
editor = {Christian Bessiere},
title = {Answering Counting Queries over DL-Lite Ontologies},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1608--1614},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/223},
doi = {10.24963/IJCAI.2020/223},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BienvenuMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09801,
author = {Meghyn Bienvenu and
Quentin Mani{\`{e}}re and
Micha{\"{e}}l Thomazo},
title = {Answering Counting Queries over DL-Lite Ontologies},
journal = {CoRR},
volume = {abs/2009.09801},
year = {2020},
url = {https://arxiv.org/abs/2009.09801},
eprinttype = {arXiv},
eprint = {2009.09801},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HolubMT19,
author = {Stepan Holub and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {On the height of towers of subsequences and prefixes},
journal = {Inf. Comput.},
volume = {265},
pages = {77--93},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.01.004},
doi = {10.1016/J.IC.2019.01.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HolubMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LeclereMTU19,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo and
Federico Ulliana},
editor = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {A Single Approach to Decide Chase Termination on Linear Existential
Rules},
booktitle = {22nd International Conference on Database Theory, {ICDT} 2019, March
26-28, 2019, Lisbon, Portugal},
series = {LIPIcs},
volume = {127},
pages = {18:1--18:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2019.18},
doi = {10.4230/LIPICS.ICDT.2019.18},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/LeclereMTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenediktBJT19,
author = {Michael Benedikt and
Pierre Bourhis and
Louis Jachiet and
Micha{\"{e}}l Thomazo},
editor = {Sarit Kraus},
title = {Reasoning about Disclosure in Data Integration in the Presence of
Source Constraints},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1551--1557},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/215},
doi = {10.24963/IJCAI.2019/215},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BenediktBJT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00624,
author = {Michael Benedikt and
Pierre Bourhis and
Louis Jachiet and
Micha{\"{e}}l Thomazo},
title = {Reasoning about disclosure in data integration in the presence of
source constraints},
journal = {CoRR},
volume = {abs/1906.00624},
year = {2019},
url = {http://arxiv.org/abs/1906.00624},
eprinttype = {arXiv},
eprint = {1906.00624},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LeclereMTU18,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo and
Federico Ulliana},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {A Single Approach to Decide Chase Termination on Linear Existential
Rules},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-45.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LeclereMTU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-02132,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo and
Federico Ulliana},
title = {A Single Approach to Decide Chase Termination on Linear Existential
Rules},
journal = {CoRR},
volume = {abs/1810.02132},
year = {2018},
url = {http://arxiv.org/abs/1810.02132},
eprinttype = {arXiv},
eprint = {1810.02132},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KrotzschMT17,
author = {Markus Kr{\"{o}}tzsch and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {Complexity of universality and related problems for partially ordered
NFAs},
journal = {Inf. Comput.},
volume = {255},
pages = {177--192},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.06.004},
doi = {10.1016/J.IC.2017.06.004},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KrotzschMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MasopustT17,
author = {Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {On Boolean combinations forming piecewise testable languages},
journal = {Theor. Comput. Sci.},
volume = {682},
pages = {165--179},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.01.017},
doi = {10.1016/J.TCS.2017.01.017},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MasopustT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BagetBMT17,
author = {Jean{-}Fran{\c{c}}ois Baget and
Meghyn Bienvenu and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Carles Sierra},
title = {Answering Conjunctive Regular Path Queries over Guarded Existential
Rules},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {793--799},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/110},
doi = {10.24963/IJCAI.2017/110},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BagetBMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HolubMT17,
author = {Stepan Holub and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {On the Height of Towers of Subsequences and Prefixes},
journal = {CoRR},
volume = {abs/1705.02813},
year = {2017},
url = {http://arxiv.org/abs/1705.02813},
eprinttype = {arXiv},
eprint = {1705.02813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HolubMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BonaqueCCGLMMRT16,
author = {Rapha{\"{e}}l Bonaque and
Tien Duc Cao and
Bogdan Cautis and
Fran{\c{c}}ois Goasdou{\'{e}} and
Javier Letelier and
Ioana Manolescu and
Oscar Mendoza and
Swen Ribeiro and
Xavier Tannier and
Micha{\"{e}}l Thomazo},
title = {Mixed-instance querying: a lightweight integration architecture for
data journalism},
journal = {Proc. {VLDB} Endow.},
volume = {9},
number = {13},
pages = {1513--1516},
year = {2016},
url = {http://www.vldb.org/pvldb/vol9/p1513-bonaque.pdf},
doi = {10.14778/3007263.3007297},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BonaqueCCGLMMRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RudolphT16,
author = {Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Subbarao Kambhampati},
title = {Expressivity of Datalog Variants - Completing the Picture},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1230--1236},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/178},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/RudolphT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KrotzschMT16,
author = {Markus Kr{\"{o}}tzsch and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {On the Complexity of Universality for Partially Ordered NFAs},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {61:1--61:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.61},
doi = {10.4230/LIPICS.MFCS.2016.61},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KrotzschMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/BienvenuT16,
author = {Meghyn Bienvenu and
Micha{\"{e}}l Thomazo},
editor = {Magdalena Ortiz and
Stefan Schlobach},
title = {On the Complexity of Evaluating Regular Path Queries over Linear Existential
Rules},
booktitle = {Web Reasoning and Rule Systems - 10th International Conference, {RR}
2016, Aberdeen, UK, September 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9898},
pages = {1--17},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45276-0\_1},
doi = {10.1007/978-3-319-45276-0\_1},
timestamp = {Mon, 29 Aug 2022 09:33:27 +0200},
biburl = {https://dblp.org/rec/conf/rr/BienvenuT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrotzschMT16,
author = {Markus Kr{\"{o}}tzsch and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {Complexity of Universality and Related Problems for Partially Ordered
NFAs},
journal = {CoRR},
volume = {abs/1609.03460},
year = {2016},
url = {http://arxiv.org/abs/1609.03460},
eprinttype = {arXiv},
eprint = {1609.03460},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KrotzschMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/KonigLMT15,
author = {M{\'{e}}lanie K{\"{o}}nig and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
title = {Sound, complete and minimal UCQ-rewriting for existential rules},
journal = {Semantic Web},
volume = {6},
number = {5},
pages = {451--475},
year = {2015},
url = {https://doi.org/10.3233/SW-140153},
doi = {10.3233/SW-140153},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/KonigLMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GagglRT14,
author = {Sarah Alice Gaggl and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {What Is a Reasonable Argumentation Semantics?},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {309--324},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_21},
doi = {10.1007/978-3-319-14726-0\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GagglRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/MasopustT15,
author = {Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
editor = {Igor Potapov},
title = {On the Complexity of k-Piecewise Testability and the Depth of Automata},
booktitle = {Developments in Language Theory - 19th International Conference, {DLT}
2015, Liverpool, UK, July 27-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9168},
pages = {364--376},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21500-6\_29},
doi = {10.1007/978-3-319-21500-6\_29},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/MasopustT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RudolphT15,
author = {Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Characterization of the Expressivity of Existential Rule Queries},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3193--3199},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/450},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/RudolphT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ThomazoR14,
author = {Micha{\"{e}}l Thomazo and
Sebastian Rudolph},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Mixing Materialization and Query Rewriting for Existential Rules},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {897--902},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-897},
doi = {10.3233/978-1-61499-419-0-897},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ThomazoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/MugnierT14,
author = {Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Manolis Koubarakis and
Giorgos B. Stamou and
Giorgos Stoilos and
Ian Horrocks and
Phokion G. Kolaitis and
Georg Lausen and
Gerhard Weikum},
title = {An Introduction to Ontology-Based Query Answering with Existential
Rules},
booktitle = {Reasoning Web. Reasoning on the Web in the Big Data Era - 10th International
Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8714},
pages = {245--278},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10587-1\_6},
doi = {10.1007/978-3-319-10587-1\_6},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/rweb/MugnierT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HolubMT14,
author = {Stepan Holub and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {Alternating Towers and Piecewise Testable Separators},
journal = {CoRR},
volume = {abs/1409.3943},
year = {2014},
url = {http://arxiv.org/abs/1409.3943},
eprinttype = {arXiv},
eprint = {1409.3943},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HolubMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MasopustT14,
author = {Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {On {\textdollar}k{\textdollar}-piecewise testability (preliminary
report)},
journal = {CoRR},
volume = {abs/1412.1641},
year = {2014},
url = {http://arxiv.org/abs/1412.1641},
eprinttype = {arXiv},
eprint = {1412.1641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MasopustT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RudolphTBM14,
author = {Sebastian Rudolph and
Micha{\"{e}}l Thomazo and
Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier},
title = {Worst-case Optimal Query Answering for Greedy Sets of Existential
Rules and Their Subclasses},
journal = {CoRR},
volume = {abs/1412.4485},
year = {2014},
url = {http://arxiv.org/abs/1412.4485},
eprinttype = {arXiv},
eprint = {1412.4485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RudolphTBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Thomazo13,
author = {Micha{\"{e}}l Thomazo},
title = {Conjunctive Query Answering Under Existential Rules - Decidability,
Complexity, and Algorithms},
school = {Montpellier 2 University, France},
year = {2013},
url = {https://tel.archives-ouvertes.fr/tel-00925722},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Thomazo13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thomazo13,
author = {Micha{\"{e}}l Thomazo},
editor = {Francesca Rossi},
title = {Compact Rewritings for Existential Rules},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1125--1131},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6826},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Thomazo13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KonigLMT13,
author = {M{\'{e}}lanie K{\"{o}}nig and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Francesca Rossi},
title = {Sound, Complete, and Minimal Query Rewriting for Existential Rules},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {3017--3021},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6641},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KonigLMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thomazo13a,
author = {Micha{\"{e}}l Thomazo},
editor = {Francesca Rossi},
title = {Ontology Based Query Answering with Existential Rules},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {3245--3246},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6784},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Thomazo13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/KonigLMT13,
author = {M{\'{e}}lanie K{\"{o}}nig and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {On the Exploration of the Query Rewriting Space with Existential Rules},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {123--137},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_10},
doi = {10.1007/978-3-642-39666-3\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/KonigLMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonigLMT13,
author = {M{\'{e}}lanie K{\"{o}}nig and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
title = {Sound, Complete and Minimal UCQ-Rewriting for Existential Rules},
journal = {CoRR},
volume = {abs/1311.3198},
year = {2013},
url = {http://arxiv.org/abs/1311.3198},
eprinttype = {arXiv},
eprint = {1311.3198},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonigLMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MugnierST12,
author = {Marie{-}Laure Mugnier and
Genevi{\`{e}}ve Simonet and
Micha{\"{e}}l Thomazo},
title = {On the complexity of entailment in existential conjunctive first-order
logic with atomic negation},
journal = {Inf. Comput.},
volume = {215},
pages = {8--31},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.03.001},
doi = {10.1016/J.IC.2012.03.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MugnierST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Thomazo12,
author = {Micha{\"{e}}l Thomazo},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {From {EL} to Tractable Existential Rules with Complex Role Inclusions},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_24.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Thomazo12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ThomazoBMR12,
author = {Micha{\"{e}}l Thomazo and
Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier and
Sebastian Rudolph},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {A Generic Querying Algorithm for Greedy Sets of Existential Rules},
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/4542},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ThomazoBMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/KonigLMT12,
author = {M{\'{e}}lanie K{\"{o}}nig and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {A Sound and Complete Backward Chaining Algorithm for Existential Rules},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {122--138},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_10},
doi = {10.1007/978-3-642-33203-6\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/KonigLMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BagetMRT11,
author = {Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Toby Walsh},
title = {Walking the Complexity Lines for Generalized Guarded Existential Rules},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {712--717},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-126},
doi = {10.5591/978-1-57735-516-8/IJCAI11-126},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BagetMRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/BagetMT11,
author = {Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier and
Micha{\"{e}}l Thomazo},
editor = {Sebastian Rudolph and
Claudio Gutierrez},
title = {Towards Farsighted Dependencies for Existential Rules},
booktitle = {Web Reasoning and Rule Systems - 5th International Conference, {RR}
2011, Galway, Ireland, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6902},
pages = {30--45},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23580-1\_4},
doi = {10.1007/978-3-642-23580-1\_4},
timestamp = {Thu, 10 Nov 2022 07:36:26 +0100},
biburl = {https://dblp.org/rec/conf/rr/BagetMT11.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-21 17:33 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:
