( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Supporting Pruning in Tabled LP.

, , и . PADL, том 7752 из Lecture Notes in Computer Science, стр. 60-76. Springer, (2013)

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.

Vicente Rodríguez Carro

Aaron E Carroll

Rebecca Carroll

John Carroll

Mary Carroll

 

Другие публикации лиц с тем же именем

An Improved Continuation Call-Based Implementation of Tabling., , , , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 197-213. Springer, (2008)Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 138-153. Springer, (2007)Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP., и . Theory Pract. Log. Program., 19 (5-6): 1107-1123 (2019)Parallel backtracking with answer memoing for independent and-parallelism., , , и . Theory Pract. Log. Program., 11 (4-5): 555-574 (2011)Swapping evaluation: A memory-scalable solution for answer-on-demand tabling., , и . Theory Pract. Log. Program., 10 (4-6): 401-416 (2010)Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP., и . PADL, том 11372 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2019)Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming., , , и . CoRR, (2021)An overview of Ciao and its design philosophy, , , , , , и . CoRR, (2011)Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems., , и . Workshop on Design and Impl. of Parallel Logic Programming Systems, стр. 42-53. (1994)An s(CASP) In-Browser Playground based on Ciao Prolog., , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)