Extending EL++ with linear constraints on the probability of axioms
Marcelo Finger
Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019
Cham Springer 2019
Localização:
IME - Inst. Matemática e Estatística
(PROD-2953686 )(Acessar)
Vinícius Bitencourt Matos Ricardo Guimarães; Yuri David Santos; Renata Wassermann
Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019
Cham Springer 2019
Localização:
IME - Inst. Matemática e Estatística
(PROD-2962949 )(Acessar)