Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Viorica Sofronie-Stokkermans"'
Autor:
Viorica Sofronie-Stokkermans
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
In this paper we study possibilities of interpolation and symbol elimination in extensions of a theory $\mathcal{T}_0$ with additional function symbols whose properties are axiomatised using a set of clauses. We analyze situations in which we can per
Externí odkaz:
https://doaj.org/article/8d4e3b340e54457a85fa0f9ddcdcc9f7
Autor:
Viorica Sofronie-Stokkermans
Publikováno v:
Logical Methods in Computer Science, Vol Volume 4, Issue 4 (2008)
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the base theor
Externí odkaz:
https://doaj.org/article/53a7233c6bbf4713bf4c74e094822e7e
Publikováno v:
Journal of automated reasoning. 66(3)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d3c4091458363b4f831146addfecca9
https://pubmed.ncbi.nlm.nih.gov/35571632
https://pubmed.ncbi.nlm.nih.gov/35571632
Publikováno v:
Frontiers of Combining Systems ISBN: 9783030862046
FroCoS
FroCoS
We analyze possibilities of second-order quantifier elimination for formulae containing parameters – constants or functions. For this, we use a constraint resolution calculus obtained from specializing the hierarchical superposition calculus. If sa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a898b834ae57dc898678869b389f895
https://doi.org/10.1007/978-3-030-86205-3_3
https://doi.org/10.1007/978-3-030-86205-3_3
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030584481
SUM
SUM
We consider the problem of quantitatively assessing the conflict between knowledge bases in knowledge merging scenarios. Using the notion of Craig interpolation we define a series of disagreement measures and analyse their compliance with properties
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ae27f9d56540a5ff480bc47791ab224
https://doi.org/10.1007/978-3-030-58449-8_6
https://doi.org/10.1007/978-3-030-58449-8_6
Autor:
Viorica Sofronie-Stokkermans
Publikováno v:
Fundamenta Informaticae. 156:361-411
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d007b6389ec04e4ba7d923ddbef4315
https://doi.org/10.3233/fi-2017-1612
https://doi.org/10.3233/fi-2017-1612
Autor:
Viorica Sofronie-Stokkermans
In this paper we study possibilities of using hierarchical reasoning, symbol elimination and model generation for the verification of parametric systems, where the parameters can be constants or functions. Our goal is to automatically provide guarant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26cd7e261b8452ff3eb5e4284141dd86
http://arxiv.org/abs/1910.05208
http://arxiv.org/abs/1910.05208
Publikováno v:
Kalpa Publications in Computing.
We study possibilities of using symbol elimination in program verification and synthesis. We consider programs for which a property is given, which is supposed to hold for all states reachable from the initial states. If it can not be proven that suc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1aa39a26acf1c868ebd7fbe15907e8e3
https://doi.org/10.29007/9199
https://doi.org/10.29007/9199
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030294359
CADE
CADE
We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a method for iteratively strengthening certain classes of safety properties t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26b89c0a5f4b7642d5a7c3659a8c5cbe
https://doi.org/10.1007/978-3-030-29436-6_23
https://doi.org/10.1007/978-3-030-29436-6_23
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.• In 2020, IJCAR was a merger of the following leading