Publications of François Bry up till 1993

Introduction à la Statistique, Hermann, Paris, 1978, 1987
(with Émile Amzallag and Norbert Piccioli, in French)

Note on a Theorem of J. Folkman on Transversals of Infinite Families with Finitely Many Infinite Members, Journal of Combinatorial Theory, Series B, Vol. 30, Nr. 1, 100-110 Feb. 1981

Sur les Couplages dans les Graphes Infinis, PhD Thesis, Équipe de Recherche Combinatoire, Université Pierre et Marie Curie (Paris 6), Nov. 1981
(in French)

The Edmonds-Gallai Decomposition for Matchings in Locally Finite Graphs, Journal Combinatorica, Vol. 2, Nr. 3,229-235, 1982
(with Michel Las Vergnas)

On the Factorization of Graphs with Exactly One Vertex of Infinite Degree, Journal Discrete Mathematics, Vol. 43, 317-320, 1983

On the Number of 1-Factors of Locally Finite Graphs, Journal of Combinatorial Theory, Series B, Vol. 34, Nr. 1, 48-57, 1983

Sur les Couplages dans les Graphes localement finis, Annals of Discrete Mathematics, Vol. 17, 143-147, North-Holland, 1983
(in French)

Spécifications Fonctionnelles d'un SGBD Statistique, Research Report, IRT/INRETS, Paris, Sept. 1983
(in French)

Un Modèle de Données Statistique, Research Report, IRT/INRETS, June 1984
(in French)

A Statistical Data Model, in Proceedings 6th Symp. Computational Statistics (COMPSTAT) -- Summaries of Short Communications and Posters, Prag, 21-22, Aug. 1984,

Note on Consistency Checking of Database Schemas, Research Report, ECRC, Munich, July 1985

The Compactification Method, Research Report, ECRC, Sept. 1985

Spécificités des SGBD statistiques, in Proceedings 4th Int. Symp. on Data Analysis and Informatics, Versailles, France, Oct. 1985, North-Holland, 749-758
(with Gérard Thauront, in French)

Detecting Consistency of Database Rules by Adapting Theorem Proving Methods, Research Report, ECRC, Munich, Nov. 1985
(with Rainer Manthey)

Sur la Validité des Schémas de Bases de Données, in Compte-rendus 2èmes Journées Bases de Données Avancées, Giens, France, Apr. 1986, 89-108
(with Rainer Manthey, in French)

Checking Consistency of Database Constraints: A Logical Basis, in Proceedings 12th Int. Conf. on Very Large Data Bases (VLDB), Kyoto, Japan, 13-20, Aug. 1986
(with Rainer Manthey)

Gestion Interne de Données Statistiques, Journal Modèles et Bases de Données, Nr. 4, 25-38, Sept. 1986
(with Gérard Thauront, in French)

Maintaining Consistency of Deductive Databases, ECRC, Munich, July 1987

A Hyperresolution-Based Proof Procedure and its Implementation in Prolog, in Proceedings 11th German Workshop on Artificial Intelligence (GWAI), Geseke bei Paderborn, Germany, Springer-Verlag IF 152, 221-230, Sept.-Oct. 1987
(with Rainer Manthey)

Proving Finite Satisfiability of Deductive Databases, Invited Paper, in Proceedings 1st Workshop on Computer Science Logic (CSL), Karlsruhe, Germany, Springer-Verlag LNCS 329, 44-55, Oct. 1987
(with Rainer Manthey)

A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases, in Proceedings Int. Conf. Extending Data Base Technology (EDBT), Venice, Italy, Springer-Verlag LNCS 303, 488-505, March 1988
(with Hendrik Decker and Rainer Manthey)

SATCHMO: A Theorem Prover Implemented in Prolog, in Proceedings 9th Int. Conf. on Automated Deduction (CADE), Argonne, IL, Springer-Verlag LNCS 310, 415-434, May 1988
(with Rainer Manthey)

La Gestion des Bases de Connaissances: Relation aux Bases de Données, Invited Paper, in Compte-rendus Col. Intelligence Artificielle TEC '88, Grenoble, France, Oct. 1988
(in French)

