{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:15:35Z","timestamp":1743124535354,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642206733"},{"type":"electronic","value":"9783642206740"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20674-0_5","type":"book-chapter","created":{"date-parts":[[2011,4,20]],"date-time":"2011-04-20T02:06:05Z","timestamp":1303265165000},"page":"69-84","source":"Crossref","is-referenced-by-count":3,"title":["Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction"],"prefix":"10.1007","author":[{"given":"Natasha","family":"Alechina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Logan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang Nga","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdur","family":"Rakib","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/b137449","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)"},{"key":"5_CR2","first-page":"896","volume-title":"Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004)","author":"R. Bordini","year":"2004","unstructured":"Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: State-space reduction techniques in agent verification. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 896\u2013903. ACM Press, New York (2004)"},{"key":"5_CR3","first-page":"945","volume-title":"Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI 2004)","author":"P. Adjiman","year":"2004","unstructured":"Adjiman, P., Chatalic, P., Goasdou\u00e9, F., Rousset, M.C., Simon, L.: Distributed reasoning in a peer-to-peer setting. In: L\u00f3pez de M\u00e1ntaras, R., Saitta, L. (eds.) Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, pp. 945\u2013946. IOS Press, Amsterdam (2004)"},{"key":"5_CR4","first-page":"1846","volume-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI 2007)","author":"J. Cla\u00dfen","year":"2007","unstructured":"Cla\u00dfen, J., Eyerich, P., Lakemeyer, G., Nebel, B.: Towards an integration of Golog and planning. In: Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI 2007), pp. 1846\u20131851. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"key":"5_CR5","first-page":"322","volume-title":"Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006)","author":"N. Alechina","year":"2006","unstructured":"Alechina, N., Jago, M., Logan, B.: Modal logics for communicating rule-based agents. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 322\u2013326. IOS Press, Amsterdam (2006)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","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, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"key":"5_CR7","unstructured":"Hirtle, D., Boley, H., Grosof, B., Kifer, M., Sintek, M., Tabet, S., Wagner, G.: Schema Specification of RuleML 0.91 (2006), \n                  \n                    http:\/\/ruleml.org\/0.91\/"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Clavel, M., Eker, S., Lincoln, P., Meseguer, J.: Principles of maude. Electr. Notes Theor. Comput. Sci.\u00a04 (1996)","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00431-5_1","volume-title":"Model Checking and Artificial Intelligence","author":"N. Alechina","year":"2009","unstructured":"Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying time and communication costs of rule-based reasoners. In: Peled, D., Wooldridge, M. (eds.) MoChArt 2008. LNCS, vol.\u00a05348, pp. 1\u201314. Springer, Heidelberg (2009)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: On-the-fly model checking. ACM Computing Surveys 28(4) (1996)","DOI":"10.1145\/242224.242379"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: Proceedings of the 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 342\u2013354 (1992)","DOI":"10.1145\/143165.143235"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th Annual ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"5_CR13","unstructured":"Culbert., C.: CLIPS reference manual. NASA (2007)"},{"key":"5_CR14","unstructured":"Friedman-Hill., E.J.: Jess, The Rule Engine for the Java Platform. Sandia National Laboratories (2008)"},{"key":"5_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-2471-1","volume-title":"Knowledge-Base System Diagnosis, Supervision and Control","author":"S. Tzafestas","year":"1989","unstructured":"Tzafestas, S., Ata-Doss, S., Papakonstantinou, G.: Knowledge-Base System Diagnosis, Supervision and Control. Plenum Press, New York (1989)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1109\/CAIA.1995.378822","volume-title":"Proceedings of the 11th Conference on Artificial Intelligence for Applications","author":"J.R. Chen","year":"1995","unstructured":"Chen, J.R., Cheng, A.M.K.: Predicting the response time of OPS5-style production systems. In: Proceedings of the 11th Conference on Artificial Intelligence for Applications, p. 203. IEEE Computer Society, Los Alamitos (1995)"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1109\/TKDE.2004.1269603","volume":"16","author":"A.M.K. Cheng","year":"2004","unstructured":"Cheng, A.M.K., yen Tsai, H.: A graph-based approach for timing analysis and refinement of OPS5 knowledge-based systems. IEEE Transactions on Knowledge and Data Engineering\u00a016(2), 271\u2013288 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Brodsky, A., Sagiv, Y.: On termination of Datalog programs. In: International Conference on Deductive and Object-Oriented Databases (DOOD), pp. 47\u201364 (1989)","DOI":"10.1016\/B978-0-444-88433-6.50011-3"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-12592-8_14","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Alpuente","year":"2010","unstructured":"Alpuente, M., Feliu, M.A., Joubert, C., Villanueva, A.: Defining datalog in rewriting logic. In: De Schreye, D. (ed.) LOPSTR 2009. LNCS, vol.\u00a06037, pp. 188\u2013204. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Model Checking and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20674-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:27:28Z","timestamp":1558571248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20674-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642206733","9783642206740"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20674-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}