PreDeLo

swMATH13719MaRDI QIDQ25631FDOQ25631

Author name not available (Why is that?)

Cited In (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