Sign in
Off-Line Parsability and the Well-Foundedness of Subsumption.
Shuly Wintner
Nissim Francez
Published in:
J. Log. Lang. Inf. (1999)
Keyphrases
</>
description logics
np complete
transitive closure
learning algorithm
learning stage