Kerima Benkerimi

According to our database, Kerima Benkerimi authored at least 7 papers between 1990 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Partial Deduction of Updateable Definite Logic Programs.

Kerima Benkerimi, John C. Shepherdson

J. Log. Program., 1994

Virtual Polysemy.

Antonio Sanfilippo, Kerima Benkerimi, Dagmar Dwehus

Proceedings of the 15th International Conference on Computational Linguistics, 1994

1993

Implementation of a Graph-Based Data Model for Complex Objects.

Mark Levene, Alexandra Poulovassilis, Kerima Benkerimi, Sara Schwartz, Eran Tuv

SIGMOD Rec., 1993

Supporting Transformations for the Partial Evaluation of Logic Programs.

Kerima Benkerimi, Patricia M. Hill

J. Log. Comput., 1993

Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects.

Kerima Benkerimi, Alexandra Poulovassilis

Proceedings of the Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August, 1993

1992

Object-Oriented Programming in Gödel: An Experiment.

Kerima Benkerimi, Patricia M. Hill

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

1990

A Partial Evaluation Procedure for Logic Programs.

Kerima Benkerimi, John W. Lloyd

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990