Kerima Benkerimi

Publication Activity (10 Years)

Years Active: 1990-1994
Publications (10 Years): 0

Publications

Antonio Sanfilippo, Kerima Benkerimi, Dagmar Dwehus
Virtual Polysemy. COLING (1994)
Kerima Benkerimi, John C. Shepherdson
Partial Deduction of Updateable Definite Logic Programs. J. Log. Program. 18 (1) (1994)
Kerima Benkerimi, Alexandra Poulovassilis
Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects. Rules in Database Systems (1993)
Kerima Benkerimi, Patricia M. Hill
Supporting Transformations for the Partial Evaluation of Logic Programs. J. Log. Comput. 3 (5) (1993)
Mark Levene, Alexandra Poulovassilis, Kerima Benkerimi, Sara Schwartz, Eran Tuv
Implementation of a Graph-Based Data Model for Complex Objects. SIGMOD Rec. 22 (4) (1993)
Kerima Benkerimi, Patricia M. Hill
Object-Oriented Programming in Gödel: An Experiment. META (1992)
Kerima Benkerimi, John W. Lloyd
A Partial Evaluation Procedure for Logic Programs. NACLP (1990)