33 citations · 33 across the 3 of their papers we have counts for
6 papers
Knowledge-driven Natural Language Understanding of English Text and its Applications
Kinjal Basu, Sarat Varanasi, Farhad Shakerin +2
Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) research. An ideal NLU system should process a language in a way that is not…
A Theoretical Study of (Full) Tabled Constraint Logic Programming
Joaquín Arias, Manuel Carro
Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and, in some cases, more efficient than LP, CLP, or…
Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, Zhuo Chen +1
Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable…
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
Joaquin Arias, Manuel Carro
CiaoPP is an analyzer and optimizer for logic programs, part of the Ciao Prolog system. It includes PLAI, a fixpoint algorithm for the abstract interpretation of logic programs whi…
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
Joaquín Arias, Manuel Carro
Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and in some cases more efficient than LP, CLP or LP…
Constraint Answer Set Programming without Grounding
Joaquín Arias, Manuel Carro, Elmer Salazar +2
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, remove…