default search action
BibTeX records: Marie-Laure Mugnier
@article{DBLP:journals/cea/NajmMGBMG24, author = {Elie Najm and Marie{-}Laure Mugnier and Christian Gary and Jean{-}Fran{\c{c}}ois Baget and Raphael M{\'{e}}tral and L{\'{e}}o Garcia}, title = {Integrating data and knowledge to support the selection of service plant species in agroecology}, journal = {Comput. Electron. Agric.}, volume = {217}, pages = {108594}, year = {2024}, url = {https://doi.org/10.1016/j.compag.2023.108594}, doi = {10.1016/J.COMPAG.2023.108594}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cea/NajmMGBMG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Sun, 04 Aug 2024 19:43:54 +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} }
@incollection{DBLP:books/sp/20/BienvenuLMR20, author = {Meghyn Bienvenu and Michel Lecl{\`{e}}re and Marie{-}Laure Mugnier and Marie{-}Christine Rousset}, editor = {Pierre Marquis and Odile Papini and Henri Prade}, title = {Reasoning with Ontologies}, booktitle = {A Guided Tour of Artificial Intelligence Research: Volume {I:} Knowledge Representation, Reasoning and Learning}, pages = {185--215}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-06164-7\_6}, doi = {10.1007/978-3-030-06164-7\_6}, timestamp = {Tue, 06 Aug 2024 09:23:58 +0200}, biburl = {https://dblp.org/rec/books/sp/20/BienvenuLMR20.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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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 = {Mon, 27 May 2024 22:16:34 +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 = {Tue, 09 Jul 2024 18:07:18 +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} }
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.