6 citations · 17 across the 11 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…