A Formal Framework for Theory Learning Using Description Logics

Slides referencing similar topics