Can You Tell the Difference? Contrastive Explanations for ABox Entailments

This research introduces a formally grounded method for computing contrastive ABox explanations in description logic, addressing the NP-hard complexity of di...

Level: expert

By Unknown

Category: research