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
→
Research Publications/Outputs
→
Search
Search
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
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 10 out of a total of 52 results for community: Research Publications/Outputs.
(0.021 seconds)
Now showing items 11-20 of 52
Previous Page
1
2
3
4
5
. . .
6
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT
Leenen, L
;
Anbulagan
;
Meyer, T
;
Ghose, A
(
Springer-Verlag
,
2007-12
)
Module-theoretic properties of reachability modules for SRIQ
Nortje, R
;
Britz, K
;
Meyer, T
(
CAIR (Centre for Artificial Intelligence Research)
,
2013-07
)
Nonmonotonic reasoning in description logics. Rational closure for the ABox
Casini, G
;
Meyer, T
;
Moodley, K
;
Varzinczak, I
(
CAIR (Centre for Artificial Intelligence Research)
,
2013-07
)
Bidirectional reachability-based modules
Nortje, R
;
Britz, k
;
Meyer, T
(
Conference Paper
,
2011-07
)
Concept model semantics for DL preferential reasoning
Britz, K
;
Meyer, T
;
Varzinczak, I
(
Conference paper
,
2011-07
)
Logic for specifying partially observable stochastic domains
Rens, G
;
Meyer, T
;
Ferrein, A
;
Lakemeyer, G
(
2011-07
)
A logic for specifying stochastic actions and observations
Rens, G
;
Meyer, T
;
Lakemeyer, G
(
Springer
,
2014-03
)
Introducing defeasibility into OWL ontologies
Casini, G
;
Meyer, T
;
Moodley, K
;
Sattler, U
;
Varzinczak, I
(
Springer International Publishing
,
2015-10
)
What does entailment for PTL mean?
Booth, R
;
Casini, G
;
Meyer, T
;
Varzinczak, I
(
Commonsense Reasoning
,
2015-03
)
DIP: A defeasible-inference platform for OWL ontologies
Meyer, T
;
Moodley, K
;
Sattler, U
(
CEUR Workshop Proceedings
,
2014-07
)
Now showing items 11-20 of 52
Previous Page
1
2
3
4
5
. . .
6
Next Page
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
This Community
By Issue Date
Authors
Titles
Subjects
Publication Type
Cluster
Impact Area
Discover
Author
Meyer, T (52)
Varzinczak, I (17)
Britz, K (12)
Casini, G (11)
Moodley, K (10)
Booth, R (9)
Rens, G (6)
Nortje, R (5)
Gerber, A (4)
Lakemeyer, G (4)
... View More
Subject
Description logics (13)
Ontologies (9)
Artificial intelligence (6)
Artificial Intelligence (4)
Semantics (4)
Defeasible reasoning (3)
Description Logics (3)
Horn contraction (3)
Nonmonotonic reasoning (3)
OWL ontologies (3)
... View More
Date Issued
2010 - 2018 (42)
2007 - 2009 (10)
Publication Type
Conference Presentation (52)
Back to top