Consequence-Based Axiom Pinpointing

Lecture Notes in Computer Science - Scalable Uncertainty Management ◽

10.1007/978-3-030-00461-3_13 ◽

2018 ◽

pp. 181-195

Author(s):

Ana Ozaki ◽

Rafael Peñaloza

Download Full-text