SpringerLink
Log in

Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)

  • Conference paper
Functional and Logic Programming (FLOPS 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14659))

Included in the following conference series:

Abstract

We describe the methods and technologies underlying the application Grants4Companies. The application uses a logic-based expert system to display a list of business grants suitable for the logged-in business. To evaluate suitability of the grants, formal representations of their conditions are evaluated against properties of the business, taken from the registers of the Austrian public administration. The logical language for the representations of the grant conditions is based on S-expressions. We further describe a Proof of Concept implementation of reasoning over the formalised grant conditions. The proof of concept is implemented in Common Lisp and interfaces with a reasoning engine implemented in Scryer Prolog. The application has recently gone live and is provided as part of the Business Service Portal by the Austrian Federal Ministry of Finance.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The official Austrian portal for interaction between businesses and public administration. See https://www.usp.gv.at/en/ueber-das-usp/index.html.

  2. 2.

    The official Austrian data base containing (amongst other information) data about the available grants. See https://transparenzportal.gv.at.

  3. 3.

    Due to interoperability concerns with existing libraries.

  4. 4.

    See https://www.scryer.pl.

  5. 5.

    See https://play.scryer.pl.

  6. 6.

    See https://www.usp.gv.at/en/index.html.

  7. 7.

    See https://ec.europa.eu/eurostat/statistics-explained/index.php?title=Glossary:Statistical_classification_of_economic_activities_in_the_European_Community_(NACE).

  8. 8.

    See https://transparenzportal.gv.at/tdb/tp/startpage (in German).

  9. 9.

    The Österreichische Förderagentur für wirtschaftsnahe Forschung, Entwicklung und Innovation, in English Austrian Research Promotion Agency.

  10. 10.

    https://www.statistik.at/en/databases/classification-database.

  11. 11.

    See www.scryer.pl.

  12. 12.

    https://github.com/cl-model-languages/cl-prolog2.

References

  1. Beckert, B., Posegga, J.: Logic programming as a basis for lean automated deduction. J. Log. Program. 28(3), 231–236 (1996). https://doi.org/10.1016/0743-1066(96)00054-4. https://www.sciencedirect.com/science/article/pii/0743106696000544

  2. 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)

    Google Scholar 

  3. Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)

    Google Scholar 

  4. Knuth, D.: Literate programming. Comput. J. 27(2), 97–111 (1984)

    Article  Google Scholar 

  5. Kovács, A., Gémes, K., Iklódi, 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

  6. Mowbray, A., Chung, P., Greenleaf, G.: Representing legislative rules as code: reducing the problems of ‘scaling up’. Comput. Law Secur. Rev. 48, 105772 (2023)

    Article  Google Scholar 

  7. 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

  8. Recski, G., Lellmann, B., Kovács, A., Hanbury, A.: Explainable rule extraction via semantic graphs. In: ASAIL 2021. CEUR Workshop Proceedings, pp. 24–35 (2021)

    Google Scholar 

  9. Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory. Cambridge Tracts In Theoretical Computer Science, vol. 43, 2nd edn. Cambridge University Press, Cambridge (2000)

    Book  Google Scholar 

  10. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bundesministerium für Finanzen, Vienna, Austria

    Björn Lellmann & Markus Triska

  2. Bundesrechenzentrum GmbH, Vienna, Austria

    Philipp Marek

Authors
  1. Björn Lellmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philipp Marek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Markus Triska
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Björn Lellmann .

Editor information

Editors and Affiliations

  1. Department of Computer Science, Wolfson Building, Oxford University, Oxford, UK

    Jeremy Gibbons

  2. Campus de l’École Polytechnique, Inria Saclay, Palaiseau, France

    Dale Miller

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Cite this paper

Lellmann, B., Marek, P., Triska, M. (2024). Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description). In: Gibbons, J., Miller, D. (eds) Functional and Logic Programming. FLOPS 2024. Lecture Notes in Computer Science, vol 14659. Springer, Singapore. https://doi.org/10.1007/978-981-97-2300-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-981-97-2300-3_9

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-97-2299-0

  • Online ISBN: 978-981-97-2300-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation