Search Results for author:
Found 5 papers, 2 papers with code
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
However, the performance of existing s(CASP) implementations is not on par with other ASP systems: model consistency is checked once models have been generated, in keeping with the generate-and-test paradigm.
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI.
Constraint Answer Set Programming without Grounding
The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets.
Programming Languages Logic in Computer Science
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
Program transformation systems require the definition of efficient transformation strategies to tackle the combinatorial problem that emerges due to the large set of transformations applicable at each step of the process.
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges.
Programming Languages Distributed, Parallel, and Cluster Computing Software Engineering C.1.3; D.3.4; I.2.2
