Publications
Please feel free to contact me to get these papers.
Frederic.Saubion@univ-angers.fr
2007
S. Lamprier, T. Amghar, B. Levrat, F. Saubion
Toward a More Global and
Coherent Segmentation of Texts
Applied
Artificial Intelligence (to appear)
S. Lamprier, T. Amghar, B. Levrat, F. Saubion
ClassStruggle: a
Clustering Based Text Segmentation
Journal
of Universal Computer Science (to appear)
J. Maturana, F.
Saubion
On
the Design of Adaptive Control Strategies for Evolutionary Algorithms
AE
2007
J.
Maturana, F. Saubion
Towards
a Generic Control Strategy for Evolutionary Algorithms: an Adaptive
Fuzzy-Learning Approach
CEC 2007
S.
Lamprier, T. Amghar, B. Levrat, F. Saubion
Document Length
Normalization by Statistical Regression
ICTAI
2007
S.
Lamprier, T. Amghar, B. Levrat, F. Saubion
On Evaluation
Methodologies for Text Segmentation Algorithms
ICTAI
2007
S. Lamprier, T.
Amghar, B. Levrat, F. Saubion
SegGen : a Genetic Algorithm
for Linear Text Segmentation
IJCAI
2007
S.
Lamprier, T. Amghar, B. Levrat, F. Saubion
ClassStruggle: a Clustering
Based Text Segmentation Method
SAC 2007
T.
Amghar, B. Levrat, F. Saubion
Using genetic algorithms to
compose documents : A way to focus attention on relevant information
ISSC 2007
J. Maturana, F. Saubion
Automated Parameter Control
for Evolutionary Algorithms
AUTONOMOUS
2007
S.
Lamprier, T. Amghar, B. Levrat, F. Saubion
Optimisation
multiobjectif pour la segmentation thématique de textes
ROADEF 2007
T.
Lambert, E. Monfroy, F. Saubion
Vers un
cadre générique pour la recherche locale : application pour le Sudoku
ROADEF 2007
2006
F. Lardeux, F. Saubion and
J.K. Hao
GASAT: a genetic local search
algorithm for the satisfibility problem
Evolutionary Computation
14(2): 223-253, MIT Press
Tassadit
Amghar, Bernard Levrat, Frédéric Saubion
An Evolutionary Approach in
Information Retrieval
ICCS 2006
T. Lambert, C. Castro, E.
Monfroy, F. Saubion
Solving the Balanced Academic
Curriculum Problem with an Hybridization of Genetic Algorithm
and
Constraint Propagation
ICAISC'06
T. Lambert, E. Monfroy, F.
Saubion
Solving Sudoku with Local
Search : A Generic Framework
ICCS 2006
2005
Eric Monfroy, Frédéric
Saubion and Tony Lambert
Hybrid CSP
Solving
FROCOS 2005 (invited
paper)
H. Deleau, J.K. Hao et F. Saubion
Stratégies
hybrides pour la résolution de problèmes de satisfaction de contraintes,
RAIRO-Operations
Research, EDP Sciences.
F. Lardeux
F. Saubion et J.K. Hao
Three Truth Values for the SAT and MAX-SAT Problems,
IJCAI 2005.
T.
Lambert, E. Monfroy et F. Saubion
Solving Strategies using a Hybridization Model
for Local Search and Constraint Propagation
ACM SAC 2005
F. Lardeux
F. Saubion et J.K. Hao
Local Search with Three Truth Values for SAT Problems,
MIC 2005.
F. Lardeux F. Saubion and J.K. Hao
Une Vision
Trivaluée pour le Problèmes SAT et MAX-SAT
JFPC 2005
F.
Lardeux, F. Saubion and JK Hao
Combinaison
d'heuristiques exactes pour le probleme MAX-SAT
ROADEF 2005
T. Lambert, C.
Castro, E. Monfroy, M. C. Riff et F. Saubion
Solving the
Balanced Academic Curriculum Problem with an hybridization of genetic
algorithms and constraint propagation
JFPC 2005
2004
Eric Monfroy, Frédéric
Saubion and Tony Lambert
On Hybridization
of Local Search and Constraint Propagation
ICLP
2004
Frédéric Lardeux, Frédéric Saubion and Jin-Kao Hao
A Resolution Framework to
Combine Exact and Approximate Methods for SAT and MAX-SAT Problems
Fourth EU/ME Workshop: Design
and Evaluation of Advanced Hybrid Metaheuristics
Tony
Lambert, Eric Monfroy and Frédéric Saubion
Hybridization
Strategies for Local Search and Constraint Propagation
COSOLV 2004
Frédéric Lardeux, Frédéric Saubion and Jin-Kao Hao
Combination
of Exact and Approximate Methods for SAT and MAX-SAT Problems
COSOLV 2004
Hervé
Deleau, Tony Lambert, Eric Monfroy et Frédéric Saubion
Iterations chaotiques pour l'hybridation propagation de contraintes/recherche locale
JFPLC 2004
Frédéric
Lardeux, Frédéric Saubion and Jin-Kao Hao
Un algorithme tabou tri-valué hybride pour le problème MAX-SAT
JNPC2004
Frédéric
Lardeux, Frédéric Saubion and Jin-Kao Hao
Combinaison de mécanismes de résolution pour le problème MAX-SAT
FRANCORO 2004
F. Lardeux, F. Saubion, J.-K. Hao
The
GASAT Solver
SAT 2004 Competition : Solver Descriptions
2003
Frédéric Saubion
Hybrid
CSP Solving
Association
for Logic Programming Newsletter
Vol
16 n. 2 & 3, 2003
Hervé Deleau, Frédéric Saubion and Jin-Kao Hao
A Hybrid Framework for CSP Resolution
COSOLV 2003
Frédéric Lardeux,
Frédéric Saubion and Jin-Kao Hao
Designing
Efficient Recombination Operators for Satisfiability Problems
Artificial
Evolution 2003
Vincent Barichard, Hervé
Deleau, Jin-Kao Hao and Frédéric Saubion
A Hybrid Evolutionary
Algorithm for CSP
Artificial Evolution 2003
Frédéric Lardeux, Frédéric
Saubion and Jin-Kao Hao
Recombination Operators
for Satisfiability Problems
MIC
2003
Frédéric
Lardeux, Frédéric Saubion et Jin-Kao Hao
Un
algorithme hybride pour le problème SAT
ROADEF 2003, Avignon
Jin-Kao Hao , Frédéric
Lardeux and Frédéric Saubion
Evolutionary Computing for
the Satisfiability Problem
EVOCOP
2003, Colchester
Frédéric Lardeux, Frédéric Saubion et Jin-Kao Hao
GASAT:
une approche hybride pour le problème SAT
JNPC
2003, Amiens
Vincent
Barichard, Hervé Deleau, Jin-Kao Hao et Frédéric Saubion
Evolution
+ Adaptation = Résolution
JFPLC
2003, Amiens
2002
Jin-Kao
Hao, Frédéric Lardeux and Frédéric
Saubion
A Hybrid Genetic Algorithm
for the Satisfiability Problem
1rst International Workshop
on Heuristics, Beinijg, 2002
Frédéric Saubion and Igor
Stéphan
A Unified Framework to Compute
over Tree Synchronized Grammars and Primal Grammars
Discrete Mathematics and
Theoretical Computer Science, Vol 5, No 1, pp 227-262.
Pascal Nicolas, Frédéric
Saubion and Igor Stéphan
Answer Set
Programming by Ant Colony Optimization
JELIA’02, Berlin
Pascal
Nicolas, Frédéric Saubion and Igor Stéphan
Optimisation
par colonies de fourmis pour la programmation logique étendue
JFPLC’02, Nice
Vincent Barichard, Jin-Kao
Hao and Frédéric Saubion
Heuristiques
pour la migration et l'évolution des éléments d'un réseau cellulaire
ROADEF 2002, Paris
2001
Pascal Nicolas,
Frédéric Saubion and Igor Stéphan
Heuristics for a
Default Reasonning System
International
Journal on Artificial Intellingence Tools Vol 10 No 4
World
Scientific Publishing Company
Pascal Nicolas, Frédéric
Saubion and Igor Stéphan
New
Generation Systems for Non Monotonic Reasonning
LPNMR’01,
LNAI Springer, 2001
Manuel Clergue, Jin-Kao Hao
and Frédéric Saubion
Un Problème de Coloration d’Echiquier
JNPC’01, Toulouse
, 2001
Pascal Nicolas,
Frédéric Saubion and Igor Stéphan
Evolutionnary
Computing for Query-Answering in Default Logic
DGNMR
Workshop, 2001
Pascal Nicolas,
Frédéric Saubion and Igor Stéphan
Genes
and Ants for Default Logic
AAAI
2001 Spring Symposium Series, Stanford University
2000
Pascal Nicolas,
Frédéric Saubion and Igor Stéphan
Combining Heuristics for
Default Logic Reasoning Systems
ICTAI
2000,Vancouver, IEEE Comp. Soc
Pascal Nicolas, Frédéric
Saubion and Igor Stéphan
GADEL : a Genetic Algorithm
to Compute Default Logic Extensions
ECAI
2000, Berlin, J. Wiley
Pascal Nicolas, Frédéric
Saubion and Igor Stéphan
Genetic Algorithms for
Extension Search in Default Logic
Nonmonotonic
Reasoning Workshop, 2000
http://xxx.lanl.gov/abs/cs.AI/0002015
Igor Stéphan, Pascal Nicolas
and Frédéric Saubion
Description of GADEL
System
Descriptions and Demonstrations at Nonmonotonic Reasoning Workshop, 2000
http://xxx.lanl.gov/abs/cs.AI/0003018
1999
F. Saubion and I. Stephan
On Implementation of Tree
Synchronized Languages
RTA'99, Trento, LNCS
Springer-Verlag.
F. Saubion and I. Stephan
Implanter des languages
d'arbres en Prolog
JFPLC'99, Lyon, Hermès.
1998
S. Limet and F. Saubion
A General Framework for R-Unification
Problems
SAS'98
and PLILP/ALP'98, Pisa, LNCS Series, Springer-Verlag.
S. Limet and F. Saubion
Primal Grammars
for R-unification
Unif'98,
Rome
1997
S. Limet and F. Saubion
On Validation of Logic
Programs
AMAST'97,
Sydney, LNCS, Springer Verlag.
G. Richard et F. Saubion
Answer Synthesis for CLP
Programs with Negation
Journal
of the Interest Group in Pure and Applied Logics, IGPL, Oxford University
Press, Vol. 5, No 3, pages 339-373.
G. Richard, F. Saubion et A. Tellez-Arenas
Intensional Set Constraints
APPIA-GULP-PRODE'97,
Grado, Italy.
F. Saubion et A. Tellez-Arenas
Intensional Sets using
Explicit Substitution
ICFP'97,
ACM SIGPLAN.
G. Richard and F.Saubion
Answer Synthesis as a
Formalism for Validation
11th
International Workshop on Unification, UNIF'97, Orleans.
S. Limet and F. Saubion
Validation
Partielle de Programmes Logiques
Journées du GDR programmation du CNRS, Rennes
1996
G. Richard et F. Saubion
Answers Synthesis for CLP
with Negation
ECAI'96,
Budapest, Budapest,John Wiley and Sons LTD.
S. Limet et F. Saubion
Combining Rewrite Tools for
Equational Logic Programming
JICSLP'96
Post-Conference Workshop,Multi-paradigm Logic Programming, MPLP'96, Bonn
G. Richard et F. Saubion
Linear Completion for
Equational Logic Programming
UNIF'96,
Munich
F. Saubion
Une
approche de synthèse pour la programmation logique et ses extensions
Thèse de doctorat de l'Université d'Orléans,
décembre 1996.
G. Richard, F. Saubion et A. Tellez-Arenas
Ensembles
intentionnels par les substitutions explicites
Journées du GDR programmation du CNRS, Orléans.
1995
G. Richard et F. Saubion
A Rewrite Approach to
Transform Constraint Logic Programs
Journal
of Computing and Information Vol 1, no 2, Special Issue
ICCI'95, Trent University,
Peterborough
G. Richard et F. Saubion
A Rewrite Approach for
Constraint Logic Programming
LATIN'95, Valparaiso, LNCS
Springer-Verlag.
G.
Richard et F. Saubion
Constraint Rewrite Programs:
A Way to Evaluate CLP Programs
JFPL'95,
Dijon