Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marie-Laure Mugnier
@article{DBLP:journals/pvldb/RodriguezUM23,
author = {Olivier Rodriguez and
Federico Ulliana and
Marie{-}Laure Mugnier},
title = {Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting},
journal = {Proc. {VLDB} Endow.},
volume = {16},
number = {11},
pages = {2699--2713},
year = {2023},
url = {https://www.vldb.org/pvldb/vol16/p2699-ulliana.pdf},
doi = {10.14778/3611479.3611481},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/RodriguezUM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeclereMP23,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Guillaume P{\'{e}}rution{-}Kihli},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Query Rewriting with Disjunctive Existential Rules and Mappings},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {429--439},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/42},
doi = {10.24963/KR.2023/42},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/LeclereMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BagetMR23,
author = {Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier and
Sebastian Rudolph},
editor = {Floris Geerts and
Hung Q. Ngo and
Stavros Sintos},
title = {Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds
toward Decidable Querying},
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 = {291--302},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584372.3588659},
doi = {10.1145/3584372.3588659},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BagetMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05973,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Guillaume P{\'{e}}rution{-}Kihli},
title = {Query Rewriting with Disjunctive Existential Rules and Mappings},
journal = {CoRR},
volume = {abs/2306.05973},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05973},
doi = {10.48550/ARXIV.2306.05973},
eprinttype = {arXiv},
eprint = {2306.05973},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05973.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 = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/CarralLMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/NajmBM22,
author = {Elie Najm and
Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier},
editor = {D{\"{o}}rthe Arndt and
Ahmet Soylu and
Jan Vanthienen and
Evgeny Kharlamov and
Alexander Steen},
title = {Rule-Based Data Access: {A} Use-case in Agroecology},
booktitle = {Proceedings of the 16th International Rule Challenge and 6th Doctoral
Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer
School {(RW} 2022) and 14th DecisionCAMP 2022 as part of Declarative
{AI} 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26
- 28 September, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3229},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3229/paper22.pdf},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/NajmBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2022,
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {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},
urn = {urn:nbn:de:0074-3263-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2022.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}
}
@article{DBLP:journals/tplp/DelivoriasLMU21,
author = {Stathis Delivorias and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Federico Ulliana},
title = {Characterizing Boundedness in Chase Variants},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {1},
pages = {51--79},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000083},
doi = {10.1017/S1471068420000083},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DelivoriasLMU21.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 12:46:57 +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/ki/Mugnier20,
author = {Marie{-}Laure Mugnier},
title = {Data Access With Horn Ontologies: Where Description Logics Meet Existential
Rules},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {4},
pages = {475--489},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00678-3},
doi = {10.1007/S13218-020-00678-3},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Mugnier20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BuronGMM20,
author = {Maxime Buron and
Fran{\c{c}}ois Goasdou{\'{e}} and
Ioana Manolescu and
Marie{-}Laure Mugnier},
title = {Obi-Wan: Ontology-Based {RDF} Integration of Heterogeneous Data},
journal = {Proc. {VLDB} Endow.},
volume = {13},
number = {12},
pages = {2933--2936},
year = {2020},
url = {http://www.vldb.org/pvldb/vol13/p2933-buron.pdf},
doi = {10.14778/3415478.3415512},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/BuronGMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BuronGMM20,
author = {Maxime Buron and
Fran{\c{c}}ois Goasdou{\'{e}} and
Ioana Manolescu and
Marie{-}Laure Mugnier},
editor = {Angela Bonifati and
Yongluan Zhou and
Marcos Antonio Vaz Salles and
Alexander B{\"{o}}hm and
Dan Olteanu and
George H. L. Fletcher and
Arijit Khan and
Bin Yang},
title = {Ontology-Based {RDF} Integration of Heterogeneous Data},
booktitle = {Proceedings of the 23rd International Conference on Extending Database
Technology, {EDBT} 2020, Copenhagen, Denmark, March 30 - April 02,
2020},
pages = {299--310},
publisher = {OpenProceedings.org},
year = {2020},
url = {https://doi.org/10.5441/002/edbt.2020.27},
doi = {10.5441/002/EDBT.2020.27},
timestamp = {Wed, 15 Feb 2023 22:11:05 +0100},
biburl = {https://dblp.org/rec/conf/edbt/BuronGMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BuronGMMM20,
author = {Maxime Buron and
Fran{\c{c}}ois Goasdou{\'{e}} and
Ioana Manolescu and
Tayeb Merabti and
Marie{-}Laure Mugnier},
editor = {Thorsten Liebig and
Achille Fokoue and
Zhe Wu},
title = {Revisiting {RDF} storage layouts for efficient query answering},
booktitle = {Proceedings of the 12th International Workshop on Scalable Semantic
Web Knowledge Base Systems co-located with 19th International Semantic
Web Conference {(ISWC} 2020), Athens, Greece, November 2, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2757},
pages = {17--32},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2757/SSWS2020\_paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:08 +0100},
biburl = {https://dblp.org/rec/conf/semweb/BuronGMMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10030,
author = {Stathis Delivorias and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Federico Ulliana},
title = {Characterizing Boundedness in Chase Variants},
journal = {CoRR},
volume = {abs/2004.10030},
year = {2020},
url = {https://arxiv.org/abs/2004.10030},
eprinttype = {arXiv},
eprint = {2004.10030},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-08467,
author = {Pierre Bourhis and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Sophie Tison and
Federico Ulliana and
Lily Gallois},
title = {Oblivious and Semi-Oblivious Boundedness for Existential Rules},
journal = {CoRR},
volume = {abs/2006.08467},
year = {2020},
url = {https://arxiv.org/abs/2006.08467},
eprinttype = {arXiv},
eprint = {2006.08467},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-08467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/BuronGMM19,
author = {Maxime Buron and
Fran{\c{c}}ois Goasdou{\'{e}} and
Ioana Manolescu and
Marie{-}Laure Mugnier},
editor = {Pascal Hitzler and
Miriam Fern{\'{a}}ndez and
Krzysztof Janowicz and
Amrapali Zaveri and
Alasdair J. G. Gray and
Vanessa L{\'{o}}pez and
Armin Haller and
Karl Hammar},
title = {Reformulation-Based Query Answering for {RDF} Graphs with {RDFS} Ontologies},
booktitle = {The Semantic Web - 16th International Conference, {ESWC} 2019, Portoro{\v{z}},
Slovenia, June 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11503},
pages = {19--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21348-0\_2},
doi = {10.1007/978-3-030-21348-0\_2},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esws/BuronGMM19.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/BourhisLMTUG19,
author = {Pierre Bourhis and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Sophie Tison and
Federico Ulliana and
Lily Gallois},
editor = {Sarit Kraus},
title = {Oblivious and Semi-Oblivious Boundedness for Existential Rules},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1581--1587},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/219},
doi = {10.24963/IJCAI.2019/219},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BourhisLMTUG19.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}
}
@inproceedings{DBLP:conf/ruleml/DelivoriasLMU18,
author = {Stathis Delivorias and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Federico Ulliana},
editor = {Christoph Benzm{\"{u}}ller and
Francesco Ricca and
Xavier Parent and
Dumitru Roman},
title = {On the k-Boundedness for Existential Rules},
booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
2018, Luxembourg, September 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11092},
pages = {48--64},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99906-7\_4},
doi = {10.1007/978-3-319-99906-7\_4},
timestamp = {Tue, 31 Mar 2020 16:35:50 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/DelivoriasLMU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MugnierRS18,
author = {Marie{-}Laure Mugnier and
Catherine Roussey and
Pierre Senellart},
editor = {Pierre{-}Antoine Champin and
Fabien Gandon and
Mounia Lalmas and
Panagiotis G. Ipeirotis},
title = {Reasoning on Data Workshop Chairs' Welcome and Organization},
booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018,
{WWW} 2018, Lyon , France, April 23-27, 2018},
pages = {1585--1586},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3184558.3192320},
doi = {10.1145/3184558.3192320},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/MugnierRS18.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/corr/abs-1810-09304,
author = {Stathis Delivorias and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Federico Ulliana},
title = {On the k-Boundedness for Existential Rules},
journal = {CoRR},
volume = {abs/1810.09304},
year = {2018},
url = {http://arxiv.org/abs/1810.09304},
eprinttype = {arXiv},
eprint = {1810.09304},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09304.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}
}
@inproceedings{DBLP:conf/ijcai/BienvenuBMTU17,
author = {Meghyn Bienvenu and
Pierre Bourhis and
Marie{-}Laure Mugnier and
Sophie Tison and
Federico Ulliana},
editor = {Carles Sierra},
title = {Ontology-Mediated Query Answering for Key-Value Stores},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {844--851},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/117},
doi = {10.24963/IJCAI.2017/117},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BienvenuBMTU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MugnierRU16,
author = {Marie{-}Laure Mugnier and
Marie{-}Christine Rousset and
Federico Ulliana},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Ontology-Mediated Queries for {NOSQL} Databases},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {1051--1057},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10112},
doi = {10.1609/AAAI.V30I1.10112},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MugnierRU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LeclereMU16,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Federico Ulliana},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {On Bounded Positive Existential Rules},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LeclereMU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MugnierRU16,
author = {Marie{-}Laure Mugnier and
Marie{-}Christine Rousset and
Federico Ulliana},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Ontology-Mediated Queries for {NOSQL} Databases},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MugnierRU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BagetBBCMPRT16,
author = {Jean{-}Fran{\c{c}}ois Baget and
Salem Benferhat and
Zied Bouraoui and
Madalina Croitoru and
Marie{-}Laure Mugnier and
Odile Papini and
Swan Rocher and
Karim Tabia},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Inconsistency-Tolerant Query Answering: Rationality Properties and
Computational Complexity Analysis},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {64--80},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_5},
doi = {10.1007/978-3-319-48758-8\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BagetBBCMPRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BagetBBCMPRT16,
author = {Jean{-}Fran{\c{c}}ois Baget and
Salem Benferhat and
Zied Bouraoui and
Madalina Croitoru and
Marie{-}Laure Mugnier and
Odile Papini and
Swan Rocher and
Karim Tabia},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {A General Modifier-Based Framework for Inconsistency-Tolerant Query
Answering},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {513--516},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12875},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/BagetBBCMPRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BagetBBCMPRT16,
author = {Jean{-}Fran{\c{c}}ois Baget and
Salem Benferhat and
Zied Bouraoui and
Madalina Croitoru and
Marie{-}Laure Mugnier and
Odile Papini and
Swan Rocher and
Karim Tabia},
title = {A General Modifier-based Framework for Inconsistency-Tolerant Query
Answering},
journal = {CoRR},
volume = {abs/1602.05828},
year = {2016},
url = {http://arxiv.org/abs/1602.05828},
eprinttype = {arXiv},
eprint = {1602.05828},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BagetBBCMPRT16.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/ijcai/BagetBMR15,
author = {Jean{-}Fran{\c{c}}ois Baget and
Meghyn Bienvenu and
Marie{-}Laure Mugnier and
Swan Rocher},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Combining Existential Rules and Transitivity: Next Steps},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2720--2726},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/385},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BagetBMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KonigLM15,
author = {M{\'{e}}lanie K{\"{o}}nig and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Query Rewriting for Existential Rules with Compiled Preorder},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3106--3112},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/438},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KonigLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BagetGLMRS15,
author = {Jean{-}Fran{\c{c}}ois Baget and
Alain Gutierrez and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Swan Rocher and
Cl{\'{e}}ment Sipieter},
editor = {Nick Bassiliades and
Paul Fodor and
Adrian Giurca and
Georg Gottlob and
Tom{\'{a}}s Kliegr and
Grzegorz J. Nalepa and
Monica Palmirani and
Adrian Paschke and
Mark Proctor and
Dumitru Roman and
Fariba Sadri and
Nenad Stojanovic},
title = {Datalog+, RuleML and {OWL} 2: Formats and Translations for Existential
Rules},
booktitle = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based
Recommender Systems for the Web of Data, the Special Industry Track
and the RuleML 2015 Doctoral Consortium hosted by the 9th International
Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1417},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1417/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/BagetGLMRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BagetLMRS15,
author = {Jean{-}Fran{\c{c}}ois Baget and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Swan Rocher and
Cl{\'{e}}ment Sipieter},
editor = {Nick Bassiliades and
Georg Gottlob and
Fariba Sadri and
Adrian Paschke and
Dumitru Roman},
title = {Graal: {A} Toolkit for Query Answering with Existential Rules},
booktitle = {Rule Technologies: Foundations, Tools, and Applications - 9th International
Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9202},
pages = {328--344},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21542-6\_21},
doi = {10.1007/978-3-319-21542-6\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/BagetLMRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015jowo,
editor = {Odile Papini and
Salem Benferhat and
Laurent Garcia and
Marie{-}Laure Mugnier and
Eduardo L. Ferm{\'{e}} and
Thomas Meyer and
Renata Wassermann and
Torsten Hahmann and
Ken Baclawski and
Adila Krisnadhi and
Pavel Klinov and
Stefano Borgo and
Oliver Kutz and
Daniele Porello},
title = {Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine
Winter of Ontology co-located with the 24th International Joint Conference
on Artificial Intelligence {(IJCAI} 2015), Buenos Aires, Argentina,
July 25-27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1517},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1517},
urn = {urn:nbn:de:0074-1517-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2015jowo.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BagetBMR15,
author = {Jean{-}Fran{\c{c}}ois Baget and
Meghyn Bienvenu and
Marie{-}Laure Mugnier and
Swan Rocher},
title = {Combining Existential Rules and Transitivity: Next Steps},
journal = {CoRR},
volume = {abs/1504.07443},
year = {2015},
url = {http://arxiv.org/abs/1504.07443},
eprinttype = {arXiv},
eprint = {1504.07443},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BagetBMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BagetGMR14,
author = {Jean{-}Fran{\c{c}}ois Baget and
Fabien Garreau and
Marie{-}Laure Mugnier and
Swan Rocher},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Extending Acyclicity Notions 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 = {39--44},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-39},
doi = {10.3233/978-1-61499-419-0-39},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BagetGMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CheinM14,
author = {Michel Chein and
Marie{-}Laure Mugnier},
editor = {Nathalie Hernandez and
Robert J{\"{a}}schke and
Madalina Croitoru},
title = {Conceptual Graphs Are Also Graphs},
booktitle = {Graph-Based Representation and Reasoning - 21st International Conference
on Conceptual Structures, {ICCS} 2014, Ia{\c{s}}i, Romania, July 27-30,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8577},
pages = {1--18},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08389-6\_1},
doi = {10.1007/978-3-319-08389-6\_1},
timestamp = {Sun, 02 Jun 2019 21:20:11 +0200},
biburl = {https://dblp.org/rec/conf/iccs/CheinM14.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}
}
@proceedings{DBLP:conf/rr/2014,
editor = {Roman Kontchakov and
Marie{-}Laure Mugnier},
title = {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},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11113-1},
doi = {10.1007/978-3-319-11113-1},
isbn = {978-3-319-11112-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BagetGMR14,
author = {Jean{-}Fran{\c{c}}ois Baget and
Fabien Garreau and
Marie{-}Laure Mugnier and
Swan Rocher},
title = {Revisiting Chase Termination for Existential Rules and their Extension
to Nonmonotonic Negation},
journal = {CoRR},
volume = {abs/1405.1071},
year = {2014},
url = {http://arxiv.org/abs/1405.1071},
eprinttype = {arXiv},
eprint = {1405.1071},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BagetGMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BagetGMR14a,
author = {Jean{-}Fran{\c{c}}ois Baget and
Fabien Garreau and
Marie{-}Laure Mugnier and
Swan Rocher},
title = {Extending Acyclicity Notions for Existential Rules ({\textbackslash}emph\{long
version\})},
journal = {CoRR},
volume = {abs/1407.6885},
year = {2014},
url = {http://arxiv.org/abs/1407.6885},
eprinttype = {arXiv},
eprint = {1407.6885},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BagetGMR14a.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}
}
@article{DBLP:journals/eswa/BourguetTMA13,
author = {Jean{-}R{\'{e}}mi Bourguet and
Rallou Thomopoulos and
Marie{-}Laure Mugnier and
Jo{\"{e}}l Ab{\'{e}}cassis},
title = {An artificial intelligence-based approach to deal with argumentation
applied to food quality in a public health policy},
journal = {Expert Syst. Appl.},
volume = {40},
number = {11},
pages = {4539--4546},
year = {2013},
url = {https://doi.org/10.1016/j.eswa.2013.01.059},
doi = {10.1016/J.ESWA.2013.01.059},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/BourguetTMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/CheinMC13,
author = {Michel Chein and
Marie{-}Laure Mugnier and
Madalina Croitoru},
title = {Visual reasoning with graph-based mechanisms: the good, the better
and the best},
journal = {Knowl. Eng. Rev.},
volume = {28},
number = {3},
pages = {249--271},
year = {2013},
url = {https://doi.org/10.1017/S0269888913000234},
doi = {10.1017/S0269888913000234},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/CheinMC13.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, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KonigLMT13.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}
}
@inproceedings{DBLP:conf/rr/LeclereMR13,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Swan Rocher},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Kiabora: An Analyzer of Existential Rule Bases},
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 = {241--246},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_22},
doi = {10.1007/978-3-642-39666-3\_22},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/LeclereMR13.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/datalog/Mugnier12,
author = {Marie{-}Laure Mugnier},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Existential Rules: {A} Graph-Based View - (Extended Abstract)},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {21--26},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_3},
doi = {10.1007/978-3-642-32925-8\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Mugnier12.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/ruleml/Mugnier12,
author = {Marie{-}Laure Mugnier},
editor = {Antonis Bikakis and
Adrian Giurca},
title = {Ontology-Based Query Answering with Existential Rules},
booktitle = {Rules on the Web: Research and Applications - 6th International Symposium,
RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7438},
pages = {16},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32689-9\_2},
doi = {10.1007/978-3-642-32689-9\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/Mugnier12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BagetLMS11,
author = {Jean{-}Fran{\c{c}}ois Baget and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Eric Salvat},
title = {On rules with existential variables: Walking the decidability line},
journal = {Artif. Intell.},
volume = {175},
number = {9-10},
pages = {1620--1654},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2011.03.002},
doi = {10.1016/J.ARTINT.2011.03.002},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BagetLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/MohamedLM11,
author = {Khalil Ben Mohamed and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Abdelkader Hameurlain and
Stephen W. Liddle and
Klaus{-}Dieter Schewe and
Xiaofang Zhou},
title = {A Theoretical and Experimental Comparison of Algorithms for the Containment
of Conjunctive Queries with Negation},
booktitle = {Database and Expert Systems Applications - 22nd International Conference,
{DEXA} 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6860},
pages = {466--480},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23088-2\_35},
doi = {10.1007/978-3-642-23088-2\_35},
timestamp = {Thu, 21 Nov 2019 11:10:44 +0100},
biburl = {https://dblp.org/rec/conf/dexa/MohamedLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gkr/FortinTBM11,
author = {J{\'{e}}r{\^{o}}me Fortin and
Rallou Thomopoulos and
Jean{-}R{\'{e}}mi Bourguet and
Marie{-}Laure Mugnier},
editor = {Madalina Croitoru and
Sebastian Rudolph and
Nic Wilson and
John Howse and
Olivier Corby},
title = {Supporting Argumentation Systems by Graph Representation and Computation},
booktitle = {Graph Structures for Knowledge Representation and Reasoning - Second
International Workshop, {GKR} 2011, Barcelona, Spain, July 16, 2011.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7205},
pages = {119--136},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29449-5\_5},
doi = {10.1007/978-3-642-29449-5\_5},
timestamp = {Mon, 03 Jan 2022 22:26:13 +0100},
biburl = {https://dblp.org/rec/conf/gkr/FortinTBM11.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/Mugnier11,
author = {Marie{-}Laure Mugnier},
editor = {Sebastian Rudolph and
Claudio Gutierrez},
title = {Ontological Query Answering with 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 = {2--23},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23580-1\_2},
doi = {10.1007/978-3-642-23580-1\_2},
timestamp = {Thu, 10 Nov 2022 07:36:26 +0100},
biburl = {https://dblp.org/rec/conf/rr/Mugnier11.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 = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/BagetMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1800,
author = {Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier},
title = {Extensions of Simple Conceptual Graphs: the Complexity of Rules and
Constraints},
journal = {CoRR},
volume = {abs/1106.1800},
year = {2011},
url = {http://arxiv.org/abs/1106.1800},
eprinttype = {arXiv},
eprint = {1106.1800},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/MohamedLM10,
author = {Khalil Ben Mohamed and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Darina Dicheva and
Danail Dochev},
title = {Deduction in Existential Conjunctive First-Order Logic: An Algorithm
and Experiments},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 14th
International Conference, {AIMSA} 2010, Varna, Bulgaria, September
8-10. 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6304},
pages = {1--10},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15431-7\_1},
doi = {10.1007/978-3-642-15431-7\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/MohamedLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/MohamedLM10,
author = {Khalil Ben Mohamed and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Pablo Garc{\'{\i}}a Bringas and
Abdelkader Hameurlain and
Gerald Quirchmayr},
title = {Containment of Conjunctive Queries with Negation: Algorithms and Experiments},
booktitle = {Database and Expert Systems Applications, 21th International Conference,
{DEXA} 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6262},
pages = {330--345},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15251-1\_27},
doi = {10.1007/978-3-642-15251-1\_27},
timestamp = {Fri, 25 Dec 2020 01:14:57 +0100},
biburl = {https://dblp.org/rec/conf/dexa/MohamedLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BagetCGLM10,
author = {Jean{-}Fran{\c{c}}ois Baget and
Madalina Croitoru and
Alain Gutierrez and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Madalina Croitoru and
S{\'{e}}bastien Ferr{\'{e}} and
Dickson Lukose},
title = {Translations between {RDF(S)} and Conceptual Graphs},
booktitle = {Conceptual Structures: From Information to Intelligence, 18th International
Conference on Conceptual Structures, {ICCS} 2010, Kuching, Sarawak,
Malaysia, July 26-30, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6208},
pages = {28--41},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14197-3\_7},
doi = {10.1007/978-3-642-14197-3\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/BagetCGLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BagetLM10,
author = {Jean{-}Fran{\c{c}}ois Baget and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Walking the Decidability Line for Rules with Existential Variables},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1216},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BagetLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/aikp/CheinM09,
author = {Michel Chein and
Marie{-}Laure Mugnier},
title = {Graph-based Knowledge Representation - Computational Foundations of
Conceptual Graphs},
series = {Advanced Information and Knowledge Processing},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84800-286-9},
doi = {10.1007/978-1-84800-286-9},
isbn = {978-1-84800-285-2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/aikp/CheinM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/CarloniLM09,
author = {Olivier Carloni and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
title = {Introducing reasoning into an industrial knowledge management tool},
journal = {Appl. Intell.},
volume = {31},
number = {3},
pages = {211--224},
year = {2009},
url = {https://doi.org/10.1007/s10489-007-0103-x},
doi = {10.1007/S10489-007-0103-X},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/CarloniLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/Mugnier09,
author = {Marie{-}Laure Mugnier},
editor = {Sebastian Rudolph and
Frithjof Dau and
Sergei O. Kuznetsov},
title = {Conceptual Graph Rules and Equivalent Rules: {A} Synthesis},
booktitle = {Conceptual Structures: Leveraging Semantic Technologies, 17th International
Conference on Conceptual Structures, {ICCS} 2009, Moscow, Russia,
July 26-31, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5662},
pages = {23--31},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03079-6\_3},
doi = {10.1007/978-3-642-03079-6\_3},
timestamp = {Mon, 03 Jan 2022 22:28:12 +0100},
biburl = {https://dblp.org/rec/conf/iccs/Mugnier09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BagetLMS09,
author = {Jean{-}Fran{\c{c}}ois Baget and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Eric Salvat},
editor = {Craig Boutilier},
title = {Extending Decidable Cases for Rules with Existential Variables},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {677--682},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/118.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BagetLMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BagetLMS08,
author = {Jean{-}Fran{\c{c}}ois Baget and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Eric Salvat},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {{DL-SR:} a Lite {DL} with Expressive Rules: Preliminary Results},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/BagetLeclereMugnierSalvat.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BagetLMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/LeclereM08,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Peter W. Eklund and
Ollivier Haemmerl{\'{e}}},
title = {An Algorithmic Study of Deduction in Simple Conceptual Graphs with
Classical Negation},
booktitle = {Conceptual Structures: Knowledge Visualization and Reasoning, 16th
International Conference on Conceptual Structures, {ICCS} 2008, Toulouse,
France, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5113},
pages = {119--132},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70596-3\_8},
doi = {10.1007/978-3-540-70596-3\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/LeclereM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BagetCDFGGGLMT08,
author = {Jean{-}Fran{\c{c}}ois Baget and
Olivier Corby and
Rose Dieng{-}Kuntz and
Catherine Faron{-}Zucker and
Fabien Gandon and
Alain Giboin and
Alain Gutierrez and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Rallou Thomopoulos},
editor = {Peter W. Eklund and
Ollivier Haemmerl{\'{e}}},
title = {Griwes: Generic Model and Preliminary Specifications for a Graph-Based
Knowledge Representation Toolkit},
booktitle = {Conceptual Structures: Knowledge Visualization and Reasoning, 16th
International Conference on Conceptual Structures, {ICCS} 2008, Toulouse,
France, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5113},
pages = {297--310},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70596-3\_21},
doi = {10.1007/978-3-540-70596-3\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/BagetCDFGGGLMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/MugnierL07,
author = {Marie{-}Laure Mugnier and
Michel Lecl{\`{e}}re},
title = {On querying simple conceptual graphs with negation},
journal = {Data Knowl. Eng.},
volume = {60},
number = {3},
pages = {468--493},
year = {2007},
url = {https://doi.org/10.1016/j.datak.2006.03.008},
doi = {10.1016/J.DATAK.2006.03.008},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/MugnierL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LeclereM07,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Some Algorithmic Improvements for the Containment Problem of Conjunctive
Queries with Negation},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {404--418},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_28},
doi = {10.1007/11965893\_28},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/LeclereM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ThomopoulosML06,
author = {Rallou Thomopoulos and
Marie{-}Laure Mugnier and
Michel Lecl{\`{e}}re},
editor = {Pavel Shvaiko and
J{\'{e}}r{\^{o}}me Euzenat and
Alain L{\'{e}}ger and
Deborah L. McGuinness and
Holger Wache},
title = {Mapping Contexts to Vocabularies to Represent Intentions},
booktitle = {Proceedings of the 2nd International Workshop on Contexts and Ontologies:
Theory, Practice and Applications {(} C{\&}O-2006 {)} Collocated
with the 17th European Conference on Artificial Intelligence {(} {ECAI-2006}
{)} Riva del Garda, Italy, August 28, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {210},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-210/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/ThomopoulosML06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-ic/CarloniLM06,
author = {Olivier Carloni and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Mounira Harzallah and
Jean Charlet and
Nathalie Aussenac{-}Gilles and
Myriam Lewkowicz},
title = {Introduction de raisonnement dans un outil de gestion des connaissances
bas{\'{e}} sur les Topic Maps},
booktitle = {{IC} 2006: Ing{\'{e}}nierie des connaissances 2006 (Proceedings
of the 17th French Knowledge Engineering Conference), Nantes, France,
June 26-30, 2006},
pages = {11--20},
publisher = {Universit{\'{e}} de Nantes},
year = {2006},
url = {http://www.irit.fr/GRACQ/article.php3?id\_article=216},
timestamp = {Fri, 16 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/f-ic/CarloniLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/LeclereM06,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Henrik Sch{\"{a}}rfe and
Pascal Hitzler and
Peter {\O}hrstr{\o}m},
title = {Simple Conceptual Graphs with Atomic Negation and Difference},
booktitle = {Conceptual Structures: Inspiration and Application, 14th International
Conference on Conceptual Structures, {ICCS} 2006, Aalborg, Denmark,
July 16-21, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4068},
pages = {331--345},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787181\_24},
doi = {10.1007/11787181\_24},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/LeclereM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/CarloniLM06,
author = {Olivier Carloni and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier},
editor = {Moonis Ali and
Richard Dapoigny},
title = {Introducing Graph-Based Reasoning into a Knowledge Management Tool:
An Industrial Case Study},
booktitle = {Advances in Applied Artificial Intelligence, 19th International Conference
on Industrial, Engineering and Other Applications of Applied Intelligent
Systems, {IEA/AIE} 2006, Annecy, France, June 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4031},
pages = {590--599},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11779568\_64},
doi = {10.1007/11779568\_64},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/CarloniLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccs/2005,
editor = {Frithjof Dau and
Marie{-}Laure Mugnier and
Gerd Stumme},
title = {Conceptual Structures: Common Semantics for Sharing Knowledge, 13th
International Conference on Conceptual Structures, {ICCS} 2005, Kassel,
Germany, July 17-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3596},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31885-9},
doi = {10.1007/978-3-540-31885-9},
isbn = {3-540-27783-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CheinM04,
author = {Michel Chein and
Marie{-}Laure Mugnier},
editor = {Karl Erich Wolff and
Heather D. Pfeiffer and
Harry S. Delugach},
title = {Concept Types and Coreference in Simple Conceptual Graphs},
booktitle = {Conceptual Structures at Work: 12th International Conference on Conceptual
Structures, {ICCS} 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3127},
pages = {303--318},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27769-9\_20},
doi = {10.1007/978-3-540-27769-9\_20},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/CheinM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BagetM02,
author = {Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier},
title = {Extensions of Simple Conceptual Graphs: the Complexity of Rules and
Constraints},
journal = {J. Artif. Intell. Res.},
volume = {16},
pages = {425--465},
year = {2002},
url = {https://doi.org/10.1613/jair.918},
doi = {10.1613/JAIR.918},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BagetM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BagetM01,
author = {Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier},
editor = {Bernhard Nebel},
title = {The {SG} Family: Extensions of Simple Conceptual Graphs},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {205--212},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BagetM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/Mugnier00,
author = {Marie{-}Laure Mugnier},
editor = {Bernhard Ganter and
Guy W. Mineau},
title = {Knowledge Representation and Reasonings Based on Graph Homomorphism},
booktitle = {Conceptual Structures: Logical, Linguistic, and Computational Issues,
8th International Conference on Conceptual Structures, {ICCS} 2000,
Darmstadt, Germany, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1867},
pages = {172--192},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722280\_12},
doi = {10.1007/10722280\_12},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/Mugnier00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BagetGM99,
author = {Jean{-}Fran{\c{c}}ois Baget and
David Genest and
Marie{-}Laure Mugnier},
editor = {William M. Tepfenhart and
Walling R. Cyre},
title = {A Pure Graph-Based Solution to the {SCG-1} Initiative},
booktitle = {Conceptual Structures: Standards and Practices, 7th International
Conference on Conceptual Structures, {ICCS} '99, Blacksburg, Virginia,
USA, July 12-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1640},
pages = {355--376},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48659-3\_22},
doi = {10.1007/3-540-48659-3\_22},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/BagetGM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/PrellerMC98,
author = {Anne Preller and
Marie{-}Laure Mugnier and
Michel Chein},
title = {Logic for Nested Graphs},
journal = {Comput. Intell.},
volume = {14},
number = {3},
pages = {335--357},
year = {1998},
url = {https://doi.org/10.1111/0824-7935.00066},
doi = {10.1111/0824-7935.00066},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/PrellerMC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CheinMS98,
author = {Michel Chein and
Marie{-}Laure Mugnier and
Genevi{\`{e}}ve Simonet},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {Nested Graphs: {A} Graph-based Knowledge Representation Model with
{FOL} Semantics},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {524--535},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/CheinMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccs/1998,
editor = {Marie{-}Laure Mugnier and
Michel Chein},
title = {Conceptual Structures: Theory, Tools and Applications, 6th International
Conference on Conceptual Structures, {ICCS} '98, Montpellier, France,
August 10-12, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1453},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054900},
doi = {10.1007/BFB0054900},
isbn = {3-540-64791-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CheinM97,
author = {Michel Chein and
Marie{-}Laure Mugnier},
editor = {Dickson Lukose and
Harry S. Delugach and
Mary Keeler and
Leroy Searle and
John F. Sowa},
title = {Positive Nested Conceptual Graphs},
booktitle = {Conceptual Structures: Fulfilling Peirce's Dream, Fifth International
Conference on Conceptual Structures, {ICCS} '97, Seattle, Washington,
USA, August 3-8, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1257},
pages = {95--109},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027911},
doi = {10.1007/BFB0027911},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/CheinM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/SalvatM96,
author = {Eric Salvat and
Marie{-}Laure Mugnier},
editor = {Peter W. Eklund and
Gerard Ellis and
Graham Mann},
title = {Sound and Complete Forward and backward Chainingd of Graph Rules},
booktitle = {Conceptual Structures: Knowledge Representation as Interlingua, 4th
International Conference on Conceptual Structures, {ICCS} '96, Sydney,
Australia, August 19-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1115},
pages = {248--262},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61534-2\_16},
doi = {10.1007/3-540-61534-2\_16},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/SalvatM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/Mugnier95,
author = {Marie{-}Laure Mugnier},
title = {On generalization/specialization for conceptual graphs},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {7},
number = {3},
pages = {325--344},
year = {1995},
url = {https://doi.org/10.1080/09528139508953815},
doi = {10.1080/09528139508953815},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/Mugnier95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DucournauHHM94,
author = {Roland Ducournau and
Michel Habib and
Marianne Huchard and
Marie{-}Laure Mugnier},
editor = {Jeff McKenna and
J. Eliot B. Moss and
Richard L. Wexelblat},
title = {Proposal for a Monotonic Multiple Inheritance Linearization},
booktitle = {Proceedings of the Ninth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1994, Portland, Oregon,
USA, October 23-27, 1994},
pages = {164--175},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/191080.191110},
doi = {10.1145/191080.191110},
timestamp = {Wed, 30 Mar 2022 13:55:40 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DucournauHHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/MugnierC93,
author = {Marie{-}Laure Mugnier and
Michel Chein},
editor = {Guy W. Mineau and
Bernard Moulin and
John F. Sowa},
title = {Characterization and Algorithmic Recognition of Canonical Conceptual
Graphs},
booktitle = {Conceptual Graphs for Knowledge Representation, {ICCS} '93, Quebec
City, Canada, August 4-7, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {699},
pages = {294--311},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56979-0\_16},
doi = {10.1007/3-540-56979-0\_16},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/MugnierC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CheinM92,
author = {Michel Chein and
Marie{-}Laure Mugnier},
editor = {Heather Pfeiffer and
Timothy E. Nagle},
title = {Specialization: Where Do the Difficulties Occur?},
booktitle = {Conceptual Structures: Theory and Implementation, 7th Annual Workshop,
Las Cruces, NM, USA, July 8-10, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {754},
pages = {229--238},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57454-9\_18},
doi = {10.1007/3-540-57454-9\_18},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/CheinM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/MugnierC92,
author = {Marie{-}Laure Mugnier and
Michel Chein},
editor = {Heather Pfeiffer and
Timothy E. Nagle},
title = {Polynomial Algorithms for Projection and Matching},
booktitle = {Conceptual Structures: Theory and Implementation, 7th Annual Workshop,
Las Cruces, NM, USA, July 8-10, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {754},
pages = {239--251},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57454-9\_19},
doi = {10.1007/3-540-57454-9\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/MugnierC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DucournauHHM92,
author = {Roland Ducournau and
Michel Habib and
Marianne Huchard and
Marie{-}Laure Mugnier},
editor = {John R. Pugh},
title = {Monotonic Conflict Resolution Mechanisms for Inheritance},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {16--24},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.141939},
doi = {10.1145/141936.141939},
timestamp = {Fri, 13 May 2022 10:38:22 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DucournauHHM92.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-25 02:30 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:
