Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jens Busch Articles by Wolfgang Banzhaf

Fourth International Conference on Multi-Agent Systems (ICMAS'00)

Boston, Massachusetts

July 10-July 12

ISBN: 0-7695-0625-9

	ASCII Text	x
	Jens Busch, Wolfgang Banzhaf, "Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving," Multi-Agent Systems, International Conference on, pp. 0371, Fourth International Conference on Multi-Agent Systems (ICMAS'00), 2000.

	BibTex	x
	@article{ 10.1109/ICMAS.2000.858480, author = {Jens Busch and Wolfgang Banzhaf}, title = {Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving}, journal ={Multi-Agent Systems, International Conference on}, volume = {0}, year = {2000}, isbn = {0-7695-0625-9}, pages = {0371}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858480}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multi-Agent Systems, International Conference on TI - Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving SN - 0-7695-0625-9 SP EP A1 - Jens Busch, A1 - Wolfgang Banzhaf, PY - 2000 VL - 0 JA - Multi-Agent Systems, International Conference on ER -

Jens Busch, University of Dortmund

Wolfgang Banzhaf, University of Dortmund

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858480

We investigate a new architecture for multi-agent systems inspired by artificial chemistries. In this model, a huge number of autonomous entities interact in parallel. The system is demonstrated with an automated theorem prover. Our results show that it is advantageous to set up a problem as a multi-agent system based on artificial chemistries.

Citation:

Jens Busch, Wolfgang Banzhaf, "Multi-Agent Systems Inspired by Artificial Chemistries: A Case Study in Automated Theorem Proving," icmas, pp.0371, Fourth International Conference on Multi-Agent Systems (ICMAS'00), 2000

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.