Publicaties
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories Vrije Universiteit Brussel
Answer set programming (ASP) is a well-established knowledge representation formalism. Most ASP solvers are based on (extensions of) technology from Boolean satisfiability solving. While these solvers have shown to be very succeßful in many practical applications, their strength is limited by their underlying proof system, resolution. In this paper, we present a new tool LP2PB that translates ASP programs into pseudo-Boolean theories, for ...
Instruction set limitation in support of software diversity Universiteit Gent
Minimising farm crop protection pressure supported by the multiple functionalities of the DISCUSS indicator set Universiteit Antwerpen Universiteit Gent
A Multi-Touch 3D Set Modeler for Drama Production Universiteit Hasselt
A computational model to assess the impact of a set of policy measures on road safety at the regional level Universiteit Hasselt
A feasibility study of implementing a patient-centered outcome set for pregnancy and childbirth KU Leuven
Sketched Answer Set Programming KU Leuven
Fast Pareto set generation for nonlinear optimal control problems with multiple objectives KU Leuven
Discovery of an expended set of avian leukosis subroup E proviruses in chickens using Vermillion, a novel sequence capture and analysis pipeline Instituut voor Tropische Geneeskunde
Transposable elements (TEs), such as endogenous retroviruses (ERVs), are common in the genomes of vertebrates. ERVs result from retroviral infections of germ-line cells, and once integrated into host DNA they become part of the host's heritable genetic material. ERVs have been ascribed positive effects on host physiology such as the generation of novel, adaptive genetic variation and resistance to infection, as well as negative effects as ...