Sciweavers

5378 search results - page 162 / 1076
» Base Logics in Argumentation
Sort
View
MICAI
2007
Springer
16 years 12 days ago
On Reachability of Minimal Models of Multilattice-Based Logic Programs
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
OTM
2007
Springer
16 years 12 days ago
Approaches to Inconsistency Handling in Description-Logic Based Ontologies
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
David A. Bell, Guilin Qi, Weiru Liu
172
Voted
SEMWEB
2007
Springer
16 years 11 days ago
Measuring Incoherence in Description Logic-Based Ontologies
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
Guilin Qi, Anthony Hunter
AUSAI
2004
Springer
15 years 11 months ago
A Logic Based Approach for Dynamic Access Control
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
Vino Fernando Crescini, Yan Zhang
TFS
2010
130views Education» more  TFS 2010»
15 years 29 days ago
Toward General Type-2 Fuzzy Logic Systems Based on zSlices
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...
Christian Wagner, Hani Hagras