Préserver l'Intégrité d'une Base de Donnée Déductive: une Methode et son Implémentation, in Compte-rendus 4èmes Journées Bases de Données Avancées, Benodet, France, May 1988, 9-19
(with Hendrik Decker, in French)

Logic Programming as Constructivism: A Formalization and its Application to Databases, in Proceedings 8th ACM-SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (PODS), Philadelphia, PA, 34-50, March 1989

Advanced Fixpoint Procedures for Querying Databases: A Rule-Based Approach, Research Report, ECRC, March 1989

Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited, in Proceedings ACM-SIGMOD Conf. on Management of Data (SIGMOD), Portland, OR, 193-204, May 1989,

Logical Rewritings for Improving the evaluation of Quantified Queries, in Proceedings Int. Conf. Mathematical Fundamentals of Data Base Systems (MFDBS), Visegrád, Hungary, Springer-Verlag LNCS 364, 100-116, June 1989

Negation in Logischer Programmierung: Eine Formalisierung in konstruktiver Logik, Research Report, ECRC, Munich, Jan. 1990
(in German)

Negation in Logic Programming: A Formalization in Constructive Logic, Invited Paper, in Proceedings 1st Workshop on Information Systems and Artificial Intelligence: Integration Aspects, Ulm, Springer-Verlag LNCS 474 (1991), 30-46, March 1990

Belief Revision Methods for Knowledge Bases, Research Report, ECRC, Munich, March 1990

Intensional Updates: Abduction via Deduction, in Proceedings 7th Int. Conf. on Logic Programming (ICLP), Jerusalem, MIT Press, 561-575, June 1990

Query Evaluation in Deductive Databases: Bottom-up and Top-down Reconciled, Proceedings Int. Conf. on Deductive and Object-Oriented Databases (DOOD), Kyoto, Japan, North-Holland (1990), 25-44, Dec. 1989

Upside-down Deduction, in Compte-rendus 6èmes Journées Bases de Données Avancées, Montpellier, 91-102, Sept. 1990

Query Evaluation in Deductive Databases: Bottom-up and Top-down Reconciled, Special issue of the Journal Data & Knowledge Engineering on the 1st Deductive and Object-Oriented Database Conference, Vol. 5, Nb. 4, 289-312, Oct. 1990
(Complete version of the conference paper)

Constrained Query Answering, in Proceedings 1st Int. Workshop on Nonstandard Queries and Answers, Toulouse, France, July 1991

Integrity Verification in Knowledge Bases, in Proceedings 2nd Russian Conf. on Logic Programming (RCLP), St. Petersburg, Russia, Springer LNAI 592, 114-139, Sept. 1991
(with Rainer Manthey and Bernd Martens)

Frege's Heritage - A Contribution to the Foundations of Logic Programming, Extended Abstract, ECRC, Munich, May 1992

A Marriage of Contrasts: Updates and Actions in Databases, Extended Abstract, ECRC, Munich, June 1992
(with Rainer Manthey)

Begriffsschrift and Logic Programming - Foundations of Logic Programming from an Historical Perspective, in Proceedings 8th German Workshop on Logic Programming, Darmstadt, Oct. 1992
(Extended Abstract)

Reflections on the Foundations of Meta-Programming: Is a Type Theory Needed?, in Proceedings Workshop on Proofs and Types at the Joint Int. Conf. and Symp. on Logic Programming, Washington, USA, Nov. 1992

Towards Intelligent Databases, in Proceedings 7th Int. Symp. on Methodologies for Intelligent Systems (ISMIS '93), Trondheim, Norway, Springer-Verlag LNAI 689, June 1993
(invited paper)

Neuere Entwicklung der deklarativen KI-Programmierung, Bericht in KI-93, Proceedings 17. Fachtagung für Künstliche Intelligenz, Berlin, Sept. 1993
(with H. Boley and U. Geske)

Editor of the Proceedings of the Workshop on Neuere Entwicklung der deklarativen KI-Programmierung, Research Report, DFKI, Saarbrücken, Sept. 1993
(with H. Boley and U. Geske, in German)