Sciweavers

1124 search results - page 95 / 225
» Generalized Conditioning in Neighbourhood Models
Sort
View
CADE
2007
Springer
14 years 9 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
ICPR
2008
IEEE
14 years 3 months ago
A least square kernel machine with box constraints
In this paper, we present a least square kernel machine with box constraints (LSKMBC). The existing least square machines assume Gaussian hyperpriors and subsequently express the ...
Jayanta Basak
COLT
2005
Springer
14 years 2 months ago
Ranking and Scoring Using Empirical Risk Minimization
A general model is proposed for studying ranking problems. We investigate learning methods based on empirical minimization of the natural estimates of the ranking risk. The empiric...
Stéphan Clémençon, Gáb...
ECSQARU
1999
Springer
14 years 1 months ago
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
Ofer Arieli, Arnon Avron
DLOG
2007
13 years 11 months ago
A Hypertableau Calculus for SHIQ
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
Boris Motik, Rob Shearer, Ian Horrocks