( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A parallel implementation of cost-based abductive reasoning.

, , и . PASCO, стр. 111-118. ACM, (1997)

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.

Takashi Seki

Hideaki Seki

Hirohisa Uchida

Birgit Sekinger

Kazumi Seki

 

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

An FCA approach to mining quantitative association rules from multi-relational data., и . Int. J. Comput. Intell. Stud., 6 (4): 366-383 (2017)Incorporating Generalization Heuristics into Verification of Prolog Programs.. IJCAI, стр. 737-741. Morgan Kaufmann, (1985)A Description and Reasoning of Plant Controllers in Temporal Logic., , и . IJCAI, стр. 405-408. William Kaufmann, (1983)Soundness and Completeness of Partial Deductions for Well-Founded Semantics., , и . LPAR, том 624 из Lecture Notes in Computer Science, стр. 1-12. Springer, (1992)On Inductive Proofs by Extended Unfold/Fold Transformation Rules.. LOPSTR, том 6564 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2010)Cost-Based Abduction Using Binary Decision Diagrams., , , и . IEA/AIE, том 1611 из Lecture Notes in Computer Science, стр. 215-225. Springer, (1999)Partial Deduction in Disjunctive Logic Programming., и . J. Log. Program., 32 (3): 229-245 (1997)On mining quantitative association rules from multi-relational data with FCA., и . IWCIA, стр. 81-86. IEEE, (2016)Implementing an Automated Reasoning System for Multi-Robot Cooperation., , и . DARS, стр. 280-291. Springer, (1996)A parallel implementation of cost-based abductive reasoning., , и . PASCO, стр. 111-118. ACM, (1997)