569 search results - page 14 / 114 » High Performance Reasoning with Very Large Knowledge Bases |
HIS
2004
14 years 11 months ago
2004
Boosting is a general method for improving the accuracy of a learning algorithm. AdaBoost, short form for Adaptive Boosting method, consists of repeated use of a weak or a base le...
112
click to vote
MLMTA
2003
14 years 11 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...
AIL
2004
14 years 9 months ago
2004
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...
100
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
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 ...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...