research
∙
05/17/2022
Building Information Modeling Using Constraint Logic Programming
Building Information Modeling (BIM) produces three-dimensional models of...
share
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
∙
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
∙
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
Constraint Answer Set Programming without Grounding
Extending ASP with constraints (CASP) enhances its expressiveness and pe...
research
∙
01/25/2017