111 search results - page 15 / 23 » First Order Reasoning on a Large Ontology |
105
click to vote
CADE
2007
Springer
16 years 20 hour ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
106
Voted
ISRR
2005
Springer
15 years 5 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
108
click to vote
IJCSA
2006
14 years 11 months ago
2006
Artificial Neural Networks are universal and highly flexible function approximators first used in the fields of cognitive science and engineering. In recent years, Neural Networks...
BMCBI
2006
14 years 11 months ago
2006
Background: The development of high-throughput technologies has produced several large scale protein interaction data sets for multiple species, and significant efforts have been ...
116
click to vote
ESWA
2008
14 years 10 months ago
2008
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...