10 citations
3 papers
cs.AI2026
Logic Programming Semantics for Causal Processes
Felix Weitkämper
Motivated by challenging modelling issues in the life sciences, we investigate the relationship between logic programming semantics and the eventual states of causal processes comp…
math.LO2023
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
Vera Koponen, Felix Weitkämper
We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination…
cs.DL2017★ 10 cited
Content-Based Video Retrieval in Historical Collections of the German Broadcasting Archive
Markus Mühling, Manja Meister, Nikolaus Korfhage +4
The German Broadcasting Archive (DRA) maintains the cultural heritage of radio and television broadcasts of the former German Democratic Republic (GDR). The uniqueness and importan…