A learning mechanism to enhance the time efficiency of proving theorems. - Ahmad Almonayyes; Hazem M. Raafat; Mohammed Almulla (CATA, 2001)

Multiple Explanations Driven Naïve Bayes Classifier. - Ahmad Almonayyes (J. Univers. Comput. Sci., 2006)