Christian Blanchette, Jasmin; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).Dagstuhl Reports. Bd. 7. H. 9. 2017 S. 26 - 46
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.CoRR. Bd. abs/1702.06620. 2017
Sofronie-Stokkermans, Viorica
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with -ary Roles and Numerical Domains.Fundam. Inform. Bd. 156. H. 3-4. 2017 S. 361 - 411
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.CoRR. Bd. abs/1601.01648. 2016
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.IJCAR. 2016 S. 273 - 289
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.FroCos. 2015 S. 186 - 202
Bjørner, Nikolaj; Christian Blanchette, Jasmin; Sofronie-Stokkermans, Viorica et al.
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381).Dagstuhl Reports. Bd. 5. H. 9. 2015 S. 18 - 37
Paola Bonacina, Maria; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning.Logic, Rewriting, and Concurrency. 2015 S. 181 - 204
Paola Bonacina, Maria; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning.CoRR. Bd. abs/1502.02535. 2015
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning in Local Theory Extensions and Applications.SYNASC. 2014 S. 34 - 41