Search Results for author:
Found 6 papers, 0 papers with code
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
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 memory write operations.
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
In this paper, we leverage Answer Set Programming to encode the AMA safety code and automate compliance checks.
CASPR: A Commonsense Reasoning-based Conversational Socialbot
We present the philosophy behind CASPR's design as well as details of its implementation.
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
We tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior.
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements.
SQuARE: Semantics-based Question Answering and Reasoning Engine
We introduce a general semantics-based framework for natural language QA and also describe the SQuARE system, an application of this framework.
