PSPACE tableau algorithms for acyclic modalized ALC
- Jia Tao
- , Giora Slutzki
- , Vasant Honavar
- College of Information Sciences and Technology
- Penn State Clinical and Translational Science Institute (CTSI)
- Huck Institutes of the Life Sciences
- Cancer Institute, Cancer Control
- Penn State Cancer Institute
- Penn State Neuroscience Institute
- One Health Microbiome Center
- Institute for Computational and Data Sciences (ICDS)
Research output: Contribution to journal › Article › peer-review
4
Link opens in a new tab
Scopus
citations