Výsledky vyhledávání - "Ingmar Dasseville"

FMS: Functional Programming as a Modelling Language

Autor: Ingmar Dasseville, Gerda Janssens

Publikováno v: Functional and Constraint Logic Programming ISBN: 9783030162016
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

Zobrazit plný text záznamu

Transpiling Programming Computable Functions to Answer Set Programs

Autor: Ingmar Dasseville, Marc Denecker

Publikováno v: Functional and Constraint Logic Programming ISBN: 9783030162016
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

Zobrazit plný text záznamu

The KB paradigm and its application to interactive configuration

Autor: Ingmar Dasseville, Gerda Janssens, Pieter Van Hertum, Marc Denecker

Publikováno v: Practical Aspects of Declarative Languages ISBN: 9783319282275
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

Zobrazit plný text záznamu

Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete

Autor: Marc Denecker, Ingmar Dasseville, Ruben Lapauw, Pieter Van Hertum, Marcos Cramer

Publikováno v: IEEE 29th Computer Security Foundations Symposium (pp. 432-442). (2016).
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

Zobrazit plný text záznamu

Semantics of templates in a compositional framework for building logics

Autor: Ingmar Dasseville, Marc Denecker, Gerda Janssens, Matthias van der Hallen

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

Zobrazit plný text záznamu

Experimental evaluation of a state-of-the-art grounder

Autor: Ingmar Dasseville, Gerda Janssens, Jo Devriendt, Joachim Jansen

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

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání