![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
JFPLC 1995: Dijon, France
- Jean-Jacques Chabrier:
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. 1995
Session 1: Contraintes
- 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: 21-33 - Gilles Richard, Frédéric Saubion:
Constraint rewrite programs : a way to evaluate CLP programs. JFPLC 1995: 35-49 - Frédéric Benhamou, Touraïvane:
Prolog IV : langage et algorithmes. JFPLC 1995: 51-64 - Pierre Berlandier:
Une application pragmatique de la consistance de chemins. JFPLC 1995: 67-77 - Stéphane N'Dong, Michel Van Caneghem:
Résolution de problèmes continus en PLC avec les intervalles. JFPLC 1995: 79-93 - Nicolas Singer:
Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnels. JFPLC 1995: 95-110
Session 2: Sémantique
- Baudouin Le Charlier, Pascal Van Hentenryck:
A generic fixpoint semantics for PROLOG and its application for abstract interpretation. JFPLC 1995: 113-125 - Jean-Hugues Réty:
Redéfinir l'enlisement pour la résolution SLDNF. JFPLC 1995: 129-141 - Arnaud Lallouet:
Preuves compositionnelles en programmation logique. JFPLC 1995: 143-156
Session 3: Extension
- Yves Bekkers, Paul Tarau:
Logic Programming with Monads and Comprehensions. JFPLC 1995: 161-171
Session 4: Bases de connaissances - Bases de données
- Olivier Roussel, Philippe Mathieu:
Évaluation des méthodes d'achèvement par parties. JFPLC 1995: 175-189 - Cristian Papp:
Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases. JFPLC 1995: 191-204 - Viet Phan Luong:
A mixed approach to negation in general datalog programs. JFPLC 1995: 207-220
Session 5: Bases de données
- Eugénie Foustoucos, S. Kazem Lellahi, Nicolas Spyratos:
An Algebraic semantics for Datalog. JFPLC 1995: 225-239 - Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos:
Règles de mises à jour et programmes Datalogneg. JFPLC 1995: 241-254
Session 6: Résolution
- Frédéric Mesnard, Sébastien Hoarau:
Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. JFPLC 1995: 259-273 - 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: 275-289 - Bernard Malfon:
Typage et validation - une adaptation du point de vue de Lee Naish. JFPLC 1995: 291-304
Applications
- 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: 309-310 - 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: 313-322
Prototypes
- Étienne Loiez:
Programme de diagnostic de circuits électroniques. JFPLC 1995: 325- - Luc Haudot, Marc Sicard, Patrick Esquirol, Pierre Lopez:
Approche par contraintes : application à un problème de gestion de production. JFPLC 1995: 329- - Eric Vétillard:
Vérification de déclarations en programmation logique avec contraintes. JFPLC 1995: 333-335 - Fabrice Ambert, Bruno Legeard, Hamza Zidoum:
CLPS : un langage de PLC ensembliste. JFPLC 1995: 337-340 - 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: 341-344 - Arnaud Lefort, Pascal Yim:
MINOS: Analyse et Simulation d'Hypernets. JFPLC 1995: 345- - Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler:
The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349- - Miguel-Angel Oros, Paul Y. Gloess:
Concept : a system for deriving datalog inheritance. JFPLC 1995: 353-356 - Philippe Codognet, Daniel Diaz:
The clp(FD) system. JFPLC 1995: 357-360 - Jacqueline Chabrier, Vincent Juliard, Jean-Michel Richer:
SCORE(FD/B) : résolution de problèmes SAT aléatoires et structurés. JFPLC 1995: 361-364 - Christophe Varnier, Pierre Baptiste, Bruno Legeard:
Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface. JFPLC 1995: 365-368 - Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li:
U-Log = datalog + constraints. JFPLC 1995: 369-372 - Philippe Marti:
Une implémentation d'un système coopératif pour la résolution de contraintes sur les réels. JFPLC 1995: 373-376 - Carmen Gervet:
Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles. JFPLC 1995: 377-380 - Nourredine Bensaid, Philippe Mathieu:
Un modèle d'architecture multi-agents entièrement écrit en Prolog. JFPLC 1995: 381-385 - Patrick Bellot, Olivier Camp, Christophe Matiachoff:
An Overview of MILES and its constraint solving mechanism. JFPLC 1995: 387-390 - 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: 391-395 - Pascal Yim:
SetX2 : un langage logico-fonctionnel ensembliste. JFPLC 1995: 397-399 - Cyrille Desmoulins:
TALC : un tuteur pour la construction de figures géométriques logiquement correctes. JFPLC 1995: 401-404 - Vincent Berry, Philippe Ézéquel:
Évaluation répartie asynchrone de (certaines) requêtes DATALOG. JFPLC 1995: 405-407 - Touraïvane:
Deux applications de la programmation logique avec contraintes. JFPLC 1995: 409-412 - Christine Roblot:
Un langage de programmation en logique propositionnelle basé sur des techniques de réécriture. JFPLC 1995: 413-416 - Sylvain Laduguie, Olivier Decroux, Cyril Tripier:
Optimisation de découpe tridimensionnelle dans un processus de transformation du bois. JFPLC 1995: 419-421 - Fabien Narp, Marc Vondracek, Dominique Guinaudeau:
ELyCe: Calcul d'emploi du temps lycée et collège. JFPLC 1995: 423-426
Conference invitées
- Eugenio G. Omodeo:
Solvable set/hyperset context. JFPLC 1995: 429 - Mehmet Dincbas:
Applications et évolutions du langage CHIP. JFPLC 1995: 429 - Touraïvane:
Applications industrielles de PROLOG III et présentation de PROLOG IV. JFPLC 1995: 429 - Jean-Francois Puget:
Applications et évolutions d'ILOG SOLVER. JFPLC 1995: 429
Tutorial
- François Bry:
Bases de données déductives. JFPLC 1995: 429
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.