Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

Filters: Keyword is Automated Deduction and Author is Frederick Maier [Clear All Filters]

Journal Article

F. Maier, Ma, Y., and Hitzler, P., “Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013.

paraOWL-2013.pdf (698.73 KB)