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

Group by: Item Type | No Grouping

Jump to: Article | Book Section | Presentation at Congress or Conference | Thesis | Final Project

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.