Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Member Login
Light
Dark
Automatic
Yi-Dong Shen
Latest
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs
The Loop Formula based Semantics of Description Logic Programs
Loop Formulas for Description Logic Programs
Normal Description Logic Programs as Default Theories
Cite
×