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.

 

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

A Description and Reasoning of Plant Controllers in Temporal Logic., , и . IJCAI, стр. 405-408. William Kaufmann, (1983)Incorporating Generalization Heuristics into Verification of Prolog Programs.. IJCAI, стр. 737-741. Morgan Kaufmann, (1985)On mining quantitative association rules from multi-relational data with FCA., и . IWCIA, стр. 81-86. IEEE, (2016)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)An FCA approach to mining quantitative association rules from multi-relational data., и . Int. J. Comput. Intell. Stud., 6 (4): 366-383 (2017)Merging Closed Pattern Sets in Distributed Multi-Relational Data., и . CLA, том 1252 из CEUR Workshop Proceedings, стр. 71-82. CEUR-WS.org, (2014)Implementing an Automated Reasoning System for Multi-Robot Cooperation., , и . DARS, стр. 280-291. Springer, (1996)