Zobrazeno 1 - 10
of 460
pro vyhledávání: '"Theorem provers"'
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.
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.
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.
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.
Machine learning (ML) and logical reasoning have been the two key pillars of AI since its inception, and yet, there has been little interaction between these two sub-fields over the years. At the same time, each of them has been very influential in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6177b5c2e9d56e30e7be8c80a41e3faa
Publikováno v:
IEEE Software. 38:104-108
There are three technologies a modern AI-aware software engineer needs to know: data mining, theorem proving, and nonlinear optimization (also called search-based SE). While much of the current industrial AI activity is focused on data mining, these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8692677430d2b4a6904b8fe77ceea44a
https://doi.org/10.1109/ms.2021.3103448
https://doi.org/10.1109/ms.2021.3103448
Autor:
Braude, Eric
Publikováno v:
Computer Science and Education in Computer Science. 10(1):23-29
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=455219
Autor:
Farzaneh Derakhshan, Wilfried Sieg
Publikováno v:
Journal of Automated Reasoning. 65:1153-1190
Human-centered automated proof search aims to capture structures of ordinary mathematical proofs and discover human strategies that are used (implicitly) in their construction. We analyze the ways of two theorem provers for approaching that goal. One
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a02f8eef6f642082bdb503f301206aef
https://doi.org/10.1007/s10817-021-09594-z
https://doi.org/10.1007/s10817-021-09594-z
Kniha
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.
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.