1943 search results - page 318 / 389 » Ordering Default Theories |
128
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
123
click to vote
CSL
2009
Springer
15 years 4 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
148
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
The traditional GA theory is pillared on the Building Block Hypothesis (BBH) which states that Genetic Algorithms (GAs) work by discovering, emphasizing and recombining low order ...
109
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we study how argumentation can be used as a basis for negotiation between autonomous agents, where negotiation strategies of the different parties are represented a...
139
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we embed evolutionary computation into statistical learning theory. First, we outline the connection between large margin optimization and statistical learning and s...