Report copyright - PARACONSISTENCY IN HYBRID LOGIC - Semantic Scholar€¦ · Description logics are variants of rst-order logic which count as one of the most popular formalisms to deal with knowledge
Please pass captcha verification before submit form