6 citations · 17 across the 11 of their papers we have counts for
11 papers
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Ondřej Vašíček, Joaquin Arias, Jan Fiedor +6
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances…
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We present Locksynth, a tool that automatically derives synchronization needed for destructive updates to concurrent data structures that involve a constant number of shared heap m…
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander +2
We present a novel application of Goal-Directed Answer Set Programming that digitizes the model aircraft operator's compliance verification against the Academy of Model Aircrafts (…
CASPR: A Commonsense Reasoning-based Conversational Socialbot
Kinjal Basu, Huaduo Wang, Nancy Dominguez +4
We report on the design and development of the CASPR system, a socialbot designed to compete in the Amazon Alexa Socialbot Challenge 4. CASPR's distinguishing characteristic is tha…
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior. Desig…
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor +7
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requir…
Knowledge-driven Natural Language Understanding of English Text and its Applications
Kinjal Basu, Sarat Varanasi, Farhad Shakerin +2
Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) research. An ideal NLU system should process a language in a way that is not…
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…
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…
Imperative Program Synthesis from Answer Set Programs
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…