( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Infinite Computation, Co-induction and Computational Logic.

, , , , , и . CALCO, том 6859 из Lecture Notes in Computer Science, стр. 40-54. Springer, (2011)

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.

Kyle Simek

J Kyle Ward

Kyle Krafka

Kyle Montague

Kyle Jamieson

 

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

Infinite Computation, Co-induction and Computational Logic., , , , , и . CALCO, том 6859 из Lecture Notes in Computer Science, стр. 40-54. Springer, (2011)Computing Stable Models of Normal Logic Programs Without Grounding., , и . CoRR, (2017)Galliwasp: A Goal-Directed Answer Set Solver., и . LOPSTR, том 7844 из Lecture Notes in Computer Science, стр. 122-136. Springer, (2012)A Case for Query-driven Predicate Answer Set Programming., , , , и . ARCADE@CADE, том 51 из EPiC Series in Computing, стр. 64-68. EasyChair, (2017)Improving adherence to heart failure management guidelines via abductive reasoning., , , , , , , и . Theory Pract. Log. Program., 17 (5-6): 764-779 (2017)Goal-directed execution of answer set programs., , , и . PPDP, стр. 35-44. ACM, (2012)