Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Light
Dark
Automatic
Lei Yang
Latest
A MaxSAT-based framework for computing circumscription.
Minimal reduct for propositional circumscription.
Fuzzy Multicontext Systems.
Knowledge forgetting in propositional (μ)-calculus
Cite
×