Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

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

Thesis

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

PhD Dissertation Carral.pdf (578.29 KB)