Sciweavers

93 search results - page 19 / 19
» Agent-based Problem Solving: The Ant Colonies Metaphor
Sort
View
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
13 years 11 months ago
ACOhg: dealing with huge graphs
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
Enrique Alba, J. Francisco Chicano
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
13 years 6 months ago
Searching for liveness property violations in concurrent systems with ACO
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
Enrique Alba, J. Francisco Chicano
CLIMA
2004
13 years 6 months ago
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
Andrea Bracciali, Paolo Torroni