3353 search results - page 177 / 671 » Laver and set theory |
192
click to vote
LPNMR
1993
Springer
15 years 10 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
180
click to vote
ICIC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...
147
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
We discuss a theory for a realistic, applicable scaled genetic algorithm (GA) which converges asymptoticly to global optima in a coevolutionary setting involving two species. It is...
171
click to vote
GD
2009
Springer
15 years 9 months ago
2009
Springer
We show that recognizing intersection graphs of convex sets has the same complexity as deciding truth in the existential theory of the reals. Comparing this to similar results on t...
147
click to vote
ACS
2010
15 years 6 months ago
2010
For a quantale V, first a closure-theoretic approach to completeness and separation in V-categories is presented. This approach is then generalized to T-categories, where T is a to...