- Contacts/Reaching LIFO
- Teaching
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
Go to publications of year : 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 and 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 and 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 and Inês de Castro Dutra ed., pp.32-41, Portland, Oregon, December 8, 1995 Bibtex entry
[LallouetM:GDR95]
Arnaud Lallouet and 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 and 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 and 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 and 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 and 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 and 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 and P.Manneback ed., pp.226-229, Facult\é Polytechnique de Mons, 1995 Bibtex entry
[RA.VI.95.4]
Bruno Raffin and Bernard Virot, Algorithmique Neuronale, Chapter 3, pp.49-68, in Parall\élisme et Applications Irr\égulières, C. Roucairol and al. ed., Hermès, 1995 Bibtex entry
[CN95]
F. Benhamou and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and G. Hains, Deadlock-free absorption of barrier synchronisations, Information Processing Letters, Vol.56, 1995 Bibtex entry
[HM95]
G. Hains and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and Yann Le Guyadec, Une approche data-parallèle de la programmation logique, in RenPar'7, Dekeyser, Libert and 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 and 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 and 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 and 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 and J. Chabin, Experiments with Associative-Commutative Discrimination Nets, Rapport de recherche, No.95-1, LIFO , 1995 Bibtex entry
[rv95-2]
B. Raffin and 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 and C. Vrain, Apprentissage Empirique d'un Concept: le Système ICN, Rapport de recherche, No.95-3, LIFO , 1995 Bibtex entry
[mv4]
L. Martin and C. Vrain, MULT-ICN:An Empirical Multiple Predicate Learner, Rapport de recherche, No.95-4, LIFO , 1995 Bibtex entry
[vd]
C. Vrain and 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 and 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 and 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 and 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 and N. Spyratos, Passive and Active Rules in Deductives Databases , Rapport de recherche, No.95-9, LIFO , 1995 Bibtex entry
[lsv]
D. Laurent, N. Spyratos and 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 and P. R\éty, Conditional directed narrowing, Rapport de recherche, No.95-11, LIFO , 1995 Bibtex entry
[andbous-95]
N. Andrianarivelo, W. Bousdira and 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 and 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 and 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 and G. Ferrand, Type Correct Programs, a Semantic Approach, Rapport de recherche, No.95-15, LIFO , 1995 Bibtex entry
[lgv95-16]
Y. Le Guyadec and B. Virot, Sequential-Like Proofs of Data-Parallel Programs, Rapport de recherche, No.95-16, LIFO , 1995 Bibtex entry
[lm95-17]
A. Lallouet and 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 and G. Richard, Some Termination Properties of Linear Completion, Rapport de recherche, No.95-18, LIFO , 1995 Bibtex entry
[vl95-19]
C. Vrain and 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 and 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 and 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 and 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 and 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
Miscellaneous (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 and 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 and 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 and Inês de Castro Dutra ed., pp.32-41, Portland, Oregon, December 8, 1995 Bibtex entry
[LallouetM:GDR95]
Arnaud Lallouet and 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 and 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 and 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 and 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 and 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 and 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 and P.Manneback ed., pp.226-229, Facult\é Polytechnique de Mons, 1995 Bibtex entry
[RA.VI.95.4]
Bruno Raffin and Bernard Virot, Algorithmique Neuronale, Chapter 3, pp.49-68, in Parall\élisme et Applications Irr\égulières, C. Roucairol and al. ed., Hermès, 1995 Bibtex entry
[CN95]
F. Benhamou and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and G. Hains, Deadlock-free absorption of barrier synchronisations, Information Processing Letters, Vol.56, 1995 Bibtex entry
[HM95]
G. Hains and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and Yann Le Guyadec, Une approche data-parallèle de la programmation logique, in RenPar'7, Dekeyser, Libert and 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 and 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 and 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 and 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 and J. Chabin, Experiments with Associative-Commutative Discrimination Nets, Rapport de recherche, No.95-1, LIFO , 1995 Bibtex entry
[rv95-2]
B. Raffin and 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 and C. Vrain, Apprentissage Empirique d'un Concept: le Système ICN, Rapport de recherche, No.95-3, LIFO , 1995 Bibtex entry
[mv4]
L. Martin and C. Vrain, MULT-ICN:An Empirical Multiple Predicate Learner, Rapport de recherche, No.95-4, LIFO , 1995 Bibtex entry
[vd]
C. Vrain and 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 and 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 and 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 and 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 and N. Spyratos, Passive and Active Rules in Deductives Databases , Rapport de recherche, No.95-9, LIFO , 1995 Bibtex entry
[lsv]
D. Laurent, N. Spyratos and 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 and P. R\éty, Conditional directed narrowing, Rapport de recherche, No.95-11, LIFO , 1995 Bibtex entry
[andbous-95]
N. Andrianarivelo, W. Bousdira and 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 and 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 and 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 and G. Ferrand, Type Correct Programs, a Semantic Approach, Rapport de recherche, No.95-15, LIFO , 1995 Bibtex entry
[lgv95-16]
Y. Le Guyadec and B. Virot, Sequential-Like Proofs of Data-Parallel Programs, Rapport de recherche, No.95-16, LIFO , 1995 Bibtex entry
[lm95-17]
A. Lallouet and 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 and G. Richard, Some Termination Properties of Linear Completion, Rapport de recherche, No.95-18, LIFO , 1995 Bibtex entry
[vl95-19]
C. Vrain and 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 and 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 and 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 and 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 and 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.
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 