BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
R.A.Schmidt
Talks about:
descript (2) forget (2) logic (2) autom (2) tool (2) fame (2) restrict (1) qualifi (1) express (1) semant (1)

Person: Yizheng Zhao

DBLP DBLP: Zhao:Yizheng

Contributed to:

IJCAR 20182018
CADE 20192019

Wrote 2 papers:

IJCAR-2018-ZhaoS #automation #logic #named #semantics
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics (YZ, RAS), pp. 19–27.
CADE-2019-ZhaoS #automation #logic #strict
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions (YZ, RAS), pp. 568–579.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.