4555 search results - page 2 / 911 » Deductive Algorithmic Knowledge |
AGENTS
1998
Springer
14 years 1 days ago
1998
Springer
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...
JAPLL
2006
13 years 7 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
This article explores the utility of neural network ensembles in knowledge discovery and integration. A novel neural network ensemble model KBNNE (Knowledge-Based Neural Network E...
IPPS
2000
IEEE
14 years 5 days ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
IJCAI
2003
13 years 9 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...