Author of the publication

Formalizing Ontology-Based Hierarchical Modeling Process of Physical World.

, , and . AICI (1), volume 6319 of Lecture Notes in Computer Science, page 18-24. Springer, (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Counting with Boolean Algebra and Extension Rule., , and . J. Convergence Inf. Technol., 5 (7): 49-56 (2010)An extended hierarchical framework for definitions of diagnosability of discrete event systems., and . SMC, page 1966-1971. IEEE, (2008)A restart local search algorithm for solving maximum set k-covering problem., , , , and . Neural Comput. Appl., 29 (10): 755-765 (2018)A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization., , , , and . Oper. Res. Lett., 37 (2): 117-122 (2009)An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT., , , and . KSEM (2), volume 11062 of Lecture Notes in Computer Science, page 48-58. Springer, (2018)Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis., and . ICIC (1), volume 4681 of Lecture Notes in Computer Science, page 157-166. Springer, (2007)Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies., , and . Int. J. Softw. Informatics, 13 (3): 359-374 (2023)A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs., , , and . FSKD, page 60-64. IEEE, (2011)A Multi-heuristic Cooperative Ant Colony System for Optimizing Elimination Ordering of Bayesian Networks., , , , and . IAT, page 75-78. IEEE Computer Society Press, (2010)978-0-7695-4191-4.Multimodal Usability of Human-Computer Interaction Based on Task-Human-Computer-Centered Design., , , and . ICIC (1), volume 10361 of Lecture Notes in Computer Science, page 459-468. Springer, (2017)