Projects
Probabilistic Logic Learning. KU Leuven
Higher-order quantification in a deontic logic for group obligations. University of Antwerp
Teaching Aristotle's Logic at Leuven University (1425-1797). Continuity and Innovation in the Student Notebooks and its European context. KU Leuven
A main and unique, yet entirely neglected source for an in-depth and comparative approach for studying the history of the teaching of Aristotle's logic at Leuven University during the Late Middle Ages and Early Modern Period is the large collection of manuscripts containing notes taken by students during their lecture courses. These student notebooks, dating from 1425 up to 1789 and all written in Latin, represent an unparalleled source of ...
Development of magnetic domain wall based logic and memory concepts Ghent University
A ferromagnetic material consists of several uniformly magnetised regions, which are called magnetic domains and are separated by magnetic domain walls (DWs). The magnetisation inside these magnetic domains has a fixed orientation, which makes ferromagnetism attractive for data storage applications. Indeed, this orientation of the magnetisation can be used to store data and the stored data can be retained without the need for an ...
Applications of probabilistic logic KU Leuven
Applications (e.g. in the domain of bio-informatics) of probabilistic logic are investigated.
2D transition metal dichalcogenides for beyond silicon logic devices: improving the Metal/MoS2 interface through molecular doping. KU Leuven
2D materials have demonstrated enormous potential for a great number of applications such as sensors, spintronic, superconductors, and (photo)electronic devices. From these 2D materials, semiconducting transition metal dichalcogenides (MX2) are of special interest for electronic logic devices such as Field Effect Transistors (FETs), given their interesting properties such as ultra-thin bodies and high electronic band gap that could enable ...
Process control of batch and continious flow wastewater treatment processes for nutrient and carbon removal by the use of respirometry and fuzzy logic control strategies. University of Antwerp
Concept Modelling in Fuzzy logic Ghent University
The goal of this research is to realistically integrate conceptual information in concrete fuzzy logics. This type of integration allows us to model several aspects of our everyday reasoning which until now have shown to be very difficult to simulate (e.g. conceptual combinations, metaphors, defaults, etc.)
Proof systems for first-order logic extended with inductive definitions KU Leuven
Inductive definitions are commonly used in the fields of mathematics and computer science. They define objects by specifying rules on how to construct them, e.g. the set natural numbers is constructed by starting from the empty set, adding the number 0, and adding the successor s(n) for each number n in the set. In general, inductive definitions cannot be expressed in classical first-order logic FO. Therefore, a system named FO(ID) has been ...