{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:24:50Z","timestamp":1743006290242,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031711510"},{"type":"electronic","value":"9783031711527"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71152-7_10","type":"book-chapter","created":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T06:03:19Z","timestamp":1729749799000},"page":"156-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing Confidence of\u00a0the\u00a0vGOAL Interpreter Using SAT Solving"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9565-1559","authenticated-orcid":false,"given":"Yi","family":"Yang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1304-3467","authenticated-orcid":false,"given":"Tom","family":"Holvoet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,16]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 409\u2013416 (2003)","DOI":"10.1145\/860575.860641"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in AgentSpeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143\u2013164. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11750734_9"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"16","DOI":"10.3390\/computers10020016","volume":"10","author":"RC Cardoso","year":"2021","unstructured":"Cardoso, R.C., Ferrando, A.: A review of agent-based programming for multi-agent systems. Computers 10(2), 16 (2021)","journal-title":"Computers"},{"key":"10_CR4","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: a BDI language for verifiable agents. In: Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 16\u201323. Citeseer (2008)"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Gong, W., Zhou, X.: A survey of sat solver. In: AIP Conference Proceedings. vol.\u00a01836. AIP Publishing (2017)","DOI":"10.1063\/1.4981999"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-0-387-89299-3_4","volume-title":"Multi-Agent Programming","author":"KV Hindriks","year":"2009","unstructured":"Hindriks, K.V.: Programming rational agents in GOAL. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.) Multi-Agent Programming, pp. 119\u2013157. Springer, Boston, MA (2009). https:\/\/doi.org\/10.1007\/978-0-387-89299-3_4"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Ignatiev, A., Morgado, A., Marques-Silva, J.: PySAT: a python toolkit for prototyping with SAT oracles. In: SAT, pp. 428\u2013437 (2018)","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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-STQ 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 2010. LNCS (LNAI), vol. 6245, pp. 219\u2013237. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14977-1_17"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.: Practical applications of Boolean satisfiability. In: 2008 9th International Workshop on Discrete Event Systems, pp. 74\u201380. IEEE (2008)","DOI":"10.1109\/WODES.2008.4605925"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient sat solver. In: Proceedings of the 38th Annual Design Automation Conference, pp. 530\u2013535 (2001)","DOI":"10.1145\/378239.379017"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51\u201392 (1993)","journal-title":"Artif. Intell."},{"key":"10_CR13","unstructured":"Weiss, G.: Multiagent Systems. The MIT Press, Cambridge (2013)"},{"key":"10_CR14","unstructured":"Yang, Y.: Supplementary Documents (2024). https:\/\/drive.google.com\/drive\/folders\/16xXEqjg41GWF2zMeR2phpqCuiCKo8m5L?usp=share_link"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Yang, Y., Holvoet, T.: Making model checking feasible for goal. Ann. Math. Artif. Intell. 92(4), 1\u201317 (2023)","DOI":"10.1007\/s10472-023-09898-3"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Yang, Y., Holvoet, T.: Safe autonomous decision-making with vGOAL. In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection. Guimar\u00e3es, Portugal (2023)","DOI":"10.1007\/978-3-031-37616-0_32"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Yang, Y., Holvoet, T.: vGOAL: A GOAL-based specification language for safe autonomous decision-making. In: Ciortea, A., Dastani, M., Luo, J. (eds.) Engineering Multi-Agent Systems. EMAS 2023. LNCS(), vol. 14378. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-48539-8_3","DOI":"10.1007\/978-3-031-48539-8_3"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71152-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T06:04:54Z","timestamp":1729749894000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71152-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711510","9783031711527"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71152-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"16 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Auckland","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New Zealand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 May 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/emas.in.tu-clausthal.de\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}