Search results for "JFPLC"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Alain Colmerauer	Conférence invitée: Négation et quantification dans les contraintes.	JFPLC	2000	DBLP BibTeX RDF
1	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py	Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B.	JFPLC	2000	DBLP BibTeX RDF
1	David R. Gilbert	Tutoriel I: Bioinformatique et contraintes.	JFPLC	2000	DBLP BibTeX RDF
1	Leszek Pacholski	Tutoriel II: Is it difficult to solve equations in the algebra of words.	JFPLC	2000	DBLP BibTeX RDF
1	Mathieu Jaume	Preuves infinies en Programmation logique.	JFPLC	2000	DBLP BibTeX RDF
1	Pierre Deransart, Jan-Georg Smaus	Les programmes bien typés ont tout bon.	JFPLC	2000	DBLP BibTeX RDF
1	Patricia Mainguet	Résolution incrémentale d'inéquations linéairés à variables dans Z.	JFPLC	1999	DBLP BibTeX RDF
1	Christophe Aillaud, Pierre Deransart	Vers un arbre de spécification d'arbres de choix en PLC.	JFPLC	1999	DBLP BibTeX RDF
1	Arnaud Lallouet, Gaétan Hains	Programmation par contraintes parallèle: l'approche CLP(Chi).	JFPLC	1999	DBLP BibTeX RDF
1	Simon de Givry, Pierre Savéant, Jean Jourdan	Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif.	JFPLC	1999	DBLP BibTeX RDF
1	Frédéric Goualard, Frédéric Benhamou	Un outil de débogage du store pour la programmation par contraintes.	JFPLC	1999	DBLP BibTeX RDF
1	Hélène Kirchner	ELAN.	JFPLC	1999	DBLP BibTeX RDF
1	Erwan Jahier, Mireille Ducassé	Un traceur d'exécution de programme ne sert pas qu'au débogage.	JFPLC	1999	DBLP BibTeX RDF
1	Laurent Granvilliers	Stratégies de résolution de CSP numériques.	JFPLC	1999	DBLP BibTeX RDF
1	Éric Monfroy, Jean-Hugues Réty	Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie.	JFPLC	1999	DBLP BibTeX RDF
1	Luc De Raedt	Database Mining and Inductive Logic Programming.	JFPLC	1999	DBLP BibTeX RDF
1	Frédéric Saubion, Igor Stéphan	Implanter des langages d'arbres en Prolog.	JFPLC	1999	DBLP BibTeX RDF
1	Alexander Bockmayr, Thomas Kasper	Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming.	JFPLC	1999	DBLP BibTeX RDF
1	Helmut Simonis, Abderrahmane Aggoun	Search Tree Debugging.	JFPLC	1999	DBLP BibTeX RDF
1	Gilles Richard	Comparison between Programs and Concepts in ILP.	JFPLC	1999	DBLP BibTeX RDF
1	Stéphane Grumbach	Constraint Databases.	JFPLC	1999	DBLP BibTeX RDF
1	Christophe Mauras, René Thoraval	A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes.	JFPLC	1999	DBLP BibTeX RDF
1	Pascal Van Hentenryck	Localizer: A Modeling Language for Local Search.	JFPLC	1999	DBLP BibTeX RDF
1	Giorgio Delzanno, Andreas Podelski	Verification of Infinite-State Systems in Constraint Logic Programming.	JFPLC	1999	DBLP BibTeX RDF
1	Louis-Martin Rousseau, Gilles Pesant	Une hybridation de programmation par contraintes et recherche locale pour le problème de tournées de véhicules.	JFPLC	1999	DBLP BibTeX RDF
1	Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault	Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.	JFPLC	1999	DBLP BibTeX RDF
1	Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos	Incremental Expansion of Database Updates Through Integrity Constraints.	JFPLC	1999	DBLP BibTeX RDF
1	Serge Colin, Frédéric Mesnard, Antoine Rauzy	Un module Prolog de mu-calcul booléen: une réalisation par BDD.	JFPLC	1999	DBLP BibTeX RDF
1	François Fages (eds.)	JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France	JFPLC	1999	DBLP BibTeX RDF
1	Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault	Compilation abstraite de LambdaProlog.	JFPLC	1998	DBLP BibTeX RDF
1	Stéphane Channac	Un système coopératif pour la résolution de contraintes géométriques.	JFPLC	1998	DBLP BibTeX RDF
1	Olivier Ridoux (eds.)	JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France	JFPLC	1998	DBLP BibTeX RDF
1	Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti	Rule-based restructuring and summarizing in multidimensional data-bases.	JFPLC	1998	DBLP BibTeX RDF
1	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Unification des sémantiques usuelles de programmes logiques.	JFPLC	1998	DBLP BibTeX RDF
1	Narendra Jussien, Christelle Guéret	Utilisation du backtrack intelligent dans un branch-and-bound. Application au problème d'Open-Shop.	JFPLC	1998	DBLP BibTeX RDF
1	Marc Bernard, François Jacquenet	Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes.	JFPLC	1998	DBLP BibTeX RDF
1	Liviu-Virgil Ciortuz	DF - a feature constraint system and its extension to a logic concurrent language.	JFPLC	1998	DBLP BibTeX RDF
1	Gérard Ferrand, Alexandre Tessier	Correction et complétude des sémantiques PLC revisitée par (co)-induction.	JFPLC	1998	DBLP BibTeX RDF
1	Sarah Mallet, Mireille Ducassé	Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives.	JFPLC	1998	DBLP BibTeX RDF
1	Isabelle Jacques, Bruno Legeard, Laurent Py	Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes.	JFPLC	1998	DBLP BibTeX RDF
1	David-Olivier Azulay, Jean François Pique	Optimisation des Q-matrices pour la résolution de contraintes linéaires.	JFPLC	1998	DBLP BibTeX RDF
1	Carmen Gervet	Large combinatorial optimization problem methodology for hybrid models and solutions.	JFPLC	1998	DBLP BibTeX RDF
1	Slim Abdennadher, Michael Marte	University timetabling using constraint handling rules.	JFPLC	1998	DBLP BibTeX RDF
1	Sébastien Hoarau, Frédéric Mesnard	Inférer et compiler la terminaison des programmes logiques avec contraintes.	JFPLC	1998	DBLP BibTeX RDF
1	Patricia Mainguet	Résolution incrémentale d'équations linéaires dans Z.	JFPLC	1998	DBLP BibTeX RDF
1	Yahia Lebbah, Olivier Lhomme	Acceleration methods for numeric CSPs.	JFPLC	1998	DBLP BibTeX RDF
1	Lotfi Berkaoui, Bruno Legeard	Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel.	JFPLC	1998	DBLP BibTeX RDF
1	Jacques Carlier, Eric Pinson	Bounds and adjustments associated with the Pm/ri, qi/Cmax scheduling problem.	JFPLC	1997	DBLP BibTeX RDF
1	Maarten H. van Emden	Canonical extensions as common basis for interval constraints and interval arithmetic.	JFPLC	1997	DBLP BibTeX RDF
1	Karine Liogier	Négation constructive et modèles bivalués.	JFPLC	1997	DBLP BibTeX RDF
1	Jean-Hugues Réty	Un langage distribué concurrent avec contraintes.	JFPLC	1997	DBLP BibTeX RDF
1	Nicolas Barnier, Pascal Brisset	Optimisation par hybridation d'un CSP avec un algorithme génétique.	JFPLC	1997	DBLP BibTeX RDF
1	Abderrahmane Aggoun	L'environnement de programmation par contraintes CHIP dans l'industrie.	JFPLC	1997	DBLP BibTeX RDF
1	Pierre Dago	Backtrack dynamique valué.	JFPLC	1997	DBLP BibTeX RDF
1	Stéphane N'Dong	Prolog IV ou la programmation par contraintes selon PrologIA.	JFPLC	1997	DBLP BibTeX RDF
1	Viet Phan Luong	Computing stable models of datalog programs with negation.	JFPLC	1997	DBLP BibTeX RDF
1	Olivier Roussel, Philippe Mathieu	Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel.	JFPLC	1997	DBLP BibTeX RDF
1	Donald A. Smith	MixLog: a generalized rule-based language.	JFPLC	1997	DBLP BibTeX RDF
1	Frédéric Benhamou (eds.)	JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France	JFPLC	1997	DBLP BibTeX RDF
1	John Alan Robinson	Unification and resolution in retrospect.	JFPLC	1997	DBLP BibTeX RDF
1	Narendra Jussien, Patrice Boizumault	Stratégies en meilleur d'abord pour la relaxation de contraintes.	JFPLC	1997	DBLP BibTeX RDF
1	Eric Boucher, Bruno Legeard	Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes.	JFPLC	1997	DBLP BibTeX RDF
1	Jean-Michel Richer, Jean-Jacques Chabrier	Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes.	JFPLC	1997	DBLP BibTeX RDF
1	Catuscia Palamidessi	Constraint programming for concurrent and distributed computing.	JFPLC	1997	DBLP BibTeX RDF
1	Georges Weil, Kamel Heus, Patrice François	Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique.	JFPLC	1997	DBLP BibTeX RDF
1	Arnaud Lallouet	DP-LOG: un langage logique data-parallèle.	JFPLC	1997	DBLP BibTeX RDF
1	Christine Solnon	Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers.	JFPLC	1997	DBLP BibTeX RDF
1	Laurent Granvilliers	Transformations symboliques et consistance de bloc de CSP continus.	JFPLC	1997	DBLP BibTeX RDF
1	Mathieu Jaume	Formalisation de la SLD-résolution dans le calcul des constructions inductives.	JFPLC	1997	DBLP BibTeX RDF
1	Nicolas Singer	Elimination incrémentale de variables en PLC.	JFPLC	1996	DBLP BibTeX RDF
1	Vincent Schächter	CC et intervalles de tâches.	JFPLC	1996	DBLP BibTeX RDF
1	Sébastien Hoarau, Frédéric Mesnard	PLC(Bool) pour la détection de variables numériques bornées.	JFPLC	1996	DBLP BibTeX RDF
1	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.	JFPLC	1996	DBLP BibTeX RDF
1	Narendra Jussien, Patrice Boizumault	Maintien de déduction pour la relaxation de contraintes.	JFPLC	1996	DBLP BibTeX RDF
1	Odile Papini	Révision des connaissances.	JFPLC	1996	DBLP BibTeX RDF
1	Olivier Baby, Jacques Cohen	Analyse de l'ADN: une approche multipasse à base de contraintes.	JFPLC	1996	DBLP BibTeX RDF
1	Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent 0001, Nicolas Spyratos	Point fixe alterné et bases de données Datalog étendues.	JFPLC	1996	DBLP BibTeX RDF
1	Abderrahmane Aggoun, M. Cabassa, Philippe Charlier, F. Decès	Exemples d'applications de CHIP dans le domaine industriel.	JFPLC	1996	DBLP BibTeX RDF
1	Nicolas Spyratos, Daniel Stamate	Bases de données avec informations incertaines. Sémantique et mises à jour.	JFPLC	1996	DBLP BibTeX RDF
1	Jean-François Boulicaut, Christophe Rigotti	Abduction et déduction de structures d'objets: une intégration multiparadigmes.	JFPLC	1996	DBLP BibTeX RDF
1	Karine Liogier	Système général de contraintes avec négation.	JFPLC	1996	DBLP BibTeX RDF
1	Pascal Chambre, Pierre Deransart, Jan Maluszynski	Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.	JFPLC	1996	DBLP BibTeX RDF
1	Jean-Louis Imbert (eds.)	JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France	JFPLC	1996	DBLP BibTeX RDF
1	Eric Vétillard	Applications de la programmation logique avec contraintes aux problèmes de transport.	JFPLC	1996	DBLP BibTeX RDF
1	Arnaud Lallouet	Une notion de composant logiciel en programmation logique.	JFPLC	1996	DBLP BibTeX RDF
1	Olivier Roussel, Philippe Mathieu	Une nouvelle méthode de compilation logique: l'achèvement par cycles.	JFPLC	1996	DBLP BibTeX RDF
1	Alexandre Tessier	Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes.	JFPLC	1996	DBLP BibTeX RDF
1	Henri Beringer, Daniel Godard, André Guillaud, Ulrich Junker	Construire des applications interactives d'optimisation avec la programmation par contraintes.	JFPLC	1996	DBLP BibTeX RDF
1	Bernard Malfon	Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur.	JFPLC	1996	DBLP BibTeX RDF
1	Eric Boucher, Bruno Legeard	Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences.	JFPLC	1996	DBLP BibTeX RDF
1	Jean-Francois Puget	Applications et évolutions d'ILOG SOLVER.	JFPLC	1995	DBLP BibTeX RDF
1	Arnaud Lefort, Pascal Yim	MINOS: Analyse et Simulation d'Hypernets.	JFPLC	1995	DBLP BibTeX RDF
1	Julian Fowler, Thierry Sola, François Fages	Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes.	JFPLC	1995	DBLP BibTeX RDF
1	Nourredine Bensaid, Philippe Mathieu	Un modèle d'architecture multi-agents entièrement écrit en Prolog.	JFPLC	1995	DBLP BibTeX RDF
1	Jacques Bellone, André Chamard, Annie Fischler	Utilisation de la Programmation logique avec contraintes pour des systèmes d'aide à la décision en planification et ordonnancement chez Dassault Aviation.	JFPLC	1995	DBLP BibTeX RDF
1	Touraïvane	Applications industrielles de PROLOG III et présentation de PROLOG IV.	JFPLC	1995	DBLP BibTeX RDF
1	Miguel-Angel Oros, Paul Y. Gloess	Concept : a system for deriving datalog inheritance.	JFPLC	1995	DBLP BibTeX RDF
1	Stéphane N'Dong, Michel Van Caneghem	Résolution de problèmes continus en PLC avec les intervalles.	JFPLC	1995	DBLP BibTeX RDF
1	Sylvain Laduguie, Olivier Decroux, Cyril Tripier	Optimisation de découpe tridimensionnelle dans un processus de transformation du bois.	JFPLC	1995	DBLP BibTeX RDF
1	Patrick Bellot, Olivier Camp, Christophe Matiachoff	An Overview of MILES and its constraint solving mechanism.	JFPLC	1995	DBLP BibTeX RDF

Publications at "JFPLC"( http://dblp.L3S.de/Venues/JFPLC )