Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.

Serge Autexier Dominik Dietrich

Published in: MKM (2006)

Keyphrases

multi agent
proof planning
multi agent systems
intelligent agents
search algorithm
probability distribution
theorem proving
concept formation