6 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Sarat Chandra Varanasi
Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications. Further with neg…