| 2021 | ICTAI | Surrogate-Based Black-Box Optimization Method for Costly Molecular Properties. | Jules Leguy, Batrice Duval, Benoit Da Mota, Thomas Cauchy |
| 2014 | ICAART | Probabilistic Cognitive Maps - Semantics of a Cognitive Map when the Values are Assumed to be Probabilities. | Aymeric Le Dorze, Batrice Duval, Laurent Garcia, David Genest, Philippe Leray, Stphane Loiseau |
| 2014 | ICAART | A Probabilistic Semantics for Cognitive Maps. | Aymeric Le Dorze, Batrice Duval, Laurent Garcia, David Genest, Philippe Leray, Stphane Loiseau |
| 2009 | GECCO | A memetic algorithm for gene selection and molecular classification of cancer. | Batrice Duval, Jin-Kao Hao, Jos Crispn Hernndez Hernndez |
| 2009 | ICAART | New Extended and Quantified Constraints in XML Schema. | Amandine Duffoux, Batrice Duval, Stphane Loiseau |
| 2008 | ICDM | A Non-parametric Semi-supervised Discretization Method. | Alexis Bondu, Marc Boull, Vincent Lemaire, Stphane Loiseau, Batrice Duval |
| 2004 | FlAIRS | Interactive Refinement of a Knowledge Base. | R. Djelouah, Batrice Duval, Stphane Loiseau |
| 2002 | ISMIS | Validation and Reparation of Knowledge Bases. | R. Djelouah, Batrice Duval, Stphane Loiseau |
| 2001 | ECSQARU | A Priori Revision. | Florence Dupin de Saint-Cyr, Batrice Duval, Stphane Loiseau |
| 2001 | LPNMR | Representation of Incomplete Knowledge by Induction of Default Theories. | Pascal Nicolas, Batrice Duval |
| 1999 | ECSQARU | Learning Default Theories. | Batrice Duval, Pascal Nicolas |
| 1995 | ECSQARU | A Theorem Prover for Lukaszewicz' Open Default Theory. | Pascal Nicolas, Batrice Duval |
| 1986 | ECAI | Automated Deduction in an Uncertain and Inconsistent Data Basis. | Batrice Duval, Yves Kodratoff |