research
∙
05/20/2023
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
We present Locksynth, a tool that automatically derives synchronization ...
share
research
∙
08/25/2022
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
We present a novel application of Goal-Directed Answer Set Programming t...
research
∙
10/11/2021
CASPR: A Commonsense Reasoning-based Conversational Socialbot
We report on the design and development of the CASPR system, a socialbot...
research
∙
09/17/2021
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
We tackle the problem of automatically designing concurrent data structu...
research
∙
09/10/2021
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
We consider requirements for cyber-physical systems represented in const...
research
∙
11/08/2020
Generating Concurrent Programs From Sequential Data Structure Knowledge
In this paper we tackle the problem of automatically designing concurren...
research
∙
09/22/2020
SQuARE: Semantics-based Question Answering and Reasoning Engine
Understanding the meaning of a text is a fundamental challenge of natura...
research
∙
06/12/2020
Pointer Data Structure Synthesis from Answer Set Programming Specifications
We develop an inductive proof-technique to generate imperative programs ...
research
∙
09/19/2019