Publications
Chosen filters:
Chosen filters:
Partial genomic structure, mutation analysis and mapping of the porcine inhibitor of DNA binding genes ID1, ID2, ID3 and ID4 Ghent University
A web-based IDE for IDP KU Leuven
IDP is a knowledge base system based on first order logic. It is finding its way to a larger public but is still facing practical challenges. Adoption of new languages requires a newcomer-friendly way for users to interact with it. Both an online presence to try to convince potential users to download the system and offline availability to develop larger applications are essential. We developed an IDE which can serve both purposes through the ...
DNA methylation regulates the expression of the negative transcriptional regulators ID2 and ID4 during OPC differentiation Hasselt University
The differentiation of oligodendrocyte precursor cells (OPCs) into myelinating oligodendrocytes is the prerequisite for remyelination in demyelinated disorders such as multiple sclerosis (MS). Epigenetic mechanisms, such as DNA methylation, have been suggested to control the intricate network of transcription factors involved in OPC differentiation. Yet, the exact mechanism remains undisclosed. Here, we are the first to identify the DNA-binding ...
DNA methylation regulates the expression of the negative transcriptional regulators ID2 and ID4 during OPC differentiation. Hasselt University
* Equal contribution The differentiation of oligodendrocyte precursor cells (OPCs) into myelinating oligodendrocytes is a well-established process, coordinated by an intricate network of transcriptional regulators. Epigenetic mechanisms, such as DNA methylation, have been suggested to control this network. The exact mechanism by which DNA methylation influences the myelin regulatory pathway during OPC differentiation remains poorly elucidated ...
Age models along the Eirik Drift: New insights from IODP Expedition 395 and revisiting ODP Legs 105 and 151 Vrije Universiteit Brussel
Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System KU Leuven
The area of Knowledge Representation and Reasoning, a subfield of Artificial Intelligence, studies how knowledge can be represented and how it can be used for automated reasoning. Several declarative programming paradigms implement this by developing a formal language to symbolically represent knowledge, as well as an associated form of inference to achieve the desired solution. Recently, the Knowledge Base System (KBS) paradigm has been ...
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System KU Leuven
© Springer International Publishing AG 2017. Programmers may be hesitant to use declarative systems, because of the associated learning curve. In this paper, we present an API that integrates the IDP Knowledge Base system into the Python programming language. IDP is a state-of-the-art logical system, which uses SAT, SMT, Logic Programming and Answer Set Programming technology. Python is currently one of the most widely used (teaching) languages ...
Bootstrapping inference in the IDP Knowledge Base System KU Leuven
© 2016, Ohmsha and Springer Japan. Declarative systems aim at solving tasks by running inference engines on a specification, to free their users from having to specify how a task should be tackled. In order to provide such functionality, declarative systems themselves apply complex reasoning techniques, and, as a consequence, the development of such systems can be laborious work. In this paper, we demonstrate that the declarative approach can be ...
Lowering the learning curve for declarative programming: a Python API for the IDP system KU Leuven
Programmers may be hesitant to use declarative systems, because of the associated learning curve. In this paper, we present an API that integrates the IDP Knowledge Base system into the Python programming language. IDP is a state-of-the-art logical system, which uses SAT, SMT, Logic Programming and Answer Set Programming tech- nology. Python is currently one of the most widely used (teaching) lan- guages for programming. The first goal of our ...