{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:09:58Z","timestamp":1743131398025,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031352539"},{"type":"electronic","value":"9783031352546"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_22","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"271-276","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Symbium: Using Logic Programming to\u00a0Streamline Citizen-to-Government Interactions"],"prefix":"10.1007","author":[{"given":"Tristan","family":"Krueger","sequence":"first","affiliation":[]},{"given":"Abhijeet","family":"Mohapatra","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Genesereth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"22_CR1","unstructured":"Castenson, J.: Platform digitizes painful planning process to provide greater access to affordable housing. https:\/\/www.forbes.com\/sites\/jennifercastenson\/2022\/03\/21\/platform-digitizes-painful-planning-process-to-provide-greater-access-to-affordable-housing\/?sh=361fcaff171e (2022)"},{"key":"22_CR2","unstructured":"City of Oakland: average permit processing turnaround times. https:\/\/www.oaklandca.gov\/resources\/average-permit-processing-turnaround-times (2021)"},{"key":"22_CR3","unstructured":"Genesereth, M.R.: Dynamic logic programming. Tech. rep., Stanford University (2022). http:\/\/logicprogramming.stanford.edu\/miscellaneous\/dlp.html"},{"key":"22_CR4","unstructured":"Genesereth, M.R.: Dynamic logic programming. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS, Springer (2023)"},{"key":"22_CR5","doi-asserted-by":"publisher","unstructured":"Genesereth, M.R., Chaudhri, V.: Introduction to logic programming. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers (2020). https:\/\/doi.org\/10.2200\/S00966ED1V01Y201911AIM044","DOI":"10.2200\/S00966ED1V01Y201911AIM044"},{"key":"22_CR6","unstructured":"McManus, J.: Symbium: the permitter. https:\/\/www.builderonline.com\/recognition\/symbium_o (Nov 2019)"},{"key":"22_CR7","unstructured":"Rewiring-America: High-Efficiency Electric Home Rebate Act (HEEHRA). https:\/\/www.rewiringamerica.org\/policy\/high-efficiency-electric-home-rebate-act (2022)"},{"key":"22_CR8","doi-asserted-by":"publisher","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The british nationality act as a logic program. Commun. ACM 29(5), 370\u2013386 (1986). https:\/\/doi.org\/10.1145\/5689.5920","DOI":"10.1145\/5689.5920"},{"key":"22_CR9","unstructured":"Staff, N.: Symbium creates property info lookup portal for California. https:\/\/www.govtech.com\/biz\/symbium-creates-property-info-lookup-portal-for-california (2021)"},{"key":"22_CR10","unstructured":"Statista: Household Appliances - United States. https:\/\/www.statista.com\/outlook\/cmo\/household-appliances\/united-states (2021)"},{"key":"22_CR11","unstructured":"Strong, S.: Tech Innovator Symbium launches new property and Permit Information Portal. https:\/\/www.builderonline.com\/design\/technology\/tech-innovator-symbium-launches-new-property-and-permit-information-portal_o (2021)"},{"key":"22_CR12","unstructured":"Symbium: Symbium wins the ivory prize for housing affordability. https:\/\/symbium.com\/press\/symbium-wins-the-ivory-prize-for-housing-affordability (2020)"},{"key":"22_CR13","unstructured":"Symbium: Symbium CEO and co-founder Leila Banijamali honored with ABA LTRC. https:\/\/symbium.com\/press\/leila-banijamali-nominated-for-2021-women-of-legal-tech-award (2021)"},{"key":"22_CR14","unstructured":"Symbium: Symbium\u2019s vision of Government Relationship Management. https:\/\/symbium.com\/blog\/symbiums-vision-of-government-relationship-management (2021)"},{"key":"22_CR15","unstructured":"Symbium: How Complaw will revolutionize the public\u2019s experience of property data for cities and counties. https:\/\/symbium.com\/blog\/how-complaw-will-revolutionize-the-publics-experience-of-property-data-for-cities-and-counties (2022)"},{"key":"22_CR16","unstructured":"Symbium: Symbium is named a GovTech 100 company for the second consecutive year. https:\/\/symbium.com\/press\/symbium-is-named-a-2022-govtech-100-company-for-the-second-consecutive-year (2022)"},{"key":"22_CR17","unstructured":"Todorova, A.: Goodbye, Mail-In Rebates. https:\/\/www.wsj.com\/articles\/SB115663801471546598 (2006)"}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T23:11:26Z","timestamp":1687129886000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}