< Back to previous page
Organisation
Declarative Languages and Artificial Intelligence (DTAI)
Division
Main organisation:Department of Computer Science
Lifecycle:1 Aug 2020 → Today
Organisation profile:
Declarative Languages and Artificial Intelligence (DTAI)
Keywords:artificial intelligence
Disciplines:Artificial intelligence
Current researchers
1 - 10 of 107 results
- Hendrik Blockeel (Responsible)
- Kris Aerts (Member)
- Juan Aurelio Alvarado Ortega (Member)
- Jessa Bekker (Member)
- Bettina Berendt (Member)
- Ignace Bleukx (Member)
- Hendrik Blockeel (Member)
- Sieben Bocklandt (Member)
- Maurice Bruynooghe (Member)
- Pierre Carbonnelle (Member)
Projects
1 - 10 of 243
- Machine Learning Techniques for Health Management Strategies of Heterogeneous Naval SystemsFrom23 Apr 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Custom interfaces for curating metadata in the GLAM domainFrom28 Mar 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Prediction + Optimisation for scheduling and rostering with CMPpyFrom1 Mar 2024 → TodayFunding: HORIZON.1.1 - European Research Council (ERC)
- Retrokit - Optimising Machine Retrofitting with Retrokit: A Modular Machine Learning Approach for Edge-Based Condition MonitoringFrom1 Mar 2024 → TodayFunding: IOF - technology validation in lab
- Sabbatical Jesse Jon Davis: Analyzing Spatio-temporal Data: The Next FrontierFrom1 Feb 2024 → TodayFunding: FWO Prices and sabbaticals (before FWO undefined), BOF - mobility
- Machine learning with tensors for hyper spectral imaging for agrofood and medical applicationsFrom25 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Data-driven methodology for the real-time monitoring of the remaining useful life of electronic systemsFrom25 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- A Category-Theoretic Perspective on Approximation Fixpoint TheoryFrom16 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Enhancing situational aware navigation for indoor robot applications through active perception and standardizationFrom11 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Neurosymbolic AI for Constraint LearningFrom1 Jan 2024 → TodayFunding: FWO research project (including WEAVE projects)
Publications
31 - 40 of 1459
- Faster Lifting for Two-Variable Logic Using Cell Graphs(2021)
Authors: Timothy Van Bremen
Pages: 1393 - 1402 - Lifted Inference with Tree Axioms(2021)
Authors: Timothy Van Bremen
Pages: 599 - 608 - The polynomial robust knapsack problem(2023)
Authors: Lorenzo Cascioli
Pages: 1424 - 1434 - Missing value imputation with MERCS: a faster alternative to MissForest(2020)
Authors: Elia Van Wolputte, Hendrik Blockeel
Pages: 502 - 516 - Artificial Intelligence (AI) in higher education: tool or trickery?(2023)
Authors: Jeroen Lievens
Pages: 645 - 647 - Relevancy analysis as a basis for improved tabling in CHRiSM(2012)
Authors: Danny De Schreye
Pages: 100 - 114 - Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning(2020)
Authors: Pieter Delobelle, Bettina Berendt
Number of pages: 15 - Measuring Shifts in Attitudes Towards COVID-19 Measures in Belgium(2022)
Authors: Kristen Scott, Pieter Delobelle, Bettina Berendt
Pages: 161 - 171 - Polytool: Polynomial interpretations as a basis for termination analysis of logic programs(2011)
Authors: Manh Thang Nguyen, Danny De Schreye
Pages: 33 - 63 - Non-termination analysis of logic programs using types(2011)
Authors: Dean Voets, Danny De Schreye
Pages: 133 - 148