Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Light
Dark
Automatic
Li Yan Yuan
Latest
The Loop Formula based Semantics of Description Logic Programs
Cite
×