Shamim A. Naqvi

2 papers in the IJCAI proceedings

IJCAI 1983

Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs

with Lawrence J. Henschen

Details PDF

IJCAI 1981

An Improved Filter for Literal Indexing in Resolution Systems

with Lawrence J. Henschen

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings