Author of the publication

RDL: Enhancing Description Logic with Rules.

, and . Australasian Conference on Artificial Intelligence, volume 7691 of Lecture Notes in Computer Science, page 567-578. Springer, (2012)

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

Tuple Measure Model Based on CFI-Apriori Algorithm., , and . ICAIS (1), volume 12239 of Lecture Notes in Computer Science, page 49-61. Springer, (2020)Performance Investigation of Uniaxially Tensile Stressed Ge n-FinFETs Formed on Biaxially Strained GeOI Substrates And Its Impact On Ge CMOS Inverters., , , , , , and . ASICON, page 1-4. IEEE, (2019)The Dual Drawing Method of the Hyperbolic Paraboloid and the Screen Representation of the Ruling., and . CISST, page 410-415. CSREA Press, (2003)Patterns of Journal Use by Scientists through Three Evolutionary Phases, , , , , and . D-Lib Magazine, (May 2003)The Complexity of Model Checking for Knowledge Update., and . KR, page 82-96. Morgan Kaufmann, (2002)The Design of Financial Coordinated Supervision Platform for Online Payment under Paperless Trade., , , and . WHICEB, page 76. Association for Information Systems, (2012)A novel adaptive prediction structure for multiview video coding., and . ISPACS, page 1-5. IEEE, (2011)APK-DFS: An Automatic Interaction System Based on Depth-First-Search for APK., , , , and . ICA3PP, volume 10393 of Lecture Notes in Computer Science, page 420-430. Springer, (2017)MiniTasking: Improving Cache Performance for Multiple Query Workloads., , and . WAIM, volume 4016 of Lecture Notes in Computer Science, page 287-299. Springer, (2006)Encoding Solutions of the Frame Problem in Dynamic Logic., , , , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 240-253. Springer, (2001)