Publications

ULKB Logic: A HOL-based framework for reasoning over knowledge graphs