< 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 108 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 240
- 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
- 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
- Machine learning with tensors for hyper spectral imaging for agrofood and medical applicationsFrom25 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
- Neurosymbolic AI for Constraint LearningFrom1 Jan 2024 → TodayFunding: FWO research project (including WEAVE projects)
- fRamework for safE, opEn, collaboratiVe And incLUsive digitisAtion and managemenT of cultural heritagEFrom1 Jan 2024 → TodayFunding: Horizon Europe - Culture, Creativity and Inclusive Society
- Closing the Product-Production loop for high performant injection moulded parts (PerIMPro_SBO)From1 Jan 2024 → TodayFunding: IWT / VLAIO - Flanders Make - ICON
- A safer internet through analysis of domain name registrations and DNS trafficFrom1 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
Publications
921 - 930 of 1451
- FO(ID) as an extension of DL with rules(2008)
Authors: Joost Vennekens, Marc Denecker
Pages: 104 - 118 - Bayesian Structure Scores for Probabilistic Circuits(2023)
Authors: Yang Yang
Pages: 563 - 575 - Fast Algorithms for Relational Marginal Polytopes(2021)
Authors: Timothy Van Bremen
Pages: 4266 - 4274 - Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions(2022)
Authors: Timothy Van Bremen
Pages: 10070 - 10079 - FairUMAP 2020: The 3rd Workshop on Fairness in User Modeling, Adaptation and Personalization(2020)
Authors: Bettina Berendt
Pages: 404 - 405Number of pages: 2 - Advances in Justification Theory(2022)
Authors: Simon Marynissen, Marc Denecker
- Context-Aware verification of DMN(2022)
Authors: Simon Vandevelde, Benjamin Callewaert, Joost Vennekens
Pages: 1 - 8Number of pages: 8 - DeepProbCEP: A neuro-symbolic approach for complex event processing in adversarial settings(2023)
Authors: Angelika Kimmig
- Time to Take Emoji Seriously: They Vastly Improve Casual Conversational Models(2019)
Authors: Pieter Delobelle, Bettina Berendt
Pages: 1 - 7 - Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning(2021)
Authors: Pieter Delobelle, Bettina Berendt
Pages: 32 - 41