Registered user since Fri 1 Feb 2019
I started my Ph.D. studies in 2015 at the Universidad Politécnica de Madrid and the at EIT-Digital Doctoral School, under the supervision of Dr. Manuel Carro.
I am enrolled as a researcher at the IMDEA Software Institute working on the extension of a rule-base high-level programming language, based on constraints and logic, and its application in reasoning over stream data.
We have designed and implemented a modular constraint system, Modular TCLP, and validated it with the integration of several constraint domains. We sketched how to apply TCLP to the analysis of stream data and detected the need to capture non-monotonic reasoning. We are collaborating with the University of Texas at Dallas in the development of s(CASP), a novel non-monotonic reasoning system that integrates tabling and constraints.
|PADL 2019||Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP|
|Show activities from other conferences|
View general profile