< Terug naar vorige pagina
Organisatie
Declaratieve Talen en Artificiële Intelligentie (DTAI)
Division
Hoofdorganisatie:Departement Computerwetenschappen
Tijdsduur:1 aug 2020 → Heden
Organisatieprofiel:
Declaratieve Talen en Artificiële Intelligentie (DTAI)
Trefwoorden:artificiële intelligentie
Disciplines:Artificiële intelligentie
Projecten
131 - 140 of 242
- Hybride AI voor geluidsevent herkenningVanaf18 sep 2020 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Fundamenten van Betrouwbare AI - Integreren van Redeneren, Leren en OptimaliserenVanaf1 sep 2020 → HedenFinanciering: H2020-EU.2.3.- INDUSTRIAL LEADERSHIP - Innovatie in KMOs
- Het combineren van kennisgebaseerde AI en beslissingsmodellen voor interbancaire transactiesVanaf1 aug 2020 → 31 jul 2021Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Bitstringsemantiek op het raakvlak tussen computerwetenschappen en filosofieVanaf29 jul 2020 → 18 mrt 2021Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- NextPerception - Volgende generatie slimme perceptiesensoren en gedistribueerde intelligentie voor proactieve menselijke monitoring in gezondheids-, welzijns- en autosystemenVanaf1 mei 2020 → 31 jul 2023Financiering: H2020-EU.2.3.- INDUSTRIAL LEADERSHIP - Innovatie in KMOs
- Kennisrepresentatie in de praktijk: Geavanceerde kennisgebaseerde interacties in industriële toepassingenVanaf15 jan 2020 → 16 jan 2021Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Neuraal Probabilistisch Logisch ProgrammerenVanaf1 jan 2020 → 31 dec 2023Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Het KU Leuven Instituut voor Artificiële Intelligentie (Leuven.AI): een interdisciplinaire samenwerking rond artificiële intelligentieVanaf1 jan 2020 → HedenFinanciering: BOF - onderzoeksorganisaties
- Bundelen van krachten: Valorisatie van grote metabolieten- en enzymendatasets (KU Leuven) via computer geassisteerde modellering (Oxford University) om onze inzichten in het metabolisme van CAM-planten te vergrotenVanaf1 jan 2020 → 15 mrt 2021Financiering: BOF - postdoctorale mandaten
- Het leren van- en efficient redeneren met hybriede beperkingenVanaf1 jan 2020 → 31 dec 2020Financiering: BOF - postdoctorale mandaten
Publicaties
1 - 10 van 1457
- FO(FD): Extending classical logic with rule-based fixpoint definitions(2010)
Auteurs: Ping Hou, Broes De Cat, Marc Denecker
Pagina's: 581 - 596 - The second answer set programming competition(2009)
Auteurs: Marc Denecker, Joost Vennekens, Stephen Bond
Pagina's: 637 - 654 - FO(ID) as an extension of DL with rules(2010)
Auteurs: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pagina's: 85 - 115 - Towards a new dimension for user modeling: The use of sensory vocabulary(2012)
Auteurs: Gudrun Kellner, Bettina Berendt
Pagina's: 397 - 401 - ASP for Flexible Payroll Management(2022)
Auteurs: Benjamin Callewaert, Joost Vennekens
Pagina's: 456 - 469Aantal pagina's: 14 - Text mining for news and blogs analysis(2016)
Auteurs: Bettina Berendt
Pagina's: 1 - 9 - Pattern-based compaction for ProbLog inference(2013)
Auteurs: Dimitar Shterionov, Theofrastos Mantadelis, Gerda Janssens
Pagina's: 1 - 4 - The functional perspective on advanced logic programming(2016)
Auteurs: Alexander Vandenbroucke
Pagina's: 20 - Visualising interactive inferences with IDPD3(2015)
Auteurs: Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pagina's: 67 - 81 - Learning analytics and their application in technology-enhanced professional learning(2014)
Auteurs: Bettina Berendt
Pagina's: 144 - 157