Rama Akkiraju, Pinar Keskinocak, et al.
Applied Intelligence
Paper
A Model-Theoretic Analysis of Knowledge
Abstract
No abstract available.
Related
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Guillaume Buthmann, Tomoya Sakai, et al.
ICASSP 2025
Yale Song, Zhen Wen, et al.
IJCAI 2013