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
∙
03/15/2023
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Achieving human-like communication with machines remains a classic, chal...
research
∙
02/07/2023
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming
Humans understand language by extracting information (meaning) from sent...
research
∙
01/30/2023
NeSyFOLD: A System for Generating Logic-based Explanations from Convolutional Neural Networks
We present a novel neurosymbolic system called NeSyFOLD that classifies ...
research
∙
08/16/2022
FOLD-SE: Scalable Explainable AI
FOLD-R++ is a highly efficient and explainable rule-based machine learni...
research
∙
06/15/2022
FOLD-TR: A Scalable and Efficient Inductive Learning Algorithm for Learning To Rank
FOLD-R++ is a new inductive learning algorithm for binary classification...
research
∙
05/17/2022
Building Information Modeling Using Constraint Logic Programming
Building Information Modeling (BIM) produces three-dimensional models of...
research
∙
02/14/2022
FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
FOLD-RM is an automated inductive learning algorithm for learning defaul...
research
∙
12/21/2021
An ASP-based Approach to Answering Natural Language Questions for Texts
An approach based on answer set programming (ASP) is proposed in this pa...
research
∙
11/25/2021
Graph-based Interpretation of Normal Logic Programs
In this paper we present a dependency graph-based method for computing t...
research
∙
11/22/2021
Parallel Logic Programming: A Sequel
Multi-core and highly-connected architectures have become ubiquitous, an...
research
∙
10/22/2021
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Goal-directed evaluation of Answer Set Programs is gaining traction than...
research
∙
10/17/2021
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning
Driving an automobile involves the tasks of observing surroundings, then...
research
∙
10/15/2021
FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data
FOLD-R is an automated inductive learning algorithm for learning default...
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/26/2021
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories
We present a clustering- and demotion-based algorithm called Kmeans-FOLD...
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/17/2021
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots
We consider the problem of finding relevant consistent concepts in a con...
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
∙
06/28/2021
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Automated commonsense reasoning is essential for building human-like AI ...
research
∙
04/02/2021
grASP: A Graph Based ASP-Solver and Justification System
Answer set programming (ASP) is a popular nonmonotonic-logic based parad...
research
∙
01/27/2021
Knowledge-driven Natural Language Understanding of English Text and its Applications
Understanding the meaning of a text is a fundamental challenge of natura...
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
∙
09/22/2020
Justifications for Goal-Directed Constraint Answer Set Programming
Ethical and legal concerns make it necessary for programs that may direc...
research
∙
08/09/2020
White-box Induction From SVM Models: Explainable AI with Logic Programming
We focus on the problem of inducing logic programs that explain models l...
research
∙
06/12/2020
Pointer Data Structure Synthesis from Answer Set Programming Specifications
We develop an inductive proof-technique to generate imperative programs ...
research
∙
05/24/2019
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining
We present a fast and scalable algorithm to induce non-monotonic logic p...
research
∙
08/02/2018
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME
We present a heuristic based algorithm to induce non-monotonic logic pro...
research
∙
04/30/2018
Constraint Answer Set Programming without Grounding
Extending ASP with constraints (CASP) enhances its expressiveness and pe...
research
∙
02/18/2018
Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems
Significant research has been conducted in recent years to extend Induct...
research
∙
07/16/2017
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning
Management of chronic diseases such as heart failure (HF) is a major pub...
research
∙
10/25/2016