From post

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.

 

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

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation., и . ICLP, том 3668 из Lecture Notes in Computer Science, стр. 235-249. Springer, (2005)Constraint-Based Inference in Probabilistic Logic Programs., и . PLP@ICLP, том 1413 из CEUR Workshop Proceedings, стр. 46-56. CEUR-WS.org, (2015)Efficient Model Checking Using Tabled Resolution., , , , , и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 143-154. Springer, (1997)Incremental Evaluation of Tabled Logic Programs., и . ICLP, том 2916 из Lecture Notes in Computer Science, стр. 392-406. Springer, (2003)Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs., , , и . ASIAN, том 1742 из Lecture Notes in Computer Science, стр. 322-333. Springer, (1999)Justifying proofs using memo tables., , и . PPDP, стр. 178-189. ACM, (2000)Verification Using Tabled Logic Programming.. CONCUR, том 1877 из Lecture Notes in Computer Science, стр. 89-91. Springer, (2000)Online Justification for Tabled Logic Programs., , , , и . FLOPS, том 2998 из Lecture Notes in Computer Science, стр. 24-38. Springer, (2004)Subsumption Algorithms Based on Search Trees., , , и . CAAP, том 1059 из Lecture Notes in Computer Science, стр. 135-148. Springer, (1996)Compositional Analysis for Verification of Parameterized Systems., и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 315-330. Springer, (2003)