Extending EL++ with linear constraints on the probability of axioms

• Author(s): Finger, Marcelo
• Date: 2019
• Origin: Oasisbr
• Subject(s): RACIOCÍNIO PROBABILÍSTICO
• Document Type: Book
• Language: English