4 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2022
A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic
Rui Li, Francesco Belardinelli
The language of modal logic is capable of expressing first-order conditions on Kripke frames. The classic result by Henrik Sahlqvist identifies a significant class of modal formula…
cs.LG2020★ 4 cited
Interpretable Structured Learning with Sparse Gated Sequence Encoder for Protein-Protein Interaction Prediction
Kishan KC, Feng Cui, Anne Haake +1
Predicting protein-protein interactions (PPIs) by learning informative representations from amino acid sequences is a challenging yet important problem in biology. Although various…
math.OC2020
On quotients of Boolean control networks
Rui Li, Qi Zhang, Tianguang Chu
In this paper, we focus on the study of quotients of Boolean control networks (BCNs) with the motivation that they might serve as smaller models that still carry enough information…