585 search results - page 9 / 117 » Strategy Logic |
112
Voted
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...
112
click to vote
RSFDGRC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
95
Voted
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
95
Voted
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...