Conferences in DBLP
Olivier Baby , Jacques Cohen Analyse de l'ADN: une approche multipasse à base de contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Boulicaut , Christophe Rigotti Abduction et déduction de structures d'objets: une intégration multiparadigmes. [Citation Graph (0, 0)][DBLP ] Conf ] Mirian Halfeld Ferrari Alves , Synnöve Kekkonen-Moneta , Dominique Laurent , Nicolas Spyratos Point fixe alterné et bases de données Datalog étendues. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Spyratos , Daniel Stamate Bases de données avec informations incertaines. Sémantique et mises à jour. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Tessier Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Lallouet Une notion de composant logiciel en programmation logique. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Malfon Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Chambre , Pierre Deransart , Jan Maluszynski Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Morel , Jacques Briat , Jacques Chassin de Kergommeaux PloSys: parallélisme OU et effets de bords sur système parallèle sans mémoire commune. [Citation Graph (0, 0)][DBLP ] Conf ] Abderrahmane Aggoun , M. Cabassa , Philippe Charlier , F. Decès Exemples d'applications de CHIP dans le domaine industriel. [Citation Graph (0, 0)][DBLP ] Conf ] Henri Beringer , Daniel Godard , André Guillaud , Ulrich Junker Construire des applications interactives d'optimisation avec la programmation par contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Vétillard Applications de la programmation logique avec contraintes aux problèmes de transport. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Hoarau , Frédéric Mesnard PLC(Bool) pour la détection de variables numériques bornées. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Singer Elimination incrémentale de variables en PLC. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Schächter CC et intervalles de tâches. [Citation Graph (0, 0)][DBLP ] Conf ] Odile Papini Révision des connaissances. [Citation Graph (0, 0)][DBLP ] Conf ] Narendra Jussien , Patrice Boizumault Maintien de déduction pour la relaxation de contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Boucher , Bruno Legeard Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Roussel , Philippe Mathieu Une nouvelle méthode de compilation logique: l'achèvement par cycles. [Citation Graph (0, 0)][DBLP ] Conf ] Karine Liogier Système général de contraintes avec négation. [Citation Graph (0, 0)][DBLP ] Conf ] 