activity
20132026
most citedA Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

32 citations · 37 across the 5 of their papers we have counts for

collaborators

5 papers

cs.LG2026

Explaining, Verifying, and Aligning Semantic Hierarchies in Vision-Language Model Embeddings

Gesina Schwalbe, Mert Keser, Moritz Bayerkuhnlein +8

Vision-language model (VLM) encoders such as CLIP enable strong retrieval and zero-shot classification in a shared image-text embedding space, yet the semantic organization of this…

cs.CV2024

Concept-Based Explanations in Computer Vision: Where Are We and Where Could We Go?

Jae Hee Lee, Georgii Mikriukov, Gesina Schwalbe +2

Concept-based XAI (C-XAI) approaches to explaining neural vision models are a promising field of research, since explanations that refer to concepts (i.e., semantically meaningful…

cs.AI2020

Orthologics for Cones

Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter

In applications that use knowledge representation (KR) techniques, in particular those that combine data-driven and logic methods, the domain of objects is not an abstract unstruct…

cs.AI2016★ 32 cited

A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

Frank Dylla, Jae Hee Lee, Till Mossakowski +4

Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR technique…

cs.AI2013★ 5 cited

Algebraic Properties of Qualitative Spatio-Temporal Calculi

Frank Dylla, Till Mossakowski, Thomas Schneider +1

Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But w…