Journal of the ACM

Paper

04 Jan 1991

A Model-Theoretic Analysis of Knowledge

View publication

Abstract

No abstract available.

Related

Conference paper

Online planner selection with graph neural networks and adaptive scheduling

Conference paper

What Changed? Interpretable Model Comparison

Conference paper

Linear-complexity data-parallel earth mover's distance approximations

Conference paper

Protecting neural networks with hierarchical random switching: Towards better robustness-accuracy trade-off for stochastic defenses

View all publications