{"id":455,"date":"2020-10-22T19:24:07","date_gmt":"2020-10-22T19:24:07","guid":{"rendered":"http:\/\/www.ia.urjc.es\/GIA\/?page_id=455"},"modified":"2026-04-09T19:13:38","modified_gmt":"2026-04-09T19:13:38","slug":"joaquin-arias","status":"publish","type":"page","link":"http:\/\/www.ia.urjc.es\/GIA\/joaquin-arias\/","title":{"rendered":"Joaqu\u00edn Arias"},"content":{"rendered":"\n
\"\"<\/figure>
\n

Joaqu\u00edn Arias<\/strong>
Associate Professor<\/p>\n\n\n\n

Universidad Rey Juan Carlos
<\/span><\/strong>\nEscuela T\u00e9cnica Superior de Ingenier\u00eda Inform\u00e1tica\n
\nCalle Tulip\u00e1n s\/n, 28933 M\u00f3stoles (Madrid), SPAIN
joaquin.arias@urjc.es<\/a><\/p>\n<\/div><\/div>\n\n\n\n

About me:<\/h3>\n\n\n\n
\n

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<\/a>, 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>, 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.<\/p>\n<\/div><\/div>\n\n\n\n

\n
\n
\"\"<\/a><\/figure>\n<\/div>\n\n\n\n
\n
\"googlescholar\"<\/a><\/figure>\n<\/div>\n\n\n\n
\n
\"\"<\/a><\/figure>\n<\/div>\n\n\n\n
\n
\"\"<\/a><\/figure>\n<\/div>\n<\/div>\n\n\n\n

Education<\/strong><\/h3>\n\n\n\n
    \n
  • 2020: Ph.D. in Computer Science (Universidad Polit\u00e9cnica de Madrid, Spain)<\/li>\n\n\n\n
  • 2015: M.Sc. Computer Science (Universidad Polit\u00e9cnica de Madrid, Spain)<\/li>\n\n\n\n
  • 2014: B.Sc. Computer Science (Universidad Polit\u00e9cnica de Madrid, Spain)<\/li>\n\n\n\n
  • 2002: M.Arch. Architecture (Universidad Polit\u00e9cnica de Madrid, Spain)<\/li>\n<\/ul>\n\n\n\n

    <\/p>\n\n\n\n

    Research & Teaching Positions <\/strong><\/h3>\n\n\n\n
      \n
    • 2025 – now: Associate Professor at Universidad Rey Juan Carlos (URJC), Madrid, Spain<\/li>\n\n\n\n
    • 2020 – 2025: Assistant Professor at Universidad Rey Juan Carlos (URJC), Madrid, Spain<\/li>\n\n\n\n
    • 2013 – 2020: Pre-Doctoral Researcher at IMDEA Software Institute, Madrid, Spain<\/li>\n\n\n\n
    • Summer 2019: Research visitor Aalto University, Helsinki, Finland<\/li>\n\n\n\n
    • Summer 2017: Research visitor University of Texas at Dallas, USA<\/li>\n<\/ul>\n\n\n\n

      <\/p>\n\n\n\n

      Main Research Interests<\/strong><\/h3>\n\n\n\n
        \n
      • (Constraint) Logic Programming<\/li>\n\n\n\n
      • TCLP = Tabling + Constraints Logic Programming<\/li>\n\n\n\n
      • s(CASP) = ASP + Constraint – grounding<\/li>\n\n\n\n
      • Stream Data Analysis & Spatial Reasoning<\/li>\n<\/ul>\n\n\n\n

        <\/p>\n\n\n\n

        Projects<\/strong><\/h3>\n\n\n\n
        Software Tools<\/b>\n
        <\/div>\n<\/blockquote>\n\n