ResearchSpace
Search
Login
All of ResearchSpace
Research Outputs
CSIR Publications
Archives Collection
Datasets
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
ResearchSpace
→
Search
Search
Search:
All of ResearchSpace
Archives collection
CSIR Publications
Datasets
Research Publications/Outputs
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
xmlui.ArtifactBrowser.SimpleSearch.filter.Publication_Type
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Title
Author
Subject
xmlui.ArtifactBrowser.SimpleSearch.filter.Publication_Type
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
xmlui.ArtifactBrowser.SimpleSearch.filter.Publication_Type
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 8 out of a total of 8 results.
(0.007 seconds)
Now showing items 1-8 of 8
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Module-theoretic properties of reachability modules for SRIQ
Nortje, R
;
Britz, K
;
Meyer, T
(
CAIR (Centre for Artificial Intelligence Research)
,
2013-07
)
Semantic foundation for preferential description logics
Britz, K
;
Meyer, T
;
Varzinczak, I
(
2011-12
)
Naive ABox abduction in ALC using a DL tableau
Halland, K
;
Britz, K
(
Sun SITE Central Europe (CEUR)
,
2012-06
)
Modelling object typicality in description logics
Britz, K
;
Heidema, J
;
Meyer, T
(
Springer Verlag
,
2009-12
)
Modelling object typicality in description logics - [Workshop on Description Logics]
Britz, K
;
Heidema, J
;
Meyer, T
(
Pub Zone scientific publication discussion forum
,
2009-07
)
Preferential role restrictions
Britz, K
;
Casini, G
;
Meyer, T
;
Varzinczak, I
(
CAIR (Centre for Artificial Intelligence Research)
,
2013-07
)
TBox abduction in ALC using a DL tableau
Halland, K
;
Britz, K
;
Klarman, S
(
2014-07
)
ABox abduction in ALC using a DL tableau
Halland, K
;
Britz, K
(
ACM
,
2012-10
)
Now showing items 1-8 of 8
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
masked
Browse
All of ResearchSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Publication Type
Cluster
Impact Area
Discover
Author
Britz, K (8)
Meyer, T (5)
Halland, K (3)
Heidema, J (2)
Varzinczak, I (2)
Casini, G (1)
Klarman, S (1)
Nortje, R (1)
Subject
Description logics (8)
Artificial intelligence (3)
Preferential semantics (3)
Object typicality (2)
Semantics (2)
Abduction (1)
ABox abduction (1)
ALC description logics (1)
Algorithms (1)
Domains (1)
... View More
Date Issued
2009 (2)
2012 (2)
2013 (2)
2011 (1)
2014 (1)
Publication Type
Conference Presentation (8)
Back to top