Dr. Joaquín Arias
Assistant Professor
Universidad Rey Juan Carlos
Escuela Técnica Superior de Ingeniería Informática
Calle Tulipán s/n, 28933 Móstoles (Madrid), SPAIN
joaquin.arias@urjc.es
About me:
My research focuses on the extension of a rule-base high-level programming language, based on constraints and logic, and its application in reasoning over stream data.
I have been working at the IMDEA Software Institute, under the supervision of Dr. Manuel Carro. We have designed and implemented a modular constraint system, Modular TCLP, and validated it with the integration of several constraint domains. We have used Modular TCLP to reimplement the state-of-the-art abstract interpreter PLAI increasing efficiency with shorter coding (1/3 of the previous version). We then sketched out how to apply TCLP to stream data analysis and detected the need to capture non-monotonic reasoning.
Since my stay at the University of Texas at Dallas in 2017, I have collaborated with them in the development of s(CASP), a novel non-monotonic reasoning system that integrates answer set programming and constraints. We have applied s(CASP) in several applications, e.g., to model and reason using event calculus.
Education
- 2020: Ph.D. in Computer Science (Universidad Politécnica de Madrid, Spain)
- 2015: M.Sc. Computer Science (Universidad Politécnica de Madrid, Spain)
- 2014: B.Sc. Computer Science (Universidad Politécnica de Madrid, Spain)
- 2002: M.Arch. Architecture (Universidad Politécnica de Madrid, Spain)
Research & Teaching Positions
- 2020 – now: Assistant Profesor at Universidad Rey Juan Carlos (URJC), Madrid, Spain
- 2013 – 2020: Pre-Doctoral Researcher at IMDEA Software Institute, Madrid, Spain
- Summer 2019: Research visitor Aalto University, Helsinki, Finland
- Summer 2017: Research visitor University of Texas at Dallas, USA
Main Research Interests
- (Constraint) Logic Programming
- TCLP = Tabling + Constraints Logic Programming
- s(CASP) = ASP + Constraint – grounding
- Stream Data Analysis & Spatial Reasoning
Projects
A framework that allow the integration of Constraint Solvers with the tabling engine of Ciao Prolog (available in its current distribution at http://ciao-lang.org).
To validate the framework we present the benchmarks implemented with three constraint solvers: Difference Constraints, CLP(Q), and constraint solver over (finite) lattice and with the interface which implement answer combination (aggregates). more here.
s(CASP) incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets. The resulting model can constrain variables that (as in CLP) are kept during the execution and in the answer sets. s(CASP) inherits and generalises the execution model of s(ASP) while parameterising the constraint. more here.
ATCLP is a framework to incrementally compute aggregates for elements in a lattice (available in the current distribution of Ciao Prolog at http://ciao-lang.org). ATCLP uses the entailment and join relations of the lattice to define (and compute) aggregates and decides whether some atom is compatible with (entails) the aggregate — its implementation is based on Mod TCLP. The semantics of the aggregates so defined is consistent with the LFP semantics of tabling and improves termination properties of aggregated programs w.r.t. similar approaches. Users can define aggregation operators and how answers are aggregated. Describing aggregates that do not fit into the lattice structure is possible, but some properties guaranteed by the lattice may not hold. However, the flexibility provided by this possibility justifies its inclusion. more here.
CLP-Spatial is a prototype I developed during my stay at VisuaLynk and Aalto University in Helsinki. It is a reasoner for spatial, ontology, and logic queries to Building Information Modeling (BIM) models used to represent projects in Architecture, Engineering and Construction (AEC). CLP-Spatial is a CLP-based reasoner to detect spatial semantics relationships in/between BIM models. more here.
Publications & Thesis
|
|
|
|
|
|
|
|
|
|
|
Conferences & Thesis Talk
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Misc. Presentations
Teaching
- Interacción Persona-Ordenador (Grado en Ingeniería Informática 2020-2021)
- Multimedia (Grado en Diseño y Desarrollo de Videojuegos 2020-2021)
- Tecnología de Computadores (Grado en Ingeniería de Computadores 2020-2021)
- Arquitectura de Computadores (Grado en Ingeniería de Computadores 2020-2021)
- Estructura de Computadores (Grado en Ingeniería de Computadores 2020-2021)
- Organización y Arquitectura de Computadores (Grado en Ingeniería Informática 2020-2021)
- Fundamentos Físicos de la Informática (Grado en Ingeniería de la Ciberseguridad 2020-2021)