Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 1996

 English Version



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


Revues internationales à comité de lecture (3)


[LG.VI.95.1]
Y. Le Guyadec et B. Virot, Sequential-Like Proofs of Data-Parallel Programs, Parallel Processing Letters, Vol.6, No.3, pp.415-426, 1996 Bibtex entry
[Rusu1996DM]
I. Rusu, Properly orderable graphs, Discrete Mathematics, Vol.158, pp.223-229, 1996 Bibtex entry
[Tessier-compulog-96]
G. Ferrand et A. Tessier, Declarative Debugging, The Newsletter of the European Network in Computational Logic, Vol.3, No.1, 1996 Bibtex entry


Livres et chapitres de livres (3)


[DEC-95]
P. Deransart, A. Ed-Dbali et L. Cervoni, Prolog, The Standard : Reference Manual, Springer Verlag, 1996 Bibtex entry
[MV96b]
L. Martin et C. Vrain, A Three-Valued Framework for the Induction of General Logic Programs, pp.219-235, in Advances in Inductive Logic Programming, Luc de Raedt ed., IOS Press, 1996 Bibtex entry
[BO.CA.LG.UT.VI.96.2]
L. Boug\é, D. Cachera, Y. le Guyadec , G. Utard et B. Virot, Formal Validation of Data Parallel Programs: Introducing the Assertional Approach, pp.252-281, in The Data Parallel Programming Model, G.R. Perrin et Alain Darte ed., Springer LNCS 1132, Les M\énuires, France, March, 1996 Bibtex entry


Conférences internationales avec actes et comité de lecture (21)


