ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

couverture du numéro

Programmation en logique avec contraintes
JFPLC 2003
sous la direction de DUCASSÉ Mireille
 LISTE DES ARTICLES POUR LE VOL 17/RSTI1 - 2003
A Hybrid MIP-CP Algorithm for a Linked Planning and Scheduling Problem from Chemical Industry  [GRATUIT]
- pp.15-15
Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques
- pp.19-32
Une approche hybride pour l'optimisation multi-objectif sous contraintes
- pp.33-46
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique
- pp.49-62
L'enseignement de la programmation logique à l'École des Mines de Nantes
- pp.63-75
Un cours « électronique » sur la programmation par contraintes
- pp.77-80
Claire/Eclair© Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées
- pp.83-96
Un nouveau traceur générique pour GNU-Prolog
- pp.97-110
Explications k-relevantes pour la programmation par contraintes
- pp.111-124
Apprentissage de solveurs de contraintes sur les domaines finis
- pp.125-138
De l'utilité des contraintes pour explorer des catalogues
- pp.141-154
“Model Checking” symbolique de réseaux biochimiques
- pp.155-168
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM
- pp.169-182
Optimisation des évolutions d'un réseau télécom
- pp.183-186
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances
- pp.190-202
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes
- pp.203-216
Intégration de domaines à variables dans un solveur de contraintes ensemblistes
- pp.217-220
Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels.
- pp.223-236
Implantation de SBDS en GNU Prolog
- pp.237-250
Contraintes de sous-typage dans les quasi-treillis
- pp.253-266
De AC3 à AC7
- pp.267-280
Évolution + Adaptation = Résolution
- pp.281-294
Des contraintes sur des ontologies
- pp.295-298
Bipartitions et équations linéaires
- pp.299-302
L'algorithme « Optimal Distributed Intelligent BackTracking »
- pp.303-306
Correction de conjectures fausses par synthèse de programmes
- pp.307-310
Index des auteurs  [GRATUIT]
- pp.311-311
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier