BOF ZAP Logic, Proof theory Ghent University
A tenure track appointment grants one the privilege of focusing primarily on research for a period of 5 years, with a limited teaching load.
A tenure track appointment grants one the privilege of focusing primarily on research for a period of 5 years, with a limited teaching load.
In my PhD, I am studying the scalar properties of the logical space induced by generalized quantifiers expressing normativity (too few, too much), evaluation (many, few), proportionality (most, at least). This work is carried out within the formal framework of Bitstring semantics which offers a systematic account of the underlying structure induced by formulas of arbitrary fragments. I apply this formal framework to the study of the ...
A key open question of artificial intelligence is how to combine low-level perception and high-level reasoning. While deep learning excels at the former, probability theory and logic are the main frameworks for high-level reasoning. The goal of this project is to reconcile the low- and high-levels in artificial intelligence by tightly integrating deep learning with probabilistic and logical reasoning to yield a powerful framework for ...
In the rapidly evolving domain of artificial intelligence, large language models have shown significant progress in generating text for creative applications, including humor. However, they lack the controllability, efficiency and explainability which symbolic AI methods offer. In this thesis, we explore how symbolic and subsymbolic AI methods can be used, extended and integrated for applications in creative AI, particularly for Dutch humor, ...
As all other sciences rely on mathematics, I think of science as a building, with the ground floor being made up by mathematics. As we want to keep the building in good shape so it can grow in a creative, new and strong way, we need to take care of the foundations. Logic represents these foundations. It provides the framework for mathematics (consisting of the assumptions we work with) and general abstract tools for considering mathematical ...
Cell-state switching in cancer allows cells to transition from a proliferative to an invasive and drug-resistant phenotype. This plasticity plays an important role in cancer progression and tumour heterogeneity. We have made a striking observation that cancer cells of different origin can switch to a common survival state. During this epigenomic reprogramming, cancer cells re-activate genomic enhancers from specific regulatory programs, such ...
Probabilistic graphical models (PGMs) have been popular in artificial intelligence and machine learning since the late 80s. Today, they enable numerous applications in domains ranging from robotics to natural language processing and bio-informatics. However, PGMs essentially define a joint probability distribution of a fixed and finite set of variables, which severely limits their expressivity.
In the pursuit of a universal ...
This project on exploring the infinite is mainly devoted to the theoretical investigation of the recently discovered phenomenon of phase transitions in logic and combinatorics, and to applying these new methods to computer science and to long-standing open problems in mathematics. The goal of PTLC (Phase Transitions in Logic and Combinatorics) is to explore this new phenomenon and to apply the new methods to logic, computer science, and to ...
A key open question of artificial intelligence is how to combine low-level perception and high-level reasoning. While deep learning excels at the former, probability theory and logic are the main frameworks for high-level reasoning. The goal of this project is to reconcile the low- and high-levels in artificial intelligence by tightly integrating deep learning with probabilistic and logical reasoning to yield a powerful framework for ...