Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Schoisswohl, Johannes"'
Publikováno v:
International Conference on Automated Deduction (CADE) 2023. LNAI volume 14132, 2023, pp. 23-40
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that rely on u
Externí odkaz:
http://arxiv.org/abs/2403.04775
Autor:
Schoisswohl, Johannes, Kovács, Laura
Publikováno v:
EPTCS 337, 2021, pp. 39-54
Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires an infini
Externí odkaz:
http://arxiv.org/abs/2107.07669
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.
Autor:
Schoisswohl, Johannes
Despite the advances in automated theorem proving in the last decades, making it practically feasible to reason about full first-order logic with interpreted equality and more, inductive reasoning still poses a serious challenge to state-of-the-art t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::03c787ed8a1245adec486f64f9a190bd
https://doi.org/10.34726/hss.2020.75342
https://doi.org/10.34726/hss.2020.75342
Autor:
Schoisswohl, Johannes
Publikováno v:
Master thesis
Despite the advances in automated theorem proving in the last decades, making it practically feasible to reason about full first-order logic with interpreted equality and more, inductive reasoning still poses a serious challenge to state-of-the-art t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03c787ed8a1245adec486f64f9a190bd
Publikováno v:
Journal of Scheduling; Feb2022, Vol. 25 Issue 1, p35-58, 24p
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.