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.

 

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

Verification of Content-Centric Networking Using Proof Assistant., , , и . IEICE Trans. Commun., 99-B (11): 2297-2304 (2016)Decision Making in Knowledge Integration with Dynamic Creation of Argumentation., и . ISIP, том 146 из Communications in Computer and Information Science, стр. 41-50. Springer, (2012)On a mechanical reasoning about causal relations., и . Artif. Intell. Eng., 1 (1): 15-22 (1986)A verification method for systolic arrays using induction-based theorem provers., и . Artif. Intell. Eng., 13 (1): 43-53 (1999)Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application., , и . SCSS, том 15 из EPiC Series in Computing, стр. 93-107. EasyChair, (2013)Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules., , и . PAKDD, том 3518 из Lecture Notes in Computer Science, стр. 269-279. Springer, (2005)Argumentation System Allowing Suspend/Resume of an Argumentation Line., и . ArgMAS, том 6614 из Lecture Notes in Computer Science, стр. 248-267. Springer, (2010)What Should an Agent Know Not to Fail in Persuasion?, и . EUMAS/AT, том 9571 из Lecture Notes in Computer Science, стр. 219-233. Springer, (2015)Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report., и . ICAART (1), стр. 268-275. SciTePress, (2018)Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification., , и . SYNASC, стр. 12-19. IEEE Computer Society, (2013)