1581 search results - page 57 / 317 » Mechanizing Inductive Reasoning |
127
Voted
SPLC
2007
15 years 3 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
115
Voted
ICTAI
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we describe the n-dimensional projective approach as a hierarchical and modular architecture with a processing mechanism that underlies both spatial backtracking an...
130
Voted
GPEM
2002
15 years 2 months ago
2002
A representation-less model for genetic programming is presented. The model is intended to examine the mechanisms that lead to bloat in genetic programming (GP). We discuss two hyp...
119
Voted
IJCAI
1989
15 years 3 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...
129
Voted
JMLR
2008
15 years 2 months ago
2008
A number of today's state-of-the-art planners are based on forward state-space search. The impressive performance can be attributed to progress in computing domain independen...