{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T20:10:01Z","timestamp":1739218201376,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024535"},{"type":"electronic","value":"9783642024542"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02454-2_72","type":"book-chapter","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T14:27:44Z","timestamp":1246976864000},"page":"924-936","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Agents\u2019 Knowledge in Collective Evolutionary Systems"],"prefix":"10.1007","author":[{"given":"Rajdeep","family":"Niyogi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Milani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"72_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of 38th IEEE Symposium on Foundations of Computer Science (1997)","DOI":"10.1109\/SFCS.1997.646098"},{"key":"72_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: Mocha: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, Springer, Heidelberg (1998)"},{"key":"72_CR3","doi-asserted-by":"crossref","unstructured":"Balasubramaniyan, J.S., Garcia-Fernandez, J.: An architecture for intrusion detection using autonomous agents. In: Proceedings of Fourteenth Annual Computer Security Applications Conference (1998)","DOI":"10.1109\/CSAC.1998.738563"},{"issue":"2","key":"72_CR4","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions of Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions of Programming Languages and Systems"},{"key":"72_CR5","volume-title":"Proceedings of the 1st Workshop on Online Social Networks (WOSN 2008)","author":"M. Cha","year":"2008","unstructured":"Cha, M., Mislove, A., Adams, B., Gummadi, K.P.: Characterizing social cascades in flickr. In: Proceedings of the 1st Workshop on Online Social Networks (WOSN 2008), Seattle, ACM Press, New York (2008)"},{"key":"72_CR6","unstructured":"Durfee, E.: Distributed problem solving and planning. In: Weiss, G. (ed.) Multiagent systems: A modern approach to distributed artificial intelligence (1999)"},{"key":"72_CR7","doi-asserted-by":"crossref","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic based agent communication protocol. LNCS (LNAI), pp. 91\u2013107 (2004)","DOI":"10.1007\/978-3-540-24608-4_6"},{"key":"72_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"72_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-45116-1_7","volume-title":"Information Assurance in Computer Networks. Methods, Models and Architectures for Network Security","author":"V.I. Gorodetski","year":"2001","unstructured":"Gorodetski, V.I., Karsayev, O., Khabalov, A., Kotenko, I., Popyack, L.J., Skormin, V.A.: Agent-based model of computer network security system: A case study. In: Gorodetski, V.I., Skormin, V.A., Popyack, L.J. (eds.) MMM-ACNS 2001. LNCS, vol.\u00a02052, p. 39. Springer, Heidelberg (2001)"},{"key":"72_CR10","unstructured":"Habra, N., Charlier, B.L., Mounji, A., Mathieu, I.: Expert system in intrusion detection: A case study. In: Proceedings of the 11th National Computer Security Conference, Baltimore, MD, pp. 74\u201381 (1988)"},{"key":"72_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/BFb0013912","volume-title":"Computer Security - ESORICS 92","author":"N. Habra","year":"1992","unstructured":"Habra, N., Charlier, B.L., Mounji, A., Mathieu, I.: Asax: Software architecture and rule-based language for universal audit trail analysis. In: Deswarte, Y., Quisquater, J.-J., Eizenberg, G. (eds.) ESORICS 1992. LNCS, vol.\u00a0648, pp. 435\u2013450. Springer, Heidelberg (1992)"},{"key":"72_CR12","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca, NJ (1962)"},{"key":"72_CR13","unstructured":"Iwen, M., Mali, A.: Automatic problem decomposition for distributed planning. In: Proceedings International Conference on Artificial Intelligence, pp. 411\u2013417 (2002)"},{"key":"72_CR14","doi-asserted-by":"crossref","unstructured":"Kussul, N., Shelestov, A., Sidorenko, A., Skakun, S., Veremeenko, Y.: Intelligent multi-agent information security system. In: Proceedings of IEEE International Workshop on Intelligent data acquisition and advanced computing systems: Technology and Application (2003)","DOI":"10.1109\/IDAACS.2003.1249530"},{"key":"72_CR15","doi-asserted-by":"crossref","unstructured":"Mislove, A., Marcon, M., Gummadi, K.P., Druschel, P., Bhattacharjee, B.: Measurement and analysis of online social networks. In: Proceedings of the 5th ACM\/USENIX Internet Measurement Conference (IMC 2007), San Diego, CA, ACM Press, New York (2007)","DOI":"10.1145\/1298306.1298311"},{"key":"72_CR16","doi-asserted-by":"publisher","DOI":"10.1142\/6152","volume-title":"Adaptation and Evolution in Collective Systems","author":"A. Namatame","year":"2006","unstructured":"Namatame, A.: Adaptation and Evolution in Collective Systems. World Scientific Publishers, Singapore (2006)"},{"issue":"2","key":"72_CR17","first-page":"62","volume":"3","author":"R. Niyogi","year":"2008","unstructured":"Niyogi, R.: A logic based framework for planning for mobile agents. International Journal on Intelligent Systems and Technologies\u00a03(2), 62\u201370 (2008)","journal-title":"International Journal on Intelligent Systems and Technologies"},{"key":"72_CR18","doi-asserted-by":"crossref","unstructured":"Oates, T., Prasad, M.V.N., Lesser, V.: Cooperative information gathering: a distributed problem solving approach. In: Proceedings Software Engineering, Special Issue on Agent-based Systems (1997)","DOI":"10.1049\/ip-sen:19971025"},{"key":"72_CR19","unstructured":"Singh, M.P.: Formalizing communication protocols for multiagent systems. In: IJCAI, pp. 1519\u20131524 (2007)"},{"key":"72_CR20","doi-asserted-by":"crossref","unstructured":"Smaha, S.E.: Haystack: an intrusion detection system. In: Proceedings of Aerospace Computer Security Applications Conference, pp. 37\u201344 (1988)","DOI":"10.1109\/ACSAC.1988.113412"},{"key":"72_CR21","unstructured":"Scerri, P., Vincent, R., Mailler, R.: Comparing three approaches to large scale coordination. In: Proceedings of the First Workshop on the Challenges in the Coordination of Large Scale Multi-agent Systems (2004)"},{"key":"72_CR22","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Roberts, M., Wooldridge, M.: Knowledge and social laws. In: Proceedings of AAMAS (2005)","DOI":"10.1145\/1082473.1082576"},{"key":"72_CR23","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Proceedings of AAMAS (2002)","DOI":"10.1145\/545056.545095"},{"key":"72_CR24","volume-title":"An Introduction to Multi-agent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multi-agent Systems. John Wiley and Sons, Chichester (2002)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02454-2_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T19:28:22Z","timestamp":1739215702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02454-2_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024535","9783642024542"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02454-2_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}