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.

 

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

Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation., и . KEOD, стр. 253-260. SciTePress, (2013)Unfolding Existentially Quantified Sets of Extended Clauses., и . KEOD, стр. 96-103. SciTePress, (2016)Semantic Query Optimization: Correctness and Control., , и . J. Adv. Comput. Intell. Intell. Informatics, 10 (3): 270-280 (2006)A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU., , , и . IEEE Congress on Evolutionary Computation, стр. 1-8. IEEE, (2010)Term Rewriting that Preserves Models in KR-Logic., , и . ACIIDS (1), том 11431 из Lecture Notes in Computer Science, стр. 41-52. Springer, (2019)A Framework for Cloud Embedded Web Services Utilized by Cloud Applications., , , и . SERVICES, стр. 265-271. IEEE Computer Society, (2011)Population Sizing of Dependency Detection by Fitness Difference Classification., , и . FOGA, том 3469 из Lecture Notes in Computer Science, стр. 282-299. Springer, (2005)Integration of and a Solution for Proof Problems and Query-Answering Problems., и . IC3K, том 454 из Communications in Computer and Information Science, стр. 215-229. Springer, (2013)Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms., , и . SMC, стр. 2362-2367. IEEE, (2006)A Basic Model for Learning Systems., и . IJCAI, стр. 4-6. William Kaufmann, (1979)