3 papers
cs.LO2026
Revisiting Conjunctive Query Entailment for
YazmÃn Ibáñez-GarcÃa, Jean Christoph Jung, Vincent Michielini +1
We clarify the complexity of answering unions of conjunctive queries over knowledge bases formulated in the description logic , the extension of with tr…
cs.FL2026
Reachability in VASS Extended with Integer Counters
Clotilde Bizière, Wojciech CzerwiÅski, Roland Guttenberg +5
We consider a variant of VASS extended with integer counters, denoted VASS+Z. These are automata equipped with N and Z counters; the N-counters are required to remain nonnegative a…
cs.LO2025
Two-Variable Logic for Hierarchically Partitioned and Ordered Data
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
We study Two-Variable First-Order Logic, FO2, under semantic constraints that model hierarchically structured data. Our first logic extends FO2 with a linear order < and a chain of…