yusuke1997/dblp-id-title huggingface dataset:
Comparing Fuzzy Clusterings in High Dimensionality
Data Dimensionality Estimation: Achievements and Challanges
What are Clusters in High Dimensions and are they Difficult to Find?
Clustering High-Dimensional Data
Efficient Density-Based Subspace Clustering in High Dimensions
Clustering High-Dimensional Data - First International Workshop, CHDD 2012, Naples, Italy, May 15, 2012, Revised Selected Papers
Bases de données logiques et programmation en logique
JFPLC'95, IVèmes Journées Francophones de Programmation en Logique & Journée d'étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France
Résolution de problèmes continus en PLC avec les intervalles
Un gestionnaire de connaissances reposant sur l'intégration de la programmation logique et des bases de donnés relationnelles
Correction et complétude des sémantiques PLC revisitée par (co)-induction
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés
Some remarks on the treatment of errors in natural language processing systems
Un modèle de programmation séquencée pour les systèmes à process discontinu
Élimination de Fourier: que choisir?
Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France
Parametric Descriptive Types for CLP
Le temps, la chronologie et Prolog
Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie
Preuves de programmes logiques par induction et coinduction
A generic fixpoint semantics for PROLOG and its application for abstract interpretation
Using integrity constraints to control hypotheses formation
Modulog "isa" Prolog
Prolog avec égalité
Réécriture de programmes C--en équations logiques
Correction de Conjectures Fausses par Synthèse de Programmes
Realizing an efficient and incremental access to an object oriented database with Prolog
Programmation Logique et Objets sans variables par le dessin
Apprentissage de solveurs de contraintes sur les domaines finis
Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur
Une nouvelle approche de la programmation en logique
Programmation logique à contraintes et propagation d'intervalles
A mixed approach to negation in general datalog programs
Optimisation des Q-matrices pour la résolution de contraintes linéaires
FAON: a functional abstractor of netlists
Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes
Redéfinir l'enlisement pour la résolution SLDNF
SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France
Quelques applications de la propagation de contraintes sur les domaines continus en automatique
Transformations symboliques et consistance de bloc de CSP continus
Utilisation de Déclarations en Programmation Logique avec Contraintes
SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France
Un système de traitement de petites annonces
Démonstration du prototype Chimera : un système de Base de Données Déductif et Orienté Objet
CC et intervalles de tâches
Décompilation conservant le déterminisme
Évaluation partielle pour l'implantation efficace de la réflexion de comportement
A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes
Stratégie générale d'exploration et coupe-choix
Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage
Constraint rewrite programs : a way to evaluate CLP programs
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale
Mise en oeuvre d'un traducteur de lambda-Prolog et L lambda
Une approche logique de la non-monotonie
Applications industrielles de PROLOG III et présentation de PROLOG IV
Relâchement de contraintes en Programmtion en Logique avec Contraintes
Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires
Un langage de programmation en logique propositionnelle basé sur des techniques de réécriture
Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage
Surcharge et sous-typage dans TCLP
CLEF v1 et la Programmation en Logique avec Contraintes
Déclarations de Types en Prolog III
Généralisations correctes pour l'induction mathématique
Contraintes booléennes et gestion d'arbres des défaillances
Applications et évolutions d'ILOG SOLVER
Abstract interpretation can improve the efficiency of the bachtracking rule
Explications k-relevantes pour la programmation par contraintes
Spécification formelle de Prolog standard
Programmation par contraintes parallèle: l'approche CLP(Chi)
Une implémentation de grammaire de forme en Prolog II
Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation
Raisonnement sur les propriétés de contraintes numériques
Optimisation par hybridation d'un CSP avec un algorithme génétique
U-Log = datalog + constraints
Comparison between Programs and Concepts in ILP
Interface Prolog-Graphique
Compilation abstraite de LambdaProlog
Un modèle d'architecture multi-agents entièrement écrit en Prolog
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking
Programmes logiques avec contraintes typés
Intégration de concepts de la programmation en logique à un langage de schémas paramétré
Acceleration methods for numeric CSPs
Une application de Prolog: la génération d'interfaces utilisateurs experts pour logiciels conversationnels sous Unix
Le iota-calcul: un langage de contraintes d'ordre supérieur
Vers un arbre de spécification d'arbres de choix en PLC
Gel implicite, calcul formel et résolution d'équations en programmation logique
Un langage distribué concurrent avec contraintes
Le système logique parallèle PEPSys
From Unification to Constraints
Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels
LAIOS: une exécution parallèle de Prolog par recopie des données
Nouvelle implémentation de METALOG
Interface entre PROLOG et un SGBD
La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes
Compilation d'un sous-PROLOG
Xcerpt et visXcerpt : langages déductifs d'interrogation du Web
Une notion de composant logiciel en programmation logique
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog
Méta-interprétation et transformations de programmes logiques
Un pilote de traceur pour la PLC
Intégration de domaines à variables dans un solveur de contraintes ensemblistes
Relational interpretation of logic programs
Prolog et les opérateurs temporels
Applications de la programmation logique avec contraintes aux problèmes de transport
Applications et évolutions du langage CHIP
Une hybridation de programmation par contraintes et recherche locale pour le problème de tournées de véhicules
Un traceur d'exécution de programme ne sert pas qu'au débogage
OPERA: Ou parallélisme et Régulation Adaptive en Prolog
Négation constructive et modèles bivalués
Operational Semantics for DCGs
Manipulation formelle de programmes Prolog
Extending CHIP in order to solve complex scheduling and placement problems
Bipartitions et équations linéaires
Une heuristique pour transformer des programmes logiques
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers
Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips
Programme de diagnostic de circuits électroniques
Unification des sémantiques usuelles de programmes logiques
Modélisation déclarative de stratégies de propagation de contraintes
Explications conviviales pour la programmation par contraintes
SPLT'83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France
ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en Spécifications
Domain-Independent and Range-Restricted Formulas and Deductives Databases
Logique Partielle et Prolog
Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem»
Banc d'essai pour les principales versions de Prolog. Réalisation et mesures de performances
Sélection de clauses en Prolog
Définitions de stratégies équitables en programmation logique
JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France
BOOMRANG et ALEXANDRE ou "Comment aller de l'avant en arrière et vice-versa"
Interpréteur de Prolog en Pascal sous Multics
Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiques
Une transformation de programme basée sur la notion d'équations entre termes
High-Level Reformulation of Constraint Programs
Un langage logique orienté objet
Résolution d'un problème de conception de réseau avec Parallel Solver
Tutoriel I: Bioinformatique et contraintes
Elimination incrémentale de variables en PLC
Sur la détection des boucles infinies en programmation en logique
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?
Exemples d'applications de CHIP dans le domaine industriel
A tactic-driven system for building proofs
Une nouvelle méthode de compilation logique: l'achèvement par cycles
Traduction sémantique à l'aide de grammaires logiques
Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation
Evaluation partielle de requêtes dans le cadre du projet EPSILON
SPLT'89, 8 ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France
Approche par contraintes : application à un problème de gestion de production
Preuves infinies en Programmation logique
Recherche adaptative et contraintes musicales
MixLog: a generalized rule-based language
Unification and resolution in retrospect
Une algèbre de processus pour la programmation logique parallèle
Programmation logique avec des interpréteurs équitables
Note sur l'unification des termes de premier ordre finis et infinis
Concurrent Prolog: Modèle de calcul et gestion de la mémoire
New trends in constraint logic Programming
SPES: un système de transformation de programmes logiques
XLOG: types, fonctions et tableaux dans Prolog
Impact de la programmation logique parallèle et par contraintes sur l'ingénierie des systèmes multi-agents
Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique
The grand loop semantics for logic programs
La contrainte période
Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences
La Programmation en Logique avec Contraintes pour une application de placement en conception de VLSI
Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes
Détection d'erreurs en programmation en logique
Premières mesures sur l'interpréteur de PROLOG II
Une sémantique inductive à la Herbrand pour la programmation logique contextuelle. Application à une notion de correction partielle
Généralisation de l'Exécution Étendue aux programmes normaux
Formulae as Active Representations of Data
Quelques applications du filtrage paresseux
Non-Termination Inference for Optimal Termination Conditions of Logic Programs
Spécification relationelle déductive de programmes logiques
Sur la finitude des dérivations de la programmation en logique
Recherche coopérative et Nogood Recording
Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France
Search Tree Debugging
JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France
Implantation du langage de programmation logique, par objets e répartie ObjVProlog-D
Abstract Interpretation from Prolog to Concurrent Prolog
Formalisation de la SLD-résolution dans le calcul des constructions inductives
Une nouvelle structure de données pour l'implémentation des extensions de Prolog
Construire des applications interactives d'optimisation avec la programmation par contraintes
Une approche hybride pour l'optimisation multi-objectif sous contraintes
Optimisation combinatoire en temps limité: Depth First Branch and Bound adaptaif
Résolution incrémentale d'équations linéaires dans Z
L'inheritance near-Horn Prolog en Prolog
Une strategie de réécriture pour les programmes logiques
SPLT'82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France
Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS
L'optimalité de l'algorithme "Distributed Intelligent Backtracking"
MI4: Une approche industrielle des systèmes experts
Spécification de modèles de traces à l'aide d'une sémantique par continuations
De l'utilisation de Prolog pour des applications à vocation industrielle
Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d'optimisation combinatoires embarquées
"Dif", un moyen simple pour un contrôle complexe
Artificial Intelligence Applied to Brazilian Agro-Business: Strategic Planning and Business Decision Support BULL Approach
Gestion d'une base de données virtuelle (BDV): Une application de Métalislog
Élimination de variables dans les systèmes de contraintes linéaires
De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielle
Les programmes bien typés ont tout bon
Allocation de créneaux pour la régulation du trafic aérien
FORTLOG = Fortran + Logique
Optimal models and optimal trajectories in logical dynamics
Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers
Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France
Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog
Types et fonctions en Prolog: une approche ensembliste
2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France
Du filtrage optimal à la stabilité parfaite
JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France
Inférence de non-terminaison pour les programmes logiques avec contraintes
Classes et Types: aides à la programmation en logique
Vers une typologie des sémantiques opérationnelles pour les extensions de Prolog vers les objets
Preuves de correction partielle des programmes logiques
Système général de contraintes avec négation
Redondances, élimination de variables et diséquations linéaires
Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes
Une contrainte globale pour le problème de l'isomorphisme de graphes
Une autre interprétation top down des clauses de Horn: interface avec une base de données
Test d'hypothèses pour l'intégration d'information en logique à quatre valeurs
JFPL'92, 1 ères Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France
ELAN
Une approche contrainte pour la conception préliminaire des plans de sol
A propos du mariage LISP-PROLOG: les bases du langage FROG
Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes
PROLOG et Bases de Données
Maintien de déduction pour la relaxation de contraintes
Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles
Bases de données déductives
Parallélisme-OU et assertions Prolog
Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale
LOGIS, un système PROLOG dans un environnement LISP
Prolog en 10 figures
Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types
BOCAL: Bibliothèque d'objets pour le traitement des contraintes arithméthiques et logiques
Gestion de la mémoire cache pour une machine symbolique
L'environnement de Prolog III
Verification of Infinite-State Systems in Constraint Logic Programming
Evolution + Adaptation = Résolution
Une mise en oeuvre de l'unification d'expressions booléennes
Programmation en logique: méthodologie et enseignement
Rule-based restructuring and summarizing in multidimensional data-bases
Application du langage CHIP à un problème complexe d'ordonnancement
Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir
Résolution de problèmes non linéaires avec continuum de solutions
Correction de fautes de grammaire et génération de langage naturel en PROLOG
Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski
AFFLOG: une implantation de grammaires à deux niveaux pour l'étude de la Programmation Grammaticale Logique
Incremental Expansion of Database Updates Through Integrity Constraints
cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog
List concatenation via extended unification
L'environnement Modulog
Distinguer les variables distinguées
Est-ce que Prolog sait lire?
COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog
SP-Object: Extension objet dans le système SP-Prolog v2.1
Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes
Abstract interpretation for constraint logic programming
Un analyseur ascendant de langage naturel basé sur la théorie de gouvernement et liage
Low-level issues in implementing a high-performance continuation passing Binary Prolog engine
Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface
A Theoretical Analysis of the Average-Time Complexity of Domain-Heuristics for Arc-Consistency Algorithms
Optimisation par colonies de fourmis pour la programmation logique étendue
Approche logique de la généralisation en présence de théorie du domaine
Sur la décomposabilité de programmes logiques
MULTISCHUSS: une architecture parallèle pour les bases de connaissances et la logique
Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming
U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets
EXPLINEG1: Une méthode de génération d'explications négatives dans les systèmes à base de connaissances formalisées en logique des prédicats
Using CHIP to support decision making
Large combinatorial optimization problem methodology for hybrid models and solutions
Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles
Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems
Coopération de PROLOG et d'un SGBD généralisé: principes et applications
Predicting Derivation Lengths in Rule-based Constraint Programs
Database Mining and Inductive Logic Programming
Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnels
Representation of soft constraints by hard constraints
Étude de la terminaison des programmes logiques avec contraintes au moyen d'approximations
Evaluation partielle des échecs en Prolog
Analyse de l'ADN: une approche multipasse à base de contraintes
Vérification de déclarations en programmation logique avec contraintes
CLPS : un langage de PLC ensembliste
CLP(beta) joue la transparence
Some elements of methods to deal with equivalences in specification and program development
Prolog IV ou la programmation par contraintes selon PrologIA
An Overview of MILES and its constraint solving mechanism
An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks
Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming
Automated synthesis of combinational logic using problem solving techniques
Un système de frames expertes en Prolog
Une sémantique opérationnelle algébrique de programmes PROLOG
Un système d'aide à l'expérimention en génie génétique
Computing stable models of datalog programs with negation
Test d'occurence en PROLOG et grammaires attribuées
Évaluation des méthodes d'achèvement par parties
Transformation de programmes Prolog en vue de la compilation
Génération de scènes animées à partir du texte
Règles de mises à jour et programmes Datalog neg
A Confluent Extension of Lafont's Interaction Nets
Le traitement des exceptions en programmation logique avec VEGA
STRALOG: Système expérimental de programmation logique multi-stratégies
Category Theory: Basic notions and general philosophy
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances
Réarrangement de clauses Prolog
Réflexion en cours
Typage et validation - une adaptation du point de vue de Lee Naish
Backtracking intelligent en programmation logique
Generic Extensions of a Prolog Browser
Représentation sémantique des langues naturelles en Prolog
Du ou dans les arbres
Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteurs
De AC3 à AC7
Analysis of failing Prolog Executions
Programmation logique parallèle 87
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems
Systèmes de programmation logique OU parallèles
Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG
SYNTHEX: un système expert pour la synthèse vocale à partir du texte
A Unified Approach to Logic Programs Semantics based on Constraints
Programmation par ensembles-réponses possibilistes
Backtrack dynamique valué
Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis
Model search with equality: a language and incremental proof procedure for discourse analysis
OPIUM: un outil de trace sophistiqué pour PROLOG
Un nouveau traceur générique pour GNU-Prolog
Une revue des modèles parallèles pour PROLOG
Évaluation répartie asynchrone de (certaines) requêtes DATALOG
Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France
Utilisation du backtrack intelligent dans un branch-and-bound. Application au problème d'Open-Shop
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux
Implantation de grammaires de propriétés en CHR
LISLOG: L'an II
L'enseignement de la programmation logique à l'Ecole des Mines de Nantes
Une théorie du test en programmation logique
MINOS: Analyse et Simulation d'Hypernets
Architecture de l'unité de calcul symbolique de MAIA
Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG
Différences entre la sémantique déclarative et la sémantique procédurale d'un programme Prolog avec coupe-choix
Une sémantique co-inductive pour la propagation de contraintes et de labeling
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence
Programmation en logique en environnement Lisp
Ecriture d'un compilateur "réel" en PROLOG
Prolog comme outil de génie logiciel
Génération incrémentale de bases de règles trivaluées cohérentes
JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France
HyperPro: Un environment intégré de documentation pour la PLC
Les nouvelles possibilités de PROLOG/Pascal-Multics
EQUATOR: a Many-Sorted Prolog based on Equational Unification
OASIS: Outil interactif d'aide à la spécification
La machine base de données OPALE
Assuming that you need to assume
Prolog et types abstraits algébriques
Une représentation déclarative des consistances de CSPs
Tutoriel II: Is it difficult to solve equations in the algebra of words
Un système coopératif pour la résolution de contraintes géométriques
Révision des connaissances
An Algebraic semantics for Datalog
Application des techniques CSP pour la configuration d'un process de traitement thermique
Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B
Recherche locale dichotomique pour la résolution des CSP continus
Optimisation de découpe tridimensionnelle dans un processus de transformation du bois
Note sur Prolog III
Concept : a system for deriving datalog inheritance