PreDeLo
From MaRDI portal
Software:25631
No author found.
Related Items (2)
Semantic characterization of rational closure: from propositional logic to description logics ⋮ A Multi-engine Theorem Prover for a Description Logic of Typicality
This page was built for software: PreDeLo
