BibTeX records: Christine Froidevaux

download as .bib file

@article{DBLP:journals/information/MaurelCBCFFP22,
  author       = {Denis Maurel and
                  Sandy Ch{\'{e}}ry and
                  Nicole Bidoit and
                  Philippe Chatalic and
                  Aziza Filali and
                  Christine Froidevaux and
                  Anne Poupon},
  title        = {Transducer Cascades for Biological Literature-Based Discovery},
  journal      = {Inf.},
  volume       = {13},
  number       = {5},
  pages        = {262},
  year         = {2022},
  url          = {https://doi.org/10.3390/info13050262},
  doi          = {10.3390/INFO13050262},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/information/MaurelCBCFFP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ZahariaLFD19,
  author       = {Alexandra Zaharia and
                  Bernard Labedan and
                  Christine Froidevaux and
                  Alain Denise},
  title        = {CoMetGeNe: mining conserved neighborhood patterns in metabolic and
                  genomic contexts},
  journal      = {{BMC} Bioinform.},
  volume       = {20},
  number       = {1},
  pages        = {19},
  year         = {2019},
  url          = {https://doi.org/10.1186/s12859-018-2542-2},
  doi          = {10.1186/S12859-018-2542-2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/ZahariaLFD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChevalierFPZ19,
  author       = {St{\'{e}}phanie Chevalier and
                  Christine Froidevaux and
                  Lo{\"{\i}}c Paulev{\'{e}} and
                  Andrei Yu. Zinovyev},
  title        = {Synthesis of Boolean Networks from Biological Dynamical Constraints
                  using Answer-Set Programming},
  booktitle    = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
  pages        = {34--41},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICTAI.2019.00014},
  doi          = {10.1109/ICTAI.2019.00014},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/ChevalierFPZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-04309,
  author       = {St{\'{e}}phanie Chevalier and
                  Christine Froidevaux and
                  Lo{\"{\i}}c Paulev{\'{e}} and
                  Andrei Yu. Zinovyev},
  title        = {Synthesis of Boolean Networks from Biological Dynamical Constraints
                  using Answer-Set Programming},
  journal      = {CoRR},
  volume       = {abs/1909.04309},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.04309},
  eprinttype    = {arXiv},
  eprint       = {1909.04309},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-04309.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/AbdollahiAABCCC18,
  author       = {Nika Abdollahi and
                  Alexandre Albani and
                  {\'{E}}ric Anthony and
                  Agnes Baud and
                  M{\'{e}}lissa Cardon and
                  Robert Clerc and
                  Dariusz Czernecki and
                  Romain Conte and
                  Laurent David and
                  Agathe Delaune and
                  Samia Djerroud and
                  Pauline Fourgoux and
                  Nad{\`{e}}ge Guiglielmoni and
                  Jeanne Laurentie and
                  Nathalie Lehmann and
                  Camille Lochard and
                  R{\'{e}}mi Montagne and
                  Vasiliki Myrodia and
                  Vaitea Opuu and
                  Elise Parey and
                  L{\'{e}}lia Polit and
                  Sylvain Priv{\'{e}} and
                  Chlo{\'{e}} Quignot and
                  Maria Ruiz{-}Cuevas and
                  Mariam Sissoko and
                  Nicolas Sompairac and
                  Audrey Vallerix and
                  Violaine Verrecchia and
                  Marc Delarue and
                  Rapha{\"{e}}l Gu{\'{e}}rois and
                  Yann Ponty and
                  Sophie Sacquin{-}Mora and
                  Alessandra Carbone and
                  Christine Froidevaux and
                  St{\'{e}}phane Le Crom and
                  Olivier Lespinet and
                  Martin Weigt and
                  Samer Abboud and
                  Juliana S. Bernardes and
                  Guillaume Bouvier and
                  Chlo{\'{e}} Dequeker and
                  Arnaud Ferr{\'{e}} and
                  Patrick Fuchs and
                  Ga{\"{e}}lle Lelandais and
                  Pierre Poulain and
                  Hugues Richard and
                  Hugo Schweke and
                  Elodie Laine and
                  Anne Lopes},
  title        = {Meet-U: Educating through research immersion},
  journal      = {PLoS Comput. Biol.},
  volume       = {14},
  number       = {3},
  year         = {2018},
  url          = {https://doi.org/10.1371/journal.pcbi.1005992},
  doi          = {10.1371/JOURNAL.PCBI.1005992},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ploscb/AbdollahiAABCCC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biomedsem/HenryGFFDLFF17,
  author       = {Vincent Henry and
                  Anne Goelzer and
                  Arnaud Ferr{\'{e}} and
                  Stephan Fischer and
                  Marc Dinh and
                  Valentin Loux and
                  Christine Froidevaux and
                  Vincent Fromion},
  title        = {The bacterial interlocked process ONtology (BiPON): a systemic multi-scale
                  unified representation of biological processes in prokaryotes},
  journal      = {J. Biomed. Semant.},
  volume       = {8},
  number       = {1},
  pages        = {53:1--53:16},
  year         = {2017},
  url          = {https://doi.org/10.1186/s13326-017-0165-6},
  doi          = {10.1186/S13326-017-0165-6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biomedsem/HenryGFFDLFF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BoulakiaBCCFGHL17,
  author       = {Sarah Cohen Boulakia and
                  Khalid Belhajjame and
                  Olivier Collin and
                  J{\'{e}}r{\^{o}}me Chopard and
                  Christine Froidevaux and
                  Alban Gaignard and
                  Konrad Hinsen and
                  Pierre Larmande and
                  Yvan Le Bras and
                  Fr{\'{e}}d{\'{e}}ric Lemoine and
                  Fabien Mareuil and
                  Herv{\'{e}} M{\'{e}}nager and
                  Christophe Pradal and
                  Christophe Blanchet},
  title        = {Scientific workflows for computational reproducibility in the life
                  sciences: Status, challenges and opportunities},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {75},
  pages        = {284--298},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.future.2017.01.012},
  doi          = {10.1016/J.FUTURE.2017.01.012},
  timestamp    = {Thu, 25 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/BoulakiaBCCFGHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/RougnyFCP16,
  author       = {Adrien Rougny and
                  Christine Froidevaux and
                  Laurence Calzone and
                  Lo{\"{\i}}c Paulev{\'{e}}},
  title        = {Qualitative dynamics semantics for {SBGN} process description},
  journal      = {{BMC} Syst. Biol.},
  volume       = {10},
  pages        = {42},
  year         = {2016},
  url          = {https://doi.org/10.1186/s12918-016-0285-0},
  doi          = {10.1186/S12918-016-0285-0},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcsb/RougnyFCP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-ic/HenryFFGFBDDFFG16,
  author       = {Vincent Henry and
                  Arnaud Ferr{\'{e}} and
                  Christine Froidevaux and
                  Anne Goelzer and
                  Vincent Fromion and
                  Sarah Cohen Boulakia and
                  Sandra D{\'{e}}rozier and
                  Marc Dinh and
                  Ghislain Fi{\'{e}}vet and
                  Stephan Fischer and
                  Jean{-}Fran{\c{c}}ois Gibrat and
                  Valentin Loux and
                  Sabine P{\'{e}}r{\`{e}}s},
  editor       = {Nathalie Pernelle},
  title        = {Repr{\'{e}}sentation syst{\'{e}}mique multi-{\'{e}}chelle
                  des processus biologiques de la bact{\'{e}}rie},
  booktitle    = {{IC} 2016 : 27es Journ{\'{e}}es francophones d'Ing{\'{e}}nierie
                  des Connaissances (Proceedings of the 27th French Knowledge Engineering
                  Conference), Montpellier, France, June 6-10, 2016},
  pages        = {97--102},
  year         = {2016},
  url          = {http://hal.archives-ouvertes.fr/IC\_2016/hal-01442727},
  timestamp    = {Tue, 14 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/f-ic/HenryFFGFBDDFFG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RougnyYNBPIF15,
  author       = {Adrien Rougny and
                  Yoshitaka Yamamoto and
                  Hidetomo Nabeshima and
                  Gauvain Bourgne and
                  Anne Poupon and
                  Katsumi Inoue and
                  Christine Froidevaux},
  editor       = {Katsumi Inoue and
                  Hayato Ohwada and
                  Akihiro Yamamoto},
  title        = {Completing signaling networks by abductive reasoning with perturbation
                  experiments},
  booktitle    = {Late Breaking Papers of the 25th International Conference on Inductive
                  Logic Programming, Kyoto University, Kyoto, Japan, August 20th to
                  22nd, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1636},
  pages        = {95--100},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1636/paper-09.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ilp/RougnyYNBPIF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BoulakiaCMGWF14,
  author       = {Sarah Cohen Boulakia and
                  Jiuqiang Chen and
                  Paolo Missier and
                  Carole A. Goble and
                  Alan R. Williams and
                  Christine Froidevaux},
  title        = {Distilling structure in Taverna scientific workflows: a refactoring
                  approach},
  journal      = {{BMC} Bioinform.},
  volume       = {15},
  number       = {{S-1}},
  pages        = {S12},
  year         = {2014},
  url          = {https://doi.org/10.1186/1471-2105-15-S1-S12},
  doi          = {10.1186/1471-2105-15-S1-S12},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/BoulakiaCMGWF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/Guilhot-GaudeffroyABF14,
  author       = {Adrien Guilhot{-}Gaudeffroy and
                  J{\'{e}}r{\^{o}}me Az{\'{e}} and
                  Julie Bernauer and
                  Christine Froidevaux},
  editor       = {Chantal Reynaud and
                  Arnaud Martin and
                  Ren{\'{e}} Quiniou},
  title        = {Apprentissage de fonctions de tri pour la pr{\'{e}}diction d'interactions
                  prot{\'{e}}ine-ARN},
  booktitle    = {14{\`{e}}mes Journ{\'{e}}es Francophones Extraction et Gestion
                  des Connaissances, {EGC} 2014, Rennes, France, 28-32 Janvier, 2014},
  series       = {Revue des Nouvelles Technologies de l'Information},
  volume       = {{E-26}},
  pages        = {479--484},
  publisher    = {Hermann-{\'{E}}ditions},
  year         = {2014},
  url          = {http://editions-rnti.fr/?inprocid=1001960},
  timestamp    = {Thu, 01 May 2014 17:52:43 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/Guilhot-GaudeffroyABF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmmb/YamamotoRNIMFI14,
  author       = {Yoshitaka Yamamoto and
                  Adrien Rougny and
                  Hidetomo Nabeshima and
                  Katsumi Inoue and
                  Hisao Moriya and
                  Christine Froidevaux and
                  Koji Iwanuma},
  editor       = {Fran{\c{c}}ois Fages and
                  Carla Piazza},
  title        = {Completing {SBGN-AF} Networks by Logic-Based Hypothesis Finding},
  booktitle    = {Formal Methods in Macro-Biology - First International Conference,
                  {FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8738},
  pages        = {165--179},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10398-3\_14},
  doi          = {10.1007/978-3-319-10398-3\_14},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmmb/YamamotoRNIMFI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/ChenBFGMW14,
  author       = {Jiuqiang Chen and
                  Sarah Cohen Boulakia and
                  Christine Froidevaux and
                  Carole A. Goble and
                  Paolo Missier and
                  Alan R. Williams},
  editor       = {Christian S. Jensen and
                  Hua Lu and
                  Torben Bach Pedersen and
                  Christian Thomsen and
                  Kristian Torp},
  title        = {DistillFlow: removing redundancy in scientific workflows},
  booktitle    = {Conference on Scientific and Statistical Database Management, {SSDBM}
                  '14, Aalborg, Denmark, June 30 - July 02, 2014},
  pages        = {46:1--46:4},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2618243.2618287},
  doi          = {10.1145/2618243.2618287},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssdbm/ChenBFGMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-5395,
  author       = {Philippe Chatalic and
                  Christine Froidevaux},
  title        = {Lattice-Based Graded Logic: a Multimodal Approach},
  journal      = {CoRR},
  volume       = {abs/1303.5395},
  year         = {2013},
  url          = {http://arxiv.org/abs/1303.5395},
  eprinttype    = {arXiv},
  eprint       = {1303.5395},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-5395.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/BoulakiaFC12,
  author       = {Sarah Cohen Boulakia and
                  Christine Froidevaux and
                  Jiuqiang Chen},
  title        = {Scientific workflow rewriting while preserving provenance},
  booktitle    = {8th {IEEE} International Conference on E-Science, e-Science 2012,
                  Chicago, IL, USA, October 8-12, 2012},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/eScience.2012.6404419},
  doi          = {10.1109/ESCIENCE.2012.6404419},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eScience/BoulakiaFC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/AgierFPRW11,
  author       = {Marie Agier and
                  Christine Froidevaux and
                  Jean{-}Marc Petit and
                  Yoan Renaud and
                  Jef Wijsen},
  editor       = {George H. L. Fletcher and
                  Slawek Staworko},
  title        = {On Armstrong-compliant logical query languages},
  booktitle    = {Proceedings of the 4th International Workshop on Logic in Databases,
                  Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
                  Proceedings},
  pages        = {33--40},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1966357.1966365},
  doi          = {10.1145/1966357.1966365},
  timestamp    = {Mon, 15 Nov 2021 16:15:59 +0100},
  biburl       = {https://dblp.org/rec/conf/lid/AgierFPRW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dils/RanceGF09,
  author       = {Bastien Rance and
                  Jean{-}Fran{\c{c}}ois Gibrat and
                  Christine Froidevaux},
  editor       = {Norman W. Paton and
                  Paolo Missier and
                  Cornelia Hedeler},
  title        = {An Adaptive Combination of Matchers: Application to the Mapping of
                  Biological Ontologies for Genome Annotation},
  booktitle    = {Data Integration in the Life Sciences, 6th International Workshop,
                  {DILS} 2009, Manchester, UK, July 20-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5647},
  pages        = {113--126},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02879-3\_10},
  doi          = {10.1007/978-3-642-02879-3\_10},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/dils/RanceGF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RanceF08,
  author       = {Bastien Rance and
                  Christine Froidevaux},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Fausto Giunchiglia and
                  Heiner Stuckenschmidt and
                  Natalya Fridman Noy and
                  Arnon Rosenthal},
  title        = {Improving Bio-Ontologies Matching Using Types and Adaptive Weights},
  booktitle    = {Proceedings of the 4th International Workshop on Ontology Matching
                  {(OM-2009)} collocated with the 8th International Semantic Web Conference
                  {(ISWC-2009)} Chantilly, USA, October 25, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {551},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-551/om2009\_poster5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/RanceF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BairochBF08,
  author       = {Amos Bairoch and
                  Sarah Cohen Boulakia and
                  Christine Froidevaux},
  title        = {Review of the selected proceedings of the Fifth International Workshop
                  on Data Integration in the Life Sciences 2008},
  journal      = {{BMC} Bioinform.},
  volume       = {9},
  number       = {{S-8}},
  year         = {2008},
  url          = {https://doi.org/10.1186/1471-2105-9-S8-S1},
  doi          = {10.1186/1471-2105-9-S8-S1},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/BairochBF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/FroidevauxL08,
  author       = {Christine Froidevaux and
                  Fr{\'{e}}d{\'{e}}ric Lemoine},
  editor       = {Fabrice Guillet and
                  Brigitte Trousse},
  title        = {Requ{\^{e}}tes alternatives dans le contexte d'un entrep{\^{o}}t de
                  donn{\'{e}}es g{\'{e}}nomiques},
  booktitle    = {Extraction et gestion des connaissances (EGC'2008), Actes des 8{\`{e}}mes
                  journ{\'{e}}es Extraction et Gestion des Connaissances, Sophia-Antipolis,
                  France, 29 janvier au 1er f{\'{e}}vrier 2008, 2 Volumes},
  series       = {Revue des Nouvelles Technologies de l'Information},
  volume       = {{RNTI-E-11}},
  pages        = {61--72},
  publisher    = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year         = {2008},
  url          = {http://editions-rnti.fr/?inprocid=1000557},
  timestamp    = {Thu, 25 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/f-egc/FroidevauxL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/GentilsATLPGF08,
  author       = {Lucie Gentils and
                  J{\'{e}}r{\^{o}}me Az{\'{e}} and
                  Claire Toffano{-}Nioche and
                  Valentin Loux and
                  Anne Poupon and
                  Jean{-}Fran{\c{c}}ois Gibrat and
                  Christine Froidevaux},
  editor       = {Fabrice Guillet and
                  Brigitte Trousse},
  title        = {Mesures Hi{\'{e}}rarchiques pond{\'{e}}r{\'{e}}es pour
                  l'{\'{e}}valuation d'un syst{\`{e}}me semi-automatique d'annotation
                  de g{\'{e}}nomes utilisant des arbres de d{\'{e}}cision},
  booktitle    = {Extraction et gestion des connaissances (EGC'2008), Actes des 8{\`{e}}mes
                  journ{\'{e}}es Extraction et Gestion des Connaissances, Sophia-Antipolis,
                  France, 29 janvier au 1er f{\'{e}}vrier 2008, 2 Volumes},
  series       = {Revue des Nouvelles Technologies de l'Information},
  volume       = {{RNTI-E-11}},
  pages        = {133--138},
  publisher    = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year         = {2008},
  url          = {http://editions-rnti.fr/?inprocid=1000565},
  timestamp    = {Thu, 24 Apr 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/GentilsATLPGF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/LemoineLF08,
  author       = {Fr{\'{e}}d{\'{e}}ric Lemoine and
                  Bernard Labedan and
                  Christine Froidevaux},
  title        = {GenoQuery: a new querying module for functional annotation in a genomic
                  warehouse},
  booktitle    = {Proceedings 16th International Conference on Intelligent Systems for
                  Molecular Biology (ISMB), Toronto, Canada, July 19-23, 2008},
  pages        = {322--329},
  year         = {2008},
  url          = {https://doi.org/10.1093/bioinformatics/btn159},
  doi          = {10.1093/BIOINFORMATICS/BTN159},
  timestamp    = {Thu, 25 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismb/LemoineLF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dils/2008,
  editor       = {Amos Bairoch and
                  Sarah Cohen Boulakia and
                  Christine Froidevaux},
  title        = {Data Integration in the Life Sciences, 5th International Workshop,
                  {DILS} 2008, Evry, France, June 25-27, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5109},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69828-9},
  doi          = {10.1007/978-3-540-69828-9},
  isbn         = {978-3-540-69827-2},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dils/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BoulakiaBDF07,
  author       = {Sarah Cohen Boulakia and
                  Olivier Biton and
                  Susan B. Davidson and
                  Christine Froidevaux},
  title        = {BioGuideSRS: querying multiple sources with a user-centric perspective},
  journal      = {Bioinform.},
  volume       = {23},
  number       = {10},
  pages        = {1301--1303},
  year         = {2007},
  url          = {https://doi.org/10.1093/bioinformatics/btm088},
  doi          = {10.1093/BIOINFORMATICS/BTM088},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/BoulakiaBDF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/FroidevauxLR07,
  author       = {Christine Froidevaux and
                  Fr{\'{e}}d{\'{e}}rique Lisacek and
                  Bastien Rance},
  editor       = {Roland R. Wagner and
                  Norman Revell and
                  G{\"{u}}nther Pernul},
  title        = {Extracting Sequential Nuggets of Knowledge},
  booktitle    = {Database and Expert Systems Applications, 18th International Conference,
                  {DEXA} 2007, Regensburg, Germany, September 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4653},
  pages        = {740--750},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74469-6\_72},
  doi          = {10.1007/978-3-540-74469-6\_72},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/dexa/FroidevauxLR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/BoulakiaDFLV06,
  author       = {Sarah Cohen Boulakia and
                  Susan B. Davidson and
                  Christine Froidevaux and
                  Zo{\'{e}} Lacroix and
                  Maria{-}Esther Vidal},
  title        = {Path-based Systems to Guide Scientists in the Maze of Biological Data
                  Sources},
  journal      = {J. Bioinform. Comput. Biol.},
  volume       = {4},
  number       = {5},
  pages        = {1069--1096},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0219720006002375},
  doi          = {10.1142/S0219720006002375},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcb/BoulakiaDFLV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psb/BoulakiaFP06,
  author       = {Sarah Cohen Boulakia and
                  Christine Froidevaux and
                  Emmanuel Pietriga},
  editor       = {Russ B. Altman and
                  Tiffany Murray and
                  Teri E. Klein and
                  A. Keith Dunker and
                  Lawrence Hunter},
  title        = {Selecting Biological Data Sources and Tools with XPR, a Path Language
                  for {RDF}},
  booktitle    = {Biocomputing 2006, Proceedings of the Pacific Symposium, Maui, Hawaii,
                  USA, 3-7 January 2006},
  pages        = {116--127},
  publisher    = {World Scientific},
  year         = {2006},
  url          = {http://psb.stanford.edu/psb-online/proceedings/psb06/cohen-boulakia.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/psb/BoulakiaFP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dils/BoulakiaDF05,
  author       = {Sarah Cohen Boulakia and
                  Susan B. Davidson and
                  Christine Froidevaux},
  editor       = {Bertram Lud{\"{a}}scher and
                  Louiqa Raschid},
  title        = {A User-Centric Framework for Accessing Biological Sources and Tools},
  booktitle    = {Data Integration in the Life Sciences, Second InternationalWorkshop,
                  {DILS} 2005, San Diego, CA, USA, July 20-22, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3615},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11530084\_3},
  doi          = {10.1007/11530084\_3},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dils/BoulakiaDF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BidaultBF04,
  author       = {Alain Bidault and
                  Sarah Cohen Boulakia and
                  Christine Froidevaux},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Lorenza Saitta},
  title        = {Preferences for Queries in a Mediator Approach},
  booktitle    = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
                  ECAI'2004, including Prestigious Applicants of Intelligent Systems,
                  {PAIS} 2004, Valencia, Spain, August 22-27, 2004},
  pages        = {963--964},
  publisher    = {{IOS} Press},
  year         = {2004},
  timestamp    = {Fri, 11 May 2018 12:42:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BidaultBF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/BoulakiaFL04,
  author       = {Sarah Cohen Boulakia and
                  Christine Froidevaux and
                  S{\'{e}}verine Lair},
  editor       = {Georges H{\'{e}}brail and
                  Ludovic Lebart and
                  Jean{-}Marc Petit},
  title        = {Interrogation de sources biom{\'{e}}dicales : prise en compte
                  des pr{\'{e}}f{\'{e}}rences de l'utilisateur},
  booktitle    = {Extraction et gestion des connaissances (EGC'2004), Actes des quatri{\`{e}}mes
                  journ{\'{e}}es Extraction et Gestion des Connaissances, Clermont
                  Ferrand, France, 20-23 janvier 2004, 2 Volumes},
  series       = {Revue des Nouvelles Technologies de l'Information},
  volume       = {{RNTI-E-2}},
  pages        = {53--64},
  publisher    = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year         = {2004},
  url          = {http://editions-rnti.fr/?inprocid=1000893},
  timestamp    = {Thu, 24 Apr 2014 17:37:27 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/BoulakiaFL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/BoulakiaLSGRBF04,
  author       = {Sarah Cohen Boulakia and
                  S{\'{e}}verine Lair and
                  Nicolas Stransky and
                  St{\'{e}}phane Graziani and
                  Fran{\c{c}}ois Radvanyi and
                  Emmanuel Barillot and
                  Christine Froidevaux},
  title        = {Selecting biomedical data sources according to user preferences},
  booktitle    = {Proceedings Twelfth International Conference on Intelligent Systems
                  for Molecular Biology/Third European Conference on Computational Biology
                  2004, Glasgow, UK, July 31-August 4, 2004},
  pages        = {86--93},
  year         = {2004},
  url          = {https://doi.org/10.1093/bioinformatics/bth949},
  doi          = {10.1093/BIOINFORMATICS/BTH949},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismb/BoulakiaLSGRBF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BekaertBDDFFHRT03,
  author       = {Micha{\"{e}}l Bekaert and
                  Laure Bidou and
                  Alain Denise and
                  Guillemette Duchateau{-}Nguyen and
                  Jean{-}Paul Forest and
                  Christine Froidevaux and
                  Isabelle Hatin and
                  Jean{-}Pierre Rousset and
                  Michel Termier},
  title        = {Towards a computational model for -1 eukaryotic frameshifting sites},
  journal      = {Bioinform.},
  volume       = {19},
  number       = {3},
  pages        = {327--335},
  year         = {2003},
  url          = {https://doi.org/10.1093/bioinformatics/btf868},
  doi          = {10.1093/BIOINFORMATICS/BTF868},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/BekaertBDDFFHRT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BidaultFS02,
  author       = {Alain Bidault and
                  Christine Froidevaux and
                  Brigitte Safar},
  editor       = {Frank van Harmelen},
  title        = {Similarity Between Queries in a Mediator},
  booktitle    = {Proceedings of the 15th European Conference on Artificial Intelligence,
                  ECAI'2002, Lyon, France, July 2002},
  pages        = {235--239},
  publisher    = {{IOS} Press},
  year         = {2002},
  timestamp    = {Mon, 03 Jan 2022 07:50:19 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/BidaultFS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BidaultFS00,
  author       = {Alain Bidault and
                  Christine Froidevaux and
                  Brigitte Safar},
  editor       = {Werner Horn},
  title        = {Repairing Queries in a Mediator Approach},
  booktitle    = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
                  Intelligence, Berlin, Germany, August 20-25, 2000},
  pages        = {406--410},
  publisher    = {{IOS} Press},
  year         = {2000},
  timestamp    = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BidaultFS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/BidaultFS00,
  author       = {Alain Bidault and
                  Christine Froidevaux and
                  Brigitte Safar},
  editor       = {Henrik Legind Larsen and
                  Troels Andreasen and
                  Henning Christiansen and
                  Janusz Kacprzyk and
                  Slawomir Zadrozny},
  title        = {Finding Successful Queries in a Mediator Context},
  booktitle    = {Flexible Query Answering Systems - Recent Advances Proceedings of
                  the Fourth International Conference on Flexible Query Answering Systems,
                  {FQAS} 2000, Warsaw, Poland, October 25-28, 2000},
  series       = {Advances in Soft Computing},
  volume       = {7},
  pages        = {42--53},
  publisher    = {Physica-Verlag Heidelberg New York, {A} Springer-Verlag Company},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-7908-1834-5\_4},
  doi          = {10.1007/978-3-7908-1834-5\_4},
  timestamp    = {Thu, 08 Jun 2017 18:10:44 +0200},
  biburl       = {https://dblp.org/rec/conf/fqas/BidaultFS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChatalicFS97,
  author       = {Philippe Chatalic and
                  Christine Froidevaux and
                  Camilla Schwind},
  title        = {Graded Hypothesis Theories},
  journal      = {Theor. Comput. Sci.},
  volume       = {171},
  number       = {1-2},
  pages        = {247--280},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00131-4},
  doi          = {10.1016/S0304-3975(96)00131-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChatalicFS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BidoitCF96,
  author       = {Nicole Bidoit and
                  Serenella Cerrito and
                  Christine Froidevaux},
  title        = {A Linear Logic Approach to Consistency Preserving Updates},
  journal      = {J. Log. Comput.},
  volume       = {6},
  number       = {3},
  pages        = {439--463},
  year         = {1996},
  url          = {https://doi.org/10.1093/logcom/6.3.439},
  doi          = {10.1093/LOGCOM/6.3.439},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BidoitCF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsqaru/1995,
  editor       = {Christine Froidevaux and
                  J{\"{u}}rg Kohlas},
  title        = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
                  1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {946},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60112-0},
  doi          = {10.1007/3-540-60112-0},
  isbn         = {3-540-60112-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/FroidevauxM94,
  author       = {Christine Froidevaux and
                  J{\'{e}}r{\^{o}}me Mengin},
  title        = {Default Logics: {A} Unified View},
  journal      = {Comput. Intell.},
  volume       = {10},
  pages        = {331--369},
  year         = {1994},
  url          = {https://doi.org/10.1111/j.1467-8640.1994.tb00168.x},
  doi          = {10.1111/J.1467-8640.1994.TB00168.X},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ci/FroidevauxM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BensardMPCWDMCDPCLAFKDFMMGMBPKPSSHSKXUSW93,
  author       = {Philippe Besnard and
                  Yves Moinard and
                  Wilmer Pereira and
                  Michael Clarke and
                  Nic Wilson and
                  Miguel Delgado and
                  Seraf{\'{\i}}n Moral and
                  Juan Cano and
                  Didier Dubois and
                  Henri Prade and
                  Luis Fari{\~{n}}as del Cerro and
                  J{\'{e}}r{\^{o}}me Lang and
                  St{\'{e}}phane Amarger and
                  John Fox and
                  Paul J. Krause and
                  Michael Dohnal and
                  Christine Froidevaux and
                  J{\'{e}}r{\^{o}}me Mengin and
                  Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Llu{\'{\i}}s Godo and
                  E. H. Mamdani and
                  John Bigham and
                  Simon Parsons and
                  Rudolf Kruse and
                  Olivier Paillet and
                  Pierre Siegel and
                  Philippe Smets and
                  Yen{-}Teh Hsia and
                  Alessandro Saffiotti and
                  Robert Kennes and
                  Hong Xu and
                  Elizabeth Umkehrer and
                  Kurt Sundermeyer and
                  Chris Whitney},
  title        = {{DRUMS:} Defeasible Reasoning and Uncertainty Management Systems},
  journal      = {{AI} Commun.},
  volume       = {6},
  number       = {1},
  pages        = {27--46},
  year         = {1993},
  url          = {https://doi.org/10.3233/AIC-1993-6103},
  doi          = {10.3233/AIC-1993-6103},
  timestamp    = {Fri, 16 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/BensardMPCWDMCDPCLAFKDFMMGMBPKPSSHSKXUSW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Froidevaux92,
  author       = {Christine Froidevaux},
  editor       = {Bernd Neumann},
  title        = {Default Logic for Action Rule-Based Systems},
  booktitle    = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
                  Austria, August 3-7, 1992. Proceedings},
  pages        = {413--417},
  publisher    = {John Wiley and Sons},
  year         = {1992},
  timestamp    = {Wed, 31 Jul 2019 08:44:58 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Froidevaux92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FroidevauxM92,
  author       = {Christine Froidevaux and
                  J{\'{e}}r{\^{o}}me Mengin},
  editor       = {David Pearce and
                  Gerd Wagner},
  title        = {A Framework for Default Logics},
  booktitle    = {Logics in AI, European Workshop, {JELIA} '92, Berlin, Germany, September
                  7-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {633},
  pages        = {154--173},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0023427},
  doi          = {10.1007/BFB0023427},
  timestamp    = {Wed, 06 Nov 2019 16:45:49 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/FroidevauxM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/ChatalicF92,
  author       = {Philippe Chatalic and
                  Christine Froidevaux},
  editor       = {Didier Dubois and
                  Michael P. Wellman},
  title        = {Lattice-based Graded Logic: {A} Multimodal Approach},
  booktitle    = {{UAI} '92: Proceedings of the Eighth Annual Conference on Uncertainty
                  in Artificial Intelligence, Stanford University, Stanford, CA, USA,
                  July 17-19, 1992},
  pages        = {33--40},
  publisher    = {Morgan Kaufmann},
  year         = {1992},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=627\&\#38;proceeding\_id=8},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/ChatalicF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BidoitF91,
  author       = {Nicole Bidoit and
                  Christine Froidevaux},
  title        = {General Logical Databases and Programs: Default Logic Semantics and
                  Stratification},
  journal      = {Inf. Comput.},
  volume       = {91},
  number       = {1},
  pages        = {15--54},
  year         = {1991},
  url          = {https://doi.org/10.1016/0890-5401(91)90073-B},
  doi          = {10.1016/0890-5401(91)90073-B},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BidoitF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BidoitF91,
  author       = {Nicole Bidoit and
                  Christine Froidevaux},
  title        = {Negation by Default and Unstratifiable Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {78},
  number       = {1},
  pages        = {86--112},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(51)90004-7},
  doi          = {10.1016/0304-3975(51)90004-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BidoitF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/FroidevauxCM91,
  author       = {Christine Froidevaux and
                  Philippe Chatalic and
                  J{\'{e}}r{\^{o}}me Mengin},
  editor       = {Rudolf Kruse and
                  Pierre Siegel},
  title        = {Graded Default Logics},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQAU, Marseille, France, October 15-17, 1991,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {548},
  pages        = {70--75},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54659-6\_68},
  doi          = {10.1007/3-540-54659-6\_68},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/FroidevauxCM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ChatalicF91,
  author       = {Philippe Chatalic and
                  Christine Froidevaux},
  editor       = {Zbigniew W. Ras and
                  Maria Zemankova},
  title        = {Graded Logics: {A} Framework for Uncertain and Defeasible Knowledge},
  booktitle    = {Methodologies for Intelligent Systems, 6th International Symposium,
                  {ISMIS} '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {542},
  pages        = {479--489},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54563-8\_111},
  doi          = {10.1007/3-540-54563-8\_111},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/ChatalicF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FroidevauxG90,
  author       = {Christine Froidevaux and
                  C. Grossetete},
  title        = {Graded Default Theories for Uncertainty},
  booktitle    = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
                  Sweden, 1990},
  pages        = {283--288},
  year         = {1990},
  timestamp    = {Tue, 30 Jul 2019 13:42:21 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/FroidevauxG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BidoitF88,
  author       = {Nicole Bidoit and
                  Christine Froidevaux},
  title        = {Variations sur la contrainte de stratification: stratification, stratification
                  locale, sup-stratification},
  booktitle    = {Quatri{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  17-20 Mai 1988, B{\'{e}}nodet, France {(2} Volumes) (Informal
                  Proceedings)},
  pages        = {181--198},
  publisher    = {{INRIA}},
  year         = {1988},
  timestamp    = {Tue, 31 Oct 2006 14:02:03 +0100},
  biburl       = {https://dblp.org/rec/conf/bda/BidoitF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BidoitF88,
  author       = {Nicole Bidoit and
                  Christine Froidevaux},
  editor       = {Yves Kodratoff},
  title        = {More on Stratified Default Theories},
  booktitle    = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
                  Germany, August 1-5, 1988, Proceedings},
  pages        = {492--494},
  publisher    = {Pitmann Publishing, London},
  year         = {1988},
  timestamp    = {Tue, 30 Jul 2019 13:42:25 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BidoitF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BidoitF87,
  author       = {Nicole Bidoit and
                  Christine Froidevaux},
  title        = {Minimalism subsumes Default Logic and Circumscription in Stratified
                  Logic Programming},
  booktitle    = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
                  '87), Ithaca, New York, USA, June 22-25, 1987},
  pages        = {89--97},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  timestamp    = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BidoitF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Froidevaux86,
  author       = {Christine Froidevaux},
  editor       = {Benedict du Boulay and
                  David C. Hogg and
                  Luc Steels},
  title        = {Taxonomic Default Theory},
  booktitle    = {Advances in Artificial Intelligence II, Seventh European Conference
                  on Artificial Intelligence, {ECAI} 1986, Brighton, UK, July 20-25,
                  1986, Proceedings},
  pages        = {305--311},
  publisher    = {North-Holland},
  year         = {1986},
  timestamp    = {Tue, 30 Jul 2019 08:58:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Froidevaux86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics