Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Ingmar Dasseville"'
Autor:
Ingmar Dasseville, Gerda Janssens
Publikováno v:
Functional and Constraint Logic Programming ISBN: 9783030162016
WFLP
WFLP
In this paper we introduce the Functional Modelling System (FMS). The system introduces the Functional Modelling Language (FML), which is a modelling language for NP-complete search problems based on concepts of functional programming. Internally, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7487431a0f113371b996ddbdd1af14d2
https://doi.org/10.1007/978-3-030-16202-3_9
https://doi.org/10.1007/978-3-030-16202-3_9
Autor:
Ingmar Dasseville, Marc Denecker
Publikováno v:
Functional and Constraint Logic Programming ISBN: 9783030162016
WFLP
WFLP
Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::513b658f2baf31e58d4b7aade9d44ced
https://doi.org/10.1007/978-3-030-16202-3_1
https://doi.org/10.1007/978-3-030-16202-3_1
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783319282275
PADL
PADL
The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference. As such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15fa1481c235d702c73b093c962a6d45
https://lirias.kuleuven.be/handle/123456789/540887
https://lirias.kuleuven.be/handle/123456789/540887
Publikováno v:
IEEE 29th Computer Security Foundations Symposium (pp. 432-442). (2016).
CSF
CSF
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, chains of delegated accesses will form. There are different ways to treat these delegation chains when revoking rights, which give
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e247d4befd01e81a0571dd21a9cbb22
http://orbilu.uni.lu/handle/10993/30186
http://orbilu.uni.lu/handle/10993/30186
There is a growing need for abstractions in logic specification languages such as FO(.) and ASP. One technique to achieve these abstractions are templates (sometimes called macros). While the semantics of templates are virtually always described thro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3814ddbfab8c578e952263cc4a214e28
Publikováno v:
PPDP
Many state-of-the-art declarative systems use a ground-and-solve approach, where the problem statement, expressed in a high-level language, is first grounded into a low-level representation. Next, a solver is used to search a solution for the low-lev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7660f87a5643cd3a6e36159a5e27c0c
https://lirias.kuleuven.be/handle/123456789/459077
https://lirias.kuleuven.be/handle/123456789/459077
Autor:
DODARO, CARMINE, GASTEIGER, PHILIP, REALE, KRISTIAN, RICCA, FRANCESCO, SCHEKOTIHIN, KONSTANTIN, Schulz, Claudia, Ellmauthaler, Stefan
Publikováno v:
Theory & Practice of Logic Programming; Mar2019, Vol. 19 Issue 2, p290-316, 27p
Publikováno v:
Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings; 2016, p13-29, 17p
Publikováno v:
Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings; 2016, pI-IX, 9p
Autor:
ROCHA, RICARDO, SON, TRAN CAO
Publikováno v:
Theory & Practice of Logic Programming; Sep2017, Vol. 17 Issue 5/6, p684-688, 5p