2 papers
cs.AI2026
Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
Cas Proost, Pieter Bonte
More and more, data is being produced in a streaming fashion. This has led to increased interest into how actionable insights can be extracted in real time from data streams throug…
math.AG2024
Toric degenerations and Newton-Okounkov bodies
Cas Proost
In recent times, a wide variety of combinatorics has been introduced in order to solve problems from algebraic geometry. Newton-Okounkov bodies and tropical geometry are two such c…