[Pettorossi1996]
A. Pettorossi, M. Proietti et S. Renault, How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification, in Joint International Conference and Symposium on Logic Programming, M. Maher ed., MIT Press, September, 1996 Bibtex entry
[Parot1996]
P. Parot, A Logic-Based Technology to Mechanize Software Components Reuse, No.1101, Lecture Notes in Computer Science, Springer, 1996 Bibtex entry
[Parigot1996B]
D. Parigot, G. Roussel, M. Jourdan et E. Duris, Dynamic Attribute Grammars., in PLILP'96, Programming Languages: Implementations, Logics and Programs, No.1140, Lecture Notes in Computer Science, pp.122-136, Aachen, Germany, Springer, September, 1996 Bibtex entry
[LallouetM:ISMIS96]
A. Lallouet et L. Martin, Compositional validation in Inductive Logic Programming, in International Symposium on Methodologies for Intelligent Systems, Zakopane, Poland, June 9-13, 1996, Note: Poster session Bibtex entry
[Desrocques-PSI96]
G. Desrocques, A. Laribi, S.A. Laribi et J.-C. Bassano, Simulated Annealing and Neural Networks: Tools for a Natural Language Processing System, in PSI96 Perspectives of System Informatics, Second International Conference, Novosibirsk, Akademgorodok, Russia, Siberian Division of the Russion Academy of Sciences, June, 1996 Bibtex entry
[Tessier-gulp-96]
F. Le Berre et A. Tessier, Declarative Incorrectness Diagnosis in Constraint Logic Programming, in Joint Conference on Declarative Programming, Paqui Lucio, Maurizio Martelli et Marisa Navarro ed., pp.379-391, Donostia - San Sebastian, Spain, 1996, Note: (Preliminary version available as, LIFO, University of Orl\éans, Technical Report 95/08) Bibtex entry
[rs-ecai96]
G. Richard et F. Saubion, Answer Synthesis for CLP with Negation, in Proceedings of the 12th European Conference on Artificial Intelligence ECAI'96, W. Wahlster ed., pp.200-204, Budapest (Hungary), John Wiley and Sons LTD, August, 1996 Bibtex entry
[benhamou-heterogeneous]
F.Benhamou, Heterogeneous Constraint Solving, in Proceedings of the fifth International Conference on Algebraic and Logic Programming (ALP'96), Vol.1139, LNCS, pp.62-76, Aachen, Germany, Springer-Verlag, 1996 Bibtex entry
[benhamou-granvil-combining]
F. Benhamou et L. Granvilliers, Combining Local Consistency, Symbolic Rewriting and Interval Methods, in Proceedings of AISMC-3, Vol.1138, LNCS, pp.144-159, Steyr, Austria, Springer-Verlag, 1996 Bibtex entry
[benhamou-granvil-semantics]
F. Benhamou et L. Granvilliers, A Fixpoint Approximate for Cooperating Numerical Solvers (extended abstract), Reliable Computing, Proceedings of INTERVAL'96, 1996, Note: (Supplement) Bibtex entry
[benhamou-granvil-groebner]
F. Benhamou et L. Granvilliers, Application of Gröbner Bases for Numerical Constraint Solving, in Proceedings of IMACS ACA'96, Linz, Austria, 1996 Bibtex entry
[LG.ME.RA.RE.VI.96]
Y. Le Guyadec, E. Melin, B. Raffin, X. Rebeuf et B. Virot, Strucural Clocks for a Loosely Synchronized Data Parallel Language, in Proceeedings of the Second International Conference on Massively Parallel Computing Systems, MPCS'96, Ischia (Italy), pp.501-508, EUROMICRO, 1996 Bibtex entry
[LG.ME.RA.RE.VI.96.3]
Y. Le Guyadec, E. Melin, B. Raffin, X. Rebeuf et B. Virot, A loosely Synchronized Execution Model for a Simple Data-Parallel Language, in EuroPar'96 Parallel Processing, Vol. 1, Luc Boug\é, Pierre Fraignaud, Anne Mignotte et Yves Robert ed., pp.732-741, Lyon, France, Springer, LNCS 1123, 1996 Bibtex entry
[SOCO96]
B. Raffin et B. Virot, A Learning Rule Safe From Local Minima for a Generalized Perceptron, in Proceedings of the international ICSC Symposia on Intelligent Industrial Automation and Soft Computing, P.G. Anderson et K. Warwick ed., Vol.B, pp.223-229, University of Reading, England, ICSC Academic Press, March, 1996 Bibtex entry
[LimetRetyAmast96]
S. Limet et P. Rety, Conditional Directed Narrowing, in proc of the 5th Conf. on Algebraic Methodology and Software Technology, Wirsing, M., Nivat et M. ed., Vol.1101, Lecture Notes in Computer Science, pp.637-640, Munich, Germany, Springer-Verlag, 1996 Bibtex entry
[LimetRetyALP96]
S. Limet et P. Rety, On Decidability of Unifiability modulo some Retrite Systems, in poster session of the Inter. Conf. on Algebraic and Logic Programming., Aachen, Germany, 1996 Bibtex entry
[Vr96]
C. Vrain, Hierarchical Conceptual Clustering in a First Order Representation, in Ninth International Symposium on Intelligent Systems, ISMIS 96, LNAI 1079, Zbigniew W. Ra\'s et Maciek Michalewicz ed., pp.643-652, Zakopane, Pologne, Springer Verlag, 1996 Bibtex entry
[AndriaBT-AISMC3-96]
N. Andrianarivelo, W. Bousdira et J-M. Talbot, On theorem-proving in Horn theories with built-in algebras, in Lecture Notes in Computer Science, J. Calmet, J.A. Campbell et J. Pfalzgraf ed., pp.320-338, Steyr, Austria, Third International Conference on Artificial Intelligence and Symbolic Computation, 1996 Bibtex entry
[Tessier-asian-96]
A. Tessier, Declarative Debugging in Constraint Logic Programming, in Asian Computing Science Conference, Joxan Jaffar ed., Vol.1179, Lecture Notes in Computer Science, pp.64-73, Singapour, Springer-Verlag, 1996 Bibtex entry
[Tessier-alp-96]
A. Tessier, Declarative Debugging in Constraint Logic Programming, in International Conference on Algebraic and Logic Programming (Poster session), Michael Hanus ed., pp.38-49, Aachen, Germany, Technical Report 96/9, Aachener Informatik - Berichte, 1996 Bibtex entry
[Hains.europar96]
G. Hains et J. Mullins, Array Structures and Data-Parallel Algorithms, in EURO-PAR'96, Boug\é, Fraigniaud, Mignotte et Robert ed., No.1124, Lecture Notes in Computer Science, pp.409-416, Lyon, LIP-ENSL, Springer, 1996 Bibtex entry


Workshops internationaux avec actes et comité de lecture (5)


[unif-96]
G. Richard et F. Saubion, Linear Completion for Equational Logic Program, in $10^th$ International Workshop on Unification Herrshing (Germany) , K. Schulz et S. Kepser ed., No.96-91, Tech. Report CIS-Universität München, pp.115-128, 1996 Bibtex entry
[limetsaubMPLP96]
S. Limet et F. Saubion, Combining Rewrite Tools for Equational Logic Programming, in proc. of intern. Workshop on Multi-Paradigm Logic Programming (Bonn)., pp.71-82, TU-Berlin, 1996 Bibtex entry
[LV96]
D. Laurent et C. Vrain, Learning Query Rules for Optimizing Databases with Update Rules, in International Workshop Logic in Databases, LID 96, Lecture Notes in Computer Science, 1154, Dino Pedreschi et Carlo Zaniolo ed., pp.153-172, San Miniato, Italy, Springer Verlag, 1996 Bibtex entry
[MV96a]
L. Martin et C. Vrain, Induction of Constraint Logic Programs, in 7th International Workshop on Algorithmic Learning Theory (ALT'96), LNAI 1160, Setsuo Arikawa et Arin K. Sharma ed., pp.169-177, Sydney, Australia, Springer Verlag, 1996 Bibtex entry
[VL96]
C. Vrain et D. Laurent, Updates and Induction in Deductive Databases, in Proceedings of the Abductive and Inductive Reasoning workshop, pp.62-67, Budapest, Hungary, August, 1996 Bibtex entry


Conférences/workshops nationaux avec actes (6)


[Parigot1996A]
D. Parigot, G. Roussel, E. Duris et M. Jourdan, Les Grammaires Attribu\ées: un langage fonctionnel d\éclaratif, in JFLA'96 Journ\ées Francophones des Langages Applicatifs, No.15, Collection Didactique, Val-Morin, Qu\ébec, INRIA, Janvier, 1996 Bibtex entry
[AL-JFPLC96]
A. Lallouet, Une notion de composant logiciel en Programmation Logique, in Journ\ées Francophones de la Programmation Logique et de la Programmation par Contraintes, JFPLC'96, J.-L. Imbert ed., pp.83-98, Clermont-Ferrand, France, Hermes, June 5-7, 1996 Bibtex entry
[Chambre-jfplc96]
P. Chambre, Une m\éthode de preuve pour programmes concurrents avec contraintes sous forme clausale, in Journ\ées Francophones de la Programmation Logique et de la Programmation par Contraintes, JFPLC'96, J.-L. Imbert ed., Clermont-Ferrand, France, Hermes, June 5-7, 1996 Bibtex entry
[BM-JFPLC96]
B. Malfon, Quelques modèles quadrivalu\és du compl\ét\é, application à des notions d\éclaratives de symptome et dérreur, in Journ\ées Francophones de la Programmation Logique et de la Programmation par Contraintes, JFPLC, J.-L. Imbert ed., pp.83-98, Clermont-Ferrand, France, Hermes, June 5-7, 1996 Bibtex entry
[LG.ME.RA.RE.VI.96.2]
Y. Le Guyadec, E. Melin, B. Raffin, X. Rebeuf et B. Virot, Horloges Structurelles pour la D\ésynchronisation des Programmes Data-Parallèles, in Actes de RenPar'8 (Bordeaux, France, 20-24 mai 1996), R. Castanet et J. Roman ed., pp.77-80, LaBRI, Universit\é de Bordeaux 1, 1996 Bibtex entry
[Tessier-jfplc-96]
A. Tessier, Diagnostic d\éclaratif d'insuffisance en programmation logique avec contraintes, in Journ\ées Francophones de Programmation Logique et Programmation par Contraintes, Jean-Louis Imbert ed., pp.65-82, Clermont Ferrand, France, HERMES, 1996 Bibtex entry


Divers (22)


[ben96a]
F. Bentayeb, Mises à jour au travers de vues dans les bases de donn\ées relationnelles, juillet, 1996, Note: GDR Mod\élisation et Environnement de D\éveloppement. Journ\ées consacr\ées aux vues et points de vues, Paris la Sorbone Bibtex entry
[ben96b]
F. Bentayeb, Inversion de l'Algèbre Relationnelle et Mises à jour des Vues, novembre, 1996, Note: GDR-PRC Bases de donn\ées. Pôle Gestion de la dynamique, CNAM Paris Bibtex entry
[tellezsiva96]
A. Tellez-Arenas et S. Anantharaman, Theorem proving with non total orderings, Rapport de Recherche, No.96-01, LIFO, Universit\é d'Orl\éans, 1996 Bibtex entry
[rstGDR96]
G. Richard, F. Saubion et A. Tellez-Arenas, Les ensembles intentionnels par les substitutions explicites, in Journ\ées du GDR programmation, Orl\éans, France, 1996 Bibtex entry
[benhamou-granvil-gdr96]
F. Benhamou et L. Granvilliers, CSPs continus et consistances locales, in Proceedings of Journ\ées du GDR Programmation 1996, Orl\éans, France, 1996 Bibtex entry
[t96-01]
A. Tessier, Diagnostic d\éclaratif d'insuffisance en programmation logique avec contraintes, Rapport de recherche, No.95-22, LIFO , 1996 Bibtex entry
[DE.VI.96.2]
D. Delamarre et B. Virot, Simulated Annealing Algorithm: Amelioration Techniques, Research Report, No.96-2, LIFO, Universit\é d'Orl\éans, 1996 Bibtex entry
[LG.ME.RA.RE.VI.96.1]
Y. Le Guyadec, E. Melin, B. Raffin, X. Rebeuf et B. Virot, A loosely Synchronized Execution Model for a Simple Data-Parallel language (extended abstract), Research Report, No.96-5, LIFO, Universit\é d'Orl\éans, 1996 Bibtex entry
[ME.RA.RE.VI.96.3]
E. Melin, B. Raffin, X. Rebeuf et B. Virot, A loosely Synchronized Execution Model for a Simple Data-Parallel language, Research Report, No.96-11, LIFO, Universit\é d'Orl\éans, 1996 Bibtex entry
[ME.RA.RE.VI.96.4]
E. Melin, B. Raffin, X. Rebeuf et B. Virot, SCL-CHAN: An Asynchronous Data-Parallel Language for Irregular Algorithms, Research Report, No.96-15, LIFO, Universit\é d'Orl\éans, 1996 Bibtex entry
[BO.CA.LG.UT.VI.96.3]
L. Boug\é, D. Cachera, Y. Le Guyadec, G. Utard et B. Virot, Formal Validation of Data Parallel Programs: a Two-Component Assertional Proof System for a Simple Language, Research Report, No.3033, INRIA, Unit\é de Recherche INRIA Rhône-Alpes 655 Avenue de lÉurope F-38330 Montbonnot St Martin, France, 1996 Bibtex entry
[LIMETRETY96-16]
S. Limet et P. R\éty, E-Unification by Means of Tree Tuple Synchronized Grammars, No.96-16, LIFO, 1996. Available by anonymous ftp at ftp-lifo.univ-orleans.fr Bibtex entry
[MV96c]
L. Martin et C. Vrain, Induction de programmes logiques avec contraintes, in R\éunion du pôle Contraintes et Programmation Logique du GDR Programmation du CNRS, Philippe Devienne ed., Orl\éans, France, Novembre, 1996 Bibtex entry
[Tessier-discipl-96]
A. Tessier, Declarative Diagnosis of Constraint Logic Programs, in Debugging Systems for Constraint Programming meeting (DiSCiPl, ESPRIT 22532), 1996 Bibtex entry
[Tessier-discipl-ko-96]
A. Tessier, Declarative debugging and CLP, in Debugging Systems for Constraint Programming meeting (DiSCiPl, ESPRIT 22532), 1996 Bibtex entry
[Tessier-gdr-96]
A. Tessier, Une caract\érisation des arbres SLD en programmation logique avec contraintes, in Pôle Contraintes et Programmation Logique, Orl\éans, France, Journ\ées du GDR Programmation du CNRS, 1996 Bibtex entry
[Tessier-RR04-96]
A. Tessier, Diagnostic Declaratif d'Insuffisance en Programmation Logique avec Contraintes, No.96/04, LIFO, University of Orl\éans, 1996 Bibtex entry
[Tessier-RR09-96]
A. Tessier, Declarative Debugging in Constraint Logic Programming: the Cover Relation, No.96/09, LIFO, University of Orl\éans, 1996 Bibtex entry
[Tessier-rede-96]
A. Tessier, The Cover Relation in Constraint Logic Programming: Application to Declarative Debugging, 1996, Note: S\éminaire Franco-Portugais Rede Bibtex entry
[Tessier-afcet-96]
A. Tessier, Mise au point d\éclarative des programmes logiques avec contraintes, 1996, Note: S\éminaire AFCET Bibtex entry
[Hains.gdrp96]
G. Hains, L'approche Berry-Curien des Langages Fonctionnels: Application au Parall\élisme en Processus Statiques, 1996, Note: Journ\ées du GDR-Programmation, Pôle programmation fonctionnelle, Orl\éans, France, GDRP-CNRS Bibtex entry
[Bamha.pcw96]
M. Bamha et G. Hains, Implementing VCODE with Static Processes, in PCW'96, Sixth Parallel Computing Workshop , Kawasaki, Japan, Fujitsu-Labs, FPCRF, 1996, Note: Extended abstract Bibtex entry



22/6/2010. Généré par biblifo, un programme Objective Caml.