research
∙
03/15/2023
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Achieving human-like communication with machines remains a classic, chal...
share
research
∙
05/17/2022
Building Information Modeling Using Constraint Logic Programming
Building Information Modeling (BIM) produces three-dimensional models of...
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
∙
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
∙
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
∙
09/28/2020
A Theoretical Study of (Full) Tabled Constraint Logic Programming
Logic programming with tabling and constraints (TCLP, tabled constraint ...
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
∙
07/31/2019
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
CiaoPP is an analyzer and optimizer for logic programs, part of the Ciao...
research
∙
09/15/2018
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
Logic programming with tabling and constraints (TCLP, tabled constraint ...
research
∙
04/30/2018