( en | de | ru )

 

Disambiguierung von "Sofronie-Stokkermans, Viorica"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+.

, und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adriana Viorica Szeghalmi

 

Weitere Publikationen von Autoren mit dem selben Namen

Interpolation in Local Theory Extensions.. IJCAR, Volume 4130 von Lecture Notes in Computer Science, Seite 235-250. Springer, (2006)Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+., und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)On the Verification of the Correctness of a Subgraph Construction Algorithm., , und . VMCAI (1), Volume 14499 von Lecture Notes in Computer Science, Seite 303-325. Springer, (2024)SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)., und . SOQE@KR, Volume 3009 von CEUR Workshop Proceedings, Seite 75-82. CEUR-WS.org, (2021)Hierarchical Reasoning in Local Theory Extensions and Applications.. SYNASC, Seite 34-41. IEEE Computer Society, (2014)On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.. TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 235-250. Springer, (2002)Interpolation in local theory extensions. CoRR, (2008)On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+., , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 419-437. Springer, (2023)On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)., , , und . SOQE@KR, Volume 3009 von CEUR Workshop Proceedings, Seite 37-45. CEUR-WS.org, (2021)Chaining Techniques for Automated Theorem Proving in Many-Valued Logics., und . ISMVL, Seite 337-344. IEEE Computer Society, (2000)