Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Light
Dark
Automatic
Renyan Feng
Latest
Uniform Interpolation Closure for Branching Time Temporal Logics.
Minimal reduct for propositional circumscription.
Satisfiability Threshold of Random Propositional S5 Theories.
Fuzzy Multicontext Systems.
Knowledge forgetting in propositional (μ)-calculus
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.
QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion.
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
Hamming Distance Encoding Multihop Relation Knowledge Graph Completion.
On Sufficient and Necessary Conditions in Bounded CTL.
Cite
×