Similar Items: R-Mod: Minimal Structural Revision of S5 Epistemic Models
- Epistemic Skills: Reasoning about Knowledge and Oblivion
- Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
- An Analysis of Revisions to OAIS and the “Designated Community” in Digital Preservation
- Convergence and complexity of block majorization-minimization for constrained block-Riemannian optimization
- Unsupervised Feature Selection via Nonnegative Orthogonal Constrained Regularized Minimization
- Performance Assessment of 5G Time Division Duplexing Frame Structures