( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Estimation-Based Search Space Traversal in PILP Environments.

, , и . ILP, том 10326 из Lecture Notes in Computer Science, стр. 1-13. Springer, (2016)

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

 

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

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs., , и . PPDP, стр. 43-54. ACM, (2014)On Applying Probabilistic Logic Programming to Breast Cancer Data., , и . ILP, том 10759 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2017)On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.. PADL, том 4354 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2007)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)A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , и . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems., и . CoRR, (2013)Efficient and Scalable Induction of Logic Programs Using a Deductive Database System., , , и . ILP, том 4455 из Lecture Notes in Computer Science, стр. 184-198. Springer, (2006)On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs., и . EPIA, том 5816 из Lecture Notes in Computer Science, стр. 113-125. Springer, (2009)Forest trees for on-line data., , и . SAC, стр. 632-636. ACM, (2004)