Author of the publication

A Framework for Explaining Reasoning in Description Logics.

, , and . ExaCt, volume FS-05-04 of AAAI Technical Report, page 55-61. AAAI Press, (2005)

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

Testing the Message Flow of Android Auto Apps., , , , and . SANER, page 559-563. IEEE, (2019)Understanding Ineffective Events and Reducing Test Sequences for Android Applications., , , , and . TASE, page 264-272. IEEE, (2019)Neural Caches for Monte Carlo Partial Differential Equation Solvers., , , , , and . SIGGRAPH Asia, page 34:1-34:10. ACM, (2023)Characterizing and identifying misexposed activities in Android applications., , , , , and . ASE, page 691-701. ACM, (2018)ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps., , , , and . ASE, page 2070-2073. IEEE, (2023)Formal Modeling and Defense Methods for 5G Network Endpoint Access Denial of Service Attacks., , , , , and . NaNA, page 72-77. IEEE, (2023)Bringing Cloud-Native Storage to SAP IQ., , , , , , , and . SIGMOD Conference, page 2410-2422. ACM, (2021)Combinatorial Testing on Implementations of HTML5 Support., , , and . ICST Workshops, page 262-271. IEEE Computer Society, (2017)High-order multi-moment finite volume method with smoothness adaptive fitting reconstruction for compressible viscous flow., , , and . J. Comput. Phys., (2019)A hybrid pressure-density-based Mach uniform algorithm for 2D Euler equations on unstructured grids by using multi-moment finite volume method., , , and . J. Comput. Phys., (2017)