Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eric Vétillard |
Vérification de déclarations en programmation logique avec contraintes. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Alexandre Fernandes De Alencar, Balthazar Vich, Jean-Jacques Chabrier |
Artificial Intelligence Applied to Brazilian Agro-Business: Strategic Planning and Business Decision Support BULL Approach. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler |
The theorem prover SATCHMO : strategies, heuristics and applications. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Vincent Berry, Philippe Ézéquel |
Évaluation répartie asynchrone de (certaines) requêtes DATALOG. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Jean-Jacques Chabrier (eds.) |
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 |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Viet Phan Luong |
A mixed approach to negation in general datalog programs. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Sébastien Hoarau |
Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Jean-Hugues Réty |
Redéfinir l'enlisement pour la résolution SLDNF. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Nicolas Singer |
Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnels. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Jacqueline Chabrier, Vincent Juliard, Jean-Michel Richer |
SCORE(FD/B) : résolution de problèmes SAT aléatoires et structurés. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Mirian Halfeld Ferrari Alves, Dominique Laurent 0001, Nicolas Spyratos |
Règles de mises à jour et programmes Datalogneg. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Cristian Papp |
Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Bernard Malfon |
Typage et validation - une adaptation du point de vue de Lee Naish. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Pascal Nicolas, Béatrice Duval |
Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Christine Roblot |
Un langage de programmation en logique propositionnelle basé sur des techniques de réécriture. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Eugenio G. Omodeo |
Solvable set/hyperset context. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Mehmet Dincbas |
Applications et évolutions du langage CHIP. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Fabien Narp, Marc Vondracek, Dominique Guinaudeau |
ELyCe: Calcul d'emploi du temps lycée et collège. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li |
U-Log = datalog + constraints. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Étienne Loiez |
Programme de diagnostic de circuits électroniques. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Fabrice Ambert, Bruno Legeard, Hamza Zidoum |
CLPS : un langage de PLC ensembliste. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Macaire Ngomo, Jean-Pierre Pécuchet, Abdenbi Drissi-Talbi |
Une approche déclarative et non déterministe de la programmation logique par objets mutables. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Olivier Roussel, Philippe Mathieu |
Évaluation des méthodes d'achèvement par parties. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet, Daniel Diaz 0001 |
The clp(FD) system. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Gilles Richard, Frédéric Saubion |
Constraint rewrite programs : a way to evaluate CLP programs. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Pascal Yim |
SetX2 : un langage logico-fonctionnel ensembliste. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Pierre Berlandier |
Une application pragmatique de la consistance de chemins. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Christophe Varnier, Pierre Baptiste, Bruno Legeard |
Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Baudouin Le Charlier, Pascal Van Hentenryck |
A generic fixpoint semantics for PROLOG and its application for abstract interpretation. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Philippe Marti |
Une implémentation d'un système coopératif pour la résolution de contraintes sur les réels. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Philippe Bonnet, Stéphane Bressan |
Démonstration du prototype Chimera : un système de Base de Données Déductif et Orienté Objet. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Arnaud Lallouet |
Preuves compositionnelles en programmation logique. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Yves Bekkers, Paul Tarau |
Logic Programming with Monads and Comprehensions. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | François Bry |
Bases de données déductives. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Luc Haudot, Marc Sicard, Patrick Esquirol, Pierre Lopez |
Approche par contraintes : application à un problème de gestion de production. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Eugénie Foustoucos, S. Kazem Lellahi, Nicolas Spyratos |
An Algebraic semantics for Datalog. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Cyrille Desmoulins |
TALC : un tuteur pour la construction de figures géométriques logiquement correctes. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Carmen Gervet |
Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Frédéric Benhamou, Touraïvane |
Prolog IV : langage et algorithmes. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Touraïvane |
Deux applications de la programmation logique avec contraintes. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
1 | Andrea Asperti |
Category Theory: Basic notions and general philosophy. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Lan Nguyen-Phuong |
Déclarations de Types en Prolog III. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Christophe Rigotti, Jean-François Boulicaut, Mohand-Said Hacid |
Vers une typologie des sémantiques opérationnelles pour les extensions de Prolog vers les objets. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Christine Solnon, Michel Rueher |
Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Eric Vétillard |
Utilisation de Déclarations en Programmation Logique avec Contraintes. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Arnaud Lallouet |
Une sémantique inductive à la Herbrand pour la programmation logique contextuelle. Application à une notion de correction partielle. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Sophie Renault |
Généralisation de l'Exécution Étendue aux programmes normaux. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Le Pape, Ralph Etienne-Cummings |
La Programmation en Logique avec Contraintes pour une application de placement en conception de VLSI. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Philippe Charman |
Une approche contrainte pour la conception préliminaire des plans de sol. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Igor Stéphan |
Du ou dans les arbres. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Vincent Danos |
Une logique à grain fain: la logique linéaire. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Michel Bergère, Gérard Ferrand, Jean-Hugues Réty |
Indépendance de la règle de calcul pour la résolution SLD avec retard. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Imbert |
Redondances, élimination de variables et diséquations linéaires. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Anne Parrain |
Méta-interprétation et transformations de programmes logiques. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Christophe Lecoutre |
Une Interprétation abstraite en programmation logique avec contraintes. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | François Barthélemy |
Operational Semantics for DCGs. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Bernard Malfon |
Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard |
Étude de la terminaison des programmes logiques avec contraintes au moyen d'approximations. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Vincent Berry, Philippe Ézéquel |
Distinguer les variables distinguées. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Marc-Michel Corsini, Antoine Rauzy |
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Marc-Michel Corsini (eds.) |
JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet |
Programmation Concurrente avec Contraintes. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|
1 | Paul Tarau |
Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. |
JFPLC |
1994 |
DBLP BibTeX RDF |
|