Abstract is missing.
- Un modèle d exécution réactif et interactif pour la programmation logique avec contraintesJulian Fowler, Thierry Sola, François Fages. 21-33
- Constraint rewrite programs : a way to evaluate CLP programsGilles Richard, Frédéric Saubion. 35-49
- Prolog IV : langage et algorithmesFrédéric Benhamou, Touraïvane. 51-64
- Une application pragmatique de la consistance de cheminsPierre Berlandier. 67-77
- Résolution de problèmes continus en PLC avec les intervallesStéphane N Dong, Michel Van Caneghem. 79-93
- Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnelsNicolas Singer. 95-110
- A generic fixpoint semantics for PROLOG and its application for abstract interpretationBaudouin Le Charlier, Pascal Van Hentenryck. 113-125
- Redéfinir l enlisement pour la résolution SLDNFJean-Hugues Réty. 129-141
- Preuves compositionnelles en programmation logiqueArnaud Lallouet. 143-156
- Logic Programming with Monads and ComprehensionsYves Bekkers, Paul Tarau. 161-171
- Évaluation des méthodes d achèvement par partiesOlivier Roussel, Philippe Mathieu. 175-189
- Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databasesCristian Papp. 191-204
- A mixed approach to negation in general datalog programsViet Phan Luong. 207-220
- An Algebraic semantics for DatalogEugénie Foustoucos, S. Kazem Lellahi, Nicolas Spyratos. 225-239
- Règles de mises à jour et programmes Datalog:::neg:::Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos. 241-254
- Contrôle dynamique de la résolution pour les programmes logiques avec contraintesFrédéric Mesnard, Sébastien Hoarau. 259-273
- Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertesPascal Nicolas, Béatrice Duval. 275-289
- Typage et validation - une adaptation du point de vue de Lee NaishBernard Malfon. 291-304
- Artificial Intelligence Applied to Brazilian Agro-Business: Strategic Planning and Business Decision Support BULL ApproachAlexandre Fernandes De Alencar, Balthazar Vich, Jean-Jacques Chabrier. 309-310
- Utilisation de la Programmation logique avec contraintes pour des systèmes d aide à la décision en planification et ordonnancement chez Dassault AviationJacques Bellone, André Chamard, Annie Fischler. 313-322
- Programme de diagnostic de circuits électroniquesÉtienne Loiez. 325
- Approche par contraintes : application à un problème de gestion de productionLuc Haudot, Marc Sicard, Patrick Esquirol, Pierre Lopez. 329
- Vérification de déclarations en programmation logique avec contraintesEric Vétillard. 333-335
- CLPS : un langage de PLC ensemblisteFabrice Ambert, Bruno Legeard, Hamza Zidoum. 337-340
- Démonstration du prototype Chimera : un système de Base de Données Déductif et Orienté ObjetPhilippe Bonnet, Stéphane Bressan. 341-344
- MINOS: Analyse et Simulation d HypernetsArnaud Lefort, Pascal Yim. 345
- The theorem prover SATCHMO : strategies, heuristics and applicationsSlim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler. 349
- Concept : a system for deriving datalog inheritanceMiguel-Angel Oros, Paul Y. Gloess. 353-356
- The clp(FD) systemPhilippe Codognet, Daniel Diaz. 357-360
- SCORE(FD/B) : résolution de problèmes SAT aléatoires et structurésJacqueline Chabrier, Vincent Juliard, Jean-Michel Richer. 361-364
- Outil d aide à l élaboration d ordonnancement cyclique pour les lignes de traitement de surfaceChristophe Varnier, Pierre Baptiste, Bruno Legeard. 365-368
- U-Log = datalog + constraintsPaul Y. Gloess, Miguel-Angel Oros, Chu Min Li. 369-372
- Une implémentation d un système coopératif pour la résolution de contraintes sur les réelsPhilippe Marti. 373-376
- Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d ensemblesCarmen Gervet. 377-380
- Un modèle d architecture multi-agents entièrement écrit en PrologNourredine Bensaid, Philippe Mathieu. 381-385
- An Overview of MILES and its constraint solving mechanismPatrick Bellot, Olivier Camp, Christophe Matiachoff. 387-390
- Une approche déclarative et non déterministe de la programmation logique par objets mutablesMacaire Ngomo, Jean-Pierre Pécuchet, Abdenbi Drissi-Talbi. 391-395
- SetX2 : un langage logico-fonctionnel ensemblistePascal Yim. 397-399
- TALC : un tuteur pour la construction de figures géométriques logiquement correctesCyrille Desmoulins. 401-404
- Évaluation répartie asynchrone de (certaines) requêtes DATALOGVincent Berry, Philippe Ézéquel. 405-407
- Deux applications de la programmation logique avec contraintesTouraïvane. 409-412
- Un langage de programmation en logique propositionnelle basé sur des techniques de réécritureChristine Roblot. 413-416
- Optimisation de découpe tridimensionnelle dans un processus de transformation du boisSylvain Laduguie, Olivier Decroux, Cyril Tripier. 419-421
- ELyCe: Calcul d emploi du temps lycée et collègeFabien Narp, Marc Vondracek, Dominique Guinaudeau. 423-426
- Solvable set/hyperset contextEugenio G. Omodeo. 429
- Applications et évolutions du langage CHIPMehmet Dincbas. 429
- Applications et évolutions d ILOG SOLVERJean-Francois Puget. 429
- Applications industrielles de PROLOG III et présentation de PROLOG IVTouraïvane. 429
- Bases de données déductivesFrançois Bry. 429