Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
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
Average-case averages: Private algorithms for smooth sensitivity and mean estimation
Conference paper
Sample efficient active learning of causal trees
Conference paper
KerGM: Kernelized graph matching
View all publications