Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Larsen, Ken Friis"'
Autor:
Sporring, Jon, Larsen, Ken Friis
AI-supported programming has taken giant leaps with tools such as Meta's Llama and openAI's chatGPT. These are examples of stochastic sources of programs and have already greatly influenced how we produce code and teach programming. If we consider in
Externí odkaz:
http://arxiv.org/abs/2407.04854
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Journal of Logic and Algebraic Programming May-June 2009 78(5):381-401
Publikováno v:
Sudzina, F, Nielsen, M I, Simonsen, J G & Larsen, K F 2008, ' Classifying VAT Legislation for Automation ', Paper presented at Workshop on 3rd Generation Enterprise Resource Planning Systems, Copenhagen, Denmark, 17/11/2008-18/11/2008 .
The paper offers a framework for partitioning articles in legal documents pertaining to value added tax (VAT) into categories suitable for subsequent integration in computerized systems for automatically deriving VAT rates. The importance of an enter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2751::13174c5f47fdda49ef65cf1dd70a168f
https://curis.ku.dk/ws/files/15432576/sudzina-nielsen-simonsen-larsen.pdf
https://curis.ku.dk/ws/files/15432576/sudzina-nielsen-simonsen-larsen.pdf
Publikováno v:
Nielsen, M I, Simonsen, J G & Larsen, K F 2008, ' Requirements for Logical Models for Value-Added Tax Legislation ', Paper presented at International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Doha, Qatar, 23/11/2008-27/11/2008 .
Enterprise resource planning (ERP) systems are ubiquitous in commercial enterprises of all sizes and invariably need to account for the notion of value-added tax (VAT). The legal and technical difficulties in handling VAT are exacerbated by spanning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2751::7fbfbd27a6b8f736aca5dc95cfb269e9
https://curis.ku.dk/portal/da/publications/requirements-for-logical-models-for-valueadded-tax-legislation(01579a80-cdc6-11dd-9473-000ea68e967b).html
https://curis.ku.dk/portal/da/publications/requirements-for-logical-models-for-valueadded-tax-legislation(01579a80-cdc6-11dd-9473-000ea68e967b).html
Publikováno v:
Nielsen, M I, Simonsen, J G & Larsen, K F 2007, ' Tutorial on Modeling VAT Rules Using OWL-DL ', Paper presented at Workshop on 3rd Generation Enterprise Resource Planning Systems, Copenhagen, Denmark, 21/10/2007-22/10/2007 .
This paper reports on work in progress. We present a methodology for constructingan OWL-DL model of a subset of Danish VAT rules. It is our intention that domainexperts without training in formal modeling or computer science should be able to createa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2751::c51aee0c71b1c0def28f09be7b5247e8
https://curis.ku.dk/portal/da/publications/tutorial-on-modeling-vat-rules-using-owldl(1d2d4600-c48e-11de-bda0-000ea68e967b).html
https://curis.ku.dk/portal/da/publications/tutorial-on-modeling-vat-rules-using-owldl(1d2d4600-c48e-11de-bda0-000ea68e967b).html
Publikováno v:
Proceedings of the 22nd ACM International Conference Conference on Information & Knowledge Management; 10/27/2013, p2249-2254, 6p
Autor:
Berthold, Jost, Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens, Vinter, Brian
Publikováno v:
Trends in Functional Programming; 2012, p98-113, 16p
Autor:
Henglein, Fritz, Larsen, Ken Friis
Publikováno v:
Proceedings of the 6th ACM SIGPLAN Workshop: Generic Programming; 9/26/2010, p49-60, 12p