On Nested Justification Systems

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

Informatica en Toegepaste Informatica

Onderzoeksoutput: Article › peer review

3 Citaten (Scopus)

11 Downloads (Pure)

2 resultaten

Actief
FWOAL990: Approximatie Vastepuntstheorie als een Algemene Algebraische Theorie van Constructieve Kennis
Bogaerts, B.
1/01/21 → 31/12/24
Project: Fundamenteel
VLAAI1: Subsidie: Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen
Nowe, A. & Vanderborght, B.
1/07/19 → 31/12/24
Project: Toegepast