An argumentation system for reasoning with LPm. - Wenzhao Qiao; Nico Roos (ECAI, 2014)

An argumentation system for reasoning with conflict-minimal paraconsistent ALC. - Wenzhao Qiao; Nico Roos (CoRR, 2014)