Moshe Y. Vardi
Information Processing Letters
Paper
A Model-Theoretic Analysis of Knowledge
Abstract
No abstract available.
Related
P.C. Yue, C.K. Wong
Journal of the ACM
Jehanzeb Mirza, Leonid Karlinsky, et al.
NeurIPS 2023
Conference paper
Learning Reduced Order Dynamics via Geometric Representations
Imran Nasim, Melanie Weber
SCML 2024