33 citations · 83 across the 25 of their papers we have counts for
5 papers · 1 filter
Generating Concurrent Programs From Sequential Data Structure Knowledge
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
In this paper we tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent b…
SQuARE: Semantics-based Question Answering and Reasoning Engine
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin +1
Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) and from its early days, it has received significant attention through questi…
Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, Zhuo Chen +1
Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable…
White-box Induction From SVM Models: Explainable AI with Logic Programming
Farhad Shakerin, Gopal Gupta
We focus on the problem of inducing logic programs that explain models learned by the support vector machine (SVM) algorithm. The top-down sequential covering inductive logic progr…
Pointer Data Structure Synthesis from Answer Set Programming Specifications
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We develop an inductive proof-technique to generate imperative programs for pointer data structures from behavioural specifications expressed in the Answer Set Programming (ASP) fo…