8094 search results - page 309 / 1619 » Improvements in Formula Generalization |
128
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This research presents an analysis of the reported successes of the Cartesian Genetic Programming method on a simplified form of the Boolean parity problem. We show the method of...
126
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The interaction among variables of an optimization problem is known as epistasis, and its degree is an important measure for the nonlinearity of the problem. We address the proble...
166
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
139
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
130
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...