Institute for Logic and Data Science