- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
[Tendeau1995A]
F. Tendeau, Stochastic parse-tree recognition by a pushdown automaton, in Fourth International Workshop on Parsing Technologies, pp.234-249, Prague/Karlovy Vary, Czech Republic, 1995 Bibtex entry
[Tendeau1995B]
F. Tendeau, Parsing with Algebraic Power Series using Dynamic Programming, in Tenth Twente Workshop on Language Technology, pp.107-112, Enschede, Netherlands, 1995 Bibtex entry
[hls96-06]
M. Halfeld Ferrari Alves, Update Rules in Datalog Program, Rapport de recherche, No.95-22, LIFO , 1995 Bibtex entry
[BH95]
J.C. Bassano et M.H. Hwang, Proposition d'une architecture connexionniste pour léxploitation de textes en recherche documentaire , Bulletin du CID (Centre des Hautes Etudes Internationales en Informatique Documentaire), Vol.59, 1995 Bibtex entry
[LallouetLG:PLPS]
Arnaud Lallouet et Yann Le Guyadec, Contribution to the semantics of a data-parallel logic programming language, in Post International Logic Programming Symposium Workshop on Parallel Logic Programming Systems, V\'\itor Santos Costa, Fernando Silva et Inês de Castro Dutra ed., pp.32-41, Portland, Oregon, December 8, 1995 Bibtex entry
[LallouetM:GDR95]
Arnaud Lallouet et Lionel Martin, Validation compositionelle pour l'apprentissage de pr\édicats en Programmation Logique Inductive, in Actes des journ\ées pleinières du GDR de Programmation, Grenoble, France, November, 1995 Bibtex entry
[Tessier-gdr-95]
G\érard Ferrand et Alexandre Tessier, S\émantique des Programmes Logiques avec Contraintes fond\ée sur la Relation de Couverture, in actes du pôle Contraintes et Programmation Logique, Philippe Devienne ed., pp.35-42, Journ\ées du GDR Programmation du CNRS, 1995 Bibtex entry
[Tessier-parforce-95]
Alexandre Tessier, Grammatical View of Constraint Logic Programs, 1995, Note: PARallel FORmal Computing Environment meeting (ESPRIT 6707) Bibtex entry
[Tessier-inria-95]
Alexandre Tessier, The Reject Criterion of Constraint Logic Programming Systems: a Semantics for Incorrectness Diagnosis, 1995, Note: INRIA Seminary Bibtex entry
[lat-95]
G. Richard et F. Saubion, A Rewrite Approach for Constraint Logic Programming, in Proceedings of International Symposium LATIN'95, No.911, LNCS, pp.469-482, Valparaiso (Chile), Springer-Verlag, 1995 Bibtex entry
[icci95]
G. Richard et F. Saubion, A Rewrite Approach to Transform Constraint Logic Programs, Journal of Computing and Information, Vol.Proceedings of ICCI'95, IEEE International Conference on Computing and Information, Trent University, Canada, pp.184-200, 1995, Note: http://www.phoenix.trentu.ca/jci Bibtex entry
[rs-jfpl95]
G. Richard et F. Saubion, Constraint Rewrite Programs : a Way to Evaluate CLP Programs, in JFPL'95: IVèmes Journ\ées Francophones de Programmation en Logique, pp.35-49, Dijon, France, Teknea, 1995 Bibtex entry
[LG.95]
Yann Le Guyadec, D\ésynchronisation des Programmes Data-Parallèles: une Approche S\émantique, TSI, Vol.14, No.5, pp.619-638, 1995 Bibtex entry
[DE.VI.95]
Dominique Delamarre et Bernard Virot, Une Bibliothèque pour la Parall\élisation G\én\érique du Recuit Simul\é et de la Recherche Tabou, in Renpar'7, G. Libert, J.L. Dekeyser et P.Manneback ed., pp.226-229, Facult\é Polytechnique de Mons, 1995 Bibtex entry
[RA.VI.95.4]
Bruno Raffin et Bernard Virot, Algorithmique Neuronale, Chapitre 3, pp.49-68, in Parall\élisme et Applications Irr\égulières, C. Roucairol et al. ed., Hermès, 1995 Bibtex entry
[CN95]
F. Benhamou et Touraivane, Prolog IV: langage et algorithmes, in JFPL'95 (Journ\ées Francophones de Programmation Logique), pp.51-66, Dijon, France, Teknea, 1995 Bibtex entry
[FTGM95]
J-L. Fouquet, V. Giakoumakis, F. Maire et H. Thuillier , On Graphs without $P_5$ and $\overlineP_5$, Discrete Mathematics, Vol.146, pp.33-44, 1995 Bibtex entry
[O95]
F. Benhamou, Interval Constraint Logic Programming, pp.1-21, in Constraint Programming: Basics and Trends, LNCS no 910, A. Podelski ed., Springer Verlag, 1995 Bibtex entry
[LL]
Atika Laribi et S.-A. Laribi, AI techniques as a decision support aid for the diagnosis of Adverse Drug Reactions, in $8^th$ International Symposium on AI, Monterrey (Mexico), october, 1995 Bibtex entry
[IR95-01]
I. Rusu, Quasi-parity and Perfect Graphs, Information Processing Letters, Vol.54, pp.pp 35-39, 1995 Bibtex entry
[Rusu1995JGT]
I. Rusu, Perfect and Locally Perfect Colourings, Journal of Graph Theory, Vol.20, No.4, pp.501-512, 1995 Bibtex entry
[Rusu1995DM]
I. Rusu, A new Class of Perfect Hoàng Graphs, Discrete Mathematics, Vol.145, pp.279-285, 1995 Bibtex entry
[sivarich-rta95]
S. Anantharaman et G. Richard, A Rewrite Mechanism for Logic Programs with Negation, in Lecture Notes in Computer Science , Jieh Hsiang ed., Vol.914, pp.163-178, Springer-Verlag, 1995 Bibtex entry
[tasiva-rta95]
T. Chen et S. Anantharaman, STORM : A Many-to-on Associative-Commutative Matcher, in Lecture Notes in Computer Science, Jieh Hsiang ed., Vol.914, pp.414-419, Springer-Verlag, 1995 Bibtex entry
[RS95-1]
G. Richard et F. Saubion, A Rewrite Approach to transform Constraint Logic Programming , in On-line Proceedings of International Conference on Computing and Information (ICCI'95), Peterborough (Canada), July, 1995 Bibtex entry
[RS95-2]
G. Richard et F. Saubion, A Rewrite Approach for Constraint Logic Programming, in Lecture Notes in Computer Science (LATIN'95), Vol.911, pp.469-483, Valparaiso (Chili), Springer-Verlag, April, 1995 Bibtex entry
[BFR95]
M. Bergère, G. Ferrand et J-H. R\éty, Ind\épendance de la règle de calcul pour la SLD-r\ésolution avec retard, Technique et Science Informatiques , Vol.14, pp.693-712, 1995 Bibtex entry
[uh]
G. Utard et G. Hains, Deadlock-free absorption of barrier synchronisations, Information Processing Letters, Vol.56, 1995 Bibtex entry
[HM95]
G. Hains et J. Mullins, A metacircular data-parallel functional language, in EURO-PAR'95, Springer LNCS, Vol.966, pp.711-714, 1995, Note: Extended Abstract Bibtex entry
[ab]
D. Archambault et J-C. Bassano, Un r\éseau de neurones pour l'apprentissage supervis\é d'une grammaire du langage naturel, in The Second International Symposium on Economic Informatics, Bucharest (Romania), may, 1995 Bibtex entry
[DLB95]
G. Desrocques, S-A.Laribi et J-C. Bassano, NAIF: Neural Architecture for Information Retrieval in French, A multi neural architecture controled by simulated annealing., in The Second International Symposium on Economic Informatics, Bucharest (Romania), may, 1995 Bibtex entry
[ldlb]
S-A. Laribi, G. Desrocques, A.Laribi et J-C. Bassano, Une nouvelle architecture adapt\ée à l'analyse dynamique de textes en langage naturel, in Quinzièmes journ\ées internationales IA95, G\énie linguistique 95, EC2 ed., Montpellier, juin, 1995 Bibtex entry
[mv1]
L. Martin et C.Vrain, A three-valued framework for the induction of general programs, in Fifth International Workshop on Inductive Logic Programming, L. De Raedt ed., pp.109-128, Leuven, september, 1995 Bibtex entry
[mv2]
L. Martin et C. Vrain, Mult_ICN: an empirical multiple predicate learner, in Fifth International Workshop on Inductive Logic Programming, L. De Raedt ed., pp.129-144, Leuven, september, 1995 Bibtex entry
[hls1]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Update Transactions for Deductive Databases with Updates Rules, in X SBBD - Simposio Brasileiro de Banco de Dados, Recife, Br\ésil, 1995 Bibtex entry
[lps]
D. Laurent, V. Phan Luong et N. Spyratos, Une nouvelle approche des mises à jour des bases de donn\ées, Technique et Science Informatiques, Hermes, Vol.14, No.3, pp.347-374, 1995 Bibtex entry
[hls2]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Update Rules in Datalog Programs, in 3rd Logic Programming and Non-Monotonic Reasoning Conference, pp.71-84, Lexington, KY, USA, LNAI, Springer-Verlag, 1995 Bibtex entry
[hls3]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Règles de mise à jour et programmes Datalog$^neg$, in Journ\ées Francophones de Programmation en Logique, pp.241-255, Dijon, 1995 Bibtex entry
[vl]
C. Vrain et D. Laurent, Apprentissage de Règles et Bases de Donn\ées D\éductives, in Onzièmes Journ\ées Bases de Donn\ées Avanc\ées, pp.303-322, Nancy, 1995 Bibtex entry
[LLG-RENPAR95]
Arnaud Lallouet et Yann Le Guyadec, Une approche data-parallèle de la programmation logique, in RenPar'7, Dekeyser, Libert et Manneback ed., pp.200-203, Mons, Belgium, June, 1995 Bibtex entry
[AL-JFPL95]
Arnaud Lallouet, Preuves compositionelles en programmation logique, in JFPL(Journ\ées Francophones de Programmation Logique), pp.143-157, Dijon, France, 1995 Bibtex entry
[FL-ILPS95]
G\érard Ferrand et Arnaud Lallouet, A compositional proof method of partial correctness for normal logic programs, in International Logic Programming Symposium, J.W. Lloyd ed., Portland, Oregon, The MIT Press, December, 1995 Bibtex entry
[MF-ILPS95]
B. Malfon et G. Ferrand, Type Correct Programs, a semantics approach, in International Logic Programming Symposium, J.W. Lloyd ed., Portland, Oregon, The MIT Press, December, 1995 Bibtex entry
[taetal-ijcai95]
Leo Bachmair, Ta Chen, I.V. Ramakrishnan, Siva Anantharaman et Jacques Chabin, Experiments with Associative-Commutative Discrimination Nets, in Proceedings of the 14th International Joint Conference on Artificial Intelligence, Chris S. Mellish ed., Vol.1, pp.348-354, Montreal, Canada, Morgan Kaufmann, August, 1995 Bibtex entry
[cbrac]
T. Chen, L. Bachmair, I.V. Ramakrishnan, S. Anantharaman et J. Chabin, Experiments with Associative-Commutative Discrimination Nets, Rapport de recherche, No.95-1, LIFO , 1995 Bibtex entry
[rv95-2]
B. Raffin et B. Virot, Learning Boolean Functions Safe from Local Minima with a Generalized Perceptron, Rapport de recherche, No.95-2, LIFO , 1995 Bibtex entry
[mv3]
L. Martin et C. Vrain, Apprentissage Empirique d'un Concept: le Système ICN, Rapport de recherche, No.95-3, LIFO , 1995 Bibtex entry
[mv4]
L. Martin et C. Vrain, MULT-ICN:An Empirical Multiple Predicate Learner, Rapport de recherche, No.95-4, LIFO , 1995 Bibtex entry
[vd]
C. Vrain et D. Laurent, Apprentissage de Règles et Bases de Donn\ées D\éductives, Rapport de recherche, No.95-5, LIFO , 1995 Bibtex entry
[bflbmt]
M. Bergère, G. Ferrand, F. Le Berre , B. Malfon et A. Tessier, La Programmation Logique avec Contraintes revisit\ée en termes d'Arbres de Preuve et de Squelettes , Rapport de recherche, No.95-6, LIFO , 1995 Bibtex entry
[limet-rety95a]
S. Limet et P. R\éty, Directed Narrowing: An Optimization that More Often Terminates , Rapport de recherche, No.95-7, LIFO , 1995 Bibtex entry
[lbt]
F. Le Berre et A. Tessier, Declarative Incorrectness Diagnosis of Constraint Logic programs. , Rapport de recherche, No.95-8, LIFO , 1995 Bibtex entry
[HFALS95]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Passive and Active Rules in Deductives Databases , Rapport de recherche, No.95-9, LIFO , 1995 Bibtex entry
[lsv]
D. Laurent, N. Spyratos et G. Vossen, Optimization and Serializability of Update Transactions in Marked Databases, Rapport de recherche, No.95-10, LIFO , 1995 Bibtex entry
[limet-rety95b]
S. Limet et P. R\éty, Conditional directed narrowing, Rapport de recherche, No.95-11, LIFO , 1995 Bibtex entry
[andbous-95]
N. Andrianarivelo, W. Bousdira et J-M. Talbot, On theorem-proving in Horn theories with built-in algebra, Rapport de recherche, No.95-12, LIFO , 1995 Bibtex entry
[LLG]
A. Lallouet et Y. Le Guyadec, Contribution to the Design and the Semantics of a Data Parallel Logic Programming Language, Rapport de recherche, No.95-13, LIFO , 1995 Bibtex entry
[FL-TR95]
G. Ferrand et A. Lallouet, A compositional proof method of partial correctness for normal logic programs with an application to Gödel, Rapport de recherche, No.95-14, LIFO, 1995 Bibtex entry
[mf95-15]
B. Malfon et G. Ferrand, Type Correct Programs, a Semantic Approach, Rapport de recherche, No.95-15, LIFO , 1995 Bibtex entry
[lgv95-16]
Y. Le Guyadec et B. Virot, Sequential-Like Proofs of Data-Parallel Programs, Rapport de recherche, No.95-16, LIFO , 1995 Bibtex entry
[lm95-17]
A. Lallouet et L. Martin, An Efficient Validation Mechanism for Inductive Logic Programming using Compositionality, Rapport de recherche, No.95-17, LIFO , 1995 Bibtex entry
[pr95-18]
M.A. Privault et G. Richard, Some Termination Properties of Linear Completion, Rapport de recherche, No.95-18, LIFO , 1995 Bibtex entry
[vl95-19]
C. Vrain et D. Laurent, Learning Query-Rules for Optimizing Databases with Update-Rules , Rapport de recherche, No.95-19, LIFO , 1995 Bibtex entry
[rv95-20]
B. Raffin et B. Virot, A Learning Rule Safe From Local Minima for a Generalized Perceptron, Rapport de recherche, No.95-20, LIFO , 1995 Bibtex entry
[hlss95-21]
M. Halfeld Ferrari Alves, D. Laurent, N. Spyratos et D. Stamate , Update Rules and Revision Programs, Rapport de recherche, No.95-21, LIFO , 1995 Bibtex entry
[lgmrrv95-22]
Y. Le Guyadec, E. Melin, B. Raffin, X. Rebeuf et B. Virot, Structural Clocks For a Loosely Synchronized Data-Parallel Language, Rapport de recherche, No.95-22, LIFO , 1995 Bibtex entry
[Hains.gdrp95]
G. Hains et J. Mullins, Une Cat\égorie Cart\ésienne Ferm\ée de Structures R\éparties, 1995, Note: Journ\ées du GDR-Programmation, Pôle programmation fonctionnelle, Grenoble, GDRP-CNRS Bibtex entry
Divers (67)
[Tendeau1995A]
F. Tendeau, Stochastic parse-tree recognition by a pushdown automaton, in Fourth International Workshop on Parsing Technologies, pp.234-249, Prague/Karlovy Vary, Czech Republic, 1995 Bibtex entry
[Tendeau1995B]
F. Tendeau, Parsing with Algebraic Power Series using Dynamic Programming, in Tenth Twente Workshop on Language Technology, pp.107-112, Enschede, Netherlands, 1995 Bibtex entry
[hls96-06]
M. Halfeld Ferrari Alves, Update Rules in Datalog Program, Rapport de recherche, No.95-22, LIFO , 1995 Bibtex entry
[BH95]
J.C. Bassano et M.H. Hwang, Proposition d'une architecture connexionniste pour léxploitation de textes en recherche documentaire , Bulletin du CID (Centre des Hautes Etudes Internationales en Informatique Documentaire), Vol.59, 1995 Bibtex entry
[LallouetLG:PLPS]
Arnaud Lallouet et Yann Le Guyadec, Contribution to the semantics of a data-parallel logic programming language, in Post International Logic Programming Symposium Workshop on Parallel Logic Programming Systems, V\'\itor Santos Costa, Fernando Silva et Inês de Castro Dutra ed., pp.32-41, Portland, Oregon, December 8, 1995 Bibtex entry
[LallouetM:GDR95]
Arnaud Lallouet et Lionel Martin, Validation compositionelle pour l'apprentissage de pr\édicats en Programmation Logique Inductive, in Actes des journ\ées pleinières du GDR de Programmation, Grenoble, France, November, 1995 Bibtex entry
[Tessier-gdr-95]
G\érard Ferrand et Alexandre Tessier, S\émantique des Programmes Logiques avec Contraintes fond\ée sur la Relation de Couverture, in actes du pôle Contraintes et Programmation Logique, Philippe Devienne ed., pp.35-42, Journ\ées du GDR Programmation du CNRS, 1995 Bibtex entry
[Tessier-parforce-95]
Alexandre Tessier, Grammatical View of Constraint Logic Programs, 1995, Note: PARallel FORmal Computing Environment meeting (ESPRIT 6707) Bibtex entry
[Tessier-inria-95]
Alexandre Tessier, The Reject Criterion of Constraint Logic Programming Systems: a Semantics for Incorrectness Diagnosis, 1995, Note: INRIA Seminary Bibtex entry
[lat-95]
G. Richard et F. Saubion, A Rewrite Approach for Constraint Logic Programming, in Proceedings of International Symposium LATIN'95, No.911, LNCS, pp.469-482, Valparaiso (Chile), Springer-Verlag, 1995 Bibtex entry
[icci95]
G. Richard et F. Saubion, A Rewrite Approach to Transform Constraint Logic Programs, Journal of Computing and Information, Vol.Proceedings of ICCI'95, IEEE International Conference on Computing and Information, Trent University, Canada, pp.184-200, 1995, Note: http://www.phoenix.trentu.ca/jci Bibtex entry
[rs-jfpl95]
G. Richard et F. Saubion, Constraint Rewrite Programs : a Way to Evaluate CLP Programs, in JFPL'95: IVèmes Journ\ées Francophones de Programmation en Logique, pp.35-49, Dijon, France, Teknea, 1995 Bibtex entry
[LG.95]
Yann Le Guyadec, D\ésynchronisation des Programmes Data-Parallèles: une Approche S\émantique, TSI, Vol.14, No.5, pp.619-638, 1995 Bibtex entry
[DE.VI.95]
Dominique Delamarre et Bernard Virot, Une Bibliothèque pour la Parall\élisation G\én\érique du Recuit Simul\é et de la Recherche Tabou, in Renpar'7, G. Libert, J.L. Dekeyser et P.Manneback ed., pp.226-229, Facult\é Polytechnique de Mons, 1995 Bibtex entry
[RA.VI.95.4]
Bruno Raffin et Bernard Virot, Algorithmique Neuronale, Chapitre 3, pp.49-68, in Parall\élisme et Applications Irr\égulières, C. Roucairol et al. ed., Hermès, 1995 Bibtex entry
[CN95]
F. Benhamou et Touraivane, Prolog IV: langage et algorithmes, in JFPL'95 (Journ\ées Francophones de Programmation Logique), pp.51-66, Dijon, France, Teknea, 1995 Bibtex entry
[FTGM95]
J-L. Fouquet, V. Giakoumakis, F. Maire et H. Thuillier , On Graphs without $P_5$ and $\overlineP_5$, Discrete Mathematics, Vol.146, pp.33-44, 1995 Bibtex entry
[O95]
F. Benhamou, Interval Constraint Logic Programming, pp.1-21, in Constraint Programming: Basics and Trends, LNCS no 910, A. Podelski ed., Springer Verlag, 1995 Bibtex entry
[LL]
Atika Laribi et S.-A. Laribi, AI techniques as a decision support aid for the diagnosis of Adverse Drug Reactions, in $8^th$ International Symposium on AI, Monterrey (Mexico), october, 1995 Bibtex entry
[IR95-01]
I. Rusu, Quasi-parity and Perfect Graphs, Information Processing Letters, Vol.54, pp.pp 35-39, 1995 Bibtex entry
[Rusu1995JGT]
I. Rusu, Perfect and Locally Perfect Colourings, Journal of Graph Theory, Vol.20, No.4, pp.501-512, 1995 Bibtex entry
[Rusu1995DM]
I. Rusu, A new Class of Perfect Hoàng Graphs, Discrete Mathematics, Vol.145, pp.279-285, 1995 Bibtex entry
[sivarich-rta95]
S. Anantharaman et G. Richard, A Rewrite Mechanism for Logic Programs with Negation, in Lecture Notes in Computer Science , Jieh Hsiang ed., Vol.914, pp.163-178, Springer-Verlag, 1995 Bibtex entry
[tasiva-rta95]
T. Chen et S. Anantharaman, STORM : A Many-to-on Associative-Commutative Matcher, in Lecture Notes in Computer Science, Jieh Hsiang ed., Vol.914, pp.414-419, Springer-Verlag, 1995 Bibtex entry
[RS95-1]
G. Richard et F. Saubion, A Rewrite Approach to transform Constraint Logic Programming , in On-line Proceedings of International Conference on Computing and Information (ICCI'95), Peterborough (Canada), July, 1995 Bibtex entry
[RS95-2]
G. Richard et F. Saubion, A Rewrite Approach for Constraint Logic Programming, in Lecture Notes in Computer Science (LATIN'95), Vol.911, pp.469-483, Valparaiso (Chili), Springer-Verlag, April, 1995 Bibtex entry
[BFR95]
M. Bergère, G. Ferrand et J-H. R\éty, Ind\épendance de la règle de calcul pour la SLD-r\ésolution avec retard, Technique et Science Informatiques , Vol.14, pp.693-712, 1995 Bibtex entry
[uh]
G. Utard et G. Hains, Deadlock-free absorption of barrier synchronisations, Information Processing Letters, Vol.56, 1995 Bibtex entry
[HM95]
G. Hains et J. Mullins, A metacircular data-parallel functional language, in EURO-PAR'95, Springer LNCS, Vol.966, pp.711-714, 1995, Note: Extended Abstract Bibtex entry
[ab]
D. Archambault et J-C. Bassano, Un r\éseau de neurones pour l'apprentissage supervis\é d'une grammaire du langage naturel, in The Second International Symposium on Economic Informatics, Bucharest (Romania), may, 1995 Bibtex entry
[DLB95]
G. Desrocques, S-A.Laribi et J-C. Bassano, NAIF: Neural Architecture for Information Retrieval in French, A multi neural architecture controled by simulated annealing., in The Second International Symposium on Economic Informatics, Bucharest (Romania), may, 1995 Bibtex entry
[ldlb]
S-A. Laribi, G. Desrocques, A.Laribi et J-C. Bassano, Une nouvelle architecture adapt\ée à l'analyse dynamique de textes en langage naturel, in Quinzièmes journ\ées internationales IA95, G\énie linguistique 95, EC2 ed., Montpellier, juin, 1995 Bibtex entry
[mv1]
L. Martin et C.Vrain, A three-valued framework for the induction of general programs, in Fifth International Workshop on Inductive Logic Programming, L. De Raedt ed., pp.109-128, Leuven, september, 1995 Bibtex entry
[mv2]
L. Martin et C. Vrain, Mult_ICN: an empirical multiple predicate learner, in Fifth International Workshop on Inductive Logic Programming, L. De Raedt ed., pp.129-144, Leuven, september, 1995 Bibtex entry
[hls1]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Update Transactions for Deductive Databases with Updates Rules, in X SBBD - Simposio Brasileiro de Banco de Dados, Recife, Br\ésil, 1995 Bibtex entry
[lps]
D. Laurent, V. Phan Luong et N. Spyratos, Une nouvelle approche des mises à jour des bases de donn\ées, Technique et Science Informatiques, Hermes, Vol.14, No.3, pp.347-374, 1995 Bibtex entry
[hls2]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Update Rules in Datalog Programs, in 3rd Logic Programming and Non-Monotonic Reasoning Conference, pp.71-84, Lexington, KY, USA, LNAI, Springer-Verlag, 1995 Bibtex entry
[hls3]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Règles de mise à jour et programmes Datalog$^neg$, in Journ\ées Francophones de Programmation en Logique, pp.241-255, Dijon, 1995 Bibtex entry
[vl]
C. Vrain et D. Laurent, Apprentissage de Règles et Bases de Donn\ées D\éductives, in Onzièmes Journ\ées Bases de Donn\ées Avanc\ées, pp.303-322, Nancy, 1995 Bibtex entry
[LLG-RENPAR95]
Arnaud Lallouet et Yann Le Guyadec, Une approche data-parallèle de la programmation logique, in RenPar'7, Dekeyser, Libert et Manneback ed., pp.200-203, Mons, Belgium, June, 1995 Bibtex entry
[AL-JFPL95]
Arnaud Lallouet, Preuves compositionelles en programmation logique, in JFPL(Journ\ées Francophones de Programmation Logique), pp.143-157, Dijon, France, 1995 Bibtex entry
[FL-ILPS95]
G\érard Ferrand et Arnaud Lallouet, A compositional proof method of partial correctness for normal logic programs, in International Logic Programming Symposium, J.W. Lloyd ed., Portland, Oregon, The MIT Press, December, 1995 Bibtex entry
[MF-ILPS95]
B. Malfon et G. Ferrand, Type Correct Programs, a semantics approach, in International Logic Programming Symposium, J.W. Lloyd ed., Portland, Oregon, The MIT Press, December, 1995 Bibtex entry
[taetal-ijcai95]
Leo Bachmair, Ta Chen, I.V. Ramakrishnan, Siva Anantharaman et Jacques Chabin, Experiments with Associative-Commutative Discrimination Nets, in Proceedings of the 14th International Joint Conference on Artificial Intelligence, Chris S. Mellish ed., Vol.1, pp.348-354, Montreal, Canada, Morgan Kaufmann, August, 1995 Bibtex entry
[cbrac]
T. Chen, L. Bachmair, I.V. Ramakrishnan, S. Anantharaman et J. Chabin, Experiments with Associative-Commutative Discrimination Nets, Rapport de recherche, No.95-1, LIFO , 1995 Bibtex entry
[rv95-2]
B. Raffin et B. Virot, Learning Boolean Functions Safe from Local Minima with a Generalized Perceptron, Rapport de recherche, No.95-2, LIFO , 1995 Bibtex entry
[mv3]
L. Martin et C. Vrain, Apprentissage Empirique d'un Concept: le Système ICN, Rapport de recherche, No.95-3, LIFO , 1995 Bibtex entry
[mv4]
L. Martin et C. Vrain, MULT-ICN:An Empirical Multiple Predicate Learner, Rapport de recherche, No.95-4, LIFO , 1995 Bibtex entry
[vd]
C. Vrain et D. Laurent, Apprentissage de Règles et Bases de Donn\ées D\éductives, Rapport de recherche, No.95-5, LIFO , 1995 Bibtex entry
[bflbmt]
M. Bergère, G. Ferrand, F. Le Berre , B. Malfon et A. Tessier, La Programmation Logique avec Contraintes revisit\ée en termes d'Arbres de Preuve et de Squelettes , Rapport de recherche, No.95-6, LIFO , 1995 Bibtex entry
[limet-rety95a]
S. Limet et P. R\éty, Directed Narrowing: An Optimization that More Often Terminates , Rapport de recherche, No.95-7, LIFO , 1995 Bibtex entry
[lbt]
F. Le Berre et A. Tessier, Declarative Incorrectness Diagnosis of Constraint Logic programs. , Rapport de recherche, No.95-8, LIFO , 1995 Bibtex entry
[HFALS95]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Passive and Active Rules in Deductives Databases , Rapport de recherche, No.95-9, LIFO , 1995 Bibtex entry
[lsv]
D. Laurent, N. Spyratos et G. Vossen, Optimization and Serializability of Update Transactions in Marked Databases, Rapport de recherche, No.95-10, LIFO , 1995 Bibtex entry
[limet-rety95b]
S. Limet et P. R\éty, Conditional directed narrowing, Rapport de recherche, No.95-11, LIFO , 1995 Bibtex entry
[andbous-95]
N. Andrianarivelo, W. Bousdira et J-M. Talbot, On theorem-proving in Horn theories with built-in algebra, Rapport de recherche, No.95-12, LIFO , 1995 Bibtex entry
[LLG]
A. Lallouet et Y. Le Guyadec, Contribution to the Design and the Semantics of a Data Parallel Logic Programming Language, Rapport de recherche, No.95-13, LIFO , 1995 Bibtex entry
[FL-TR95]
G. Ferrand et A. Lallouet, A compositional proof method of partial correctness for normal logic programs with an application to Gödel, Rapport de recherche, No.95-14, LIFO, 1995 Bibtex entry
[mf95-15]
B. Malfon et G. Ferrand, Type Correct Programs, a Semantic Approach, Rapport de recherche, No.95-15, LIFO , 1995 Bibtex entry
[lgv95-16]
Y. Le Guyadec et B. Virot, Sequential-Like Proofs of Data-Parallel Programs, Rapport de recherche, No.95-16, LIFO , 1995 Bibtex entry
[lm95-17]
A. Lallouet et L. Martin, An Efficient Validation Mechanism for Inductive Logic Programming using Compositionality, Rapport de recherche, No.95-17, LIFO , 1995 Bibtex entry
[pr95-18]
M.A. Privault et G. Richard, Some Termination Properties of Linear Completion, Rapport de recherche, No.95-18, LIFO , 1995 Bibtex entry
[vl95-19]
C. Vrain et D. Laurent, Learning Query-Rules for Optimizing Databases with Update-Rules , Rapport de recherche, No.95-19, LIFO , 1995 Bibtex entry
[rv95-20]
B. Raffin et B. Virot, A Learning Rule Safe From Local Minima for a Generalized Perceptron, Rapport de recherche, No.95-20, LIFO , 1995 Bibtex entry
[hlss95-21]
M. Halfeld Ferrari Alves, D. Laurent, N. Spyratos et D. Stamate , Update Rules and Revision Programs, Rapport de recherche, No.95-21, LIFO , 1995 Bibtex entry
[lgmrrv95-22]
Y. Le Guyadec, E. Melin, B. Raffin, X. Rebeuf et B. Virot, Structural Clocks For a Loosely Synchronized Data-Parallel Language, Rapport de recherche, No.95-22, LIFO , 1995 Bibtex entry
[Hains.gdrp95]
G. Hains et J. Mullins, Une Cat\égorie Cart\ésienne Ferm\ée de Structures R\éparties, 1995, Note: Journ\ées du GDR-Programmation, Pôle programmation fonctionnelle, Grenoble, GDRP-CNRS Bibtex entry
22/6/2010. Généré par biblifo, un programme Objective Caml.
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 