PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Arias, Joaquín"

Author of the publication

copydeleteadd this publication to your clipboard
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP.

, and . PADL, volume 11372 of Lecture Notes in Computer Science, page 98-114. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Arias, Joaquín
add a person with the name Arias, Joaquín
 

Other publications of authors with the same name

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP., and . CoRR, (2018)Constraint Answer Set Programming without Grounding and its Applications., , , and . Datalog, volume 2368 of CEUR Workshop Proceedings, page 22-26. CEUR-WS.org, (2019)Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)., and . ICLP (Technical Communications), volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)., , , , , and . PADL, volume 13165 of Lecture Notes in Computer Science, page 181-190. Springer, (2022)Constraint Answer Set Programming without Grounding., , , , and . TPLP, 18 (3-4): 337-354 (2018)Description, Implementation, and Evaluation of a Generic Design for Tabled CLP., and . TPLP, 19 (3): 412-448 (2019)Description and evaluation of a generic design to integrate CLP and tabled execution., and . PPDP, page 10-23. ACM, (2016)Tabled CLP for Reasoning Over Stream Data.. ICLP (Technical Communications), volume 52 of OASIcs, page 17:1-17:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP., and . PADL, volume 11372 of Lecture Notes in Computer Science, page 98-114. Springer, (2019)Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP., and . TPLP, 19 (5-6): 1107-1123 (2019)