Yizheng Zhao
Orcid: 0009-0004-7762-8573
According to our database1,
Yizheng Zhao
authored at least 24 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the ACM on Web Conference 2024, 2024
2023
Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023
2022
Differentiable Fuzzy ALC: A Neural-Symbolic Representation Language for Symbol Grounding.
CoRR, 2022
Creating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions.
Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022
2021
Proceedings of the WWW '21: The Web Conference 2021, 2021
Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies.
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021
2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions.
Proceedings of the Automated Deduction - CADE 27, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) co-located with 17th International Semantic Web Conference (ISWC 2018), 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Proceedings of the Semantic Web - ISWC 2015, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
2014
J. Comput. Eng., 2014