PreDeLo

swMATH13719MaRDI QIDQ25631FDOQ25631

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-03524-6_6

Cited In (3)

• Semantic characterization of rational closure: from propositional logic to description logics
• DysToPic
• A multi-engine theorem prover for a description logic of typicality

This page was built for software: PreDeLo