Towards an Expressive Decidable Logical Action Theory. - Wael Yehia; Mikhail Soutchanski (CogRob@AAAI, 2012)

Towards an Expressive Practical Logical Action Theory. - Mikhail Soutchanski; Wael Yehia (Turing-100, 2012)

Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. - Wael Yehia; Hongkai Liu; Marcel Lippmann; Franz Baader; Mikhail Soutchanski (Description Logics, 2012)

Solving the Projection Problem with OWL2 Reasoners: Experimental Study. - Wael Yehia; Mikhail Soutchanski (ORE, 2012)

13th workshop on challenges for parallel computing. - Jeeva Paudel; Wael Yehia; Jeremy S. Bradbury (CASCON, 2018)