Christine Froidevaux

Philippe Chatalic, Christine Froidevaux: Lattice-Based Graded Logic: a Multimodal Approach. CoRR abs/1303.5395 (2013)

Sarah Cohen Boulakia, Christine Froidevaux, Jiuqiang Chen: Scientific workflow rewriting while preserving provenance. eScience 2012: 1-9

Marie Agier, Christine Froidevaux, Jean-Marc Petit, Yoan Renaud, Jef Wijsen: On Armstrong-compliant logical query languages. LID 2011: 33-40

Bastien Rance, Jean-François Gibrat, Christine Froidevaux: An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation. DILS 2009: 113-126

Bastien Rance, Christine Froidevaux: Improving Bio-Ontologies Matching Using Types and Adaptive Weights. OM 2009

Amos Bairoch, Sarah Cohen Boulakia, Christine Froidevaux: Review of the selected proceedings of the Fifth International Workshop on Data Integration in the Life Sciences 2008. BMC Bioinformatics 9(S-8) (2008)

Christine Froidevaux, Frédéric Lemoine: Requêtes alternatives dans le contexte d'un entrepôt de données génomiques. EGC 2008: 61-72

Lucie Gentils, Jérôme Azé, Claire Toffano-Nioche, Valentin Loux, Anne Poupon, Jean-François Gibrat, Christine Froidevaux: Mesures Hiérarchiques pondérées pour l'évaluation d'un système semi-automatique d'annotation de génomes utilisant des arbres de décision. EGC 2008: 133-138

Frédéric Lemoine, Bernard Labedan, Christine Froidevaux: GenoQuery: a new querying module for functional annotation in a genomic warehouse. ISMB 2008: 322-329

Amos Bairoch, Sarah Cohen Boulakia, Christine Froidevaux (Eds.): Data Integration in the Life Sciences, 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedings. Lecture Notes in Computer Science 5109, Springer 2008, isbn 978-3-540-69827-2

Sarah Cohen Boulakia, Olivier Biton, Susan B. Davidson, Christine Froidevaux: BioGuideSRS: querying multiple sources with a user-centric perspective. Bioinformatics 23(10): 1301-1303 (2007)

Christine Froidevaux, Frédérique Lisacek, Bastien Rance: Extracting Sequential Nuggets of Knowledge. DEXA 2007: 740-750

Sarah Cohen Boulakia, Susan B. Davidson, Christine Froidevaux, Zoé Lacroix, Maria-Esther Vidal: Path-based Systems to Guide Scientists in the Maze of Biological Data Sources. J. Bioinformatics and Computational Biology 4(5): 1069-1096 (2006)

Sarah Cohen Boulakia, Christine Froidevaux, Emmanuel Pietriga: Selecting Biological Data Sources and Tools with XPR, a Path Language for RDF. Pacific Symposium on Biocomputing 2006: 116-127

Sarah Cohen Boulakia, Susan B. Davidson, Christine Froidevaux: A User-Centric Framework for Accessing Biological Sources and Tools. DILS 2005: 3-18

Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux: Preferences for Queries in a Mediator Approach. ECAI 2004: 963-964

Sarah Cohen Boulakia, Christine Froidevaux, Séverine Lair: Interrogation de sources biomédicales : prise en compte des préférences de l'utilisateur. EGC 2004: 53-64

Sarah Cohen Boulakia, Séverine Lair, Nicolas Stransky, Stéphane Graziani, François Radvanyi, Emmanuel Barillot, Christine Froidevaux: Selecting biomedical data sources according to user preferences. ISMB/ECCB (Supplement of Bioinformatics) 2004: 86-93

Michaël Bekaert, Laure Bidou, Alain Denise, Guillemette Duchateau-Nguyen, Jean-Paul Forest, Christine Froidevaux, Isabelle Hatin, Jean-Pierre Rousset, Michel Termier: Towards a computational model for -1 eukaryotic frameshifting sites. Bioinformatics 19(3): 327-335 (2003)

Alain Bidault, Christine Froidevaux, Brigitte Safar: Similarity Between Queries in a Mediator. ECAI 2002: 235-239

Alain Bidault, Christine Froidevaux, Brigitte Safar: Repairing Queries in a Mediator Approach. ECAI 2000: 406-410

Alain Bidault, Christine Froidevaux, Brigitte Safar: Finding Successful Queries in a Mediator Context. FQAS 2000: 42-53

Philippe Chatalic, Christine Froidevaux, Camilla Schwind: Graded Hypothesis Theories. Theor. Comput. Sci. 171(1-2): 247-280 (1997)

Nicole Bidoit, Serenella Cerrito, Christine Froidevaux: A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6(3): 439-463 (1996)

Christine Froidevaux, Jürg Kohlas (Eds.): Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5, 1995, Proceedings. Lecture Notes in Computer Science 946, Springer 1995, isbn 3-540-60112-0

Christine Froidevaux, Jérôme Mengin: Default Logics: A Unified View. Computational Intelligence 10: 331-369 (1994)

Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney: DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6(1): 27-46 (1993)

Christine Froidevaux: Default Logic for Action Rule-Based Systems. ECAI 1992: 413-417

Christine Froidevaux, Jérôme Mengin: A Framework for Default Logics. JELIA 1992: 154-173

Philippe Chatalic, Christine Froidevaux: Lattice-based Graded Logic: A Multimodal Approach. UAI 1992: 33-40

Nicole Bidoit, Christine Froidevaux: General Logical Databases and Programs: Default Logic Semantics and Stratification. Inf. Comput. 91(1): 15-54 (1991)

Nicole Bidoit, Christine Froidevaux: Negation by Default and Unstratifiable Logic Programs. Theor. Comput. Sci. 78(1): 86-112 (1991)

Christine Froidevaux, Philippe Chatalic, Jérôme Mengin: Graded Default Logics. ECSQARU 1991: 70-75

Philippe Chatalic, Christine Froidevaux: Graded Logics: A Framework for Uncertain and Defeasible Knowledge. ISMIS 1991: 479-489

Christine Froidevaux, C. Grossetete: Graded Default Theories for Uncertainty. ECAI 1990: 283-288

Nicole Bidoit, Christine Froidevaux: Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification. BDA 1988: 181-198

Nicole Bidoit, Christine Froidevaux: More on Stratified Default Theories. ECAI 1988: 492-494

Nicole Bidoit, Christine Froidevaux: Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. LICS 1987: 89-97

Christine Froidevaux: Taxonomic Default Theory. ECAI 1986: 305-311