Naqvi, Shamim A.

4 publications

AAAI 1999 A Policy Description Language Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi

IJCAI 1983 Synthesizing Least Fixed Point Queries into Non-Recursive Iterative Programs Shamim A. Naqvi, Lawrence J. Henschen

IJCAI 1981 An Improved Filter for Literal Indexing in Resolution Systems Lawrence J. Henschen, Shamim A. Naqvi

AAAI 1980 Performing Inferences over Recursive Data Bases Shamim A. Naqvi, Lawrence J. Henschen