4573 search results - page 625 / 915 » Automated Reasoning |
136
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper is concerned with generalization issues for a decision tree learner for structured data called Alkemy. Motivated by error bounds established in statistical lea...
131
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study predicate selection functions (also known as splitting rules) for structural decision trees and propose two improvements to existing schemes. The first is in cl...
134
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
108
click to vote
LACL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...
117
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...