Shahin Mehdipour Ataee

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 3

Top Topics

Quantifier Free

Semantic Web Services

Top Venues

Expert Syst. J. Knowl. Eng.

Expert Syst. Appl.

Publications

Shahin Mehdipour Ataee
A frame and first-order logic solution for the Wumpus World: Implemented in Flora-2. Expert Syst. Appl. 220 (2023)
Omid Sharifi, Shahin Mehdipour Ataee, Zeki Bayram
Frame Logic-based specification and discovery of semantic web services with application to medical appointments. Expert Syst. J. Knowl. Eng. 37 (1) (2020)
Shahin Mehdipour Ataee, Zeki Bayram
An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services. Sci. Program. 2018 (2018)
Shahin Mehdipour Ataee, Zeki Bayram
A Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2. ISCIS (2015)