Search

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

Liyan Yuan

Latest

Loop Formulas for Description Logic Programs
Normal Description Logic Programs as Default Theories

© 2026 Omega-krr Group. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite