Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Grienenberger, Emilie"'
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 1 (February 14, 2023) lmcs:8637
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a sub-theory
Externí odkaz:
http://arxiv.org/abs/2111.00543
Autor:
Grienenberger, Emilie, Ritzert, Martin
We study the problem of learning properties of nodes in tree structures. Those properties are specified by logical formulas, such as formulas from first-order or monadic second-order logic. We think of the tree as a database encoding a large dataset
Externí odkaz:
http://arxiv.org/abs/1909.10994
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany 24, 18 Seiten (2019). doi:10.4230/LIPICS.ICDT.2019.24
22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti
22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti22. International Conference on Database Theory, ICDT 2019, Lisbon, Portugal, 2019-03-26-2019-03-29
22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti
22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti22. International Conference on Database Theory, ICDT 2019, Lisbon, Portugal, 2019-03-26-2019-03-29
We study the problem of learning properties of nodes in tree structures. Those properties are specified by logical formulas, such as formulas from first-order or monadic second-order logic. We think of the tree as a database encoding a large dataset
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1961d4ca5256e4104810a713a929c8be
http://arxiv.org/abs/1909.10994
http://arxiv.org/abs/1909.10994