Une solution Prolog au problème de Schubert. - Béatrice Duval; J. Y. Cras (SPLT, 1985)

Automated Deduction in an Uncertain and Inconsistent Data Basis. - Béatrice Duval; Yves Kodratoff (ECAI, 1986)

Abduction and Induction for Explanation-Based Learning. - Béatrice Duval (EWSL, 1991)

A Theorem Prover for Lukaszewicz' Open Default Theory. - Pascal Nicolas; Béatrice Duval (ECSQARU, 1995)

Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes. - Pascal Nicolas; Béatrice Duval (JFPLC, 1995)

Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory. - Pascal Nicolas; Béatrice Duval (WOCFAI, 1995)

Learning Default Theories. - Béatrice Duval; Pascal Nicolas (ESCQARU, 1999)

A Priori Revision. - Florence Dupin de Saint-Cyr; Béatrice Duval; Stéphane Loiseau (ECSQARU, 2001)

Representation of Incomplete Knowledge by Induction of Default Theories. - Pascal Nicolas; Béatrice Duval (LPNMR, 2001)

Validation and Reparation of Knowledge Bases. - R. Djelouah; Béatrice Duval; Stéphane Loiseau (ISMIS, 2002)

Interactive Refinement of a Knowledge Base. - R. Djelouah; Béatrice Duval; Stéphane Loiseau (FLAIRS, 2004)

A Hybrid GA/SVM Approach for Gene Selection and Classification of Microarray Data. - Edmundo Bonilla Huerta; Béatrice Duval; Jin-Kao Hao (EvoWorkshops, 2006)

A Study of Crossover Operators for Gene Selection of Microarray Data. - José Crispín Hernández Hernández; Béatrice Duval; Jin-Kao Hao (Artificial Evolution, 2007)

Pre-processing task for integration of semi-structured data in decision-support system. - Amandine Duffoux; Béatrice Duval; Stéphane Loiseau (Artificial Intelligence and Applications, 2007)

A Genetic Embedded Approach for Gene Selection and Classification of Microarray Data. - José Crispín Hernández Hernández; Béatrice Duval; Jin-Kao Hao (EvoBIO, 2007)

On the Discovery of Exception Rules: A Survey. - Béatrice Duval; Ansaf Salleb; Christel Vrain (Quality Measures in Data Mining, 2007)

SVM-Based Local Search for Gene Selection and Classification of Microarray Data. - José Crispín Hernández Hernández; Béatrice Duval; Jin-Kao Hao (BIRD, 2008)

A Non-parametric Semi-supervised Discretization Method. - Alexis Bondu; Marc Boullé; Vincent Lemaire 001; Stéphane Loiseau; Béatrice Duval (ICDM, 2008)

Gene Selection for Microarray Data by a LDA-Based Genetic Algorithm. - Edmundo Bonilla Huerta; Béatrice Duval; Jin-Kao Hao (PRIB, 2008)

Fuzzy Logic for Elimination of Redundant Information of Microarray Data. - Edmundo Bonilla Huerta; Béatrice Duval; Jin-Kao Hao (Genom. Proteom. Bioinform., 2008)

A memetic algorithm for gene selection and molecular classification of cancer. - Béatrice Duval; Jin-Kao Hao; José Crispín Hernández Hernández (GECCO, 2009)

New Extended and Quantified Constraints in XML Schema. - Amandine Duffoux; Béatrice Duval; Stéphane Loiseau (ICAART, 2009)

A Local Search Appproach for Transmembrane Segment and Signal Peptide Discrimination. - Sami Laroum; Dominique Tessier; Béatrice Duval; Jin-Kao Hao (EvoBIO, 2010)

Advances in metaheuristics for gene selection and classification of microarray data. - Béatrice Duval; Jin-Kao Hao (Briefings Bioinform., 2010)

A hybrid LDA and genetic algorithm for gene selection and classification of microarray data. - Edmundo Bonilla Huerta; Béatrice Duval; Jin-Kao Hao (Neurocomputing, 2010)

Multi-Neighborhood Search for Discrimination of Signal Peptides and Transmembrane Segments. - Sami Laroum; Béatrice Duval; Dominique Tessier; Jin-Kao Hao (EvoBio, 2011)

Hybrid Filter-Wrapper with a Specialized Random Multi-Parent Crossover Operator for Gene Selection and Classification Problems. - Edmundo Bonilla Huerta; Béatrice Duval; José Crispín Hernández Hernández; Jin-Kao Hao; Roberto Morales-Caporal (ICIC (3), 2011)

