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
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 35 results.
(0.038 seconds)
Now showing items 21-30 of 35
Previous Page
1
2
3
4
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
Reachability modules for the description logic SRIQ
Nortje, R
;
Britz, K
;
Meyer, T
(
Springer Verlag
,
2013-12
)
General family of preferential belief removal operators
Booth, R
;
Meyer, T
;
Sombattheera, C
(
2009-07
)
Finding EL+ justifications using the Earley parsing algorithm
Nortje, R
;
Britz, K
;
Meyer, T
(
2009-12
)
Equilibria in social belief removal
Booth, R
;
Meyer, T
(
2008-09
)
Next steps in propositional horn contraction
Booth, R
;
Meyer, T
;
Varzinczak, IJ
(
2009-06
)
Technologies for conceptual modelling and intelligent query formulation
Alberts, R
;
Britz, K
;
Gerber, A
;
Halland, K
;
Meyer, T
;
Pretorius, L
(
CSIR
,
2008-11
)
General family of preferential belief removal operators - [Workshop on LORI-II]
Booth, R
;
Meyer, T
;
Sombattheera, C
(
Springer Berlin
,
2009-09
)
Equilibria in social belief removal [Journal article]
Booth, R
;
Meyer, T
(
Springer Verlag (Germany)
,
2010-08
)
Belief change
Booth, R
;
Meyer, T
(
Indian Council of Philosophical Research
,
2011-08
)
A normal form for hypergraph-based module extraction for SROIQ
Nortje, R
;
Britz, K
;
Meyer, T
(
Centre for Artificial Intelligence Research
,
2012-12
)
Now showing items 21-30 of 35
Previous Page
1
2
3
4
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
Discover
Author
Meyer, T (26)
Booth, R (17)
Varzinczak, I (7)
Britz, K (6)
Nortje, R (5)
Alberts, R (3)
Casini, G (3)
Gerber, A (3)
Sombattheera, C (3)
Wassermann, R (3)
... View More
Subject
Belief revision (6)
Belief removal (4)
Propositional Typicality Logic (4)
PTL (4)
Artificial intelligence (3)
Belief change (3)
Belief contraction (3)
Horn contraction (3)
Horn logic (3)
Ontologies (3)
... View More
Date Issued
2010 - 2018 (25)
2000 - 2009 (10)
Publication Type
Conference Presentation (23)
Article (8)
Book Chapter (3)
Book (1)
Back to top