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