research
∙
07/17/2023
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics EL, EL^+
We study the problem of P-interpolation, where P is a set of binary pred...
share
research
∙
07/06/2021
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)
We analyze possibilities of second-order quantifier elimination for form...
research
∙
10/11/2019
Parametric Systems: Verification and Synthesis
In this paper we study possibilities of using hierarchical reasoning, sy...
research
∙
05/29/2019