Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Joaquin Arias

Registered user since Fri 1 Feb 2019

Name: Joaquin Arias

Bio: 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.

Country: Spain

Affiliation: Universidad Politécnica de Madrid and IMDEA Software Institute

Personal website:

Research interests: Logic Programming and Stream Data Analysis


PADL 2019Author of Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP within the PADL 2019-track
Show activities from other conferences

POPL 2019-profile
View general profile