Dr. Shahin Mehdipour Ataee
The journal of Expert Systems with Application, which is among the top six Google Scholar h5-index publications in Artificial Intelligence, has published the article, "A frame and first-order logic solution for the Wumpus World: Implemented in Flora-2," written by Department of Computer and Information Sciences Assistant Professor Shahin Mehdipour Ataee.
Dr. Ataee has developed a new first-order logic solution for a classical artificial intelligence problem, The Wumpus World Problem. First-order logic is extensively applied in expert and automated reasoning systems, which are branches of artificial intelligence.
The programming language used by Ataee, Flora-2, has been developed at SUNY Stony Brook. The full is freely accessible online until April 16. Anyone clicking online will be taken directly to the final version of the article on ScienceDirect, which they are welcome to read or download.