32 citations · 72 across the 9 of their papers we have counts for
14 papers
Design and Performance of a 96-channel Resistive PICOSEC Micromegas Detector for ENUBET
A. Kallitsopoulou, S. Aune, Y. Angelis +54
The PICOSEC-Micromegas (PICOSEC-MM) detector is a fast gaseous detector that achieves picosecond-level timing by coupling a Cherenkov radiator, typically an MgF2 crystal, to a Micr…
Conservative Extensions in Horn Description Logics with Inverse Roles
Jean Christoph Jung, Carsten Lutz, Mauricio Martel +1
We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) wi…
Conservative Extensions in Guarded and Two-Variable Fragments
Jean Christoph Jung, Carsten Lutz, Mauricio Martel +2
We investigate the decidability and computational complexity of (deductive) conservative extensions in fragments of first-order logic (FO), with a focus on the two-variable fragmen…
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…
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…
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia +3
Extracting a subset of a given OWL ontology that captures all the ontology's knowledge about a specified set of terms is a well-understood task. This task can be based, for instanc…