5 citations · 8 across the 4 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2014
Representing, reasoning and answering questions about biological pathways - various applications
Saadat Anwar
Biological organisms are composed of numerous interconnected biochemical processes. Diseases occur when normal functionality of these processes is disrupted. Thus, understanding th…
cs.AI2013★ 1 cited
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Saadat Anwar, Chitta Baral, Katsumi Inoue
Answering realistic questions about biological systems and pathways similar to the ones used by text books to test understanding of students about biological systems is one of our…
cs.AI2013★ 5 cited
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Saadat Anwar, Chitta Baral, Katsumi Inoue
One of our long term research goals is to develop systems to answer realistic questions (e.g., some mentioned in textbooks) about biological pathways that a biologist may ask. To a…