{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:48:19Z","timestamp":1742917699294,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":10,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819722990"},{"type":"electronic","value":"9789819723003"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-97-2300-3_9","type":"book-chapter","created":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T07:02:09Z","timestamp":1715842929000},"page":"151-164","source":"Crossref","is-referenced-by-count":0,"title":["Grants4Companies: Applying Declarative Methods for\u00a0Recommending and\u00a0Reasoning About Business Grants in\u00a0the\u00a0Austrian Public\u00a0Administration (System Description)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5335-1838","authenticated-orcid":false,"given":"Bj\u00f6rn","family":"Lellmann","sequence":"first","affiliation":[]},{"given":"Philipp","family":"Marek","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Triska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Beckert, B., Posegga, J.: Logic programming as a basis for lean automated deduction. J. Log. Program. 28(3), 231\u2013236 (1996). https:\/\/doi.org\/10.1016\/0743-1066(96)00054-4. https:\/\/www.sciencedirect.com\/science\/article\/pii\/0743106696000544","DOI":"10.1016\/0743-1066(96)00054-4"},{"key":"9_CR2","unstructured":"Belzer, J., Holzman, A., Kent, A.: Encyclopedia of Computer Science and Technology: Volume 10 - Linear and Matrix Algebra to Microorganisms: Computer-Assisted Identification. Taylor & Francis (1978)"},{"key":"9_CR3","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"issue":"2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D Knuth","year":"1984","unstructured":"Knuth, D.: Literate programming. Comput. J. 27(2), 97\u2013111 (1984)","journal-title":"Comput. J."},{"key":"9_CR5","doi-asserted-by":"publisher","unstructured":"Kov\u00e1cs, A., G\u00e9mes, K., Ikl\u00f3di, E., Recski, G.: Potato: explainable information extraction framework. In: Proceedings of the 31st ACM International Conference on Information & Knowledge Management, CIKM 2022, pp. 4897-4901. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3511808.3557196","DOI":"10.1145\/3511808.3557196"},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.clsr.2022.105772","volume":"48","author":"A Mowbray","year":"2023","unstructured":"Mowbray, A., Chung, P., Greenleaf, G.: Representing legislative rules as code: reducing the problems of \u2018scaling up\u2019. Comput. Law Secur. Rev. 48, 105772 (2023)","journal-title":"Comput. Law Secur. Rev."},{"key":"9_CR7","unstructured":"Multlog: Analytic proof systems for strong Kleene logic $${K}_3$$ (2022). pdf generated by MULTLOG, v.1.16a. https:\/\/logic.at\/multlog. https:\/\/logic.at\/multlog\/kleene.pdf"},{"key":"9_CR8","unstructured":"Recski, G., Lellmann, B., Kov\u00e1cs, A., Hanbury, A.: Explainable rule extraction via semantic graphs. In: ASAIL\u00a02021. CEUR Workshop Proceedings, pp. 24\u201335 (2021)"},{"key":"9_CR9","series-title":"Cambridge Tracts In Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory. Cambridge Tracts In Theoretical Computer Science, vol. 43, 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"},{"key":"9_CR10","unstructured":"European Union: Regulation (EU) 2016\/679 of the European parliament and of the council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing directive 95\/46\/EC (general data protection regulation). OJL (2016)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-97-2300-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T07:02:50Z","timestamp":1715842970000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-97-2300-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819722990","9789819723003"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-981-97-2300-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]}}}