Categorical Mechanisms in Modelling Multiagent Systems

[1]S. Franklin, A. Graesser, “Is it an agent or just a program?” In: Proceedings of the 3rd International Workshop Agent Theories, Architectures, and Languages. Springer, New York (1996)Search in Google Scholar

[2]M. Wooldridge, “An Introduction to MultiAgent Systems”, 2nd Edition, John Wiley & Sons Ltd 2009.Search in Google Scholar

[3]Uwe Wolter, Zinovy Diskin, “The Next Hundred Diagrammatic Specification Techniques, A Gentle Introduction to Generalized Sketches”, 02 September 2015 : https://www.researchgate.net/publication /253963677.Search in Google Scholar

[4]Zinovy Diskin, “Tom Maibaum- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond”, ACCAT 2012Search in Google Scholar

[5]Michael Barr, Charles Wells, “Category Theory For Computing Science”, Reprints in Theory and Applications of Categories, No. 22, 2012.Search in Google Scholar

[6]Robin Milner, “The Space and Motion of Communicating Agents”, Cambridge University Press, 2009. ISBN 978-0-521-73833-0Search in Google Scholar

[7]Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann, “Graph and Model Transformation General Framework and Applications”, Springer-Verlag Berlin Heidelberg 2015Search in Google Scholar

[8]Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, “Kripke’s Worlds, An Introduction to Modal Logics via Tableaux”, Springer Basel AG 2014.Search in Google Scholar

[9]J. Luo, JJ. Meyer, M. Knobbout, “Reasoning About Opportunistic Propensity in Multi-agent Systems.” In: Sukthankar, G., Rodriguez-Aguilar, J. (eds) Autonomous Agents and Multiagent Systems. AAMAS 2017. Lecture Notes in Computer Science(), vol 10642. Springer, Cham. https://doi.org/10.1007/978-3-319-71682-4_13Search in Google Scholar

[10]G. Campbell, “Algebraic graph transformation: A crash course”, Department of Computer Science, University of York, UK, Tech. Rep., 2018. [Online]. Available: https://cdn.gjcampbell.co.uk/2018/Graph-Transformation.pdf.Search in Google Scholar

[11]G. Campbell, B. Courtehoute and D. Plump, “Linear-time graph algorithms in GP2”, Department of Computer Science, University of York, UK, Submitted for publication, 2019. [Online]. Available: https://cdn.gjcampbell.co.uk/2019/Linear-Time-GP2-Preprint.pdf.Search in Google Scholar

[12]David I. Spivak, “Category Theory for the Sciences”, The MIT Press Cambridge, Massachusetts London, England, 2014 Massachusetts Institute of TechnologySearch in Google Scholar

[13]J. Ferber, O. Gutknecht and F. Michel, „From Agents to Organizations: An Organizational View of Multi-Agent Systems”, In Proc. 4th International Workshop on Agent-Oriented Software Engineering (AOSE), volume 2935 of LNCS, pages 214–230. Springer, 2003.Search in Google Scholar

[14]Virginia Dignum, “Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models”, Information Science Reference, 2009 by IGI Global.Search in Google Scholar

[15]M. Huth, M. Ryan, “Logic in Computer Science, Modelling and Reasoning about Systems”, Published in the United States of America by Cambridge University Press, New York, 2004.Search in Google Scholar

[16]Y. Shoham, K. Leyton-Brown, “Multiagent systems_algorithmic, game-theoretic, and logical foundations” -Cambridge University Press, 2009.Search in Google Scholar

[17]Nino B. Cocchiarella and Max A. Freund, “Modal Logic, An Introduction to Its Syntax and Semantics”, Published by Oxford University Press, Inc. 2008Search in Google Scholar

[18]D.C. Crăciunean, D. Karagiannis, “A categorical model of process cosimulation”, Journal of Advanced Computer Science and Applications(IJACSA), 10(2), (2019).Search in Google Scholar

[19]D. Gabbay. “Reactive Kripke semantics”, In Proceedings of CompLog 2004, W. Carnielli, ed., pp. 7–20. Centre of Logic and Computation, University of Lisbon, 2004.Search in Google Scholar