Zobrazeno 1 - 10
of 837
pro vyhledávání: '"BENEDIKT, MICHAEL"'
We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the query answer
Externí odkaz:
http://arxiv.org/abs/2407.14907
The study of graph queries in database theory has spanned more than three decades, resulting in a multitude of proposals for graph query languages. These languages differ in the mechanisms. We can identify three main families of languages, with the c
Externí odkaz:
http://arxiv.org/abs/2406.17871
Autor:
Benedikt, Michael, Hrushovski, Ehud
We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of definable MERs,
Externí odkaz:
http://arxiv.org/abs/2406.15235
We present results concerning the expressiveness and decidability of a popular graph learning formalism, graph neural networks (GNNs), exploiting connections with logic. We use a family of recently-discovered decidable logics involving "Presburger qu
Externí odkaz:
http://arxiv.org/abs/2404.18151
We present a new angle on the expressive power of graph neural networks (GNNs) by studying how the predictions of real-valued GNN classifiers, such as those classifying graphs probabilistically, evolve as we apply them on larger graphs drawn from som
Externí odkaz:
http://arxiv.org/abs/2403.03880
Autor:
Zensen Sebastian, Steinberg-Vorhoff Hannah L, Milosevic Aleksandar, Richly Heike, Siveke Jens T, Opitz Marcel, Haubold Johannes, Li Yan, Forsting Michael, Schaarschmidt Benedikt Michael
Publikováno v:
Radiology and Oncology, Vol 58, Iss 4, Pp 509-516 (2024)
In uveal melanoma patients, short-term evaluation of treatment response to hepatic artery infusion chemotherapy (HAIC) using the Response Evaluation Criteria in Solid Tumors (RECIST) 1.1 criteria is challenging due to the diffuse metastatic spread. A
Externí odkaz:
https://doaj.org/article/ccfa184d0d124ad7819869015e31da89
We consider learning a probabilistic classifier from partially-labelled supervision (inputs denoted with multiple possibilities) using standard neural architectures with a softmax as the final layer. We identify a bias phenomenon that can arise from
Externí odkaz:
http://arxiv.org/abs/2307.00465
We investigate expansions of Presburger arithmetic, i.e., the theory of the integers with addition and order, with additional structure related to exponentiation: either a function that takes a number to the power of $2$, or a predicate for the power
Externí odkaz:
http://arxiv.org/abs/2305.03037
Autor:
Benedikt, Michael, Hrushovski, Ehud
We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past. It is clea
Externí odkaz:
http://arxiv.org/abs/2304.09231
Autor:
Amarilli, Antoine, Benedikt, Michael
We consider the complexity of the open-world query answering problem, where we wish to determine certain answers to conjunctive queries over incomplete datasets specified by an initial set of facts and a set of guarded TGDs. This problem has been wel
Externí odkaz:
http://arxiv.org/abs/2212.11362