A Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2. - Shahin Mehdipour Ataee; Zeki Bayram (ISCIS, 2015)

An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services. - Shahin Mehdipour Ataee; Zeki Bayram (Sci. Program., 2018)

Frame Logic-based specification and discovery of semantic web services with application to medical appointments. - Omid Sharifi; Shahin Mehdipour Ataee; Zeki Bayram (Expert Syst. J. Knowl. Eng., 2020)

A frame and first-order logic solution for the Wumpus World: Implemented in Flora-2. - Shahin Mehdipour Ataee (Expert Syst. Appl., 2023)