A Model-Theoretic Analysis of Knowledge

Arnon Amir, Michael Lindenbaum

IEEE Transactions on Pattern Analysis and Machine Intelligence

Victor Akinwande, Megan Macgregor, et al.

IJCAI 2024

Kenneth L. Clarkson, Elad Hazan, et al.

Journal of the ACM

Ronald Fagin, Ravi Kumar, et al.

SIAM Journal on Discrete Mathematics