Publications

Export 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.PDF icon paraOWL-2013.pdf (698.73 KB)