{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:44:38Z","timestamp":1725525878222},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642004308"},{"type":"electronic","value":"9783642004315"}],"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-00431-5_1","type":"book-chapter","created":{"date-parts":[[2009,2,24]],"date-time":"2009-02-24T06:14:35Z","timestamp":1235456075000},"page":"1-14","source":"Crossref","is-referenced-by-count":5,"title":["Verifying Time and Communication Costs of Rule-Based Reasoners"],"prefix":"10.1007","author":[{"given":"Natasha","family":"Alechina","sequence":"first","affiliation":[]},{"given":"Brian","family":"Logan","sequence":"additional","affiliation":[]},{"given":"Nguyen Hoang","family":"Nga","sequence":"additional","affiliation":[]},{"given":"Abdur","family":"Rakib","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","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":"1_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.10.001","volume":"161","author":"B. Faltings","year":"2005","unstructured":"Faltings, B., Yokoo, M.: Introduction: Special issue on distributed constraint satisfaction. Artificial Intelligence\u00a0161, 1\u20135 (2005)","journal-title":"Artificial Intelligence"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11559221_42","volume-title":"Multi-Agent Systems and Applications IV","author":"H. Jung","year":"2005","unstructured":"Jung, H., Tambe, M.: On communication in solving distributed constraint satisfaction problems. In: P\u011bchou\u010dek, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS, vol.\u00a03690, pp. 418\u2013429. Springer, Heidelberg (2005)"},{"key":"1_CR4","first-page":"341","volume-title":"Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR 2002)","author":"G.M. Provan","year":"2002","unstructured":"Provan, G.M.: A model-based diagnosis framework for distributed embedded systems. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22-25, 2002, pp. 341\u2013352. Morgan Kaufmann, San Francisco (2002)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/j.artint.2006.03.003","volume":"170","author":"M. Wooldridge","year":"2006","unstructured":"Wooldridge, M., Dunne, P.E.: On the computational complexity of coalitional resource games. Artif. Intell.\u00a0170, 835\u2013871 (2006)","journal-title":"Artif. Intell."},{"key":"1_CR6","first-page":"945","volume-title":"Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 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: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, August 22-27, 2004, pp. 945\u2013946. IOS Press, Amsterdam (2004)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2004.11.004","volume":"162","author":"E. Amir","year":"2005","unstructured":"Amir, E., McIlraith, S.A.: Partition-based logical reasoning for first-order and propositional theories. Artificial Intelligence\u00a0162, 49\u201388 (2005)","journal-title":"Artificial Intelligence"},{"key":"1_CR8","first-page":"213","volume-title":"Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006)","author":"A. Albore","year":"2006","unstructured":"Albore, A., Alechina, N., Bertoli, P., Ghidini, C., Logan, B., Serafini, L.: Model-checking memory requirements of resource-bounded reasoners. In: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), pp. 213\u2013218. AAAI Press, Menlo Park (2006)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/1160633.1160667","volume-title":"Proceedings of the Fifth International Joint Conference on Aut onomous Agents and Multi-Agent Systems (AAMAS 2006)","author":"N. Alechina","year":"2006","unstructured":"Alechina, N., Bertoli, P., Ghidini, C., Jago, M., Logan, B., Serafini, L.: Verifying space and time requirements for resource-bounded age nts. In: Stone, P., Weiss, G. (eds.) Proceedings of the Fifth International Joint Conference on Aut onomous Agents and Multi-Agent Systems (AAMAS 2006), Hakodate, Japan, pp. 217\u2013219. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Alechina, N., Bertoli, P., Ghidini, C., Jago, M., Logan, B., Serafini, L.: Verifying space and time requirements for resource-bounded agents. In: Edelkamp, S., Lomuscio, A. (eds.) Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt 2006), pp. 16\u201330 (2006)","DOI":"10.1145\/1160633.1160667"},{"key":"1_CR11","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":"1_CR12","unstructured":"Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying time, memory and communication bounds in systems of reasoning agents. In: Padgham, Parkes, Muller, Parsons (eds.) Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal (May 2008)"},{"key":"1_CR13","first-page":"317","volume-title":"Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006)","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes, T., Alechina, N.: Knowing minimum\/maximum n formulae. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, pp. 317\u2013321. IOS Press, Amsterdam (2006)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T. \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., Alechina, N.: The dynamics of syntactic knowledge. Journal of Logic and Computation\u00a017, 83\u2013116 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M. Reynolds","year":"2001","unstructured":"Reynolds, M.: An axiomatization of full computation tree logic. J. Symb. Log.\u00a066, 1011\u20131057 (2001)","journal-title":"J. Symb. Log."},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11691372_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: Mcmas: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 450\u2013454. Springer, Heidelberg (2006)"}],"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-00431-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T14:44:42Z","timestamp":1551797082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00431-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642004308","9783642004315"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00431-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}