Swarming with logic.

Robert L. Stewart Michael Kirley

Published in: GECCO (2007)

Keyphrases

multi valued
automated reasoning
databases
sound and complete axiomatization
modal logic
logic programming
swarm intelligence
data mining
real world
classical logic
set theory
digital circuits
predicate logic
formal theory
linear logic
logic synthesis
intuitionistic logic
data sets