Computing Inferences for Credal ALC Terminologies. - Rodrigo Bellizia Polastro; Fábio Gagliardi Cozman; Felipe I. Takiyama; Kate Revoredo (URSW, 2012)

Inference with Aggregation Parfactors: Lifted Elimination with First-Order d-Separation. - Felipe Iwao Takiyama; Fábio Gagliardi Cozman (BRACIS, 2014)

Computing Inferences for Relational Bayesian Networks Based on ALC Constructs. - Fábio Gagliardi Cozman; Rodrigo Bellizia Polastro; Felipe I. Takiyama; Kate C. Revoredo (URSW (LNCS Vol.), 2014)