{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:13Z","timestamp":1725670153116},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642291128"},{"type":"electronic","value":"9783642291135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29113-5_2","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T13:11:51Z","timestamp":1332421911000},"page":"3-15","source":"Crossref","is-referenced-by-count":1,"title":["Plan Indexing for State-Based Plans"],"prefix":"10.1007","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"JProfiler, \n                    \n                      http:\/\/www.ej-technologies.com\/products\/jprofiler\/overview.html"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE), L\u2019Aquila, Italy, pp. 69\u201378 (September 2008)","DOI":"10.1109\/ASE.2008.17"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23rd Int. Conf. Automated Software Engineering (ASE), pp. 69\u201378. IEEE CS Press (2008)","DOI":"10.1109\/ASE.2008.17"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/0-387-26350-0_1","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, ch. 1, pp. 3\u201337. Springer, Heidelberg (2005)"},{"issue":"2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A Verification Framework for Agent Programming with Declarative Goals. J. Applied Logic\u00a05(2), 277\u2013302 (2007)","journal-title":"J. Applied Logic"},{"key":"2_CR6","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: A BDI Language for Verifiable Agents. In: L\u00f6we, B. (ed.) AISB 2008 Workshop, Logic and the Simulation of Interaction and Reasoning, Aberdeen, AISB (2008)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019, 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-14843-9_3","volume-title":"Programming Multi-Agent Systems","author":"K.V. Hindriks","year":"2010","unstructured":"Hindriks, K.V., van Riemsdijk, M.B.: A Computational Semantics for Communicating Rational Agents Based on Mental Models. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS, vol.\u00a05919, pp. 31\u201348. Springer, Heidelberg (2010)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-14977-1_17","volume-title":"Computational Logic in Multi-Agent Systems","author":"S.-S.T.Q. Jongmans","year":"2010","unstructured":"Jongmans, S.-S.T.Q., Hindriks, K.V., van Riemsdijk, M.B.: Model Checking Agent Programs by Using the Program Interpreter. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI 2010. LNCS, vol.\u00a06245, pp. 219\u2013237. Springer, Heidelberg (2010)"},{"key":"2_CR10","unstructured":"Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS), San Francisco, USA, pp. 312\u2013319 (June 1995)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Sekar, R., Ramakrishnan, I.V., Voronkov, A.: Term Indexing. In: Handbook of Automated Reasoning, vol.\u00a02, pp. 1853\u20131964. North Holland (2001)","DOI":"10.1016\/B978-044450813-3\/50028-X"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29113-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:24:28Z","timestamp":1620113068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29113-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291128","9783642291135"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29113-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}