Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

Filters: Author is David Carral and Keyword is Description Logic [Clear All Filters]

2017

D. Carral, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.

PhD Dissertation Carral.pdf (578.29 KB)