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 10 out of a total of 20 results.
(0.023 seconds)
Now showing items 1-10 of 20
1
2
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
A semantic perspective on belief change in a preferential non-monotonic framework
Casini, G
;
Ferme, E
;
Meyer, T
;
Varzinczak, I
(
AAAI
,
2018-10
)
Defeasible entailment: From rational closure to lexicographic closure and beyond
Casini, G
;
Meyer, T
;
Varzinczak, I
(
2018-10
)
Contraction core for horn belief change: preliminary report
Booth, R
;
Meyer, T
;
Varzinczak, I
;
Wassermann, R
(
2010-05
)
First steps in the computation of root justifications
Meyer, T
;
Moodley, K
;
Varzinczak, I
(
2010-08
)
Horn belief change: A contraction core
Booth, R
;
Meyer, T
;
Varzinczak, I
;
Wassermann, R
(
2010-08
)
A propositional typicality logic for extending rational consequence
Booth, R
;
Meyer, T
;
Varzinczak, I
(
King's College Publications
,
2013-08
)
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
)
Concept model semantics for DL preferential reasoning
Britz, K
;
Meyer, T
;
Varzinczak, I
(
Conference paper
,
2011-07
)
Preferential reasoning for modal logics
Britz, K
;
Meyer, T
;
Varzinczak, I
(
Elsevier
,
2011-11
)
Introducing defeasibility into OWL ontologies
Casini, G
;
Meyer, T
;
Moodley, K
;
Sattler, U
;
Varzinczak, I
(
Springer International Publishing
,
2015-10
)
Now showing items 1-10 of 20
1
2
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 (20)
Varzinczak, I (20)
Casini, G (8)
Booth, R (7)
Britz, K (5)
Moodley, K (5)
Wassermann, R (3)
Ferme, E (1)
Franconi, E (1)
Sattler, U (1)
Subject
Description logics (6)
Artificial intelligence (4)
Propositional Typicality Logic (4)
PTL (4)
Semantics (4)
Artificial Intelligence (3)
Defeasible reasoning (2)
Horn contraction (2)
Horn logic (2)
Modal logic (2)
... View More
Date Issued
2010 (4)
2011 (4)
2013 (4)
2012 (3)
2015 (3)
2018 (2)
Publication Type
Conference Presentation (17)
Article (2)
Book Chapter (1)
Back to top