A Genetic Algorithm for Scale-Based Translocon Simulation. - Sami Laroum; Béatrice Duval; Dominique Tessier; Jin-Kao Hao (PRIB, 2012)

Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore. - Béatrice Duval; Laurent Garcia; Claire Lefèvre; Igor Stéphan (Rev. d'Intelligence Artif., 2012)

NARROMI: a noise and redundancy reduction technique improves accuracy of gene regulatory network inference. - Xiujun Zhang; Keqin Liu; Zhi-Ping Liu; Béatrice Duval; Jean-Michel Richer; Xing-Ming Zhao; Jin-Kao Hao; Luonan Chen (Bioinform., 2013)

Probabilistic Cognitive Maps - Semantics of a Cognitive Map when the Values are Assumed to be Probabilities. - Aymeric Le Dorze; Béatrice Duval; Laurent Garcia; David Genest; Philippe Leray 001; Stéphane Loiseau (ICAART (1), 2014)

A Probabilistic Semantics for Cognitive Maps. - Aymeric Le Dorze; Béatrice Duval; Laurent Garcia; David Genest; Philippe Leray 001; Stéphane Loiseau (ICAART (Revised Selected Papers), 2014)

Evolutionary Algorithm Based on New Crossover for the Biclustering of Gene Expression Data. - Ons Maâtouk; Wassim Ayadi; Hend Bouziri; Béatrice Duval (PRIB, 2014)

In silico evaluation of the influence of the translocon on partitioning of membrane segments. - Dominique Tessier; Sami Laroum; Béatrice Duval; Emma M. Rath; W. Bret Church; Jin-Kao Hao (BMC Bioinform., 2014)

Identifying cancer-related microRNAs based on gene expression data. - Xing-Ming Zhao; Keqin Liu; Guanghui Zhu; Feng He 004; Béatrice Duval; Jean-Michel Richer; De-Shuang Huang; Changjun Jiang; Jin-Kao Hao; Luonan Chen (Bioinform., 2015)

Inference and differential analysis of Extended Core Networks: A way to study anti-sense regulation. - Marc Legeay; Béatrice Duval; Jean-Pierre Renou (BIBM, 2016)

Differential Functional Analysis and Change Motifs in Gene Networks to Explore the Role of Anti-sense Transcription. - Marc Legeay; Béatrice Duval; Jean-Pierre Renou (ISBRA, 2016)

Reinforcement learning based local search for grouping problems: A case study on graph coloring. - Yangming Zhou; Jin-Kao Hao; Béatrice Duval (Expert Syst. Appl., 2016)

Differential Network Analysis of Anti-sense Regulation. - Marc Legeay; Béatrice Duval; Jean-Pierre Renou (IWBBIO (2), 2017)

When data mining meets optimization: A case study on the quadratic assignment problem. - Yangming Zhou; Jin-Kao Hao; Béatrice Duval (CoRR, 2017)

Opposition-Based Memetic Search for the Maximum Diversity Problem. - Yangming Zhou; Jin-Kao Hao; Béatrice Duval (IEEE Trans. Evol. Comput., 2017)

Improving probability learning based local search for graph coloring. - Yangming Zhou; Béatrice Duval; Jin-Kao Hao (Appl. Soft Comput., 2018)

Large scale study of anti-sense regulation by differential network analysis. - Marc Legeay; Sébastien Aubourg; Jean-Pierre Renou; Béatrice Duval (BMC Syst. Biol., 2018)

Des réseaux de neurones pour prédire des distances interatomiques extraites d'une base de données ouverte de calculs en chimie quantique. - Jules Leguy; Thomas Cauchy; Béatrice Duval; Benoit Da Mota (EGC, 2019)

Predicting Interatomic Distances of Molecular Quantum Chemistry Calculations. - Jules Leguy; Thomas Cauchy; Béatrice Duval; Benoit Da Mota (EGC (best of volume), 2019)

Gradient Descent based Weight Learning for Grouping Problems: Application on Graph Coloring and Equitable Graph Coloring. - Olivier Goudet; Béatrice Duval; Jin-Kao Hao (CoRR, 2019)

Evolutionary biclustering algorithms: an experimental study on microarray data. - Ons Maâtouk; Wassim Ayadi; Hend Bouziri; Béatrice Duval (Soft Comput., 2019)

EvoMol: a flexible and interpretable evolutionary algorithm for unbiased de novo molecular generation. - Jules Leguy; Thomas Cauchy; Marta Glavatskikh; Béatrice Duval; Benoit Da Mota (J. Cheminformatics, 2020)

Surrogate-Based Black-Box Optimization Method for Costly Molecular Properties. - Jules Leguy; Béatrice Duval; Benoit Da Mota; Thomas Cauchy (ICTAI, 2021)

Evolutionary Local Search Algorithm for the biclustering of gene expression data based on biological knowledge. - Ons Maâtouk; Wassim Ayadi; Hend Bouziri; Béatrice Duval (Appl. Soft Comput., 2021)

Population-based gradient descent weight learning for graph coloring problems. - Olivier Goudet; Béatrice Duval; Jin-Kao Hao (Knowl. Based Syst., 2021)

Frequent Pattern-Based Search: A Case Study on the Quadratic Assignment Problem. - Yangming Zhou; Jin-Kao Hao; Béatrice Duval (IEEE Trans. Syst. Man Cybern. Syst., 2022)