1128 search results - page 25 / 226 » Classical Natural Deduction |
ILP
2003
Springer
14 years 3 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Any given task can be solved in a number of ways, whether through path-planning, modeling, or control techniques. In this paper, we present a methodology for natural task decom...
ECIR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
NIPS
2003
13 years 11 months ago
2003
In this paper we present Discriminative Random Fields (DRF), a discriminative framework for the classification of natural image regions by incorporating neighborhood spatial depe...
SLOGICA
2008
13 years 9 months ago
2008
Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of t...