Author:
Schaffer Jens,Weidenbach Maira
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. Alechina N, Dastani M, Khan F, Logan B, Meyer J (2010) Using theorem proving to verify properties of agent programs. Specification and Verification of Multi-agent Systems. Kapitel 1. Springer, New York, S 1–33
2. Antoniou G, Van Harmelen F (2004) A semantic web primer. MIT Press, Cambridge, MA
3. Bauernhansl T (2014) Die Vierte Industrielle Revolution – Der Weg in ein wertschaffendes Produktionsparadigma. Springer Fachmedien, Wiesbaden, S 5–35
4. Beekman M, Sword GA, Simpson SJ (2008) Biological foundations of swarm intelligence. Springer, Berlin/Heidelberg, S 3–41
5. Beigi A, Mozayani N (2016) Dialogue strategy for horizontal communication in MAS organization. Comput Math Organ Theory 22(2):161–183