|
|
Researchspace >
Browsing by Author Britz, K
Showing results 11 to 19 of 19
| Issue Date | Title | Author(s) | | Jun-2012 | Naive ABox abduction in ALC using a DL tableau | Halland, K; Britz, K |
| Dec-2012 | A normal form for hypergraph-based module extraction for SROIQ | Nortje, R; Britz, K; Meyer, T |
| Dec-2012 | Normal modal preferential consequence | Britz, K; Meyer, T; Varzinczak, I |
| May-2010 | Pertinent reasoning | Britz, K; Heidema, J; Varzinczak, I |
| Nov-2011 | Preferential reasoning for modal logics | Britz, K; Meyer, T; Varzinczak, I |
| Jun-2010 | Representing chemicals using OWL, description graphs and rules | Hastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K |
| Jun-2010 | Representing chemicals using OWL, description graphs and rules | Hastings, J; Dumontier, M; Hull, D; Horridge, M; Steinbeck, C; Sattler, U; Stevens, R; Horne, T; Britz, K |
| Dec-2011 | Semantic foundation for preferential description logics | Britz, K; Meyer, T; Varzinczak, I |
| Nov-2008 | Technologies for conceptual modelling and intelligent query formulation | Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L |
Showing results 11 to 19 of 19
|
