Organisatie
Declaratieve Talen en Artificiële Intelligentie (DTAI)
Division
Declaratieve Talen en Artificiële Intelligentie (DTAI)
Huidige onderzoekers
1 - 10 of 106 results
- Hendrik Blockeel (Verantwoordelijke)
- Kris Aerts (Lid)
- Juan Aurelio Alvarado Ortega (Lid)
- Jessa Bekker (Lid)
- Bettina Berendt (Lid)
- Ignace Bleukx (Lid)
- Hendrik Blockeel (Lid)
- Sieben Bocklandt (Lid)
- Maurice Bruynooghe (Lid)
- Pierre Carbonnelle (Lid)
Projecten
1 - 10 of 242
- Aangepaste interfaces voor het beheren van metadata in het GLAM-domeinVanaf28 mrt 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Prediction + Optimisation for scheduling and rostering with CMPpyVanaf1 mrt 2024 → HedenFinanciering: HORIZON.1.1 - European Research Council (ERC)
- Retrokit - Optimalisatie van Machine Retrofitting met Retrokit: Een Modulaire Machine Learning Aanpak voor Edge-Based Conditie MonitoringVanaf1 mrt 2024 → HedenFinanciering: IOF - technologie validatie in labo
- Sabbatperiode Jesse Jon Davis: Het analyseren van ruimte-tijdgegevens: de volgende grensVanaf1 feb 2024 → HedenFinanciering: FWO Prijzen en sabbaticals (vroeger FWO onbepaald), BOF - mobiliteit
- Data-gedreven methodologie voor het real-time monitoren van de resterende levensduur van elektronische systemenVanaf25 jan 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Machine learning met tensoren voor hyperspectrale beeldverwerking in de medische en agrofood-sectorenVanaf25 jan 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Een category-theoretisch perspectief op Approximation Fixpoint TheoryVanaf16 jan 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Verbeteren van situatiebewuste navigatie voor indoor robot toepassingen via actieve perceptie en standaardisatieVanaf11 jan 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Neurosymbolische AI voor het leren van beperkingen.Vanaf1 jan 2024 → HedenFinanciering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Kader voor veilige, open, collaboratieve en inclusieve digitalisering en beheer van cultureel erfgoedVanaf1 jan 2024 → HedenFinanciering: Horizon Europe – Cultuur, creativiteit en inclusieve samenleving
Publicaties
851 - 860 van 1463
- Causal reasoning in a logic with possible causal process semantics(2018)
Auteurs: Marc Denecker, Bart Bogaerts, Joost Vennekens
Pagina's: 90 - 98 - Groundedness in Logics with a Fixpoint Semantics(2015)
Auteurs: Bart Bogaerts, Marc Denecker, Joost Vennekens
- Distributed autoepistemic logic and its application to access control(2016)
Auteurs: Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Pagina's: 1286 - 1292 - Safe inductions and their applications in knowledge representation(2018)
Auteurs: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pagina's: 167 - 185 - Implementing a relevance tracker module(2016)
Auteurs: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pagina's: 77 - 91 - Inference in the FO(C) modelling language(2014)
Auteurs: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pagina's: 111 - 116 - The effects of buying a new car: An extension of the IDP Knowledge Base System (technical communication)(2013)
Auteurs: Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
Pagina's: 1 - 4 - Robustness Verification of Multiclass Tree Ensembles(2024)
Auteurs: Laurens Devos, Lorenzo Cascioli, Jesse Davis
Pagina's: 21019 - 21028 - DPU: DAG Processing Unit for Irregular Graphs With Precision-Scalable Posit Arithmetic in 28 nm(2022)
Auteurs: Nimish Shirishbhai Shah, Shirui Zhao, Wannes Meert, Marian Verhelst
Pagina's: 1 - 11 - Acceleration of probabilistic reasoning through custom processor architecture(2020)
Auteurs: Nimish Shirishbhai Shah, Laura Isabel Galindez Olascoaga, Wannes Meert, Marian Verhelst
Pagina's: 322 - 325