All Stories

  1. Description and reasoning for vague ontologies using logic programming

    Article • IET Software, January 2018, the Institution of Engineering and Technology (the IET)

    Mustapha Bourahla

  2. Efficient algorithm to translate LTL formulas

    Article • IET Computers & Digital Techniques, August 2017, the Institution of Engineering and Technology (the IET)

    Mustapha Bourahla