Joaquin Arias

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Event calculus meets hybrid ASP Theory and Practice of Logic Programming	2026-01-01	Paper
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming Theory and Practice of Logic Programming	2023-12-12	Paper
Building Information Modeling Using Constraint Logic Programming Theory and Practice of Logic Programming	2022-09-30	Paper
Modeling and reasoning in event calculus using goal-directed constraint answer set programming Logic-Based Program Synthesis and Transformation	2022-08-25	Paper
Modeling and reasoning in event calculus using goal-directed constraint answer set programming Logic-Based Program Synthesis and Transformation	2022-08-25	Paper
scientific article; zbMATH DE number 7455706 (Why is no real title available?) (available as arXiv preprint)	2022-01-11	Paper
scientific article; zbMATH DE number 7455706 (Why is no real title available?)	2022-01-11	Paper
Description, implementation, and evaluation of a generic design for tabled CLP Theory and Practice of Logic Programming	2021-09-03	Paper
Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP* Theory and Practice of Logic Programming	2020-05-04	Paper
Constraint answer set programming without grounding Theory and Practice of Logic Programming	2018-12-04	Paper

Research outcomes over time

This page was built for person: Joaquin Arias