( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Pruning strategies for the efficient traversal of the search space in PILP environments.

, , и . Knowl. Inf. Syst., 63 (12): 3183-3215 (2021)

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.

Nino Rocha

Paula Suares Rocha

Jacqueline Rocha

Marcio Rocha

Erwin Rochau

 

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

On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.. PADL, том 4354 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2007)Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs., , и . PPDP, стр. 43-54. ACM, (2014)Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems., и . CoRR, (2013)Global Storing Mechanisms for Tabled Evaluation., и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 708-712. Springer, (2008)On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog., , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 444-445. Springer, (2007)On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs., и . EPIA, том 5816 из Lecture Notes in Computer Science, стр. 113-125. Springer, (2009)Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines., , , , и . IPDPS Workshops, стр. 1581-1590. IEEE Computer Society, (2012)A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , и . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)On Applying Probabilistic Logic Programming to Breast Cancer Data., , и . ILP, том 10759 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2017)Forest trees for on-line data., , и . SAC, стр. 632-636. ACM, (2004)