3 papers
cs.LO2021
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Reconfigurable interaction induces another dimension of nondeterminism in concurrent systems which makes it hard to reason about the different choices of the system from a global p…
cs.AI2020
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…
cs.LO2017
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…