Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies

DOI10.1007/978-3-030-19570-0_23OpenAlexW2944602111MaRDI QIDQ2296720

Yue Ma, Michel Ludwig, Dirk Walther, Jieying Chen

Publication date: 18 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies