FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Joaquin Arias
Organization: IMDEA Software Institute
Pages in this Program
ICLP on Saturday, July 14th
ICLP Program
Program
Program for Saturday, July 14th
Slides
Slides
Bio

I started my PhD 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 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 integrate tabling and constraints.