Ian Horrocks

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks

Faithful Rule Learning for Tabular Data Cell Completion

Supposedly Equivalent Facts That Aren’t? Entity Frequency in Pre-training Induces Asymmetry in LLMs

Sound Logical Explanations for Mean Aggregation Graph Neural Networks