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
Ying Zhang
Latest
What's new is the evolution of propositional knowledge bases?
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
Logical Difference of Propositional Theories
Learning Disjunctive Logic Programs from Interpretation Transition(🏆Best student paper🏆)
On Compatibility and Forward Chaining Normality
Cite
×