Publications

Found 1 results
Filters: Keyword is Automated Deduction  [Clear All Filters]
2013
F. Maier, Ma, Y., and Hitzler, P., Paraconsistent OWL and Related Logics, Semantic Web, vol. 4, pp. 395–427, 2013.