Items where author is "Arias Herrero, Joaquín"
![]() | Up a level |
Article
Arias Herrero, Joaquín and Carro Liñares, Manuel (2019). Description, implementation, and evaluation of a generic design for tabled CLP. "Theory And Practice of Logic Programming", v. 19 (n. 3); pp. 412-448. ISSN 1471-0684. https://doi.org/10.1017/S1471068418000571.
Book Section
Arias Herrero, Joaquín and Carro Liñares, Manuel (2019). Incremental evaluation of lattice-based aggregates in logic programming using modular TCLP. In: "Practical Aspects of Declarative Languages". Lecture Notes in Computer Science (11372). Springer, Suiza, pp. 98-114. ISBN 978-3-030-05997-2. https://doi.org/10.1007/978-3-030-05998-9_7.
Presentation at Congress or Conference
Arias Herrero, Joaquín and Carro Liñares, Manuel and Chen, Zhuo and Gupta, Gopal (2019). Constraint Answer Set Programming without grounding and its applications. In: "3rd International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2019)", 4-5 Jun 2019, Philadelphia (USA). pp. 22-26.
Arias Herrero, Joaquín and Chen, Zhuo and Carro Liñares, Manuel and Gupta, Gopal (2019). Modeling and reasoning in Event Calculus using goal-directed Constraint Answer Set Programming. In: "LOPSTR 2019: Logic-Based Program Synthesis and Transformation", 8-10 Oct 2019, Porto, Portugal. ISBN 978-3-030-45259-9. pp. 139-155. https://doi.org/10.1007/978-3-030-45260-5_9.
Thesis
Arias Herrero, Joaquín (2019). Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM). https://doi.org/10.20868/UPM.thesis.58189.
Arias Herrero, Joaquín (2015). Design and implementation of a modular interface to integrate CLP and tabled execution. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
Final Project
Arias Herrero, Joaquín (2014). Manejo de memoria en programación lógica con tabulación. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.