Items where author is "Arias Herrero, Joaquín"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

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.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM