5 citations · 8 across the 4 of their papers we have counts for
Showing 2013 · cs.AIShow all
2 papers · 2 filters
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…