New publication: A hybrid diagnosis approach combining Black-Box and White-Box reasoning
We have a new collaborative paper out in Lecture Notes in Computer Science, with Mingmin Chen of UC Davis as lead author, on inconsistency checking and repair of conflicting concept articulations for the Euler/X toolkit. Complete citation:
Chen, M., S. Yu, N. Franz, S. Bowers & B. Ludäscher. 2014. A hybrid diagnosis approach combining Black-Box and White-Box reasoning. In: A. Bikakis et al. (Editors): RuleML 2014. Lecture Notes in Computer Science 8620: 127-141. Link to publication.