Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Jensen, Martin Holm"'
We present algorithms that substantially accelerate partition-based cross-validation for machine learning models that require matrix products $\mathbf{X}^\mathbf{T}\mathbf{X}$ and $\mathbf{X}^\mathbf{T}\mathbf{Y}$. Our algorithms have applications in
Externí odkaz:
http://arxiv.org/abs/2401.13185
Publikováno v:
Synthese 194(7): 2447-2487 (2017)
Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of co
Externí odkaz:
http://arxiv.org/abs/1506.07990
Publikováno v:
Synthese, 2017 Jul 01. 194(7), 2447-2487.
Externí odkaz:
https://www.jstor.org/stable/48726133
Publikováno v:
Logique et Analyse, 2015 Jun 01. 58(230), 145-176.
Externí odkaz:
https://www.jstor.org/stable/44085320
Autor:
Jensen, Martin Holm
Publikováno v:
Jensen, M H 2014, Epistemic and Doxastic Planning . DTU Compute PHD-2014, no. 316, Technical University of Denmark, Kgs. Lyngby .
Denne afhandling beskæftiger sig med planlægning og logik, der begge er kerneomr åder inden for Kunstig Intelligens (KI). En bred vifte af forskningsdiscipliner behandler KI, herunder bl.a. loso, økonomi, psykologi, neurologi, matematik og datalo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::a77cc97cd659dad397005e2cb83064cb
https://orbit.dtu.dk/en/publications/epistemic-and-doxastic-planning(43462516-5927-4b2c-9514-35595318c88a).html
https://orbit.dtu.dk/en/publications/epistemic-and-doxastic-planning(43462516-5927-4b2c-9514-35595318c88a).html
Publikováno v:
AI 2013: Advances in Artificial Intelligence; 2013, p277-288, 12p
Autor:
Jensen, Martin Holm
Publikováno v:
Logic, Rationality & Interaction (9783642409479); 2013, p316-320, 5p
Publikováno v:
Logics in Artificial Intelligence (9783642333521); 2012, p94-106, 13p