Marianne Baudinet - Recent Publications

"On the Expressiveness of Temporal Logic Programming",

by Marianne Baudinet.

In "Information and Computation", Volume 117, Number 2, March 1995, pages 157--192.

"Constraint-Generating Dependencies",

by Marianne Baudinet, Jan Chomicki, and Pierre Wolper.

In G. Gottlob and M. Vardi, editors, "Database Theory -- ICDT'95, 5th International Conference, Prague, Czech Republic, January 1995, Proceedings", pages 322-- 337, Lecture Notes in Computer Science Volume 893, Springer-Verlag, 1995.

"Temporal Databases: Beyond Finite Extensions (Position Paper)",

by Marianne Baudinet, Jan Chomicki, and Pierre Wolper.

In R. Snodgrass, editor, "Proceedings of the International Workshop on an Infrastructure for Temporal Databases", Arlington, Texas, pages D1--D10, June 1993.

"Temporal Deductive Databases",

by Marianne Baudinet, Jan Chomicki, and Pierre Wolper.

In A.U. Tansel et. al, editors, "Temporal Databases. Theory, Design, and Implementation", Chapter 13, pages 294--320, Benjamin/Cummings, 1993.

"A Simple Proof of the Completeness of Temporal Logic Programming",

by Marianne Baudinet.

In Luis Farinas del Cerro and Martti Penttonen, editors, "Intensional Logics for Programming", Oxford Science Publicatons, Oxford University Press, pages 51--83, 1993.

"On the Representation of Infinite Temporal Data and Queries",

by Marianne Baudinet, Marc Niezette, and Pierre Wolper.

In "Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems", Denver, Colorado, pages 280--290, May 1991.

"Proving Termination Properties of Prolog Programs",

by Marianne Baudinet.

In the "Journal of Logic Programming", Volume 14, Numbers 1&2, 1992.

Links

• Marianne Baudinet's home page
• ULB Service d'Informatique
• Université Libre de Bruxelles

This page has been accessed times since December 18, 1995.